LOGICA CLASICA

LOGICA CLASICA
¿Qué es la lógica clásica? Según algunos la lógica clásica estaría constituida por unconjunto de cálculos lógicos equivalentes al cálculo presentado por Bertrand Russell y Alfred N.Whitehead en sus Principia Mathematica (1910-1913). Otro punto de vista es el que dice que la lógica clásica es aquella que se desarrolla desde Aristóteles hasta las aportaciones de Alfred Tarski,hacia mediados de los años 30 del siglo XX. Cualquiera de las dos definiciones nos viene bien, pues resulta que todos los sistemas lógicos a los que llamamos “lógica clásica” comparten la propiedad de serequivalentes al cálculo de Principia y, a su vez, todos ellos son producto y han nacido gracias a las aportaciones realizadas por los lógicos desde Aristóteles a Tarski. Dicho esto, pasamos aprofundizar en la lógica clásica.
LOGICA DE PREDICADOS
La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia enlos lenguajes de primer orden.1 Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyosargumentos son sólo constantes o variables de individuo.2
La lógica de primer orden tiene el poder expresivo suficiente para definir a prácticamente todas las matemáticas.
LOGICA MODAL
Una lógica modal esun sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.1 Los operadores modales son expresiones que califican la verdad de los juicios.1 Por ejemplo, enla oración «es necesario que 2+2=4», la expresión «es necesario que» es un operador modal que califica de necesaria a la verdad del juicio «2+2=4».
En un sentido más restringido, sin embargo, sellama lógica modal al sistema formal que se ocupa de las expresiones «es necesario que» y «es posible que».1 Este artículo trata exclusivamente sobre este sistema formal. Otros sistemas de lógica modal...