Lgica matemtica

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

o

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, entre otros.

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:

que consta de:

smbolos relacionales

, cada uno de ellos con un nmero entero

asociado, el cual se conoce como la aridad de

smbolos funcionales

smbolos constantes

Una frmula de primer orden

, cada uno de aridad

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

es una coleccin de distintos smbolos clasificados

como sigue:
El smbolo de igualdad

; las conectivas

; el cuantificador universal

el parntesis , .

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

.
.
.
.

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

vaco

, es una tupla consistente en un conjunto no

, el universo del discurso, junto a:

1. Para cada smbolo constante

de

, tenemos un elemento

2. Para cada smbolo de function

aria

-aria

de

, una function

3. Para cada smbolo de relacin

esto es, un subconjunto

-aria

de

, una relacin

-aria sobre

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]
Sistema Ingls de Medidas
En EUA se emplea el sistema ingls para medir peso, longitud y volumen (lquidos).
Medida
Longitud

Unidad de medida

Abreviatura

milla

yarda

yd

Equivalencias
1 m = 1760 yd
1 milla = 5280 ft
1 yd = 36 in

1 yd = 3 ft
pie

Peso
Volumen

pulgada
libra
onza
galn
onzas fluidas

Sistema ingls de medidas

Longitud
1 milla
1 pulgada
1 pie
1 yarda
Peso
1 onza
1 libra
Volumen
1 galn
1 onza fluida o lquida

1 ft = 12 in (pulgadas)

ft

1ft = 0.33333 yardas (yd)

1 pulgada (in) = 0.8333 pies (ft)
1 lb = 16 oz
1 onza (oz) = 0.0625 libra (lb)
1 galn = 3.7851 l
0.0295741 = 29.574 ml

in
lb
oz
gl
fl oz

Sistema mtrico decimal

1.60 kilmetros
2.54 centmetros
30.48 centmetros
91.4 centmetros
28.3 gramos
0.453 gramos
3.785 litros
0.029 litros = 29 mililitros