Lógica moderna

A mediados del siglo XIX, los matemáticos británicos George Boole y Augustus De Morgan abrieron un nuevo campo a la lógica, hoy conocido como lógica simbólica (o moderna), que más tarde fue desarrollada por el matemático alemán Gottlob Frege y de un modo especial por los matemáticos británicos Bertrand Russell y Alfred North Whitehead en Principia Mathematica (constituido por 3 volúmenes, 1910-1913). El sistema lógico de Russell y Whitehead cubre un espectro mayor de posibles argumentaciones que las que se pueden encontrar en la lógica silogística. Introduce símbolos para frases enteras y para las conjunciones que las unen, como “o”, “y”, “si... entonces...”. Cuenta con símbolos diferentes para el sujeto lógico y el predicado lógico de una frase; y adjudica símbolos para distinguir las clases, para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusión en una clase. También se aleja de la lógica clásica en sus suposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones universales. La afirmación “Todo A es B” significa en lógica moderna que “Si algo es A, entonces es B”; lo que, a diferencia de la lógica tradicional, no significa que todo A existe. El primer manual de lógica formal publicado en español fue la obra de Juan David García Bacca titulada Introducción a la lógica moderna (1936).

Tanto la rama clásica como la moderna implican métodos de lógica deductiva. En cierto sentido, las premisas de una proposición válida contienen la conclusión, y la verdad de la conclusión se deriva de la verdad de las premisas. También se han hecho esfuerzos para desarrollar métodos de lógica inductiva como las que sostienen que las premisas conllevan una evidencia para la conclusión, pero la verdad de la conclusión se deduce, sólo con un margen relativo de probabilidad, de la verdad de la evidencia. La contribución más importante a la lógica inductiva fue la aportada por el filósofo británico John Stuart Mill, quien en Sistema de Lógica (1843) estructuró los métodos de prueba que, según su interpretación, iban a caracterizar la ciencia empírica. Este estudio ha desembocado, en el siglo XX, en el campo conocido como filosofía de la ciencia. Muy relacionada con ésta se encuentra la rama de las matemáticas llamada teoría de la probabilidad.

Tanto la lógica moderna como la clásica asumen en sus formas más corrientes que cualquier proposición bien elaborada puede ser o verdadera o falsa. En años recientes se han desarrollado sistemas de la denominada lógica combinatoria: una afirmación puede tener un valor distinto a verdadero o falso. En algunos supuestos es sólo un tercer valor neutro, en otros es un valor de probabilidad expresado como una fracción que oscila entre 0 y 1 o entre -1 y +1. También se han llevado a cabo serios trabajos para desarrollar sistemas de lógica modal, con el objeto de representar las relaciones lógicas entre las afirmaciones de posibilidad e imposibilidad, de necesidad y contingencia. Otra vía es la que propone la lógica deóntica: la investigación de las relaciones lógicas entre órdenes o entre afirmaciones de obligación.

Muy relacionadas con la lógica se encuentran la semántica o filosofía del lenguaje, que trata acerca del significado de las palabras y de las frases; la epistemología, o teoría del conocimiento, que se ocupa de las condiciones bajo las cuales las afirmaciones son verdaderas; y la psicología del razonamiento, que se refiere a los procesos mentales que se siguen en el curso de un razonamiento. Algunos tratados sobre lógica incluyen estas materias, pero lo esencial de ese interés se ciñe a las relaciones lógicas entre diversas afirmaciones contrapuestas.