La Logica Y El Ontoliderazgo.docx

ÍNDICE GENERAL universitario se tratarán; por ejemplo, explicamos que la técnica de los tableaux semánticos es un cálculo deductivo formal que permite probar todas y solas las fórmulas válidas (esto es, las ‘verdades’ de la lógica), pero no lo demostramos. La razón es pedagógica, pensamos que a este nivel tan introductorio no se precisa. Así que debeis confiar en nosotros o consultar la demostración en la página de ARACNE, de la que hablaré después. Por supuesto, hay numerosos libros de texto en donde se demuestra; por ejemplo, los de Smullyan [1994] y Fitting [1996] Habréis observado que como autor de estas páginas aparece ARACNE; obviamente no se trata del personaje mitológico, sino de una red ALFA (América Latina Formación Académica: proyecto de la Unión Europea) de innovación y sistematización de la tarea educativa. Podeis visitar la página del proyecto TOOLS FOR TEACHING http://aracne.usal.es en el apartado de RESULTADOS está el METABOOK, un DICCIONARIO online y SOFTWARE para la enseñanza de la lógica, así como enlaces con los centros que se preocupan por la pedagogía de la lógica. Los libros que aparecen en la bibliografía lo son para que puedan ser consultados con posterioridad, pero no seguiremos ninguno en particular. Una lista algo más extensa de libros introductorios, algunos en español, está también en nuestra página web. En este curso sólo utilizaremos este texto, algunos programas que se incluyen en un CD-ROM y por supuesto, el ‘cara a cara’ virtual, que las nuevas tecnologías nos permitirán. Este texto lo han escrito las siguientes personas.: Capítulos 1 al 3 y 8 al 10, María Manzano Capítulos 4 y 11, Ian Hodkinson Capítulos 5 y 7, Antonia Huertas Capítulo 6, María Manzano Yo he propuesto la mayor parte de los ejemplos y ejercicios, algunos están sacados de manuales clásicos en la materia y se han usado en clases prácticas en numerosas ocasiones. Agradezco a Lydia Sanchez y Ulises Tindón su colaboración. Finalmente, agradezco a todos los integrantes del proyecto ALFA y a los profesores que impartirán conmigo el curso De pura lógica, el haberme permitido participar en esta tarea fascinante que es la enseñanza de la lógica. MaríaManzano(CoordinadoradeARACNE) Universidad de Salamanca [email protected] Parte I LÓGICA PROPOSICIONAL 1