Introducción a la Lógica Formal
Clasificado en Filosofía y ética
Escrito el en español con un tamaño de 3,85 KB
La lógica formal es una ciencia que se dedica al análisis formal de los argumentos, también conocida como teoría formal de la deducción. Su origen se remonta a la antigua Grecia con Aristóteles, quien la estableció como una ciencia formal universal. La lógica formal se divide en dos ramas principales: la lógica tradicional y la lógica clásica, ambas centradas en la relación de consecuencias entre enunciados.
Fundamentos de la Lógica Formal
Aristóteles sentó las bases de la lógica formal al:
- Formalizar las expresiones: Empleó variables para analizar las inferencias de los enunciados de manera más precisa.
- Establecer reglas de inferencia: Definió reglas que permiten extraer información de un enunciado a otro.
- Construir un sistema