Lógica de Primer Orden - Lic. Matemáticas
Tema 1: Historia de la Lógica Simbólica

Temario

 Página Principal


Contenido
  1. Bloque 0. ¿Qué es la lógica? Introducción informal a la lógica formal
    • Aplicación a la Filosofía
    • Matematización de la Lógica
    • Extensión a la tecnología a través de la Informática
  2. LÓGICA DE PRIMER ORDEN
    • Cálculo de Proposiciones y Cálculo de Predicados
    • Teoría Sintáctica y Teoría Semántica
____________________-- Objetivos o Conocer los comienzos de la lógica, precursores y evolución. o Conocer el sistema formal de la lógica de primer orden. o Conocer, de forma intuitiva, las características de otras lógicas como alternativas a la lógica clásica. o Conocer las aplicaciones de la lógica en la informática. Contenido ? Tema 0: ¿Qué es la Lógica? Precursores y evolución. Bibliografía Básica [Castel96] Cap. 1. “Historia de la Lógica Simbólica” [Cuena85] Prefacio [Deaño92] Capitulo IV. “Más allá de este libro” [Moore95] 1. “The Role of Logic in Artificial Intelligence” [Nidditch87] “El desarrollo de la Lógica Matemática” ___________________

 

Descripción

Se trata de un tema introductorio basado en la máxima "Sólo conociendo el pasado se puede entender el presente". Si se conoce cual ha sido la evolución de una ciencia y el contexto histórico en el que se ha desarrollado, se comprenderá mejor lo que se sabe de ella actualmente permitiéndonos afrontar de una manera más adecuada el presente y, por ello, se evitará, en parte, caer en los mismos errores del pasado. No olvidemos que los conocimientos del momento surgieron como respuesta a problemas que se plantearon en su tiempo. En este bloque daremos un rápido repaso por la historia de la Lógica, desde Aristóteles hasta nuestros días y conoceremos en qué consiste la lógica de primer orden.  

 

 

Bibliografía básica
  • Arenas, L. Lógica Formal para Informáticos. Ed. Díaz de Santos, S. A., Madrid 1996
  • Castel, Mª J. y Llorens, F. Lógica de Primer Orden. D.T.I.C., Universidad de Alicante, 1996
  • Cuena, J. Lógica Informática. Alianza Editorial, S.A., 1985
  • Deaño, A. Introducción a la Lógica Formal. Alianza Universidad Textos, 1992
  • Garrido, M. Lógica Simbólica. Editorial Tecnos, S.A., 2ª ed. 1991
  • Grassmann, W. y Tremblay, J. P. Matemática Discreta y Lógica. Ed. Prentice Hall, 1997

 

Material
  • Lógica de Primer Orden en las Ingenierías Informáticas. II Jornadas Nacionales de Innovación en las Enseñanzas de las Ingenierías, Instituto de Ciencias de la Educación, Universidad Politécnica de Madrid. Madrid, 3 y 4 de diciembre de 1996. (fichero en pdf)
  • Formalización del Razonamiento. JENUI'98. IV Jornades sobre l'ensenyament universitari de la Informàtica, Sant Julià de Lòria (Principat d'Andorra), julio 1998.(fichero en pdf)