Documentos de Académico
Documentos de Profesional
Documentos de Cultura
El Método Axiomático
El Método Axiomático
EL MTODO AXIOMTICO
INTRODUCCIN
En la medida en que las ciencias procuran interpretar la realidad fsica sin depender
excesivamente de implcitos no controlables, y en que la realidad que estudian es
compleja y difcil de comprender intelectualmente; necesitan aumentar el control sobre
las propias formulaciones tericas. Este dominio debe ejercerse en dos campos
principales: el significado estricto de las nociones que emplea, y la validez formal de
las teoras y leyes en que las ordena.
No es posible alcanzar un control objetivo absoluto acerca del saber: tenerlo todo
explicitado sin presupuestos. No cabe alcanzar un dominio total de la objetividad.
Pero s merece la pena que lo objetivable se exprese del modo ms claro y formalmente
riguroso que pueda alcanzarse, conscientes de las limitaciones inherentes al intento y de
la necesidad de presupuestos no sistematizables para que el conocimiento pueda
cumplirse.
SISTEMAS AXIOMTICOS
1. Se eligen los enunciados que valen como axiomas y se incorporan sin demostracin.
2. Se establecen unas reglas que, con los axiomas, determinan el sistema
completamente.
3. Se deducen nuevos enunciados segn las reglas, indicando en cada caso qu
axiomas, reglas o enunciados ya deducidos se emplean.
1. Que est libre de contradiccin, y que incluya la prueba de que no puede darse en l.
Se ha demostrado que de cualquier contradiccin se puede deducir cualquier cosa,
con lo cual el sistema deja de tener sentido: no habra diferencia entre lo verdadero y
lo falso.
2. El sistema debe ser completo: que puedan deducirse de los axiomas todos los
teoremas vlidos en el sistema.
3. Los axiomas deben ser independientes entre s: no deducibles entre ellos.
4. La formalizacin rigurosa solamente la exigen los lgicos matemticos. Otros no la
reclaman y emplean incluso la induccin.
3
Las teoras cientficas deben ser consistentes y expresadas del modo ms riguroso
posible. Formularlas de modo axiomatizado ofrece muchas ventajas, ya que permite
analizar con detalle su coherencia interna, permite deducir con mayor facilidad leyes o
situaciones no conocidas experimentalmente y permite apoyar la investigacin terica
en el rigor de la lgica y no en la intuicin o el sentido comn, que se quedan cortos
ante la extraordinaria complejidad de las teoras actuales.
1. Establecer los axiomas propios del dominio del que se trata, acompaados entonces
de numerosas reglas tomadas de la lgica.
2. Establecer axiomas del dominio propio, junto a algunas leyes lgicas y a
determinadas reglas de conclusin, que suelen ser entonces pocas.
El problema con que se encuentran las ciencias para esta elaboracin sistemtica radica
en la existencia de una diversidad notable de sistemas lgicos. Esta dificultad puede
llevar a un relativismo difcilmente superable. De todos modos, los sistemas que
contienen sentido eidtico siguen las condiciones de la lgica clsica, as como las
reglas metalgicas, que siempre estn dotadas de sentido y siguen tambin la lgica
clsica. Las contradicciones que parece haber entre diversos sistemas obedecen,
adems, a la diferente definicin de los smbolos en cada uno, ms que en una autntica
contradiccin.