lógica

La lógica es la disciplina que estudia los principios del razonamiento correcto y las estructuras de las inferencias. Su objetivo es distinguir entre argumentos válidos y no válidos, y describir las reglas que permiten derivar conclusiones a partir de premisas. En términos simples, examina cuándo las conclusiones siguen lógicamente de las premisas.

En la tradición occidental, la lógica clásica se remonta a Aristóteles, quien organizó los silogismos y estableció reglas básicas de inferencia deductiva. Los estoicos desarrollaron sistemas de lógica proposicional. En el siglo XIX, Gottlob Frege introdujo la lógica de predicados y la noción de demostración formal, base de la lógica matemática. En el siglo XX, surgieron variantes como la lógica modal, la lógica intuicionista y la lógica computacional, con aportes de Hilbert, Russell, Tarski y otros.

Las lógicas se suelen clasificar en formal y no formal. La lógica formal estudia la estructura de las inferencias mediante símbolos y reglas de sustitución, como la lógica proposicional y la lógica de predicados. Otras variantes incluyen la lógica modal, la lógica temporal y la lógica intuicionista. En contraposición, la lógica no formal analiza razonamientos en lenguaje natural y contextos prácticos.

Entre conceptos clave están la validez, la verdad, la consistencia, la demostración y la prueba. Las aplicaciones se extienden a las matemáticas, la informática, la filosofía, la lingüística y la inteligencia artificial. En informática, la lógica se utiliza para verificación de programas y razonamiento automatizado. En filosofía y ciencia, se utiliza para evaluar argumentos y teorías.