La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,Evandro Agazzi, 1986. es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas.
La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática. La teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e importantes de la lógica matemática, desde el teorema de Cantor, el axioma de elección y la cuestión de la independencia de la hipótesis del continuo, al debate moderno sobre grandes axiomas cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la computación. La teoría de la computabilidad captura la idea de la computación en términos lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-Turing. Hoy en día, la teoría de la computabilidad se ocupa principalmente del problema más refinado de las clases de complejidad (¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.
La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de la demostración y la matemática inversa son dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es un método para descubrir verdades del mundo físico real, sino solo una fuente posible de modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática convencional.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con algunos signos o diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar por completo.
Aspectos claves de la logica matemática
1. Naturaleza y Propósito
Doble enfoque: Aplica técnicas de la lógica formal para construir matemáticas y, a su vez, usa herramientas matemáticas para analizar la lógica. Formalización: Se centra exclusivamente en razonamientos y demostraciones que pueden formalizarse por completo, dejando de lado el razonamiento humano general o informal. Sistemas Formales: Utiliza estructuras como la lógica proposicional, la lógica de primer orden y la lógica modal para capturar la esencia de las inferencias válidas.
2. Las Cuatro Áreas Principales La lógica matemática se organiza en cuatro pilares fundamentales: ÁreaEnfoque PrincipalTeoría de ModelosJunto con la demostración, constituye el fundamento original de la disciplina.Teoría de la DemostraciónSe ocupa del examen de las pruebas formales y razonamientos abstractos.Teoría de ConjuntosOriginada por Georg Cantor; estudia el infinito, axiomas cardinales y la hipótesis del continuo.Teoría de la ComputabilidadConecta la lógica con la informática; estudia qué problemas son solucionables y su complejidad.
3. Funciones y Aplicaciones
Fundamentación: Juega un papel crucial en el estudio de los cimientos de las matemáticas. Análisis de Lenguajes: Estudia las reglas de deducción, la capacidad expresiva de los lenguajes formales y sus propiedades metalógicas. Niveles de aplicación: Nivel elemental: Proporciona reglas para determinar la validez de un argumento. Nivel avanzado: Se ocupa de la axiomatización de teorías y el desarrollo de métodos computacionales.
4. Distinciones Importantes Nota: La lógica matemática no es una herramienta para descubrir verdades sobre el mundo físico real. Su función es proveer modelos lógicos aplicables a teorías científicas y matemáticas.
Inferencia: Es el objeto de estudio central mediante la construcción de sistemas que permiten demostraciones rigurosas. Conexión con la computación: Es fundamental para entender algoritmos y la eficiencia en la resolución de problemas (clases de complejidad).
Áreas La Mathematics Subject Classification divide la lógica matemática en las siguientes áreas:
Filosófica y crítica Lógica general (que incluye campos como la lógica modal y la lógica borrosa) Teoría de modelos Teoría de la computabilidad Teoría de conjuntos Teoría de la demostración y matemática constructiva algebraica Modelos no estándar
En algunos casos hay conjunción de intereses con la informática teórica, pues muchos pioneros de la informática, como Alan Turing, fueron matemáticos y lógicos. Así, el estudio de la semántica de los lenguajes de programación procede de la teoría de modelos, así como también la verificación de programas y el caso particular de la técnica del model checking. También el isomorfismo de Churry-Howard entre pruebas y programas se corresponde con la teoría de pruebas, donde la lógica intuicionista y la lógica lineal son especialmente significativas.
Algunos sistemas formales como el cálculo lambda y la lógica combinatoria entre otras han devenido en auténticos lenguajes de programación, creando nuevos paradigmas como son la programación funcional y la programación lógica.
Sistemas formales
Metalógica
Teoría de modelos
Teoría de la computabilidad
Teoría de conjuntos
Teoría de la demostración
Historia
El uso más temprano de matemáticas y de geometría en relación con la lógica y la filosofía se remonta a los griegos antiguos tales como Euclides, Platón, y Aristóteles. Muchos otros filósofos antiguos y medievales aplicaron ideas y métodos matemáticos a sus afirmaciones filosóficas.
En el se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Lambert, pero su labor permaneció desconocida y aislada. También por parte de Leibniz que desarrolló la idea de un calculus ratiocinator, un sistema de reglas para simplificar oraciones compuestas.
A partir de la segunda mitad del , la lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el F (falsedad) y la V (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación.
En el último tercio del la lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal. Es una ciencia formal, ya que estudia las ideas y constituye una herramienta conceptual para todas las otras ciencias y áreas del conocimiento. y forma parte de un conjunto sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos,
Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde introduce las leyes de De Morgan e intenta generalizar la noción de silogismo. Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro Lógica Simbólica, donde introdujo los famosos diagramas de Venn.
Charles Sanders Peirce y Ernst Schröder también hicieron importantes contribuciones.
Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lógico más importante de la historia, junto con Aristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un sistema completo de lógica de predicados y cálculo proposicional. También desarrolla la idea de un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación, entre otras cosas. Pese a esto, los contemporáneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la complicada notación que desarrolló el autor. En 1893 y 1903, Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la matemática a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema y su aplicación a la teoría de conjuntos, sin embargo, contenía una contradicción (la paradoja de Russell).
Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra.
En el hubo uno de los enormes desarrollos en lógica. A partir del , la lógica pasó a estudiarse por su interés intrínseco, y no solo por sus virtudes como propedéutica, por lo que se estudió a niveles mucho más abstractos.
En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. Se suponía que las teorías matemáticas eran tautologías lógicas, y el programa debía mostrar esto por medio de una reducción de la matemática a la lógica. Los autores reconocen el mérito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un éxito rotundo, y llegó a considerarse uno de los trabajos de no ficción más importantes e influyentes de todo el . Principia mathematica utiliza una notación inspirada en la de Giuseppe Peano, parte de la cual todavía es muy utilizada hoy en día.
En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo después de los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde propone un nuevo condicional más adecuado para recoger el significado de la expresión «si... entonces» del lenguaje natural. Lewis lo llama implicación estricta. El nuevo condicional requiere, para ser verdadero, una relación más fuerte entre el antecedente y el consecuente que el condicional clásico.