Lógica proposicional

Afiche

La lógica clásica es una rama de la filosofía que se ocupa del razonamiento correcto. También es un lenguaje formal con múltiples aplicaciones prácticas en áreas como la electrónica y las ciencias de la computación.

En este taller revisaremos brevemente el devenir histórico de la disciplina, cuyo origen filosófico encontramos en la Antigua Grecia. Aprenderemos los elementos de este lenguaje, algunos métodos semánticos y sintácticos para la evaluación de fórmulas y argumentos, sus alcances y sus posibles limitaciones. Finalmente, hablaremos acerca de su posición entre otras ramas de la filosofía, como la epistemología y la metafísica, considerando la existencia de otras lógicas.

Contenidos

  1. Contexto histórico y teórico
  2. Elementos del lenguaje formal lógico
  3. Métodos de resolución
    • Tablas de verdad
    • Árboles sintácticos
  4. Deducción natural
  5. Alcance e implicancias filosóficas

Inscripciones abiertas