Fundamentos y Evolución de la Lógica Formal: De Aristóteles a la Era Matemática
Enviado por Chuletator online y clasificado en Filosofía y ética
Escrito el en 
español con un tamaño de 3,26 KB
Fundamentos de la Lógica Formal
La lógica formal es la ciencia que tiene por objeto el análisis formal de los argumentos (teoría formal de la deducción). Fue creada por Aristóteles, quien estableció la lógica como una ciencia formal universal. Esta abarca tanto la lógica tradicional como la clásica, las cuales se ocupan de la relación de consecuencias entre enunciados. Su importancia radica en las siguientes razones:
- Formalización: Empleó variables para analizar mejor las inferencias de los enunciados.
- Reglas de inferencia: Estudia qué reglas permiten extraer información válida a partir de otra.
- Sistema de términos: Construyó un sistema de lógica de términos (predicados) basado en los silogismos.
La Aportación de los Estoicos y la Edad Media
Lógica Estoica
La lógica estoica se centra en la lógica de proposiciones, caracterizada por ser bivalente (Verdadero-1 o Falso-0). Los enunciados pueden unirse mediante conectivas lógicas (implicación, conjunción, disyunción), dando lugar a proposiciones no simples. Esta es la forma antigua de la lógica de enunciados.
Lógica en la Edad Media
La lógica medieval es heredera de la tradición griega y la silogística aristotélica. Se desarrolla notablemente en las Summulae logicales de Pedro Hispano, quien crea la «nueva lógica», formal e independiente. Por su parte, Pedro Abelardo considera que la lógica trata de palabras en vez de cosas, restableciendo la lógica como ciencia autónoma. Destacan también las aportaciones a la teoría de las consecuencias de Ockham y Buridán.
Lógica Simbólica y Matemática
Sus principales exponentes son:
- Boole: Llevó a cabo la lógica de Aristóteles utilizando fórmulas algebraicas para expresar relaciones lógicas.
- Frege: Escribió Conceptografía, un lenguaje simbólico diseñado para el pensamiento puro. Por primera vez, toda la lógica de enunciados aparece como un sistema axiomático deductivo. Su influencia es evidente en la obra Principia Mathematica de Russell y Whitehead.
Lógica Moderna y Cálculo Lógico
El creador de este sistema fue Leibniz, quien propuso diseñar un cálculo para operar con las ideas y aplicar la deducción a los razonamientos. Aunque no llegó a completarlo, sus ideas fueron fundamentales para autores posteriores como Boole y Frege.
El Cálculo Lógico
Un cálculo es una operación formal con símbolos sin interpretar. Para ser válido, debe cumplir ciertas condiciones en un lenguaje formal:
- Coherencia o consistencia: No debe producir contradicciones internas.
- Axiomas independientes: Ninguno de ellos puede deducirse de los otros.
- Decidibilidad: Permite determinar si una fórmula es válida o no.
- Completitud: Posee los medios necesarios para derivar que todos los enunciados válidos sean demostrables.