Axioma

Luis Vega
Universidad Nacional de educacin a distancia
1. Por axioma, en el uso comn, suele entenderse una proposicin cuya verdad es tan obvia que escapa a
una demostracin. Este uso responde a una venerable tradicin. Si nos fiamos de ella, adornan al axioma
virtudes como las siguientes: el valor y la dignidad de un principio o fundamento del conocimiento; la
evidencia interna que lo erige en verdad inmediata, necesaria y universalmente reconocida; y la condicin
de proposicin no demostrable a partir de alguna otra previa o ms elemental. Esta ltima caracterstica, si
bien relativizada, es la que ha prevalecido con el paso del tiempo y el desarrollo de la idea de demostracin.
Hoy se tiende a pensar que una proposicin no ostenta el ttulo de axioma por su rango epistemolgico o su
evidencia. Ninguna proposicin constituye de suyo un axioma. Se trata ms bien de un papel que toca
desempear a una proposicin dentro de un conjunto de proposiciones ordenado en forma de teora
deductiva. Este orden -un orden parcial de implicacin- dispone las proposiciones de la teora en secuencias
demostrativas. Lo cual supone una distincin entre las tesis iniciales, primitivas, y las dems tesis derivables
como consecuencias lgicas de ese punto convenido de partida. Las tesis primitivas ejercen de axiomas y
las tesis derivadas resultan teoremas de la teora. Axioma y teorema son entonces nociones
complementarias y recprocas (a la manera de las de padre e hijo, amo y esclavo); ninguna de ellas tiene
mucho sentido sin la otra y ambas se explican por referencia a la nocin de demostracin dentro de un
cuerpo terico de proposiciones.
En suma, la idea que nos hagamos de un axioma depende de la idea que tengamos de la axiomatizacin de
una teora. Esta proposicin o aquella oficiarn de axiomas en razn de la estructura deductiva que
impongamos a la teora. Y, en fin, esta construccin o reconstruccin metdica podr guiarse por motivos
ms o menos nobles, como la determinacin del mbito de aplicacin de la teora, la elucidacin de su
sistema lgico y conceptual, la presentacin convincente de los resultados conocidos, la conveniencia de
una visin global o la simple facilidad para obtener consecuencias de la teora, entre otros motivos varios.
2. Por regla general, axiomatizar un cuerpo terico equivale a poner en limpio, delimitar y organizar como
sistema deductivo el conjunto de proposiciones correspondiente. La explicitacin y organizacin de las tesis
tericas trae consigo una elucidacin y una disposicin parejas de los conceptos tericos, a 6n de que la
estructura general de los conocimientos cubiertos o contemplados por la teora sea relativamente difana.
Como ya he sugerido, esta reconstruccin supone cuando menos una demarcacin entre constituyentes
primitivos y derivados. Si T es una teora axiomatizada, todo trmino no definible por algn otro concepto
ms elemental en T ser un trmino primitivo de T; toda proposicin no demostrable a partir de alguna otra
tesis de T ser una tesis primitiva, un axioma, de T. De aqu se desprende el desidertum de que los
axiomas de T sean solidarios pero independientes. Cuando esto sp cumple, la supresin o negacin de un
axioma de T representa un cambio de teora.
En esta perspectiva no hay gran diferencia entre un axioma y un postulado. Uno y otro tienen la condicin
de tesis primitivas. A veces se ha insistido en la presuncin de la evidencia y necesidad de los axiomas por
oposicin al carcter convencional y pragmtico de los postulados; o se ha credo ver en los axiomas
principios que relacionan ideas tericas, mientras que los postulados pasaban por ser supuestos de
construccin o de existencia de objetos tericos. Ambas consideraciones tendran races en la antigua
matemtica griega, pero escaso fundamento. No obstante, la tradicin de la geometra clsica s contribuy
a tomar como axioma -o nocin comn- una proposicin consistente en un principio lgico general y a
considerar postulado al supuesto especfico de una teora o de una disciplina particular. As, entre los
axiomas figuran, por ejemplo, dos cosas iguales a una tercera son iguales entre s y el todo es mayor
que una de sus partes. En realidad, si nos atenemos al criterio, la primera proposicin podra ser un
axioma de orden lgico, pero la segunda resulta un postulado propio de teoras sobre universos de discurso
no infinitos (e. g., no se aplica al conjunto de los nmeros naturales). Con todo, una idea similar late en
modernos planteamientos de corte neopositivista (Woodger, 1939; Braithwaite, 1959), por ejemplo bajo la
nocin de sistema deductivo mixto. Sistema deductivo puro viene a ser, informalmente, el sistema cuyas
tesis primitivas son proposiciones necesarias por su condicin lgica y matemtica; sistema deductivo
impuro, el sistema cuyas tesis primitivas carecen de tal condicin y de esa necesidad; sistema deductivo
mixto, todo aqul que incluye entre sus tesis primitivas proposiciones de uno y otro tipo. Se ha dicho que los
sistemas deductivos mixtos tienen una importancia mxima en las ciencias ms avanzadas (matemticas y
fsico-matemticas). Es una opinin discutible: est en deuda con ciertos programas de fundamentacin de
la matemtica y, de hecho, representa una aseveracin normativa o desiderativa antes que una
constatacin. Por un lado, las proposiciones lgicas no aparecen como tesis constituyentes de las teoras
cientficas -a la manera de las proposiciones analticas, que determinan el lenguaje de la teora, o de los
postulados que delimitan el alcance de la teora y especifican su posible mbito de aplicacin-; los principios
lgicos consisten ms bien en un aparato de reglas de deduccin subyacentes e implcitas. Por otro
lado, el valor atribuido a la axiomatizacin de un cuerpo de conocimiento depende sustancialmente del valor
que reconozcamos a las ideas de demostracin y de sistema deductivo.
Desde el viejo Aristteles se sabe que la aiiomatizacin es un recurso obligado a la luz de la nocin misma
de demostracin: toda demostracin efectiva de una proposicin ha de partir de alguna otra tesis o premisa
terica no demostrada. De lo contrario, el discurso envolver un crculo vicioso de prueba o un proceso
interminable de retroimplicacin que impedirn pronunciarse sobre la verdad concluyente de la proposicin
que hay que demostrar. Lueg tambin se ha considerado seriamente la posibilidad de que las teoras
consistan en conjuntos infinitos de proposiciones. En esta perspectiva la axiomatizacin no slo es un
mtodo preciso sino un recurso inevitable en orden a la determinacin precisa y cabal de un cuerpo terico
no trivial. Si T es una teora cientfica a la que puede corresponder un conjunto infinito de proposiciones, la
axiomatizacin de T se hace necesaria para hacernos cargo de las tesis que puedan pertenecer a T, para
saber lgicamente a qu atenernos en razn de tal teora bien por lo que concierne a sus consecuencias
tcitas o expresas, bien por lo que se refiere a las clases de objetos a las que se aplica.
A esta virtud principal cabe aadir algunas otras ventajas metodolgicas y pragmticas de la axiomatizacin.
Contribuye, por ejemplo, a la lucidez de nuestros compromisos tericos, a una mejor comprensin de los
niveles de explicacin y de la capacidad predictiva de la teora considerada, a la simplificacin de su uso y
de su desarrollo deductivo. Sin embargo, la axiomatizacin no es una operacin metdica neutra o inocente.
Tambin existen inconvenientes asociados a la axiomatizacin trivial o a la axiomatizacin prematura de un
cuerpo de conocimientos. Las ventajas y los inconvenientes y, en general, los diversos servicios de la
axiomatizacin dependen no slo del estado cognoscitivo e institucional de la teora en cuestin, sino
tambin del mtodo axiomtico adoptado.
3. Muy sucintamente cabe resear cuatro tipos de mtodo axiomtico, con los que se relacionan cuatro
clases familiares de teoras axiomticas.
1. T es una teora axiomtica clsica si es un conjunto de proposiciones y hay un conjunto A tal que (1) A es
un subconjunto finito y expreso de T (2) todos los miembros de A son proposiciones necesariamente
verdaderas e indemostrables; (3) cualquier otra proposicin de T est fundada deductivamente en A. Si a
pertenece a A, es un axioma-l de T. El objetivo principal de este mtodo es epistemolgico. Se cifra en la
organizacin sistemtica del conocimiento de forma concluyente e incontestable. En la tradicin de la
teora clsica de la ciencia (desde Aristteles hasta, digamos, BoIzano) abundan las apelaciones a l.
II. T es una teora axiomtica abstracta si es un cnjunto de proposiciones y hay un conjunto A tal que (1) A
es un subconjunto finito y expreso de T (2) los miembros de A son proposiciones ms o menos intuitivas
acerca de ciertas relaciones entre los elementos de algn sistema de objetos de referencia; (3) cualquier
otra proposicin de T es una consecuencia lgica de A. Si a pertenece a A, es un axioma 2 de T. Objetivos
principales son ahora la organizacin hipottico-deductiva de una teora, y la circunscripcin de su mbito
de aplicacin mediante la determinacin (parcial y pertinente) de los conceptos considerados en el conjunto
de axiomas. Este mtodo fue sugerido por D. Hilbert a finales del pasado siglo en un primer intento de
fundamentacin de la geometra. A l se han acogido diversos ensayos de reconstruccin de fragmentos
tericos en las ciencias humanas y sociales, desde la lingstica (e.g.: L. Bloomfield, 1926) hasta la
psicologa (e.g.: C.L. Hull y colaboradores, 1940), pasando por la misma sociologa (cfr. la minimuestra
didctica que ofrece H. Zetterberg, 1965).
III. T es una teora axiomtica formal si descansa en un sistema formalizado S tal que (1) S tiene definidas
sus condiciones de formacin lingstica, transformacin deductiva e interpretacin semntica, es decir:
estn definidos en conjunto de las frmulas pertenecientes a S, as como los conceptos de derivacin en S
y modelo de S; (2) hay un subconjunto designado A que consta nicamente de las frmulas primitivas o
iniciales de S. Si a pertenece a A, es un axioma 3 de T. Si A es finito, T es una teora axiomatizable -en
sentido propio-. Si de A no cabe derivar contradiccin alguna, T es una teora deductivamente consistente.
Si de A cabe derivar toda posible tesis de T, T es una teora deductivamente completa o suficiente. Los
objetivos principales son aqu el anlisis y el control
metatericos del conjunto de las proposiciones de T posiblemente infinito y cerrado bajo la relacin de
consecuencia. Este control, en el caso de las teoras cientficas -Le. ms all de los clculos y lenguajes
lgicos elementales-, dista de ser efectivo: slo cabra establecer la consistencia de T desde otra teora an
ms fuerte, y el ideal de complecin o suficiencia resulta inaccesible. Sin embargo, es el mtodo ms idneo
para analizar la idea de deduccin y para considerar las posibilidades de aplicacin terica y de
representacin interterica con que cuenta un sistema deductivo. Responde originariamente a un programa
de formalizacin metamatemtica alentado por Hilbert desde principios del presente siglo.
IV. T es una teora axiomtica estructural si consiste primordialmente en un ncleo o una estructura de
nociones tericas y matemticas, desarrollada en el lenguaje de la teora de conjuntos, y en un conjunto de
posibles aplicaciones de esta estructura, y si T est formulada de modo que (1) no descansa en un conjunto
de proposiciones formalizadas; (2) hay un conjunto finito y expreso A de condiciones que definen un
predicado conjuntista caracterstico de su estructura -pongamos por caso ser un grupo (matemtico), ser
una mecnica clsica de partculas o, incluso, ser una economa productora de mercancas-. Si a
pertenece a A, es un axioma 4 de T. Son objetivos principales de este mtodo la reconstruccin informal e
interna de teoras que cuenten con una base operacional matemtica .y con alguna exposicin estndar o
relativamente normalizada. El mtodo fue adelantado por el tratamiento de teoras fsico-matemticas
propuesto por J.D. Sneed (1971), aunque no falten sugerencias anteriores. Hoy sus aplicaciones quieren
salir de este mbito y han empezado a ensayarse, por ejemplo, en teoras econmicas clsicas (cfr. W.
Stegmller y otros: Philosophy of Economics, Nueva York/Heidelberg/Berln, 1982).
Bibliografa
Una visin general de la axiomatizacin es la ofrecida por R. Blanch, L Axiomatique, Pars, 1967, 4.a edic.
Para una consideracin desde el punto de vista matemtico, vase J. de Lorenzo, El mtodo axiomtico y
sus creencias, Madrid, 1980. Una defensa ya tradicional del mtodo en sus variantes abstracta y formal es
la reiterada por M. Bunge en sus (1967), La investigacin cientfica, Barcelona, 1969, c. 7, y (1973), Filosofa
de la fsica, Barcelona, 1981, cc. 7 y 8. En cambio, C.U. Moulines, Exploraciones meta cientficas, Madrid,
1982, presenta tanto el marco metodolgico general como algunas aplicaciones de la nueva variante
informal estructural. Algunas indicaciones sobre la axiomatizacin y sobre la organizacin terica en
general, en el caso de las ciencias sociales, pueden encontrarse en H. Zetterberg (1965), Teora y
verificacin en sociologa, Buenos Aires, 1968.