La axiomtica de Robert Blanch

Este texto nos explica lo que es un sistema axiomtico, sus partes internas y la
definicin y funcin de cada una. A su vez se van presentando diferentes
problemas en cada parte ya sea al interior del sistema con las definiciones,
fundamentos, la coherencia del sistema, su carcter de verdadero o falso etc.
Tambin se presentan problemas en otras ciencias como las matemticas la
lgica, el mtodo cientfico y la filosofa, esto provoco que gemetras filsofos,
matemticos y lgicos tomaran diferentes posturas a cerca de los fundamentos de
la matemticas y la lgica as como tambin provoco una pluralidad de sistemas
axiomticos lgicos, matemticos y geomtricos.
La pretensin de la axiomtica era proveer respuestas absolutas sin subjetividad
en donde cada postulado y proposicin quedaran bien demostrados y definidos.
Esto se viene abajo en cada cado, primero al geometra y luego con las
matemticas y la lgica. Al final nos encontramos con el problema de que los
principios, reglas y nociones comunes que son la base de el sistema y que se
suponen como axiomas solo son validas dentro del mismo sistema, estas pueden
cambiar en otro sistema o modificarse dando lugar a otra axiomtica, de una
misma teora, totalmente diferente.

Conceptos bsicos

El libro comienza por darnos una breve definicin de lo que es la axiomtica, esta
es el proceso mediante el cual puede ser generado un sistema haciendo uso de
reglas y deduccin lgica. Partiendo de proposiciones bsicas (axiomas y
postulados) su finalidad es descubrir un modelo en el que cada postulado sea
verdadero. Un sistema axiomtico es la forma definitiva que en la actualidad toma
una teora deductiva.
Los teoremas no se presentan sin una definicin previa, las proposiciones no se
citan sin haber sido demostradas, los principios no son demostrables ya que una
demostracin no puede ser retomada al infinito. Es importante no apelar a la
experiencia para justificar, se trabaja recurriendo solo a demostraciones.
Cada teorema teorema gurda una relacin necesaria con la proposicin de la que
es deducido. Todo junto integra un sistema en el que al sustraer o cambiar algo se
compromete todo.
En un sistema axiomtico todos los trminos y las proposiciones no demostradas
deben quedar explcitas, los trminos no demostrados se consideran como
hiptesis con las cuales pueden construirse proposiciones de acuerdo a las reglas
lgicas.

Errores en la geometra euclidiana y surgimiento de nuevas geometras

Teniendo en cuenta estos conceptos base se expone un problema dentro de la

geometra euclidiana que dar como resultado la creacin de geometras no
euclidianas. Este problema se debe al carcter hipottico de los postulados
(especficamente el problema aparece con el postulado cinco, necesario para
justificar la proposicin veintinueve). Tiempo despus al intentar justificarlo se
1
llego a la conclusin de que las demostraciones sucesivas tenan como base
suposiciones implcitas. Ya que fue imposible demostrar este postulado se pens
que el negarlo o modificarlo no tendra que provocar contradicciones.
De esta forma procedieron Reimann y Lobachevski dando lugar a las geometras
no-euclidianas.
En cuanto a la veracidad de un sistema, no se trata de que su contenido sea
verdadero o falso, mas bien de que haya coherencia o contradiccin interna.
Euclides supona que la intuicin es prueba o evidencia en la cual se apoyo al
momento de crear sus definiciones, demostraciones y postulados.
Desgraciadamente la axiomatizacin exige rigor y exactitud. Debido a que la
intuicin puede llegar a caer en interpretaciones subjetivas o introducir
presupuestos esta no puede ser utilizada como un apoyo.

Primer intento de axiomatizacin

Perdida del sentido emprico en las proposiciones a favor de la reduccin a la lgica

Un axioma ,a diferencia de un postulado, es una nocin comn o proposicin

analtica. En cambio el postulado sera como una proposicin sinttica.
En cuanto a las definiciones es necesario que existan definiciones y proposiciones
primeras, es decir que son indefinibles o indemostrables, esto para evitar una
cadena de definicin infinita.
La funcin de las demostraciones y definiciones parece un poco problemtica
pues se destacan dos aspectos, al exponer la geometra se intenta cumplir con un
objetivo pedaggico y didctico o con el rigor lgico. Al tratar de cumplir con
ambas cosas puede resulta confusa la exposicin de la geometra.
La axiomtica nace en 1882 cuando por primera vez se intenta hacer una
axiomatizacin de la geometra, fue el alemn Moritz Pasch quien realizo este
primer intento, pese a que su sistema presento muchas fallas Pasch dio con un
problema importante. Para que la geometra se axiomatice es necesario que el
modo de extraer consecuencias sea independiente de los conceptos geomtricos.
De esta forma las reglas o condiciones que exige una exposicin deductiva son
que los trminos primero sean enunciados claramente, las proproposiciones
primeras con que se demostraran otras deben ser tambin claras, las relaciones
entre los trminos primeros sean solo lgicas, independientes del sentido concreto
que pueda darse a los trminos y finalmente que solo estas relaciones puedan
intervenir en las demostraciones. Estas reglas implican la distincin entre trminos
y proposiciones propios del sistema y aquellos que sean anteriores al sistema,
pertenecientes mas bien a cuestiones lgicas. Esto se debe a que en un sistema
geomtrico se presuponen conocimientos lgicos y aritmticos.
El que se diga que un termino es indefinible o una proposicin indemostrable es
relativo a el sistema axiomtico del que se esta tratando pues uno puede escoger
que trminos y definiciones sern los primeros y fundamentales. Este cambio de
reglas determinara a los postulados.

El carcter lgico de un postulado es que este es una hiptesis que permite

deducir un conjunto de proposiciones, por lo que la validez de un razonamiento
que se haga a partir de esto es independiente de la verdad de su contenido.

2
En cuanto a los trminos primeros surge la duda siguiente: en el postulado se
hace una abstraccin, no importa la verdad de su contenido se puede hacer esta
abstraccin a su vez en los trminos primeros? Si esto es as cul es el sentido
que tienen pues ni podemos definirlos y adems al abstraerlos se pierde su
sentido intuitivo?
Ya que, como se menciono antes, lo que se pretende es eliminar cualquier
subjetividad y trminos implcitos, es necesario olvidar cualquier sentido emprico.
El sentido se fija por el uso en los postulados que enuncian la relacin lgica que
hay entre cada nocin, gracias a esto lo que queda determinado es la relacin
entre los trminos y no cada termino por separado.
Un ejemplo de axiomtica es la que elaboro Peano para la teora de los nmeros
naturales. Con sus primeras dos proposiciones define una sucesin numrica.
A su ves con esto es posible demostrar todas las proposiciones y nociones
elementales de la aritmtica.

Pluralidad axiomtica en las teoras

Una teora preaxiomtica tambin denominada concreta o material mantiene una

relacin con su contenido y conserva el sentido y verdad emprica. Considerando
una de las mltiples axiomticas de una teora concreta, ya que el sentido de sus
trminos, y en consecuencia de todas sus proposiciones esta fijado
equvocamente por los postulados. Se podran dar distintas interpretaciones o
escoger ente distintas realizaciones axiomticas de una misma teora. A estas
diferentes formas de axiomatizar una misma teora se les llama modelo. La teora
concreta original que proporcion los puntos de referencia tambien ser uno de los
modelos, ms no el nico.
En el caso de que un modelo no se distinga de otro por la mera estrucura lgica
(pues en ambos es la misma), sino por la diversidad de interpretaciones concretas
que puedan darse de susterminos, se les llamara entonces isomorfo. Esto permite
que cualquier teora puede servir de modelo a otras. Cuando los postulados no
son compatibles entre ellos el sistema puede volverse contradictorio, un sistema
axiomtico debe ser necesariamente consistente. Una posibilidd para saber si un
sistema es consistente es que al desarrolarse una larga cadena de
consecuencias no se encuetre contradiccin, aunque esto no nos promete que
puedan aparecer antinomias.
Reducir a una teora anterior.
(esta parte del libro no me es clara por lo que la citare como est ecirto)
Primero se postulando la no contradiccin de un sistema anterior bien establecido
en la prctica tal como la aritmetica clasica o la geometria euclidiana; a
continuacin se elabora, a partir del sistema que se estudia, una interpretacin tal
que venga a aplicarse sobre el primero o parte de ste. La no contradiccin
postulada del primero se transmite al segundo.
Darle una aplicacin a la teora en el mundo
Se construye un modelo fsico, la existencia de dicho modelo en el mundo
garantiza la consistencia de la axiomtica.

3
Simbolizacin y formalizacin

Ya que la finalidad de la axiomtica es apartar una teoria de sus significaciones

concretase intuitivas, es necesario olvidar el sentido de los trminos propios a la
teora y sustiturlos por simblolos desprovistos de sentido previo.
Esto hace mas facil el siguiente paso que es la formalizacin, empezando con
proposiciones primeras(aceptadas solo como hiptesis) expuestas mediante
lenguaje simblico, posterirmente se pueden adoptar terminos nuevos sin que se
puedan hacer acusaciones a la teora pues estos se derivaron de las
proposiciones priemeras. Esto solo es as si se aceptan las reglas de la lgica
como universalmente validas, este punto es interesante pues nos llevara a un gran
problema en cuanto a los fundamentos tanto en lgica como en matemticas.

Crisis de los fundaments lgicos

La crisis en los fundamentos lgicos surgio gracias a que dentro de la teria de

conjuntos se encontraron paradojas, para solucionar este problema se exponen
las reglas lgicas tambien como si fueran hipoticas.
Este desacuerdo en cuanto a los principios lgicos llevo a la pluralizacn de la
axiomatizacin de la lgica. Habiendo ocurrido esto, las proposiciones lgicas
despojadas de su sentido lgico se convirtieron en formas puras, tautologas. La
interpretacin formal de la lgica da lugar a la aparicin de lgicas no clasicas,
pues si los principios son hipotticos, no hay nada que impidiese establecer otros.

Posturas
Empirismo, logicismo y reconstruccin axiomtica

Esto abri caminos para resolver los problemas de los fundamentos y la teora de
conjuntos. Surgen tres diferentes propuestas para solucionar el problema.
El empirismo de Borel y Lebesgeu que atribuy las dificultades al manejo ciego de
los instrumentos lgicos. Propone a la intuicin como juez de la validez de las
reglas lgicas, este procedimiento lleva a condenar o tener que rechazar partes
considerables no solamente de la teora de conjuntos, sino tambien de las
matemticas.
Otra opcin es el logicismo de Russell que conserva el proposito de construir
matemticas a partir de leyes de la lgica,aunque estas deben ser reforzadas en
vista de que pueden conducir a antinomias. Por desgracia conciliar ambas cosas
es dificil.
Por ltio est la reconstruccin axiomtica propuesta por Zermelo que demanda
de axiomas que no permitan la produccn de antinomias, aunque esto no resulta
suficiente, es necesario que los axiomas sean confiables por si mismos.
La formalizacin de la axiomtica requiere que pueda ser establecido, mediante la
va demostrativa, si un sistema es o no congruente. Si esta demostracin pudiera
drnosla una axiomtica de la teora de los conjuntos, quedara resuelto el
problema de los fundamentos.

4
Bibliografa
Blanch, R. (2002). La axiomtica. Mxico: Fondo de cultura econmoca.
Baldor. (2008). Geometra y Trigonometra (segunda edicin ed.). Mxico .
Euclides. (1991). Los elementos. (M. L. Castaos, Trad.) Madrid: Gredos.
Nidditch, P. H. (1995). El desarrollo de la lgica matemtica. Madrid: Ctedra.