LGICA MATEMTICA

DEFINICION
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.

HISTORIA
Siglo XIX
Previamente ya se hicieron algunos intentos de tratar las operaciones
lgicas formales de una manera simblica por parte de algunos filsofos
matemticos

como Leibniz y Lambert,

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
aplicanoperaciones 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
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 mathematica tuvo un
xito rotundo, y lleg a considerarse uno de los trabajos de no ficcin
ms

importantes

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

la matemtica fuese

como programa
formulada

de

sobre

Hilbert.
unas

Quera

bases

slidas

que
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 la aritmtica 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

la

luz

aristotlica puede

de

los

parecer

sistemas

contemporneos

equivocada

la lgica

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.
Sistemas lgicos
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

incluyencuantificadores.

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.

Tipos de sistemas logicas

Lgica proposicional
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
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 , cada uno de aridad

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
Un lenguaje de primer orden es una coleccin de distintos smbolos
clasificados como sigue:
El smbolo de igualdad ; las conectivas, el cuantificador universal y
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 , es una tupla consistente en un
conjunto no vaco , el universo del discurso, junto a:
1. Para cada smbolo constante de , tenemos un elemento .
2. Para cada smbolo de funcin -aria de, una funcin -aria .
3. Para cada smbolo de relacin -aria de, una relacin -aria sobre ,
esto es, un subconjunto .
A menudo, usaremos la palabra modelo para denotar esta estructura.