La lgica matemtica

es una parte de la lgica y la matemtica, que consiste en el estudio matemtico de la lgica, y en

la aplicacin de dicho estudio a otras reas de la matemtica y de las ciencias. La lgica
matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican
o definen nociones intuitivas de objetos matemticos como conjuntos, nmeros,demostraciones,
y algoritmos, utilizando un lenguaje formal.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica
ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas.
Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica (o
logstica), lgica matemtica, lgica teortica y lgica formal.1
La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica.
Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.
ndice
[ocultar]

1Historia
o

1.1Siglo XIX

1.2Siglo XX

2Concepto de lgica matemtica

o

2.1Sistemas lgicos

2.2Teoras axiomticas

3reas

4Tipos de sistemas lgicos

4.1Lgica proposicional

4.2Lgica de predicados

4.3Lenguajes y estructuras de primer orden

5Aspectos metalgicos y algortmicos

o

5.1Metalgica

5.2Teora de modelos

5.3Teora de la computabilidad

5.4Teora de la demostracin

6Vase tambin

7Referencias
o

7.1Bibliografa adicional

8Enlaces externos

Historia[editar]
Siglo XIX[editar]
Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una
manera simblica por parte de algunos filsofos matemticos como Leibniz yLambert, pero su
labor permaneci desconocida y aislada.
A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En
1847, George Boole public un breve tratado titulado El anlisis matemtico de la lgica, y en
1854 otro ms importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la
lgica como un clculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el
1 (verdad), y a los que se les aplican operaciones matemticas como la suma y la multiplicacin.
Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lgica formal, donde introduce
las leyes de De Morgan e intenta generalizar la nocin de silogismo. Otro importante
contribuyente ingls fue John Venn, quien en 1881 public su libro Lgica Simblica, donde
introdujo los famosos diagramas de Venn.
Charles Sanders Peirce y Ernst Schrder tambin hicieron importantes contribuciones.
Sin embargo, la verdadera revolucin de la lgica vino de la mano de Gottlob Frege, quien
frecuentemente es considerado como el lgico ms importante de la historia, junto con
Aristteles. En su trabajo de 1879, la Conceptografa, Frege ofrece por primera vez un sistema
completo de lgica de predicados y clculo proposicional. Tambin desarrolla la idea de
un lenguaje formal y define la nocin de prueba. Estas ideas constituyeron una base terica
fundamental para el desarrollo de las computadoras y las ciencias de la computacin, entre otras
cosas. Pese a esto, los contemporneos de Frege pasaron por alto sus contribuciones,
probablemente a causa de la complicada notacin que desarroll el autor. En 1893 y 1903, Frege
publica en dos volmenes Las leyes de la aritmtica, donde intenta deducir toda la matemtica a
partir de la lgica, en lo que se conoce como el proyecto logicista. Su sistema y su aplicacin a
la teora de conjuntos, sin embargo, contena una contradiccin (la paradoja de Russell).
Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la
lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada
del lgebra.
Siglo XX[editar]
El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la lgica pas a
estudiarse por su inters intrnseco, y no slo por sus virtudes como propedutica, por lo que se
estudi a niveles mucho ms abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo
monumental en el que logran gran parte de la matemtica a partir de la lgica, evitando caer en
las paradojas en las que cay Frege. Los autores reconocen el mrito de Frege en el prefacio. En
contraste con el trabajo de Frege, Principia mathematicatuvo un xito rotundo, y lleg a
considerarse uno de los trabajos de no ficcin ms importantes e influyentes de todo el siglo XX.
Principia mathematica utiliza una notacin inspirada en la de Giuseppe Peano, parte de la cual
todava es muy utilizada hoy en da.
En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo despus de los Principia
Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde
propone un nuevo condicional ms adecuado para recoger el significado de la expresin "si...
entonces" del lenguaje natural. Lewis lo llama implicacin estricta. El nuevo condicional requiere,
para ser verdadero, una relacin ms fuerte entre el antecedente y el consecuente que el
condicional clsico.
En 1920 David Hilbert propuso de forma explcita un proyecto de investigacin
(en metamatemtica, como se llam entonces) que acab siendo conocido como programa de
Hilbert. Quera que la matemtica fuese formulada sobre unas bases slidas y completamente
lgicas.
El origen de los modelos abstractos de computacin se encuadra en los aos '30 (antes de que
existieran los ordenadores modernos), en el trabajo de los lgicos Alonzo Church, Kurt
Gdel, Stephen Kleene, Emil Leon Post, Haskell Curry y Alan Turing. Estos trabajos iniciales han
tenido una profunda influencia, tanto en el desarrollo terico como en abundantes aspectos de la
prctica de la computacin; previendo incluso la existencia de ordenadores de propsito general,
la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representacin
de lenguajes por estructuras formales basados en reglas de produccin.
La deduccin natural fue introducida por Gerhard Gentzen en su trabajo Investigaciones sobre la
inferencia lgica (Untersuchungen ber das logische Schliessen), publicado en 1934-1935.
En los aos 40 Alfred Tarski comenz a desarrollar junto a sus discpulos el lgebra relacional, en la
que pueden expresarse tanto la teora axiomtica de conjuntos como laaritmtica de Peano.
Tambin desarroll junto a sus discpulos las lgebras cilndricas, que son a la lgica de primer
orden lo que el lgebra booleana a la lgica proposicional. En 1941 public en ingls uno de los
manuales de lgica ms acreditados, Introduction to Logic and to the Methodology of Deductive
Sciences.
Noam Chomsky en 1956 propone una clasificacin jerrquica de distintos tipos de gramticas
formales que generan lenguajes formales llamada jerarqua de Chomsky.
Si bien a la luz de los sistemas contemporneos la lgica aristotlica puede parecer equivocada e
incompleta, Jan ukasiewicz mostr que, a pesar de sus grandes dificultades, la lgica aristotlica
era consistente, si bien haba que interpretarse como lgica de clases, lo cual no es pequea
modificacin. Por ello la silogstica prcticamente no tiene uso actualmente.
Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio el desarrollo de muchos
otros sistemas lgicos; entre los que destacan las muchas lgicas modales.

Concepto de lgica matemtica[editar]

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican
conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y
computacin. La lgica estudia las reglas de deduccin formales, las capacidades expresivas de los
diferentes lenguajes formales y las propiedadesmetalgicas de los mismos.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un
argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lgica
matemtica se ocupa de la posibilidad de axiomatizar las teoras matemticas, de clasificar su
capacidad expresiva, y desarrollar mtodos computacionales tiles en sistemas formales. La teora
de la demostracin y la matemtica inversa son dos de los razonamientos ms recientes de la
lgica matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica
no es mtodo de descubrir verdades del mundo fsico real, sino slo una fuente posible de
modelos lgicos aplicables a teoras cientficas, muy especialmente a la matemtica convencional.
La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general
o del proceso creativo de construccin de demostraciones matemticas mediante argumentos
rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino slo de
demostraciones y razonamientos que pueden ser completamente formalizados en todos sus
aspectos.
Sistemas lgicos[editar]
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:

La sintaxis de los lenguajes formales, es decir, las reglas de formacin de smbolos

interpretables construidos a partir de un determinado alfabeto, y las reglas de inferencia.
En concreto el conjunto de teoremas deducibles de un conjunto de axiomas.

La semntica de los lenguajes formales, es decir, los significados atribuibles a un conjunto

de signos, as como el valor de verdad atribuible a algunas de las proposiciones. En general
las expresiones de un sistema formal interpretadas en un modelo son ciertas o falsas, por
lo que un conjunto de proposiciones que admite un modelo es siempre consistente.

Los aspectos metalgicos de los lenguajes formales, como por ejemplo la completitud
semntica, la consistencia, la compacidad o la existencia de modelos de cierto tipo, etc.

Los diferentes tipos de sistemas lgicos pueden ser clasificados en:

Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables
proposicionales (que pueden ser interpretados informalmente como enunciados que
pueden ser ciertos o falsos) adems de smbolos para diversas conectivas. Estas conectivas
permiten formar expresiones complejas a partir de variables proposicionales simples. Un
sistema lgico puede incluir diversos tipos de conectivas, entre ellos, la lgica clsica suele
hacer uso de los siguientes:

se lee no

 se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s"
Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las
posibilidades de interpretacin semntica se obtiene la lgica intuicionista y ampliando la
complejidad de las interpretaciones semnticas se obtienen las lgicas modales.

Lgica de predicados: Esta no incluye smbolos para variables proposicionales sino que las
proposiciones ms elementales son predicados atmicos formados a partir de variables
interpretables como objetos singulares, relaciones (entre estas frecuentemente se usan = ,
<, >, etc.), funciones matemticas. Adems smbolos para representar variables, relaciones
y funciones este tipo de lgicas incluyen cuantificadores. Dentro de la lgica de predicados
se pueden distinguir ciertos tipos:

Lgica de primer orden que usualmente es finitaria (slo se admiten

proposiciones formadas mediante un nmero finito de pasos) aunque tambin
existen lgicas infinitarias.

Lgica de segundo orden que a su vez pueden ser de diferentes subtipos.

Teoras axiomticas[editar]
Una teora axiomtica est formada por un conjunto de proposiciones expresables en un
determinado lenguaje formal y todas las proposiciones deducibles de dichas expresiones mediante
las reglas de inferencia posibles en dicho sistema lgico.
El objetivo de las teoras axiomticas es construir sistemas lgicos que representen las
caractersticas esenciales de ramas enteras de las matemticas. Si se selecciona un conjunto ms
amplio o menos amplio de axiomas el conjunto de teoremas deducibles cambian. El inters de
la teora de modelos es que en un modelo en que satisfagan los axiomas de determinada teora
tambin se satisfacen los teoremas deducibles de dicha teora. Es decir, si un teorema es deducible
en una cierta teora, entonces ese teorema es universalmente vlido en todos los modelos que
satisfacen los axiomas. Esto es interesante porque en principio la clase de modelos que satisface
una cierta teora es difcil de conocer, ya que las teoras matemticas interesantes en general
admiten toda clase infinita de modelos no isomorfos, por lo que su clasificacin en general resulta
difcilmente abordable si no existe un sistema lgico y un conjunto de axiomas que caracterice los
diferentes tipos de modelos.
reas[editar]
La Mathematics Subject Classification divide la lgica matemtica en las siguientes reas:

Filosfica y crtica

Lgica general (que incluye campos como la lgica modal y la lgica borrosa)

Teora de modelos

Teora de la computabilidad

Teora de conjuntos

Teora de la demostracin y matemtica constructiva algebraica]]

Modelos no estndar

En algunos casos hay conjuncin de intereses con la Informtica terica, pues muchos pioneros de
la informtica, como Alan Turing, fueron matemticos y lgicos. As, el estudio de la semntica de
los lenguajes de programacin procede de la teora de modelos, as como tambin la verificacin
de programas, y el caso particular de la tcnica delmodel checking. Tambin el isomorfismo de
Churry-Howard entre pruebas y programas se corresponde con la teora de pruebas, donde
la lgica intuicionista y la lgica linealson especialmente significativas.
Algunos sistemas lgicos como el clculo lambda, y la lgica combinatoria entre otras han
devenido, incluso, autnticos lenguajes de programacin, creando nuevos paradigmas como son
la programacin funcional y la programacin lgica.
Tipos de sistemas lgicos[editar]
Lgica proposicional[editar]
Artculo principal: Lgica proposicional
La lgica proposicional (o lgica de orden cero) es un lenguaje formal en el que no existen
variables ni cuantificacin, eso implica que cualquier secuencia de signos que constituya una
frmula bien formada de la lgica proposicional admite una valoracin en la proposicin es cierta
o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. En otras
palabras en la lgica proposicional cualquier frmula bien formada define una funcin
proposicional. Por tanto, cualquier sistema lgico basado en la lgica proposicional es decidible y
en un nmero finito de pasos puede determinarse la verdad o falsedad semntica de una
proposicin. Esto hace que la lgica proposicional sea completa y muy sencilla de caracterizar
semnticamente.
Lgica de predicados[editar]
La lgica de predicados (o lgica de primer orden) es un lenguaje formal en el que las sentencias
bien formadas son producidas por las reglas enunciadas a continuacin.
Vocabulario
Un vocabulario es una tupla:
de:

smbolos relacionales

que consta

, cada uno de ellos con un nmero entero

se conoce como la aridad de

smbolos funcionales

, cada uno de aridad

asociado, el cual

smbolos constantes

Una frmula de primer orden en el vocabulario , es una frmula de primer orden donde los
nicos predicados, funciones y constantes empleados son los especificados por .
Lenguajes y estructuras de primer orden[editar]
Un lenguaje de primer orden
El smbolo de igualdad

es una coleccin de distintos smbolos clasificados como sigue:

; las conectivas

; el cuantificador universal

Un conjunto contable de smbolos de variable

Un conjunto de smbolos de constante

Un conjunto de smbolos de funcin

Un conjunto de smbolos de relacin

y el parntesis , .

.
.
.
.

As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos
constantes, smbolos de funcin y smbolos relacionales, dado que el primer conjunto de smbolos
es estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte
de la estructura de las funciones y relaciones.
Los smbolos carecen de significado por s solos. Sin embargo, a este lenguaje podemos dotarlo de
una semntica apropiada.
Una -estructura sobre el lenguaje
universo del discurso, junto a:
1. Para cada smbolo constante

, es una tupla consistente en un conjunto no vaco

de

, tenemos un elemento

2. Para cada smbolo de function

-aria

de

, una function

-aria

3. Para cada smbolo de relacin

-aria

de

, una relacin

-aria sobre

subconjunto

, el

.
, esto es, un

A menudo, usaremos la palabra modelo para denotar esta estructura.

Aspectos metalgicos y algortmicos[editar]
Metalgica[editar]
Artculo principal: Metalgica
Leopold Lwenheim (1915) y Thoralf Skolem (1920) formularon el llamado teorema de
Lwenheim-Skolem, que afirma que cualquier sistema axiomtico basado en la lgica de primer
orden no puede controlar la cardinalidad de las estructuras no finitas que satisfacen los axiomas
de dicho sistema. Skolem comprendi que este teorema podra aplicarse para las formalizaciones
de primer orden de la teora de conjuntos, siendo dicha formalizacin numerable, existira un

modelo numerable para dicha teora aun cuando la teora afirma que existen conjuntos no
contables. Este resultado contraintuitivo es la conocida paradoja de Skolem.
En su tesis doctoral, Kurt Gdel (1929) demostr el teorema de completitud de Gdel, que
establece una correspondencia entre la sintaxis y la semntica de la lgica de primer orden. Gdel
us dicho teorema de completitud para probar el llamado teorema de compacidad, demonstrando
la naturaleza fintiaria del operador de consecuencia lgica. Estos resultados ayudaron a establecer
a la lgica de primer orden como el tipo de lgica dominante en las matemticas actual.
En 1931, Gdel public On Formally Undecidable Propositions of Principia Mathematica and
Related Systems, que demostraba la incompletitud (en un sentido diferente del trmino) de
cualquier sistema axiomtico suficientemente expresivo, cuyo sistema de axiomas fuera
recursivamente enumerable. Este tipo de resultados, conocidos comoteorema de incompletitud
de Gdel, implica que los sistemas axiomticos de primer orden tienen severas limitaciones para
fundamentar las matemticas, y supusieron un duro golpe para el llamado programa de
Hilbert para la fundamentacin de las matemticas. Uno de los resultados de Gdel estableci que
es imposible que pueda formalizarse la consistencia de la aritmtica en una teora formal en la que
se pueda formalizar la propia aritmtica. Por otra parte, durante algn tiempo ni Hilbert ni otros
de sus colaboradores fueron conscientes de la importancia del trabajo de Gdel para su
pretensin de fundamentar las matemticas mediante el citado "programa de Hilbert".
Teora de modelos[editar]
Artculo principal: Teora de modelos
La teora de modelos introducida anteriormente permite atribuir una interpretacin semntica a
las expresiones purmente formales de los lenguajes formales. Pero adems, permiten estudiar en
s mismos los conjuntos de axiomas, su completitud, su consistencia, la independencia de unos de
otros y permiten introducir un importante nmero de cuestiones metalgicas.
Teora de la computabilidad[editar]
Artculos principales: Teora de la computabilidad y Recursividad.
La Teora de la computabilidad es la parte de la Teora de la computacin que estudia
los problemas de decisin que pueden ser resueltos con un algoritmo o equivalentemente con
una mquina de Turing.
Teora de la demostracin[editar]
Artculo principal: Teora de la demostracin
La teora de la demostracin es la rama de la lgica matemtica que trata a
las demostraciones como objetos matemticos, facilitando su anlisis mediante tcnicas
matemticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente
definidas que se construyen de acuerdo con los axiomas y reglas de inferenciade los sistemas
lgicos. En este sentido, la teora de la demostracin se ocupa de la sintaxis, en contraste con
la teora de modelos, que trata con la semntica. Junto con lateora de modelos, la teora de

conjuntos axiomtica y la teora de la recursin, la teora de la demostracin es uno de los "cuatro

pilares" de los fundamentos de las matemticas.
Vase tambin[editar]

Lgica proposicional

Lgica de primer orden

Nocin primitiva

Funcin indicatriz

Referencias[editar]
1. Volver arriba Evandro Agazzi, 1986.
Bibliografa adicional[editar]

Agazzi, Evandro (1986). Lgica simblica. Herder. ISBN 9788425401305.

Enderton, Herbert (2001). A mathematical introduction to logic (2nd edicin). Boston,

MA: Academic Press. ISBN 978-0-12-238452-3.

Hamilton, A.G. (1988), Logic for Mathematicians (2nd edicin), Cambridge: Cambridge
University Press, ISBN 978-0-521-36865-0.

Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994), Mathematical Logic (2nd edicin), Nueva
York: Springer, ISBN 0-387-94258-0