Professional Documents
Culture Documents
Lógica matemática
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica
y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones
con la ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas
de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de
conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el
estudio de los fundamentos de las matemáticas.
La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo
suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración.
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye aquellas partes
de la lógica que pueden ser modeladas y estudiadas matemáticamente.
Historia
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.
Previamente ya 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 Leibniz y Lambert, pero su labor permaneció desconocida y aislada.
Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema
matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada,
obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.
El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual
lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico
(por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador que
lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico,
construyendo modelos apropiados (teoría de modelos). La lógica matemática estudia los sistemas formales en
relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números,
demostraciones y computación.
Á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
• Lógica 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
Lógica matemática 2
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 lógicos
como el cálculo lambda, y la lógica combinatoria entre otras han devenido, incluso, auténticos lenguajes de
programación, creando nuevos paradigmas como son la programación funcional y la programación lógica.
Lógica de predicados
La lógica de predicados es un lenguaje formal donde las sentencias bien formadas son producidas por las reglas
enunciadas a continuación.
Vocabulario
Un vocabulario es una tupla: que consta de:
• símbolos relacionales , cada uno de ellos con un número entero asociado, el cual se conoce como la
aridad de
• símbolos funcionales , cada uno de aridad
• símbolos constantes
Una fórmula de primer orden en el vocabulario , es una fórmula de primer orden donde los únicos predicados,
funciones y constantes empleados son los especificados por .
Véase también
• Lógica proposicional
• Lógica de primer orden
• Noción primitiva
• Función indicatriz
Bibliografía adicional
• Agazzi, Evandro (1986). Lógica simbólica. Herder. ISBN 9788425401305.
Enlaces externos
• Wikiversidad alberga proyectos de aprendizaje sobre Lógica matemática.Wikiversidad
Fuentes y contribuyentes del artículo 4
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/