7.1 la lÓgica como sistema formal axiomÁtico
Post on 01-Dec-2015
98 Views
Preview:
TRANSCRIPT
LA LÓGICA COMO SISTEMA FORMAL AXIOMÁTICO
7.1. INTRODUCCIÓN
7.1.1. Lógica y sistemas formales axiomáticos
El hombre siempre ha perseguido la idea de razonar de un modo correcto, sin
ambages, procurando deshacerse de todos los malentendidos y errores. De ahí la
búsqueda de un método que nos permita confiar en la coherencia interna de lo que
se nos comunica.
La lógica moderna se ocupa de la consecución de un cálculo que nos permita, al
igual que el otro sistema formal clásico (la matemática), deducir teoremas de
axiomas determinados, es decir, constituir a la lógica como un sistema formal
axiomático. En este sentido, sostenemos con A. Deaño que los lenguajes formales
(lenguajes construidos y de precisión) se constituyen en instrumentos de expresión
construidos por los científicos con el propósito de formular con mayor rigor y
exactitud las relaciones entre los objetos, que van a ser estudiados por las ciencias
que correspondan a los diferentes tipos de objetos.
7.1.2. Nociones básicas
a) Exposición de la noción de cálculo
Un cálculo es un sistema de relaciones, un mero armazón; por tanto, ni siquiera es
propiamente un lenguaje. El cálculo es construido y artificial e implica:
a) Los símbolos primitivos o conjunto de símbolos primitivos.
b) Las reglas de formación que indican como se pueden combinar
y utilizar los símbolos primitivos.
c) Las reglas de transformación. Al utilizar correctamente estas reglas podemos
cambiar una combinación bien construida de símbolos en otra combinación bien
construida.
Tanto por lo que se refiere a los símbolos primitivos como por lo que se refiere a las
reglas de formación y transformación, estos han de resultar perfectamente
definidos pues hemos de juzgar si un símbolo es correcto, una regla de formación
es una expresión bien formada del cálculo y si una transformación ha sido
efectuada correctamente.
El cálculo debe su existencia a que es autárquico (en expresión de A. Deaño), es
decir, no hace referencia a nada ajeno a él y su cometido no es otro que el mero y
simple calcular. En definitiva, lo esencial de un cálculo es su carácter
intrínsecamente formal. Como dirá Deaño: “Lo esencial de un cálculo... es su
naturaleza puramente sintáctica”. “Un cálculo no es, por lo tanto, un lenguaje, en la
medida en que no es un medio de comunicación, sino un puro armazón sintáctico.
Sus elementos carecen de significado. No son signos, sino entidades opacas que
manipulamos de acuerdo con una serie de reglas.
Podemos, sin embargo transformar un cálculo en un lenguaje. ¿Cómo?
Interpretando sus símbolos, proveyendo a sus símbolos de un significado”.
Estamos, por lo que ha dicho Deaño, ante un lenguaje con posibilidad de ser formal
si se somete a interpretación, un lenguaje, en fin, con estructura de cálculo, un
lenguaje en el que gozan de artificialidad tanto el vocabulario como su sintaxis. Y
parafraseando a Deaño:
“De entre todos los cálculos que podemos construir hay algunos que por su especial
estructura y su buen rendimiento son particularmente aptos para ser aplicados a un
ámbito específico de problemas, el ámbito de los problemas lógicos”.
b) El concepto de “axiomático”
“Axioma” deriva del griego axiôma, “lo que parece justo”, derivado del verbo
axióô, “yo estimo justo”, y éste de áxios, “digno”. Es aquel postulado propositivo
que por su propia dignidad, esto es, por ocupar un determinado lugar en un sistema
de proposiciones, debe ser considerado verdadero. Suele ser considerado un
principio intuitivo y evidente y, por tanto, que no necesita ser demostrado-, que se
constituye como el fundamento de cualquier ciencia; es el punto de partida de la
demostración del teorema de un sistema. Un principio intuitivo y evidente, un
axioma, que no tiene que ser demostrado es, por ejemplo: “una parte de una cosa
es más pequeña que la cosa entera”. Así, en la lógica y en la matemática actuales
se distingue entre el axioma y el teorema; mientras el primero se postula como
verdadero sin precisar ninguna prueba, el segundo es un enunciado que se acepta
una vez que ha sido probado. Actualmente se pide a un teorema no tanto que sea
verdadero a priori cuanto que sea útil para explicar la realidad o para que sea
asumido por otros ámbitos científicos.
“Postulado”. En la actual lógica es sinónimo de axioma. Un postulado es una
proposición (también una función proposicional), que, en los sistemas lógicos
axiomáticos se toma o se “pide” (postulare significa “pedir”) como punto de partida
o principio para la demostración de teoremas No son simples definiciones, ni
tampoco es algo que haya sido deducido de un enunciado más primitivo. En la
lógica hasta el siglo XIX se distinguía un postulado de un axioma en que éste era
considerado evidente y no derivado ni demostrado, mientras que los postulados no
eran evidentes, ni demostrables, sino que se “postulaban”.
“Teorema”. Del griego theôrêma. Término matemático que designa cualquier
proposición que sea demostrable -pues no es evidente- partiendo de otras
proposiciones (axiomas, postulados, definiciones e incluso otros teoremas
previamente demostrados, etc.); en definitiva, es cualquier proposición que se
demuestre, al ser una consecuencia lógica de los axiomas o las definiciones
introducidas como premisas en una proposición, utilizando las reglas de inferencia o
deducción lógica. En lógica es también la conclusión demostrable o demostrada
partiendo de un conjunto vacío de premisas; aquí coincide con la tautología, con la
verdad lógica, o con el enunciado analítico. Por ejemplo, la proposición: “Si como y
camino, entonces camino”, es un teorema semántico.
c) ¿Qué entendemos cuando afirmamos que la lógica es un sistema formal
axiomático?
Tanto en las matemáticas como en la lógica, en primer lugar, y como primer paso,
se tratará de elegir unos principios que vamos a denominar axiomas. En segundo
lugar, y como segundo paso, se planteará no aceptar más enunciados que los que
se infieran de los axiomas por deducción lógica. Estos enunciados se llaman
teoremas. Tal procedimiento desencadenado o susceptible de desencadenarse es lo
que denominamos propiamente sistema axiomático.
Una teoría axiomática es aquella que se produce ordenadamente y que va de los
axiomas a las reglas según normas de inferencia. El hecho de la axiomatización
llega a su punto más eleva do cuando se hace acompañar por la formalización de la
teoría cientí fica que se trate de axiomatizar. De lo que deducimos que si formaliza
mos y axiomatizamos una teoría cien tífica, obtendremos un sistema for mal
axiomático que estará compuesto por:
a) Un vocabulario primitivo.
b) Un conjunto de reglas de forma ción de fórmulas.
c) Cierto número de axiomas que son las fórmulas primeras del sis tema.
d) Un conjunto de reglas de infe rencia o transformación.
El vocabulario primitivo y las re glas de formación de fórmulas vie nen a ser algo así
como la gramáti ca. El conjunto de axiomas y las reglas de inferencia componen la
lógica del sistema.
Sólo nos falta para una perfecta comprensión del sistema tratar el problema de la
demostración como elemento teórico-práctico que cie rra la interrogación a la
pregunta
¿que es un sistema formal axioma tico?. La demostración adara que una fórmi.ila
del sistema es o un axio ma o una consecuencia inmediata (de algunas que son
anteriores a ella) por medio de una regla de trans formación. Por tanto, la fórmula
final es un teorema o fórmula derivada.
Sólo nos queda decir siguiendo a
M. Garrido: “El número de nocio nes primitivas, axiomas y reglas de inferencia que
en concreto se esta blezca como base para la edifica ción de un sistema axiomático
es, en realidad, materia de convención. El principal propósito es la facilidad inicial
en la obtención de fórmulas derivadas (teoremas). Como también es estudio
pormenorizado de las di ferentes partes o zonas del siste ma, interesará que el
repertorio de axiomas y/o el repertorio de reglas de inferencia sea variado. Pero si
lo que se pretende es obtener una visión sintética del sistema, enton ces interesará
que prevalezca el cri terio de economía, es decir,’ que el número de símbolos
primitivos, axio mas y reglas sea mínimo.
7.1.3. Un poco de historia
Aristóteles fue el primero en formular el análisis de la noción de “axioma”
entendiendo como tal “las proposiciones primeras de las cuales parte la
demostración y, en todo caso, los principios que debe poseer necesariamente el
que quiere aprender algo”. De este modo, el axioma es diferente de la hipótesis y
del postulado. Para Aristóteles el axioma más evidente es el principio de no-
contradicción.
Esta consideración del axioma que comienza con Aristóteles se mantuvo inmutable
hasta la Modernidad. Se pensaba que la verdad del axioma se manifiesta por la
simple intuición o evidencia de los términos que entran en su composición. Por eso
decía Santo Tomás que los principios inmediatos no son conocidos por algún
término medio, sino por el mero conocimiento de sus términos; si se sabe lo que es
el todo y lo que es la parte, se sabe que el primero es mayor que el segundo y que
éste es menor que aquel. Pero Occam sostuvo que este principio no vale cuando se
trata de todos que comprenden infinitas partes.
Después de las investigaciones de Cantor y de otros sabemos que este axioma es
simplemente la definición de los conjuntos finitos, como veremos. Pues bien,
durante mucho tiempo se ha buscado la justificación de la validez absoluta de los
axiomas. Francis Bacon pensaba que los axiomas se obtienen por vía deductiva o
inductiva, mientras que para Descartes son verdades eternas e innatas que residen
en nuestra mente. Desde su empirismo, Locke consideró los axiomas como
proposiciones de experiencias inmediatas, y el racionalismo de Leibniz sostenía que
los axiomas son principios innatos en forma propositiva originaria que la
experiencia hace explícitas. John Stuart Mill estimaba que son generalizaciones de
la observación, “verdades experimentales”, aunque evidentes. Es decir, tanto unos
como otros los consideran principios evidentes. En esto coincidían los racionalistas
y los empiristas.
Para el criticismo kantiano son evidentes también, pero son a priori: son principios
sintéticos a priori evidentemente ciertos. La evidencia, pues, es la característica
propia de un axioma para Kant. La matemática posee axiomaticidad porque
procede mediante la construcción de los conceptos. La filosofía, por el contrario, al
no construir sus conceptos, no posee axiomaticidad. Los mismos axiomas de la
intuición, que Kant colocaba entre los principios del entendimiento puro, no son
verdaderamente axiomas, según él, sino que contienen simplemente el “principio
de la posibilidad de los axiomas en general”.
En el pensamiento contemporáneo la noción de axioma ha sufrido su más radical
transformación. La característica que definía a los axiomas, la inmediatez de su
verdad, la evidencia, la certeza, le ha sido negada. Este resultado se debe al
desarrollo del formalismo matemático y lógico, o sea, a la obra de Peano, Frege,
Russell y Hilbert. Según el punto de vista formalista, ahora aceptado casi
universalmente, los axiomas de la matemática no son ni verdaderos ni falsos; han
sido adoptados convencionalmente como fundamentos o premisas del discurso
matemático y lógico. De este modo, los axiomas ya no se distinguen claramente de
los postulados, y las dos palabras se usan en la actualidad como sinónimas. Es
decir, los términos axioma y postulado suelen utilizarse con frecuencia como
sinónimos. Algunas veces la palabra axioma se usa para referirse a los principios
básicos que deben ser asumidos en cualquier sistema deductivo, y el término
postulado para señalar a los primeros principios peculiares de un sistema particular,
como la geometría de Euclides. Rara vez se usa el término axioma para referirse a
los primeros principios de la lógica, ni el término postulado para aludir a los
primeros principios de las matemáticas. La elección de los axiomas es, en cierta
medida, aleatoria y libre, y en tal sentido se dice que los axiomas son convenciones.
7.2. LA LÓGICA AXIOMÁTICA
Gracias al método de las tablas de verdad que Wittgenstein propuso en su
Tractatus poseemos un método que nos permite comprobar inmediatamente si una
expresión dada era o no universalmente válida: basta con ver si en la columna de la
conectiva principal de la tabla aparecía exclusivamente el signo “V” (en cuyo caso
era universalmente válida) o si aparecería alguna vez el signo “F”, en cuyo caso se
trataba de una expresión indeterminada.
Es éste un procedimiento mecánico muy útil, pero que deja mucho que desear en
cuanto a rigor y sistematización; pues a lo sumo nos deja en las manos una serie de
tautologías, pero no nos indica qué relación existe entre ellas, no las reduce a
unidad sistemática. Sería deseable, por el contrario, que construyéramos un
sistema que no sólo indicara cuáles son las expresiones universalmente válidas,
sino también por qué lo son . Ello podría hacerse si ponemos de manifiesto que
todas las expresiones universalmente válidas pueden ser deducidas a partir de un
pequeño número de expresiones elementales, a las que denominamos axiomas,
que admitimos sin demostración previa, con la ayuda de unas reglas de inferencia
que nos permitan hacer esa deducción.
Notemos la distinción entre la construcción de un sistema axiomático y la
demostración o prueba de una proposición. El sistema axiomático se compone de
todas las expresiones universalmente válidas y trata de demostrar cómo todas ellas
se derivan de unas pocas fundamentales. Por el contrario, en la demostración se
trata de hacer ver cómo una expresión indeterminada (es decir, no tautológica) se
deriva de otras expresiones indeterminadas que se aceptan como verdaderas
(postulado).
Es en gran medida arbitrario que expresiones aceptamos como axiomas, y que
reglas de inferencia adoptamos Sin embargo, como veremos, el conjunto de
axiomas que adoptemos debe cumplir ciertas condiciones (que ahora adelantamos
simplificando):
a) Debe ser completo, es decir, tienen que poder derivarse de él todas las
tautologías de la lógica proposicional.
b) Los axiomas deben ser mutuamente independientes, es decir, no deben poder
derivarse unos de otros.
c) Deben ser consistentes, es decir, no deben dar lugar a la derivación de
expresiones que resulten contradictorias.
7.3. ¿QUÉ ES UN SISTEMA AXIOMÁTICO?
El sistema axiomático es, desde la geometría griega (Euclides), la forma típica de
presentarse el cálculo o lenguaje formalizado. Lo característico del sistema
axiomático como realización de la idea de cálculo consiste en disponer de un
conjunto de enunciados o fórmulas que se admiten sin demostración y a partir de
los cuales se obtienen todas las demás afirmaciones de la teoría, las cuales se
llaman teoremas. Y las fórmulas aceptadas sin discusión son axiomas o postulados.
El conjunto de los axiomas, más la definición de enunciado o fórmula del sistema
(definición que precede al enunciado de los axiomas) y el conjunto de las reglas
para la obtención de teoremas a partir de los axiomas (reglas de transformación)
constituyen la base primitiva del sistema.
La lógica pretende ser un sistema formal axiomático Y un sistema axiomático es un
método deductivo formado por un grupo de enunciados (axiomas) que debidamente
definidos, permiten deducir, mediante reglas de inferencia precisas, el conjunto de
enunciados, llamados teoremas, que pertenecen al sistema axiomático.
Suele distinguirse entre sistemas axiomáticos formalizados y no-formalizados. La
diferencia principal entre unos y otros consiste en que los formalizados, que son los
que realizan claramente la idea de cálculo, presentan explícitamente todas las
reglas de transformación, mientras que los otros no lo hacen. En un sistema
axiomático formalizado el conjunto de los axiomas y el de las reglas de
transformación son ambos efectivos, aunque en un sentido laxo de la palabra.
Del mismo modo que los teoremas se obtienen de los axiomas, así también las
nociones (los predicados) no primitivos (no contenidos en los axiomas) se obtienen
en el sistema a partir de las nociones primitivas, contenidas en los axiomas. Lo
mismo cabe decir de las constantes individuales, cuando son necesarias. El modo
de hacerlo se especifica mediante reglas de definición.
En la antigüedad, elaboraron teorías axiomáticas Euclides en geometría y
Arquímedes en física. La mecánica clásica de Newton está también formulada
mediante axiomas, inspirándose directamente en Euclides.
Como hemos visto antes, desde el siglo XIX se ha procedido a la axiomatización de
las matemáticas, a partir por un lado de la aparición de diversas geometrías no
euclídeas -como una consecuencia precisamente, del estudio de la independencia
del postulado de las paralelas de Euclides- y, por el otro, de la crisis de los
fundamentos de la matemática se intenta un mayor rigor en la teoría matemática.
Por esto, los primeros sistemas axiomáticos se aplicaron al estudio de las
matemáticas. La matemática se concibe desde entonces como una ciencia
deductiva puramente formal y se distingue entre la matemática teórica (que es un
sistema deductivo axiomatizado) y la matemática aplicada (aquella de la que es
posible dar una interpretación real en el mundo), con lo que su interés no reside
tanto en la verdad de su contenido material, como en su aspecto deductivo.
El matemático alemán, D. Hilbert, en su obra Fundamentos de geometría (1899),
axiomatiza la geometría euclidiana, y Peano hace lo mismo con la aritmética. A
Hilbert debemos el estudio de las propiedades formales de los sistemas
axiomáticos, o axiomática, que establece en la consistencia interna de los axiomas
y en su independencia sus características fundamentales.
Los axiomas de una teoría son consistentes (es decir, no contradictorios), si
permiten deducir la verdad de un enunciado, pero no su negación.
Los axiomas son, además, independientes, si ninguno de ellos es deducible del
resto de axiomas como un teorema. En ningún caso se exige en la actual lógica
matemática que los axiomas sean evidentes.
La primera cualidad es absolutamente necesaria para la coherencia lógica de un
sistema axiomático, la segunda, aunque deseable, en caso de no poseerse significa
sólo redundancia de axiomas.
Los axiomas, en una teoría axiomatizada, no son más que símbolos; carecen de
todo contenido y en sí no son ni verdaderos ni falsos; son sólo esquemas de
enunciados. Pueden, no obstante, recibir una interpretación, refiriéndolos a un
universo de objetos, y entonces pasan a ser enunciados verdaderos o falsos. Si una
interpretación hace verdadero para cualquier caso al conjunto de axiomas, tal
interpretación es un modelo de la teoría.
El espacio llamado euclídeo, por ejemplo, el de nuestra experiencia sensorial, es
una interpretación que hace verdadera y consistente la geometría euclídea. Esta
habla sólo de símbolos, puntos, rectas, ángulos, etc., pero aplicados al espacio
definen su estructura. El conjunto de enunciados del sistema espacial es un modelo
de la teoría axiomática de Euclides.
7.4. LA VERDAD DE LOS AXIOMAS
Los argumentos deductivos válidos ni siquiera tienen que conducir siempre a
conclusiones verdaderas. Sólo cuando todas las premisas de un argumento
deductivo son verdaderas y el argumento es válido, tiene que ser también
verdadera la conclusión. Pero ¿cuándo son verdaderas las premisas de un
argumento deductivo? Las premisas de un argumento deductivo sólo pasan por ser
indudablemente verdaderas, cuando son premisas primeras. Esas premisas
primeras se llaman también axiomas. Su verdad, en efecto, parece mantenerse
firme al margen del tiempo y en todas partes, “sin que pueda, no obstante, ser
demostrada mediante un encadenamiento lógico” (G. Frege).
7.4.1. La evidencia como criterio de verdad de un axioma
¿Cuál es el criterio para la verdad de un axioma? Tomemos, por ejemplo, el axioma
noveno de los Elementos de Euclides: “El todo es mayor que la parte”. Se piensa
aquí -y así lo han hecho científicos y filósofos desde hace aproximadamente 2.000
años- que es la evidencia la que convierte en verdadero ese enunciado. El adjetivo
“evidente” significa literalmente lo que destaca a la vista, lo que “salta a los ojos” y
resulta claro y luminoso. Así como no acostumbro a dudar de la claridad del exterior
cuando el sol brilla en un cielo sin nubes, así tampoco dudo de que el todo es mayor
que las partes. Ambas cosas saltan a la vista de forma inmediata una a la vista de
mis ojos otra a la vista de mi razón. Quien intenta sin embargo, demostrar algo
evidente se asemeja -y la comparación se atribuye a Aristóteles- a quien con una
candela pretende probar la claridad cuando brilla el sol.
a) Axiomas y magnitudes infinitas
Ahora bien, en los Elementos de Euclides los axiomas están formulados de tal modo
que sólo se refieren a figuras finitas. Pero, ¿qué ocurre con magnitudes infinitas? En
unas magnitudes infinitas ¿es también el todo mayor que la parte? En efecto, si la
cantidad parcial tiene infinitos elementos ¿cómo puede la cantidad total ser todavía
mayor que la cantidad de la parte? De hecho Geor Cantor (1845-1918) en su
artículo Beiträge zur Begründung der transfiniten Mengen-lehre (1895) definió las
cantidades infinitas de tal modo que el mentado axioma sea válido en cierto sentido
y en cierto sentido no: “Cada cantidad transfinita T está constituida de tal manera
que contiene cantidades parciales T las cuales son equivalentes a la misma”.
Una cantidad “transfinita” es una cantidad infinita. En las cantidades infinitas se da
el caso que el todo es mayor que la parte, como lo muestra la representación
mediante una línea de infinitos puntos, pero por otro lado no lo es:
A ---------------------------------- C ----------------------------------------------------- B
Aquí el trazo entero AB es mayor que el trazo parcial AC. Por otra parte, la cantidad
de puntos contenidos en el trazo parcial AC es igual de grande que la cantidad de
los puntos contenidos en toda la línea AB. En la terminología de G. Cantor sería “de
igual potencia” o “equipotentes”, es decir, “equivalente”, toda vez que la cantidad
parcial y la cantidad total contienen infinitos puntos Ahora bien, como una cantidad
parcial puede ser igualmente grande, “de igual potencia” (equivalente), que la
cantidad total, eso es algo que ya no salta a la vista de modo inmediato. Por eso
tenemos que establecerlo mediante un definición.
En la definición del paralelismo también se ha supuesto que se deriva de la misma
proposición verdadera, y en concreto el denominado axioma de las paralelas Esta
es la definición de las paralelas de Euclides: “Paralelas son unas líneas rectas que
están en el mismo plano y que prolongándose por ambos extremos hasta el infinito
nunca se juntan” . Mediante esa definición se ha formulado el axioma de las
paralelas que por cierto todavía no se encuentra entre los nueve axiomas de
Euclides . Según el mismo, en cada plano en el que se da una recta R y un punto P
que no está en esa recta, se da exactamente una recta R’ que pasa por ese punto y
es paralela a la recta R.
Esto parecía tan claro y evidente que hasta el siglo XIX a nadie se le ocurrió dudar
seriamente de esa verdad. La disputa se centraba en si se trataba de una primera
premisa geométrica, un axioma geométrico, o si era simplemente una conclusión,
un teorema. Hubo muchos intentos por demostrar el axioma de las paralelas; es
decir, por derivarlo como un teorema de los otros axiomas del sistema axiomático
de Euclides, pero todos resultaron defectuosos, es decir, circulares .
b) La geometría no euclídea
Pero en 1816 el matemático Carl Friedrich Gauss demostró que el axioma de las
paralelas puede derivarse de los otros axiomas, lo cual obligó a plantear la cuestión
de si se podía prescindir de él. C. F. Gauss solucionó la cuestión en sentido
afirmativo y construyó una geometría sin contradicciones y sin el axioma de las
paralelas, aunque por el momento no se atrevió a publicar sus resultados. Más
tarde también Johann Bolyai (1832) y Nikolai Lobashevski (1835) demostraron que
el axioma de las paralelas no puede derivarse de otros axiomas, y en consecuencia
se sintieron autorizados -con independencia de C. E Gauss y cada uno por su
cuenta- a construir unas geometrías en las que ya no tuviese vigencia el axioma de
las paralelas. Apareció en su lugar otro axioma que ya no tenía nada de evidente,
según el cual no se da en ningún plano ninguna paralela de una recta que pase por
un punto que no se encuentra en ella.
Algo más tarde, en 1854, Bernhard Riemann construyó una geometría, en la cual
por un punto P pasa más de una paralela. En la geometría euclidiana tenemos una
recta R’, que pasa por el punto P y que es paralela a la recta R; en las geometrías
de J. Bolyai y de N. Lobashevski no tenemos, por contra, ninguna recta R’, mientras
que en la de Riemann hay más de una recta R’, todo lo cual ya no resulta claro o
evidente de forma inmediata.
Todo esto quiere decir que la simple evidencia puede proporcionar sin duda una
referencia valiosa a la verdad de unos axiomas como, por ejemplo, el axioma
noveno o el axioma de las paralelas. Pero cuando de axiomas se trata, no siempre
es posible fiarse de la pura evidencia. Sólo a primera vista constituye la evidencia
un criterio para la verdad de los axiomas. Un criterio a primera vista es un criterio
prima facie, y un criterio de esa índole es precisamente aquel que, tras una
reflexión más profunda y pormenorizada, puede quedar invalidado.
7.4.2. Hilbert: crítica de la evidencia. El criterio de verdad de un axioma
como ausencia de contradicción lógica
Hilbert (1862-1943) ha sido el matemático más importante de la primera mitad del
siglo XX. Hilbert fue el primero que supo dar cuenta de la revolución producida por
el desarrollo de las geometrías no euclídeas. Su concepción de una teoría
geométrica, que pronto generalizó a cualquier teoría matemática o física, es el
punto de partida de una fecunda concepción de la ciencia matemática. La idea
fundamental de Hilbert estriba en que la geometría euclídea no es la prescripción
del espacio fisico, ni de la intuición espacial humana (como sostenía Kant), ni de
ninguna realidad concreta. En definitiva, la geometría euclídea no es una historia,
sino una teoría, la descripción de una estructura que puede realizarse o no
realizarse en el espacio físico, en la intuición humana, etc. Por eso puede haber
tantas geometrías distintas e incompatibles entre sí, tantas como estructuras
abstractas seamos capaces de definir, con independencia de cualquier realidad. Y
esta situación no implica contradicción ninguna pues los teoremas de que se
compone la teoría no son verdaderos ni falsos, a diferencia de las ideas de que se
compone la historia, que si son verdaderas o falsas.
Por lo dicho, Hilbert llegó en sus fundamentos de la geometría (1899) hasta el punto
renunciar a la evidencia como criterio de verdad. A los conceptos básicos de la
geometría euclidiana, como pueden ser los de punto recta, plano, corresponden
meras variables “x”, “y” y “z”, cuyos contenidos no se precisan, sino que en
principio pueden interpretarse a discreción.
De ese modo los axiomas de la geometría ya no tienen por qué seguir siendo
evidentes sino que son determinaciones arbitrariamente fijadas entre tales
variables. Esas determinaciones constituyen meros signos sintácticos vacíos de
contenido. Por lo demás, deben verse libres de contradicción y ser independientes
entre sí.
De un sistema axiomático contradictorio en sí mismo podría derivarse cualquier
consecuencia, de una contradicción lógica podría seguirse, según una ley lógica
cualquier conclusión q. Las minúsculas p y q son variables afirmativas y sustituyen
a cualquier tipo de afirmaciones concretas.
Se podría hacer, por ejemplo, la aseveración siguiente: “Si el axioma de las
paralelas es verdadero (p,) y no verdadero (p) entonces D. Hilbert es un hombre
desgraciado (q)”. Pero esta afirmación no quiso probarla D. Hlilbert en sus
Fundamentos de la geometría. Unos axiomas dependientes entre si podrían, sin
embargo, derivarse los unos de los otros, con lo cual ya no serían axiomas.
Así, D. Hilbert separa lo lógico-formal de lo manifiesto y evidente y declara como
criterio de verdad y de existencia (lógica) la ausencia de contradicción lógica. De
modo que cuando los axiomas arbitrariamente establecidos no se contradicen entre
sí con el conjunto de las consecuencias, quiere decirse que son verdaderos y por
tanto existen las cosas definidas por los axiomas. Ese es para Hilbert el criterio de
verdad y de existencia.
Sólo en un segundo paso se añade también una semántica a los términos básicos y
a los axiomas como por ejemplo, el significado de “punto”, “recta” y “plano” o el de
los axiomas euclidianos, aunque ciertamente sin el axioma de las paralelas
Ahora bien la renuncia a la evidencia como criterio de verdad tiene una
consecuencia importante. Mientras que con la evidencia aun se creía poder afirmar
que un axioma era evidente en el sentido de verdadero en sí, ahora ya no se puede
afirmar que un axioma es verdadero en sí, sino que sólo es verdadero dentro de la
comunidad lingüística que acepta dicho axioma. Asimismo un teorema sólo es
verdadero dentro del lenguaje del correspondiente sistema axiomático. La validez
universal de la verdad de unos axiomas se limita así a la comunidad lingüística de
los matemáticos que comparten esas afirmaciones y su semántica.
7.4.3. El criterio de verdad del axioma como su aceptación semántica por
una comunidad lingüística
Pero es posible ir un poco más allá. Los axiomas no tienen que ser unas
afirmaciones hechas arbitrariamente. En efecto, tan pronto como a esos signos
sintácticos les asignamos una semántica y ésta es aceptada por una comunidad
lingüística, tales asignaciones constituyen ya las reglas semánticas de una
comunidad lingüística, y tan pronto como tales reglas se han estabilizado, se
convierten en las instituciones semánticas de una comunidad lingüística. Eso
significa que el criterio de la verdad de unos axiomas no debe ser su mera
evidencia ni su fijación libre de contradicciones, sino que también puede serlo el
hecho social de su aceptación semántica estabilizada.
Una tal comunidad lingüística puede ser muy pequeña, como en el caso de las
geometrías no euclidianas, de la que forman parte los matemáticos que construyen
y enseñan una geometría de esa índole. Pero puede ser mayor, como en el caso de
la geometría euclidiana, que comprende a cuantos admiten los axiomas de
Euclides, incluido el axioma de las paralelas. Mayor aún puede ser, como en el caso
del primer axioma euclidiano: “Lo que es igual a lo mismo, es también igual entre
sí”. A este axioma se le llama también el axioma de la transitividad de la igualdad:
Si A es igual a B, y C igual a B, quiere decir que A es igual a C.
7.4.4. Axiomas metalógicos
a) Los axiomas de identidad y de no contradicción
Otro tanto cabe decir de los axiomas metalógicos de la identidad y de la no-
contradicción. En la lógica moderna también se designaron esos axiomas como
leyes del pensamiento, y se formularon así: “A es igual a A” y “A es diferente a A”.
Si sustituimos “igual” por el signo de igualdad (=), y sustituimos “diferente” por el
signo de desigualdad #, tendremos el enunciado de “A = A” y “A # A”. La lógica
moderna en su forma matemática -cuya fundación se debe a G. Frege- no habla ya,
sin embargo, de leyes del pensamiento. Frege quiso liberarse del elemento
subjetivo y de la “grasa psicológica”, que aprisiona nuestras conjeturas,
pensamientos, juicios y conclusiones, y avanzar hasta lo objetivamente verdadero.
A ello se suma el hecho de que tales axiomas no describen tanto cómo pensamos
realmente, sino que más bien prescriben cómo deberíamos pensar. Y es que
también podemos pensar efectivamente de una manera ilógica.
Pero la lógica no es la ciencia de las leyes más generales sobre lo que se tiene por
cierto, sino más bien según una definición certera de G. Frege: “La ciencia de las
leyes más generales del ser verdadero”. Según él, sólo de las leyes del ser
verdadero resultan prescripciones para tener algo por verdadero, para pensar;
juzgar; concluir.
Es decir, las afirmaciones con las que expresamos nuestros pensamientos están
dadas objetivamente de una manera perceptible para cualquiera. Los dos axiomas
metalógicos pueden aplicarse a las afirmaciones y pueden formularse de distintas
maneras.
El axioma metalógico de identidad, por ejemplo, puede formularse así: “p es
idéntico a p”; y el axioma metalógico de no contradicción, de esta forma: “No vale:
p y p”. En cada sustitución de la variable afirmativa “p” por una afirmación
concreta se obtendría para dichas leyes el mismo valor de verdad: Es lo verdadero
lo que mantiene el valor de verdad. De ahí que tales leyes se llamen también
tautologías.
En efecto, sustituyamos, por ejemplo, la variable afirmativa “p” por la afirmación
concreta “llueve”. El axioma metalógico de identidad de ambas afirmaciones
significa aquí que ambas son o verdaderas o falsas, mas no que la primera
afirmación sea verdadera y la segunda falsa, o que la segunda sea verdadera y la
primera falsa. Ambas afirmaciones tienen el mismo o igual valor de verdad. Por ello
se habla también de una equivalencia de ambas afirmaciones y se dice: “Llueve” es
equivalente a “llueve”. Dicha equivalencia puede también expresarse por una
mutua relación condicionada: Si la primera afirmación es verdadera, también será
verdadera la segunda; pero si la primera es falsa, lo será asimismo la segunda.
En el axioma metalógico de no-contradicción se da la imposición siguiente: “No vale
“llueve” y “no llueve””. Los enunciados “llueve” y “no llueve” no pueden ser (a la
vez y en el mismo lugar) verdaderos o falsos. No se condicionan entre sí, sino que
se excluyen mutuamente: Si es verdadero el “llueve”, el “no llueve” tiene que ser
falso; y si “no llueve” es falso, quiere decirse que es verdadero el “llueve”.
La ley de no-contradicción es siempre verdadera cuando se dan las condiciones
necesarias, como, por ejemplo, que se refiera a hechos que se dan en el mismo
lugar y en el mismo tiempo.
Podemos calificar de metalógicos tales axiomas, por cuanto no sólo se presuponen
desde los axiomas geométricos de Euclides, sino en general desde los axiomas del
sistema lógico especial.
Así, el primer axioma del sistema lógico de los Principia Mathematica de Russell y
Whitehead, supone ambos axiomas metalógicos: “1.1. Todo lo implicado en una
proposición elemental verdadera, es verdadero”. Este axioma afirma que de unas
premisas verdaderas se derivan conclusiones verdaderas. Tomemos, por ejemplo, el
argumento “si llueve, la calle se moja”. Supongamos además que “llueve” es una
proposición elemental. En tal caso dicho principio establece que si la premisa
“llueve” es verdadera, también lo será la conclusión “la calle se moja”. De igual
modo, la validez de un argumento deductivo presupone que la afirmación de las
premisas y la negación de la conclusión producen una contradicción lógica.
b) El escepticismo y la negación de los axiomas metalógicos de identidad y de no
contradicción
Sin duda un escéptico radical podría también negar los axiomas metalógicos de
identidad y de no contradicción Aunque difícilmente pueda darse un escéptico tal,
su posición podría, sin embargo, formularse de una manera hipotética. Pero para
negar los axiomas metalógicos, el escéptico radical tendría que empezar por
afirmarlos. En efecto, si dijera que “el axioma de identidad no es verdadero”, daría
por supuesta la afirmación siguiente: “`El axioma de la identidad no es verdadero´
es idéntico a `el axioma de la identidad no es verdadero´”. Pero si en vez del
adjetivo idéntico prefiriese el de “equivalente”, admitiría que “el axioma de
identidad no es verdadero” es equivalente a la afirmación de “el axioma de
identidad no es verdadero”. El adjetivo “equivalente” no es aquí sino un simple
sinónimo de “idéntico”. Por tanto el escéptico en cuestión presupondría en ambos
casos el axioma de identidad para luego negarlo. Pero sigamos suponiendo que el
escéptico afirmase: “El axioma de no-contradicción no es verdadero”. En tal caso
presupondría que dicha afirmación y la negación de la misma, “el axioma de no-
contradicción es verdadero”, no son verdaderos a la vez. Si hace tal suposición no
está sino afirmando el mismo axioma de no-contradicción, y al afirmarlo así, no lo
niega. Si no lo niega, tampoco puede el escéptico radical continuar sosteniendo la
negación de la ley de no-contradicción. Y no puede ya sostenerla, puesto que tiene
que afirmar esa ley para defender su negación.
Pero si el escéptico radical no puede ya sostener su posición teórica, tendría que
excluirse de un diálogo coloquial con su adversario, quedando condenado al
silencio. Y en la medida en que ya no sostiene una posición teórica sería de hecho
irrefutable, pero no lo sería por sostener una posición tal, sino porque ya no diría ni
podría decir nada preciso y concreto. En efecto, cualquier afirmación que hiciese
significaría a la vez su contrario contradictorio. En el mejor de los casos podría
todavía expresar su posición con el lenguaje corporal y mover; por ejemplo, la
cabeza con gesto crítico, cuando alguien formulase el axioma de identidad o el de
no-contradicción. Pero incluso el sentido de ese gesto negativo de cabeza seria
impreciso para los demás y para él mismo, por cuanto podría ser expresión tanto de
una negación como de un asentimiento.
c) El axioma metalógico del tercero excluido
El de tercero excluido es uno de los principios o leyes fundamentales del
pensamiento (junto con los de identidad, de no contradicción y de razón suficiente).
A.G. Baumgarten (1714-1762) lo distinguió del principio de no contradicción y le dio
ese nombre. Su formulación afirma que todo enunciado o es verdadero o es falso; y
entre estos dos valores veritativos (verdadero o falso) no admite un tercer valor,
que debe ser “excluido”; es decir, no existe nada “intermedio” o “tercero” entre
verdadero o falso, pues o es una cosa o es la otra. Su formulación lógica es (p p).
Este principio ha sido criticado por la lógica intuicionista (A. Heyting), siempre que
exista un conjunto infinito de posibilidades. Y otros (J. Lukasiewicz, A. Tarski) han
formulado una lógica trivalente, que admite tres valores de verdad -y que se ha
utilizado en la mecánica cuántica-, donde además de lo verdadero y lo falso se
admite un “tercero”: lo posible.
Pues bien, el axioma metalógico del tercero excluido, según el cual para cualquier
afirmación “p” es válida la disyuntiva “p p”, sin que se dé un tercero, no es un
axioma verdadero en cualquier sistema axiomático de lógica o de matemática. No
es válido, por ejemplo, en el de Luitzen Egbertus Jan Brouwer (1881-1966). En
efecto, para Brouwer unos teoremas matemáticos o pueden ser verdaderos o falsos,
cuando son demostrables o refutables mediante una construcción. Ahora bien, no
podemos partir del supuesto de que en infinitos campos cada afirmación
matemática sea demostrable o refutable mediante una construcción y sin que
medie un tercero.
Si los platónicos como Frege consideran que los entes matemáticos son entes
existentes por si mismos y que hay que descubrir; si los formalistas como Hilbert
piensan que un ente sólo puede considerarse como matemáticamente existente si
se lo define sin contradicciones, Brouwer sostiene que sólo puede considerarse que
un ente existe matemáticamente si se logra construirlo, es decir, únicamente a
condición de que podamos dar un ejemplo de él o indicar el procedimiento que nos
permite llegar a un ejemplo similar, a través de una cantidad finita de pasos. Esta
concepción -el intuicionismo- prohíbe apelar al “infinito actual”. Y si se habla de
infinito, no se habla de él como teoría de los conjuntos, sino únicamente en el
sentido de que, por ejemplo, cada punto al que se haya podido llegar, puede verse
superado. El infinito es algo potencial, nunca actual. El infinito actual es imposible
de construir.
Por otro lado, si la existencia de un ente matemático significa su efectiva
construcción, su constitución práctica, entonces puede aceptarse aquel tipo de
demostración conocida como “ley del tercero excluido” (“para toda proposición, p o
no p”). Como es obvio, si se aceptan las reglas de los intuicionistas, es decir,
construyendo uno por uno los entes matemáticos, se evitarán los peligros de las
antinomias. En los comienzos del intuicionismo, en la década de 1920, no se
entendió dicha teoría y debido a su carga polémica, dio la sensación de que se
quería echar por la borda gran parte de la matemática clásica. En la actualidad las
cosas han cambiado; el intuicionismo ha mostrado toda su fecundidad y es una de
las corrientes mas interesantes de la matemática contemporánea.
Por ejemplo, hay números perfectos y números imperfectos. Números perfectos son
los meros naturales cuya suma es igual a la suma de sus partes. Así es perfecto 6,
por cuando 6 = 2 + 3, y es perfecto 28 pues 28 = 1+2+4+7+14 y son perfectos el
496 y otras seis cifras pares, pues también su suma es igual a la suma de sus
partes. Pero de ningún número impar se ha demostrado hasta ahora que sea
perfecto, lo cual no quiere decir que todos los números impares sean imperfectos.
En efecto, una afirmación sobre todos los números impares, como sería “todos los
números impares son imperfectos”, no se puede ni probar ni refutar mediante una
construcción, puesto que hay infinitos números impares. De ahí que para Brouwer la
ley metalógica del tercero excluido ya no es verdadera en afirmaciones sobre una
cantidad infinita de números.
d) La concepción “institucionalista” de los axiomas
Por ello podemos pensar que los axiomas no son verdaderos porque sean siempre
evidentes ni porque se establezcan sin contradicción, sino porque están
institucionalizados en una comunidad lingüística. Quien no los acepta no pertenece
a esa comunidad. Ahora bien, las instituciones de una comunidad lingüística no son
sólo leyes del ser verdadero que describen lo que ocurre en esa comunidad, sino
también reglas que prescriben lo que en dicha comunidad ha de tenerse por
verdadero. Así, la concepción institucionalizada de los axiomas no sólo muestra por
qué son verdaderos en una comunidad lingüística; muestra asimismo por qué los
miembros de dicha comunidad han de regirse por tales axiomas.
Esa concepción institucionalista de los axiomas puede resultar desilusionante. Pero
si es correcta, no existe entonces ninguna justificación absoluta para la verdad de
los axiomas, sino simplemente una justificación relativa mediante las instituciones
semánticas de la respectiva comunidad lingüística. Desde luego tienen que estar
libres de contradicción y ser independientes entre si Sobre la base de esa mera
justificación relativa no podemos ya afirmar que unos axiomas sean intemporal y
universalmente verdaderos.
7.5. LA AXIOMÁTICA Y LAS CONDICIONES BÁSICAS DE UN SISTEMA
AXIOMÁTICO
7.5.1. La axiomática
Se denomina “axiomática” a la teoría de los sistemas axiomáticos. La axiomática
antigua tiene en cuenta el contenido de los axiomas, y la axiomática moderna sólo
atiende a su aspecto formal. La axiomática moderna nace con la idea de prescindir
del sentido, o contenido, de los conceptos utilizados, en este caso, de los conceptos
geométricos, puesto que las primeras axiomáticas modernas tratan de la
geometría, para considerar sólo el aspecto de la deducción, o relación deductiva,
para poder ser suficientemente rigurosas: la axiomática es el sistema deductivo por
excelencia.
He aquí las condiciones fundamentales a las que, para ser verdaderamente
rigurosa, debe satisfacer una exposición deductiva:
1. Que sean enunciados explícitamente los términos primeros, con ayuda de los
cuales se propone definir todos los otros.
2. Que sean enunciadas explícitamente las proposiciones primeras, con ayuda de
las cuales se propone uno demostrar todas las otras.
3. Que las relaciones enunciadas entre los términos primeros sean puras
relaciones lógicas, y permanezcan independientes del sentido concreto que se
pueda dar a los términos.
4. Que sólo estas relaciones intervengan en las demostraciones,
independientemente del sentido de los términos (lo que prohíbe, en particular,
tomar prestado algo a la consideración de las figuras) .
7.5.2. El sistema axiomático de Frege
La principal ventaja de los sistemas de “primera generación” es la simplicidad de
sus reglas de derivación, que eran básicamente dos:
a) Regla de separación (o modus ponens o silogismo hipotético; tenemos “A” y “A
→ B”, por tanto”B”)
b) Regla de sustitución en los axiomas y teoremas.
Pero esta simplicidad, que es una ventaja, tiene en su contra el carácter artificial de
su construcción, que aparece ya en la elección de los axiomas. Otro problema es el
carácter pesado y aburrido en las demostraciones.
Frege propuso un sistema axiomático que tenía sólo tres axiomas, para los que se
valía exclusivamente de los operadores ““ y “→”. Estos tres axiomas son:
1. ├ p → (q → p)
2. ├ (p → (q → r)) → ((p → q) → (p → r))
3. ├ (p → q) → (q → p)
Así, se puede demostrar que la fórmula (p → q), que parece expresar una verdad
lógica más primaria que cualquiera de los anteriores tres axiomas, es, en realidad
un teorema, obtenido por demostración: al sustituir en el segundo axioma “q” por
(“p → p”) y “r” por “p”, se obtiene una fórmula cuya forma es el axioma primero:
axioma 1 → (axioma 1) → (p → p), con lo que dos aplicaciones de la regla de
separación permiten obtener (p →p).
7.5.3. El sistema axiomático de Hilbert
Hilbert sostiene que la geometría, lo mismo que la aritmética, no exige para su
construcción lógica más que un pequeño número de principios fundamentales
simples. Y estos principios fundamentales son los llamados axiomas de la
geometría. La exposición de estos axiomas y su examen es un problema que, desde
Euclides, ha constituido el objeto de numerosas memorias notables de la ciencia
matemática Este problema lleva al análisis lógico de nuestra intuición del espacio.
Hilbert se propone establecer la geometría sobre un sistema simple y completo de
axiomas independientes y deducir de éstos los principales teoremas geométricos,
de tal manera que el rol de los diversos grupos de axiomas y el alcance de las
conclusiones que se sacan de los axiomas individuales se aclaren tanto como sea
posible.
Hilbert parte de una convención consistente en concebir tres diferentes sistemas de
seres:
1. A los seres del primer sistema los llamaremos puntos y los designaremos A, B,
C,...
2. A los seres del segundo sistema los llamaremos rectas y los designaremos por a,
b, c, ...
3. A los seres del tercer sistema los llamaremos planos y los designaremos por “...”;
los puntos serán también llamados elementos de la geometría lineal; los puntos y
las rectas, elementos de la geometría plana y los puntos, las rectas y los planos,
elementos de la geometría del espacio o elementos del espacio.
Concibamos que los puntos, las rectas y planos tengan entre sí ciertas relaciones
mutuas y designemos estas relaciones por palabras tales como: “están situados”,
“entre”, “paralela”, “congruente” y “continuo”; la descripción exacta y completa de
estas relaciones tiene lugar por medio de los axiomas de la geometría.
Pues bien, los axiomas de la geometría se dividen, según Hilbert, en cinco grupos.
Cada uno de estos grupos, tomado individualmente, expresa ciertas verdades
fundamentales de la misma categoría, que derivan de nuestra intuición. Estos cinco
grupos son designados como sigue:
1. Axioma de asociación
2. Axioma de distribución
3. Axioma de las paralelas (postulado de Euclides)
4. Axiomas de congruencia
5. Axioma de la continuidad (axioma de Arquímedes)
7.5.4. El sistema axiomático de Russell y Whitehead
Whitehead y Russell exponen en Principia Mathematica, una axiomatización del
cálculo de lógica de enunciados.
Según ellos un sistema axiomático requiere
1. Una lógica básica (subyacente a toda teoría)
2. Términos primitivos (términos lógicos o no, necesarios para construir
definiciones)
3. Términos definidos
4. Axiomas o postulados del sistema
5. Reglas de inferencia (para la deducción)
6. Teoremas del sistema
Y como ejemplo concreto de sistema formal axiomático, Russell y Whitehead
proponen el siguiente, que consta de cinco axiomas:
1. (p p) → p
2. p → (p q)
3. (p q) → (q p)
4. (p (q r)) → ((p q) r)
5. (p → q) → ((r p) → (r q))
Además de estos axiomas, su sistema consta de dos reglas de inferencia:
a) Regla de sustitución: en el interior de una expresión, puede siempre substituirse
una variable de enunciado por cualquier expresión correcta, con tal de que la
variable sea substituida siempre que aparece y siempre por la misma expresión.
Así, de la expresión (p → q) → ((r s) q), sustituyendo la variable “p” por la
expresión “r s”.
b) La regla de separación.
Por lo que respecta a los símbolos primitivos y a las reglas de formación, vale lo que
indicábamos en el tema 6.
Así, partiendo de estos axiomas y con la ayuda de las reglas de inferencia, es
posible demostrar todas las expresiones universalmente válidas del cálculo de
proposiciones. Básicamente el procedimiento es el mismo que utilizamos en la
deducción natural, aplicando las reglas de inferencia. Pero, con las siguientes
diferencias:
a) Las premisas no pueden ser más que los axiomas aceptados, al menos en los
primeros teoremas probados. Una vez demostrados algunos teoremas, éstos a su
vez pueden ejercer de premisas (o de supuestos).
b) Las reglas de inferencia son sólo las dos indicadas, no cuatro, como en la prueba.
e) No se pueden introducir como premisas auxiliares tautologías, a menos que se
hayan de mostrado antes como teoremas.
7.6. CONDICIONES BÁSICAS DE LOS AXIOMAS
El conjunto de axiomas que se establezca en un sistema axiomático debe cumplir
determinadas condiciones, que a continuación explicitamos.
Los conocimientos, por amplios que sean, no forman ciencia, si no se encuentran
ordenados sistemáticamente; es decir, formando parte de un sistema lógico,
construido según las relaciones de implicación, equivalencia, etc. Aunque ninguna
ciencia real puede alcanzar un estado de absoluta “formalidad” y “pureza”,
describiremos lo que sería un sistema lógico puramente formal.
Un sistema lógico es un conjunto de proposiciones entre las que existen unas
relaciones lógicas tales que, partiendo de un pequeño número (un subconjunto) de
esas proposiciones, podemos deducir todas las demás sin añadir ninguna otra
proposición exterior al conjunto. Las proposiciones de las que partimos para deducir
las otras son los axiomas; las proposiciones que deducimos a partir de los axiomas
son los teoremas. Un sistema lógico puramente formal, pues, se compone de
axiomas y teoremas.
7.6.1. Los axiomas de un sistema axiomático deben ser completos
La completud de un sistema de axiomas se dice en el sentido de que de dos
proposiciones contradictorias formuladas correctamente en los términos del
sistema, una debe poder ser demostrada. Esto quiere decir que en presencia de
cualquier proposición del sistema, ésta se puede demostrar en cualquier momento
o impugnar y, por tanto, decidir acerca de la verdad o falsedad en relación con el
sistema de los postulados. En este caso, el sistema se denomina decidible.
7.6.2. Los axiomas de un sistema axiomático deben ser consistentes
Se llama consistente a un conjunto de axiomas cuando no pueden deducirse dentro
de él proposiciones que resulten mutuamente contradictorias. Evidentemente, la
consistencia es una propiedad absolutamente básica de los axiomas, puesto que un
sistema lógico con contradicciones internas se destruye así mismo. Sin embargo, es
una propiedad que resulta difícil de establecer. A lo sumo podemos estar seguros
de que hasta ahora (en el actual estadio del desarrollo de un sistema) no han
aparecido teoremas contradictorios; pero ello no puede dejarnos seguros de que no
aparezcan algún día. Más todavía: no parece existir un método general totalmente
seguro de establecer la consistencia de un conjunto de axiomas .
7.6.3. Los axiomas de un sistema axiomático deben ser fecundos
Los axiomas de un sistema lógico no se eligen porque sean más evidentes que los
teoremas. Desde el punto de vista de la construcción lógica del sistema, la única
propiedad que nos interesa en un axioma es su fecundidad, es decir, su capacidad
de servir como premisa o supuesto para numerosas deducciones. A la lógica no le
interesa (pese a Frege) la verdad de las proposiciones que emplea, sino la
existencia de relaciones de implicación entre proposiciones.
7.6.4. Los axiomas de un sistema axiomático deben ser coherentes
Si no son coherentes el sistema del que dependen resulta contradictorio Y que el
sistema resulte contradictorio significa que permite deducir cualquier cosa y, con
ello que se puede demostrar una proposición cualquiera, tanto como su negación.
Ya que la prueba de la no contradicción es imposible de obtener en el interior de un
sistema axiomático, nos valemos habitualmente del sistema de la reducción a una
teoría anterior, cuya coherencia nos parece bien establecida, por ejemplo, a la
geometría euclidiana. Sin duda, este procedimiento no equivale a una demostración
de no contradicción, pero suministra un dato importante. Otro procedimiento es la
realización, es decir, la referencia del sistema a un modelo real, sobre el supuesto
de que lo que real debe ser posible, y, por tanto, no contradictorio.
7.6.5. Los axiomas de un sistema axiomático deben ser independientes
La independencia equivale a la irreducibilidad recíproca. Esta condición no es tan
indispensable como la de la coherencia, pero es oportuna para evitar que las
proposiciones primitivas resulten ser numerosas en exceso. Que sea independiente
quiere decir que tiene que ser imposible deducir uno cualquiera de los axiomas del
resto de los otros: los axiomas deben ser mutuamente independientes. Sólo si
existe esta mutua independencia entre los axiomas, podrá distinguirse claramente
dentro del sistema entre axiomas y teoremas. A lo largo de la historia de las
ciencias, los intentos de establecer la independencia dentro de un conjunto de
axiomas ha llevado a veces a importantes descubrimientos .
7.6.6. Los axiomas de un sistema axiomático deben ser categóricos
Un sistema axiomático es categórico si todos sus modelos son isomórficos. Cuando
se intenta caracterizar a una noción por medio de un conjunto de axiomas es
esencial que los axiomas sean consistentes, es decir, que exista al menos un
modelo. De no ser así cabría decir, por ejemplo que un punto es lo que satisface
tales y tales axiomas, mientras se ignorase que nada puede satisfacer esos
axiomas.
7.6.7. Los axiomas de un sistema axiomático deben ser pocos y simples
El menor número posible y la simplicidad de los axiomas son condiciones deseables,
que confieren la elegancia lógica y la sencillez a un sistema axiomático. Pero, por
otra parte, si los axiomas son consistentes, nos enfrentamos con otro problema:
puede haber demasiados modelos. Un sistema axiomático que tenga exactamente
un modelo no existe, y así, el intento de caracterizar a un modelo de forma única
por el procedimiento de dar axiomas no puede tener éxito. Todo sistema axiomático
que sea consistente tendrá un número infinito de modelos. Lo más que podemos
esperar, por tanto, es que los modelos del sistema axiomático, aunque pueden ser
numerosos, sean isomórficos, es decir, que tengan la misma estructura.
7.7. LA INDECIBILIDAD DE LOS SISTEMAS AXIOMÁTICOS
7.7.1. Kurl Gödel
Kurt Gñdel (1906-1978), nacido en Brno (República Checa), fue un matemático y
lógico, miembro del Círculo de Viena, que tras las Segunda Guerra Mundial enseñó
en Princenton (New Jersey).
En 1928, Hilbert había planteado el problema de la completud de la teoría de los
números, preguntándose si los axiomas de Peano, pertenecientes a la teoría
elemental de los números, eran capaces o no de demostrar o de refutar todas las
proposiciones de aquella teoría. En 1931, Kurt Gödel demostró (en su escrito
Proposiciones formalmente indecidibles de los “Principia Mathematica” y de
sistemas afines) que no es posible construir una teoría axiomática de los números
que posea la completud propuesta por Hilbert. Pero las cosas llegaron mucho más
allá, ya que de este primer resultado Gödel extrajo el corolario según el cual un
cálculo lógico, con potencia suficiente para formalizar la aritmética elemental, si es
coherente, es de un tipo que hace que en él sea indemostrable la fórmula que
expresa su coherencia La coherencia de la aritmética, por lo tanto, no se puede
obtener utilizando los instrumentos pertenecientes al sistema formal mediante el
cual se expresa la aritmética. Dicho resultado señalaba con toda claridad el fracaso
del programa hilbertiano (dado que los métodos finitistas utilizados por Hilbert para
demostrar la no contradictoriedad de la aritmética también son formalizables en el
interior del sistema axiomático de la aritmética). Gödel puso de manifiesto que
resultaba imposible una prueba puramente sintáctica de la no contradictoriedad de
un sistema formal, por lo menos cuando es tan complejo de expresar como la
aritmética elemental. A partir de aquel momento la garantía de la coherencia de los
sistemas formales o de los cálculos se buscaría en las interpretaciones que sean
modelos de dichos cálculos.
7.7.2. El teorema de Gödel
Como hemos dicho, en 1931 propuso su debatido teorema o “prueba”, que lleva su
nombre -también llamado teorema de la incompletitud-, que roza los límites de la
paradoja, donde arremete contra el proyecto de conseguir una axiomatización
completa de la matemática y la lógica. Ese proyecto, criticado por Gödel, pretendía
conseguir un sistema lógico en el cual tuviera cabida la matemática y que sostenía
que dicho sistema poseía completitud y consistencia. Por el contrario, Gödel
propuso su teorema de la incompletitud e inconsistencia simultánea de cualquier
lógica o sistema matemático.
En realidad la gödelización propone dos teoremas y no sólo uno. El primer teorema
sostiene que todo sistema de axiomas que sea consistente y capaz de incluir la
teoría formal de la aritmética es necesariamente incompleto, es decir, que ese
sistema de axiomas contiene algún teorema que, a pesar de ser verdadero, no
puede deducirse del sistema.
Y el segundo teorema es complementario y consecuencia del primero y establece
que no es posible probar la consistencia de un sistema formal de la aritmética con
los solos medios que dicho sistema proporciona, por lo que no siendo la
consistencia un teorema del sistema, ha de probarse desde fuera del sistema.
7.7.3. El teorema de la incompletud de la aritmética de Gödel
Dicho breve y simplemente -lo que no es sencillo-, Gödel sostiene lo siguiente: en
cualquier sistema formal (lógico o matemático) que sea consistente y en cuyo
interior se pretenda desarrollar acabadamente la lógica o la matemática, existen
proposiciones de dicho sistema que son indecidibIes, esto es, que ni su afirmación
ni su negación son demostrables, siendo una de ellas, precisamente, la que afirma
que el sistema es consistente (sosteniendo que es imposible que en su interior
existan contradicciones). Dicho de otra forma: no se puede demostrar la no-
contradictoriedad de un sistema matemático formalizado dentro del mismo sistema.
Gödel afirma, entonces, que en cualquier sistema lógico o matemático, por
exhaustivo que sea, existe, al menos, un teorema o proposición que no es decidible;
es decir, que aunque sea verdadero, no puede deducirse del mismo sistema En
otras palabras, sostiene la imposibilidad de probar que un sistema formal aritmético
es consistente apoyándose únicamente en dicho sistema, ya que la consistencia del
mismo es uno de sus teoremas, por lo cual la consistencia de ese sistema deberá
apoyarse desde otros apoyos, externos a dicho sistema. Por ello hay que sostener
que no existe ningún sistema axiomático lógico o matemático que sea completo y
consistente.
7.7.4. El teorema de completud de la lógica cuantificacional de primer
orden de Gödel
En 1930 Gödel demostró la completud de la lógica cuantificacional de primer orden.
Literalmente el Teorema de completud de Gödel establece: “Para toda fórmula A de
la lógica cuantificacional de primer orden, si A es lógicamente verdadera, entonces
A es deducible”. Dicho formalmente: “Si a ╞A, entonces ├A”.
La prueba del Teorema de Gödel se basa en afirmar las siguientes cinco premisas:
1. A es lógicamente verdadera: ╞A.
2. Si A es lógicamente verdadera, entonces A es insatisfacible.
3. Si A es insatisfacible, entonces A es inconsistente.
4. Si A es inconsistente, entonces da lugar a contradicción, es decir, se sostiene
que “A ├B”, y “A ├ B”.
5. Si “A ├B” y “A ├ B”, entonces ├A.
Aceptadas las cuatro primeras premisas, y aplicando la regla modus ponens,
empezando por la premisa 2 y 1 y siguiendo con 3 y el consecuente de 2, y así
sucesivamente, hasta liberar el consecuente de 5: ├A, que es precisamente la tesis
del teorema de Gödel, el cual queda, por tanto, demostrado.
7.7.5. El sentido de los teoremas de Gödel
El teorema de Gödel ha sido entendido en el siguiente sentido: la lógica es incapaz
de formalizar la deducción necesaria para fundamentar definitivamente cualquier
conocimiento de algún interés teórico.
Por este camino de interpretación cada vez más laxa y vaga del teorema de
incompletud de Gödel, algunos filósofos han llegado a afirmar que el resultado de
Gödel demuestra “el fracaso de la lógica” o hasta “el fracaso de la razón”. Pero,
“estas afirmaciones carecen de fundamento, como puede verse por las siguientes
consideraciones. En primer lugar; lo único que demuestra el teorema de Gödel es
que resulta imposible conseguir un conjunto de axiomas y un juego de reglas de
transformación que suministren todas las verdades formales expresables en el
lenguaje de la lógica de predicados...
“En segundo lugar, el hecho de que la lógica misma haya descubierto y demostrado
los límites o la inviabilidad de una realización universal del programa algorítmico,
en su forma clásica, es más bien un éxito que un fracaso de la actividad capaz de
tal resultado. El resultado mismo significa que el pensamiento racional puede saber
cuáles de sus actividades son algoritmizables, ejecutables (en principio)
mecánicamente, y cuáles no; cuáles son, como suele decirse, trabajo racional
mecánico, y cuáles trabajo racional productivo. Fracaso del pensamiento es más
bien la situación en la cual el pensamiento no sabe cuál es el alcance de su
actividad, como suele ocurrir, dicho sea de paso, a muchos filósofos” .
7.8. EL TEOREMA DE SATISFACCIÓN DE HENKIN
Gödel presentó su célebre teorema de la completud de la lógica cuantificacional de
primer orden en 1930. Pero su complejidad hizo que se hiciera célebre otra prueba,
presentada en 1949 por Henkin, y que denominó “teorema de satisfacción”, según
el cual todo conjunto de fórmulas (toda fórmula) que sea consistente es satisfacible.
Y de este teorema se sigue, como corolario, el de la completud de Gödel. Así, el
teorema de la completud es reducido al problema previo de autorizar el paso de la
consistencia a la satisfacibilidad.
El teorema de Henkin establece que “para cualquier conjunto de fórmulas (A) de
lógica elemental, si A es consistente, entonces A es simultáneamente satisfacible
en un modelo enumerable”. La demostración del teorema comienza extendiendo al
máximo el conjunto de fórmulas “A” por adición sucesiva de toda fórmula posible
que sea compatible con él, es decir, que no atente contra sus consistencia. El
resultado será un conjunto consistente máximo que incluye al anterior. Este
conjunto es no sólo consistente, sino que además abarca toda fórmula consistente.
7.9. EL TEOREMA DE LA SIMULTANEIDAD, DE SATISFACIBILIDAD Y
CONSISTENCIA DE LÖWENHEIM-SKOLEM
Del teorema de Henkin se infiere como corolario el teorema de Löwenheim-Skolem,
que afirma:
a) Si un conjunto de fórmulas A es simultáneamente satisfacible, entonces es
consistente (afirmación convergente con la de Henkin). Y sabemos que las reglas
de inferencia transmiten la propiedad de ser verdadero a las fórmulas a las que
dichas reglas se aplican válidamente.
b) Si un conjunto de fórmulas A es consistente, entonces es simultáneamente
satisfacible en un dominio enumerable (lo que también sostiene el teorema de
Henkin).
c) Admitidas a) y b) se sigue, por doble aplicación del modus ponens, la tesis del
teorema: “A” es simultáneamente satisfacible en un dominio enumerable.
7.10. EL TEOREMA DE INDECIBILIDAD DE CHURCH
En 1936 Alonzo Church demostró la imposibilidad de encontrar un procedimiento
mecánico decisorio adecuado para la lógica elemental, incluyendo la lógica
cuantificacional poliádica.
Este teorema de Church es, junto a teorema de la incompletitud de Gödel, uno de
los denominados teoremas de limitación, que pusieron en crisis la ilimitada fe que
hasta entonces se depositaba en los métodos axiomáticos y dieron lugar a una de
las corrientes más fecundas de la investigación lógico-matemática: la teoría de la
computabilidad.
Desde Ramón Llull (con su Ars Magna) pasando por Leibniz y hasta Hilbert, se
defendía que todo problema lógico y matemático (Llul creía que hasta teológico),
podría ser resuelto por procedimientos mecánicos decisorios. Para Hilbert el
problema fundamental de la lógica matemática era precisamente la decisoriedad
mecánica.
Y cinco años antes de la propuesta de Church, Gödel demostró que todo sistema
axiomático que pretenda formalizar la aritmética elemental es incompleto. Y ahora
Church probaba la indecibilidad de la aritmética y, después de esto, la indecibilidad
de la lógica elemental, con su célebre teorema.
Según él, toda función efectivamente calculable es una función recursiva.
Partiendo del teorema de Gödel, Church probó que no es posible hallar una solución
general para el problema de la decisión en teoría elemental de números, es decir,
que el sistema formal de la aritmética es indecidible.
Y entonces Church demostró que el caso general del problema de la decisión para
un sistema formal de lógica elemental es insoluble, es decir: la lógica elemental de
la cuantificación es indecidible (teorema de Church).
El interés fundamental de este teorema consiste en que por él se establece, o se
quiere establecer, la no mecanicidad de la lógica formal. Pues si bien es cierto que
existen algoritmos (procedimientos de decisión) que permiten resolver de modo
mecánico grandes grupos de problemas de la lógica elemental, según este
teorema, no existe ni puede existir un algoritmo que los resuelva mecánicamente
todos. De aquí se deduce que la operación deductiva de la razón no es totalmente
mecanizable.
En opinión de Church sólo existe un algoritmo que solucione un problema lógico o
matemático si existe una “máquina de Türing” que pueda computerizarlo. De este
modo, para Church, la mente humana es como una máquina de Türing, pero más
imperfecta.
7.11. EL SUEÑO ROTO: ¿VERDAD EN LAS MATEMÁTICAS?
No sólo la filosofía sino también en la matemática se ha encontrado el racionalismo
con limitaciones. El concepto de “verdad matemática” se ha vuelto problemático.
Entre los matemáticos circula este chiste: “Dios existe porque la matemática está
exenta de contradicción, y el diablo existe porque la no contradicción no se puede
probar”.
En efecto, doscientos años después de Descartes la matemática entró en una crisis
tan radical que muchos matemáticos, pese a los pequeños éxitos, perdieron la
confianza en conseguir la verdad con la matemática. Hasta entonces su progreso
parecía rectilíneo, constante e irresistible. Su aplicación a la mecánica celeste, a la
electricidad, a todos los sectores de las ciencias naturales y técnicas ha traído
enormes progresos en la humanidad. ¿Podría hacerse realidad el sueño de
Descartes de una ciencia matemática universal? Ya Leibniz, apelando a Raimundo
Lulio, trató de elaborar un lenguaje matemático unitario, postulando una
characteristica de la razón en virtud de la cual las verdades de razón serían
alcanzables mediante el cálculo, al igual que en la aritmética y en el álgebra,
aplicando un método deductivo.
La lógica matemática de los siglos XIX y XX intentó verificar la idea de Descartes y
Leibniz. Pero en la segunda mitad del siglo XIX la teoría de los conjuntos, base de la
actual matemática, iniciada por Georg Cantor (1854-1918) hizo temblar la no
contradicción y la incontestabilidad de la matemática. El posterior desarrollo de la
teoría de conjuntos trajo consigo antinomias y contradicciones: algunos asertos,
relacionados con el concepto de “infinitud”, podían ser al mismo tiempo probados y
refutados matemáticamente.
Sirva como ejemplo la antinomia lógico-matemática de Russell (y también de Burali
y Forti) denominada el “conjunto de todos los números ordinales”: Sobre cada
conjunto de números ordinales hay un número ordinal que es mayor que todos los
números ordinales que aparecen en el conjunto. Ahora bien, todo número ordinal
que es mayor que el “conjunto de todos los números ordinales” no puede aparecer
en este conjunto (‘pues es mayor que él”), pero (también así se puede probar) debe
aparecer en dicho conjunto, ya que de lo contrario no se trataría del conjunto de
todos los números ordinales.
De esta forma, la superación de las antinomias lógico-matemáticas provocó en la
misma matemática una crisis radical de enormes consecuencias. El intento de
salvar la crisis vino por tres caminos o escuelas matemáticas, como hemos visto,
que en sí son lógicas, pero que son entre sí son contradictorias: 1) el logicismo
(Frege, Russell, Whitehead); 2) el intuicionismo (Brouwer); y 3) el formalismo
(Hilbert, H. Weyl). Pero ni el logicismo (que reduce la matemática a la lógica), ni el
intuicionismo o constructivismo (que pretende fundamentar la lógica partiendo de
las intuiciones básicas de la matemática), ni el formalismo (que quiere desarrollar la
lógica y la matemática a un tiempo de modo puramente formal), han podido
imponerse por el momento.
A la vista del papel que la matemática desempeña en nuestra actual imagen del
mundo resulta de gran interés para la filosofía el hecho de que los matemáticos,
con medios puramente matemáticos, han mostrado que hay problemas
matemáticos que no pueden ser tratados con los recursos de la matemática de
cálculo. Existen ciertos límites “naturales” de la capacidad del homo sapiens para la
matematización. Por esto hoy los matemáticos abogan por una matemática sin
ilusiones. La actual situación de la matemática llega a “causar lástima” a algunos
(como M. Kline). Su pretensión de verdad ha debido ser abandonada. Los esfuerzos
realizados por eliminar las paradojas y asegurar la consistencia de las estructuras
matemáticas han fracasado. La discrepancia es total en lo concerniente a los
axiomas que han de aplicarse. Hoy, aparte de la variedad de geometrías y álgebras,
se da otro hecho además indudable: se tiene la libertad de aceptar o rechazar el
axioma de elección y también la hipótesis del continuum. De las diferentes
posibilidades de elección pueden surgir también matemáticas distintas. Incluso
existen diferentes concepciones sobre los métodos de demostración. De esta forma,
hay que desistir de la pretensión de una argumentación irrecusable. El concepto de
matemática como “conjunto de estructuras”, cada una de las cuales está basada en
sus propios axiomas, es incapaz de abarcar todo lo que supuestamente debería
abarcar la matemática.
Sigue abierta, pues, la cuestión de los fundamentos últimos y del significado último
de la matemática y de su verdad. Ni sabemos cuál es el camino que debemos
seguir ni sabemos si se logrará cimentar una verdad matemática incuestionable.
Pese a esto, el trabajo cotidiano de la matemática sigue adelante con asombrosos
avances; la ciencia natural y la técnica siguen avanzando. Pero las pretensiones de
universalidad de la verdad matemática se han visto sacudidas en su línea de
flotación. En definitiva, para una absolutización de la verdad matemática existen
hoy menos razones que nunca.
BIBLIOGRAFÍA
*Blanché R., La axiomática, UNAM, México, 1965.
Bochensky I.M., Los métodos actuales del pensamiento, Rialp, Madrid,1973.
**Boole G. El análisis de la lógica, Cátedra, Madrid, 1979.
Cantor G. Gesammelte Abhandlungen mathematischen und philosophis chen
Inlzalts, A. Fraenkel Verlag, Berlín, 1932.
Cohen M.-Nagel E. Introducción a la lógica y al método científico, Amorrortu, Buenos
Aires, 1968, 2 vo
Daval S- Guillemain B, Filosofía las ciencias, El Ateneo, Buenos Aires,1964.
*Deaño A. Introducción a la lógica formal, Alianza, Madrid, 1978.
Euclides, Elementos, Gredos, Madrid, 1991
Feyerabend P.K. Contra el método. Esquema de una teoría anarquista del
conocimiento, Ariel, Barcelona, 1974.
**Frege G. Investigaciones lógicas, Tecnos, Madrid, 1984.
Id, Escritos lógico-semánticos, Tecnos, Madrid, 1974.
Id, Fundamentos de la aritmética, Laia, Barcelona, 1972.
Id, Conceptografía. Los fundamentos de la aritmética. Otros estudios filosóficos,
UNAM, México, 1972.
*Hull t L.W.H. Historia y filosofía de la ciencia, Ariel, Barcelona, 1961.
*Mates B. Lógica matemática elemental, Tecnos, Madrid, 1970.
Mosterín J. Teoría axiomática de conjuntos, Ariel, Barcelona, 1971.
*Prior A.N. Historia de la lógica, Tecnos, Madrid, 1976.
**Russsell B.-Whitehead A.N. Principia Mathematica, Paraninfo, Madrid, 1981,3 vos.
Ruyer P.B. Logique, PUF, París, 1994.
**Sacristán M. Introducción a la lógica y al análisis formal, Círculo de Lectores,
Barcelona, 1989 (Ariel, Barcelona, 1964).
**Suppes P. Teoría axiomática de conjuntos, Nonna, Cali (Colombia), 1968.
top related