LOGICA AXIOMATICA

En lgica y matemticas, un sistema axiomtico consiste en un conjunto

de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.
Ejemplos de sistemas axiomticos deductivos son la geometra
euclidianacompilada por Euclides en los Elementos 1 y el sistema axiomtico de
la lgica proposicional.
Historia
El primer intento se remonta a la axiomatizacin de los Elementos de Euclides
(siglo I!III a.".#, aplicado a la geometra plana. Euclides enuncia
cinco postulados y cinco nociones comunes (axiomas#, de los que deduce sus
teoremasgeom$tricos. %l mismo tiempo, %ristteles aporta el primer en&oque
de la lgica &ormal en el 'rganon, recogiendo diversos axiomas de (latn y
otros )lso&os.
En matemticas, sin em*argo, el primer intento de axiomatizacin lleg en
1+++, cuando ,ic-ard .ede/ind propuso un conjunto de axiomas so*re los
n0meros.1 %l a2o siguiente, 3iuseppe (eano retoma los tra*ajos de .ede/ind y
expone sus axiomas aritm$ticos.
3ottlo* 4rege, en 1++5, con su o*ra .ie 3rundlagen der %rit-meti/ y la
posterior 3rundsetze der %rit-meti/, trata de reducir la aritm$tica a la
lgica. 6ertrand ,ussell en su intento de 1781 descu*ri la paradoja del mismo
nom*re9 :paradoja de ,ussell;, y para resolverla tra*aj con %l&red <ort-
=-ite-ead, en (rincipia >at-ematica. En 1+77, .avid ?il*ert re&ormula los
axiomas de la geometra, y tam*i$n explica los conceptos que Euclides dej
implcitos, por ejemplo, Euclides no dice que -ay al menos tres puntos en el
plano, o que -ay al menos un punto en el plano que no pertenece a la lnea,
etc.
En el "ongreso cele*rado en 1788, .avid ?il*ert plante varios pro*lemas,
entre los que inclua la demostracin de la consistencia de los axiomas de las
matemticas y la axiomatizacin de la &sica. En 17@1, Aurt 3Bdel demostr
que cualquier sistema axiomtico equivalente a los axiomas de (eano es
incompleto y que si este sistema es consistente, no se puede utilizar para
pro*ar su consistencia (teorema de incompletitud de 3Bdel#.
Sistemas axiomticos formales e informales
Cn sistema axiomtico puede tener expresados sus axiomas de manera &ormal
o de manera in&ormal9
Cna axiomatizacin &ormal usa un lenguaje &ormal y en $l cada axioma es una
cadena )nita de signos en el al&a*eto del lenguaje &ormal, siguiendo reglas
com*inatorias que -acen de la secuencia una &rmula *ien &ormada.
Cna axiomatizacin in&ormal usa una lengua natural &ormalizada y de)niciones
no am*iguas, los li*ros de matemtica y otras disciplinas &ormales
normalmente redactan los axiomas de esta manera.
Dos sistemas de axiomas &ormales son ms sencillos de estudiar y son
pre&eri*les para caracterizar las propiedades de los sistemas matemticos. En
particular admiten una caracterizacin semntica muy clara en la teora de
modelos y sus propiedades deductivas pueden ser tratadas en la teora de la
demostracin. (or el contrario, las axiomatizaciones in&ormales slo son 0tiles
cuando se tiene un modelo concreto en mente y se pretenden *uscar
propiedades que se cumplen en el modelo.
Componentes de un sistema axiomtico formal
Cn sistema axiomtico &ormal consta de los siguientes elementos9
Cn al&a*eto E para construir expresiones &ormales que incluye9
Cn conjunto de sm*olos para conectivas lgicas, cuanti)cadores
Cn conjunto de sm*olos para designar varia*les
Cn conjunto de sm*olos para constantes (que tendrn en un modelo una
interpretacin )ja#.
Cn conjunto de sm*olos que sern interpretados como &unciones.
Cn conjunto de sm*olos que sern interpretados como relaciones.
Cna gramtica &ormal que incluir9
,eglas de *uena &ormacin, que reproducen la Fmor&ologaF del lenguaje
&ormal.
,eglas de in&erencia que permitirn deducir unas proposiciones de otras, estas
reglas reproducen la FsintaxisF del lengua &ormal.
Cn conjunto de axiomas inicial, o expresiones *ien &ormadas son el punto de
partida de cualquier deduccin.
(ara el conjunto de expresiones *ien &ormadas exresadas en el lenguaje &ormal
anterior puede de)nirse una E!estructura en la que a cada varia*le constante o
cada ocurrencia li*re de una varia*le reci*a un valor dentro del modelo (es
decir, las constantes y varia*les li*res sern conjuntos preasignados de la E!
estructura#. Das &unciones y relaciones sern de)nidas como &unciones y
relaciones matemticas dentro de la E!estructura. Cna vez de)nidas las
constantes, varia*les li*res, &unciones y relaciones resulta trivial atri*uir un
signi)cado concreto a las expresiones del lenguaje &ormal en la E!estructura.
Modelos para un sistema axiomtico formal
Ei un conjunto de proposiciones (&rmulas *ien &ormadas# de un sistema
axiomtico &ormal admiten una E!estructura donde se satis&acen, entonces se
dice que dic-a estructura es un modelo para el conjunto de proposiciones. Cn
sistema de axiomas que admite un modelo es un sistema de axiomas
consistente. Cn sistema &ormal *ien construido satis&ace Fteorema de validezF
que viene a a)rmar que cualquier proposicin deduci*le de los axiomas o
teorema del sistema axiomtico, se satis&ace tam*i$n, en todos los modelo que
sean un modelo en el que se satis&acen los axiomas. Da propiedad recproca no
siempre se cumple, una proposicin que se satis&ace en todos los modelos de
una teora no tiene porqu$ ser deduci*le del sistema de aximas. Este 0ltimo
punto es ilustrado por los teoremas de incompletitud de 3Bdel, que viene a
a)rmar que una sistema &ormal de ciertos sistemas matemticos con un
conjunto de axiomas que satis&ace determinada propiedad &ormal (ser un
recursivamente enumera*les# admitir un modelo en el que algunas
proposiciones sern ciertas pero no sern deduci*les. Es decir,
la teora asociada al sistema axiomtico &ormal ser esencialmente incompleta.
Ejemplos
Da teora de grupos es un sistema axiomtico se puede *asar en el siguiente
conjunto de tres axiomas 31, 31 y 3@9
(31# para todo x, y y z9
(31# para todo x9
(3@# para todo x, existe un y tal que
Este conjunto de axiomas no es 0nico, ya que pueden ser su*stituidos por otros
equivalentes. En teora de grupos el asunto importante es que el conjunto de
teoremas sean los mismos en dos axiomatizaciones di&erentes. Eso implica que
las dos clase de modelos que satis&acen los dos sistemas de axiomas
coindiden. Dos tres axiomas anteriores pueden escri*irse sin usar ninguna
lengua natural usando slo sm*olos de una lenguaje de primer orden como9
(31#
(31#
(3@#
.onde & de*e interpretarse como la &uncin de)nida so*re 3x3 que da un
elemento de 3 dando operacin de grupo, xi son signos de varia*les (puede
de)nirse una coleccin in)nita numeral*e de las mismas# y c1 es una
constante que requiere la teora que se interpretar como el elemento neutro
(es decir, los axiomas postulan que dic-o elemento existe#.