Lógica proposicional
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.
- Desde: 17 de abril de 2024
- Horario: Miércoles de 19 a 20:30 hrs
- Duración: 4 sesiones
- Formato: Presencial
- Costo: $5.000 pesos por clase
- Materiales: Papel, lápiz y regla
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
- Contexto histórico y teórico
- Elementos del lenguaje formal lógico
- Métodos de resolución
- Tablas de verdad
- Árboles sintácticos
- Deducción natural
- Alcance e implicancias filosóficas