La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica

formal o logística,1 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, a partir del 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 sólo 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 sólo de demostraciones y
razonamientos que se pueden formalizar por completo.
Índice

 1Áreas

 2Sistemas formales

 3Metalógica

 4Teoría de modelos

 5Teoría de la computabilidad

 6Teoría de conjuntos

 7Teoría de la demostración

 8Historia

o 8.1Siglo XIX

o 8.2Siglo XX

 9Véase también

 10Referencias

 11Bibliografía

 12Enlaces externos

Áreas[editar]

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[editar]

Esta sección es un  extracto  de  Sistema formal[editar]

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje

formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o
demostrar teoremas y dar una definición rigurosa del concepto de demostración. Un sistema
formal es una formalización rigurosa y completa del concepto de sistema axiomático, los cuales se
pueden expresar en lenguaje formal o en lenguaje natural formalizado. Al crear un sistema formal
se pretende capturar y abstraer la esencia de determinadas características del mundo real, en un
modelo conceptual expresado en un determinado lenguaje formal. Algunos de los sistemas
formales más conocidos son la lógica proposicional, la lógica de primer orden y la lógica modal.

En la teoría de la demostración, las demostraciones formales se pueden expresar en el lenguaje de

los sistemas formales, consistentes en axiomas y reglas de inferencia. Los teoremas pueden ser
obtenidos por medio de demostraciones formales. Este punto de vista de las matemáticas ha sido
denominado formalista; aunque en muchas ocasiones este término conlleva una acepción
peyorativa. En ese sentido, David Hilbert creó la metamatemática para estudiar los sistemas
formales, entendiendo que el lenguaje utilizado para ello, denominado metalenguaje era distinto
del lenguaje del sistema formal que se pretendía estudiar, al que se llama lenguaje objeto.

Un sistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje formalizado

y simbolizado sin contenido material alguno; un lenguaje reducido a mera forma que se expresa
mediante fórmulas que reflejan las relaciones sintácticas entre los símbolos y las reglas de
formación y transformación que permiten construir las fórmulas del sistema y pasar de una
fórmula a otra.2

Una teoría axiomática es un conjunto de fórmulas en un determinado lenguaje formal y todas las

fórmulas deducibles de dichas expresiones mediante las reglas de inferencia posibles en dicho
sistema formal. El objetivo de las teorías axiomáticas es construir sistemas formales que
representen las características esenciales de ramas enteras de las matemáticas. Si se selecciona un
conjunto más amplio o menos amplio de axiomas el conjunto de teoremas deducibles cambian. El
interés de la teoría de modelos es que en un modelo en que satisfagan los axiomas de
determinada teoría también se satisfacen los teoremas deducibles de dicha teoría. Es decir, si un
teorema es deducible en una cierta teoría, entonces ese teorema es universalmente válido en
todos los modelos que satisfacen los axiomas. Esto es interesante porque en principio la clase de
modelos que satisface una cierta teoría es difícil de conocer, ya que las teorías matemáticas
interesantes en general admiten toda clase infinita de modelos no isomorfos, por lo que su
clasificación en general resulta difícilmente abordable si no existe un sistema formal y un conjunto
de axiomas que caracterice los diferentes tipos de modelos.
En el siglo XX, Hilbert y otros sostuvieron que la matemática es un sistema formal. Pero en
1931, Kurt Gödel demostró que ningún sistema formal con suficiente poder expresivo para
capturar la aritmética de Peano puede ser a la vez consistente y completo. El teorema de la
incompletitud de Gödel, junto con la demostración de Alonzo Church de que la matemática
tampoco es decidible, terminó con el programa de Hilbert. Sin embargo, a pesar de sus
limitaciones, el enfoque sigue siendo ampliamente usado, básicamente porque no se ha
encontrado ninguna alternativa mejor al enfoque formalista de Hilbert y la pretensión de trabajar
en el seno de teorías matemáticas explícitamente axiomatizadas, aun con sus limitaciones.

Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la
información y la estadística.

Metalógica[editar]

Esta sección es un  extracto  de  Metalógica[editar]

La metalógica es la rama de la lógica que estudia las propiedades y los componentes de

los sistemas formales.3 Las propiedades más importantes que se pueden demostrar de los
sistemas formales son la consistencia, decidibilidad y completitud.4 Ejemplos de teoremas
metalógicos importantes son los teoremas de incompletitud de Gödel, el teorema de completitud
de Gödel y el teorema de Löwenheim-Skolem. Otra propiedad es la compacidad.

Teoría de modelos[editar]

Esta sección es un  extracto  de  Teoría de modelos[editar]

En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales

como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las
teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una
interpretación semántica a las expresiones puramente formales de los lenguajes formales. Además
permite estudiar en sí mismos los conjuntos de axiomas, su completitud, consistencia,
independencia mutua, y permiten introducir un importante número de cuestiones metalógicas.

Al mismo tiempo los lenguajes en los que se ha estructurado la noción de verdad y de los que
habla la teoría de modelos son, por lo general, sistemas matemáticos. Las «cosas» representadas
en dichos lenguajes son también sistemas matemáticos. Por esto, la teoría de modelos es una
teoría semántica que pone en relación unos sistemas matemáticos con otros sistemas
matemáticos. Dicha teoría nos proporciona algunas pistas con respecto a aquella semántica que
pone en relación los lenguajes naturales con la realidad. Sin embargo, ha de tenerse siempre
presente que no hay ningún sustituto matemático para los problemas genuinamente filosóficos. Y
el problema de la verdad es un problema netamente filosófico.

Padilla Galvez, Jesús Padilla Gálvez (2007). Verdad y demostración. Universidad de Castilla-La

Mancha. p. 229. ISBN 9788496780194. OCLC 427520428. Consultado el 28 de febrero de 2019.