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

Temario

Página Principal


Contenido

  1. ETAPAS DE DESARROLLO HISTÓRICO DE LA LÓGICA
    • 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

 

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 capítulo daremos un rápido repaso por la historia de la Lógica, desde Aristóteles hasta nuestros días, en los que la revolución de la Informática ha representado un nuevo auge de la lógica. También veremos, de manera muy breve, en que consiste la Lógica de Primer Orden. 

 

Bibliografía básica

 

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)