Universitas Philosophica

ISSN: 0120-5323
uniphilo@javeriana.edu.co
Pontificia Universidad Javeriana
Colombia

Parra Ballesteros, Mara Paula

La naturaleza analtica de la verdad matemtica
Universitas Philosophica, vol. 32, nm. 64, enero-junio, 2015, pp. 83-88
Pontificia Universidad Javeriana
Bogot, Colombia

Disponible en: http://www.redalyc.org/articulo.oa?id=409540996007

Cmo citar el artculo

Nmero completo
Ms informacin del artculo
Pgina de la revista en redalyc.org

Sistema de Informacin Cientfica

Red de Revistas Cientficas de Amrica Latina, el Caribe, Espaa y Portugal
Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto

Universitas Philosophica 64, ao 32

enero-junio 2015, Bogot, Colombia issn 0120-5323

La naturaleza analtica
de la verdad matemtica
Mara Paula Parra Ballesteros
Pontificia Universidad Javeriana
m92parra@gmail.com

En este breve trabajo emprendo la tarea de presentar, de manera muy general, la filosofa de la matemtica pura, propuesta por Luis Eduardo Surez en dos
artculos publicados en Universitas Philosophica. Los artculos se titulan: FilosofaLgicaMatemticas y La naturaleza de la verdad matemtica. Para caracterizar la filosofa de la matemtica de Luis Eduardo, abordo la pregunta por
la naturaleza de la verdad en esta ciencia. El trabajo que ahora presento es motivado por la invitacin que hace el profesor Surez a sus estudiantes en el primero
de los artculos mencionados:
Quisiera con estas lneas, excitar a los jvenes que aspiran a ser filsofos para
que se inicien en algunos temas fascinantes de la filosofa: los de la filosofa
de la matemtica (y otros temas conexos como la filosofa de la lgica) en los
que muy poco o nada ha incursionado la filosofa colombiana. (Surez,
1984, p. 66)

Este texto lo dividido en dos secciones. La primera, Tres corrientes filosofcas en matemticas, da cuenta de tres escuelas que surgieron en la segunda mitad
del S. XIX y primera mitad del S. XX. La finalidad de esta seccin es mostrar las
razones por las cuales el profesor no admite que la caracterizacin de la filosofa
de la matemtica hecha por cada escuela sea satisfactoria. La segunda seccin,
Naturaleza analtica de la verdad matemtica: propuesta de Luis Eduardo Surez, expone las razones y los motivos por los cuales se establece que la naturaleza
de la verdad matemtica es analtica.

In memoriam

1. Tres corrientes filosficas en matemticas

La crtica que se realiza a la escuela logicista, intuicionista y formalista no
es una crtica destructiva. Aunque se sealan las falencias de cada escuela, razones por las cuales no se puede admitir que fundamenten absolutamente la matemtica, se muestra el avance y el refinamiento de los mtodos que produjo cada
uno de los programas.
Un antecedente filosfico de la propuesta logicista lo desarrolla Leibniz en
sus trabajos. A finales del S. XIX Gottlob Frege postula la totalidad de la tesis
logicista, pero esta solo se dar a conocer a travs de su mximo representante:
Bertrand Russell. La tesis fundamental del logicismo es: la matemtica se reduce a la lgica (Surez, 1984, p. 72). Segn esta definicin podemos entender que
el propsito del programa logicista es fundamentar en leyes y principios lgicos
el conocimiento aritmtico y su verdad.
Para lograr la deduccin de todas las proposiciones matemticas de axiomas
y leyes lgicos, los adeptos al logicismo debieron desarrollar con extrema finura
dos elementos: primero, un algoritmo simblico parecido al del lgebra; segundo, diversos mtodos potentes de anlisis que permiten definir todos los postulados matemticos desde trminos lgicos.
Dado el desarrollo de estos elementos, Russell y Whitehead emprendieron la
ardua tarea de probar la tesis logicista, para lograrlo tuvieron demostrar dos puntos: uno, que la expresin de la totalidad de las proposiciones aritmticas se puede realizar en trminos lgicos; otro, el hecho de que toda proposicin
matemtica verdadera es una expresin lgica vlida, es decir, la deduccin, por
medio de razonamientos puramente lgicos y desde una lgica axiomatizada, de
toda proposicin matemtica (Surez, 1984, p. 72). El primer punto, a diferencia
del segundo, es posible cumplirlo.
La imposibilidad de demostrar que toda proposicin matemtica es una expresin lgica verdadera significa que la verdad de por lo menos una proposicin matemtica no se sigue de los axiomas y las leyes de la lgica, aunque la proposicin
dentro del sistema se pueda expresar en trminos lgicos. Bretrand Russell hall
esta contradiccin en los trabajos de Frege, y con la intencin de salvar el proyecto
logicista, propuso incluir entre los axiomas del sistema el de reducibilidad. Otro

Universitas Philosophica, 32(64) issn 0120-5323

83

In memoriam

problema del programa logicista es la falta de justificacin del infinito actual, es

decir, la explicacin de la postulacin de totalidades infinitas.
Por su parte, el programa intuicionista se constituye como opuesto al programa logicista. Aunque esta nueva escuela acepta la axiomatizacin del anlisis,
rechaza la idea del infinito actual en matemtica. Esto que implica en la ciencia
el rechazo a la construccin o postulacin terica del conjunto total de los
nmeros reales. As pues, esta escuela no acepta en grado alguno la idea cantoriana de nmeros y clases transfinitas.
La cercania de la escuela intuicionista con la epistemologa kantiana la caracterizacin kantiana del conocimiento matemtico es patente. Al igual que
Kant, los miembros de esta escuela Kroneckner, Poincar y Brower sostienen
que el conocimiento matemtico es un conocimiento creado por la mente del
matemtico y justificado por la intuicin. Por esta razn, la verdad que expresan
las proposiciones matemticas no se refiere a objetos intemporales o metafsicos,
sino que ella est destinada a satisfacer ciertas necesidades del hombre en relacin con un medio.
La lgica que enmarca la matemtica intuicionista no puede ser la lgica
clsica elemental; ya que la lgica clsica acepta postulados que la matemtica
intuicionista rechaza como consecuencia de su fundamento epistemolgico.
Dos de estos postulados son la construccin de conjuntos o clase infinitos y el
principio de tercero excluido.
La superioridad filosfica de la escuela intuicionista respecto de la escuela
logicista consiste en que el intuicionismo [c]umple el programa que establece,
sin recurrir a presupuestos excludos por l mismo, utilizando en sus construcciones los principios de razonamiento descritos en su lgica intuicionista (Surez, 1984, p. 74). El problema de la matemtica intuicionista es que se le pueden
plantear tanto las objeciones propias de la concepcin cartesiana del conocimiento intuitivo, como las objeciones pertinentes a una concepcin kantiana de
la filosofa de la matemtica. Adems, esta escuela reduce en gran medida el conocimento de la matemtica clsica al negar algunos de los postulados bajo los
cuales esta se fundamenta.
Ahora bien, David Hilbert fund y desarroll el mtodo formalista para
fundamentar la matemtica en una serie ordenada y finita de pasos que probasen la consistencia del sistema. Para lograr este cometido, dicha escuela tuvo que
84

Universitas Philosophica, 32(64), issn 0120-5323

In memoriam

perfeccionar el mtodo axiomtico, con lo que excluye cualquier significado

intuitivo de los trminos primitivos que se utilizan. Al excluir un significado
determinado de los trminos primitivos se abre la posibilidad a que el mtodo
axiomtico sea interpretado de distintas maneras. Adems, por la reduccin a
postulados y axiomas bsicos, as como el uso exhaustivo del simbolismo lgico
de Peano, este mtodo conduce a una economa del pensamiento.
Qu significa que una teora sea formalizada? Que todas sus afirmaciones y
reglas de inferencia, al margen de cualqueir contenido concreto, se pueden hacer
explcitas. Para ello, el procedimiento que se debe aplicar requiere de un vocabulario formal que incluye reglas bien formadas de un sistema finito de axiomas,
sobre los cuales se pueden efectuar transformaciones de acuerdo con reglas de
inherencia. Una teora es completamente formalizada si y solo si no contiene dos
teoremas uno de los cuales sea negacin del otro (Surez, 1984, p. 76).
A diferencia de la escuela logicista y la escuela intuicionista, los formalistas no
se interesan por los supuestos epistemolgicos de la teora. La consecuencia de
esto es que no plantean su investigacin respecto al carcter verdadero de las proposiciones matemticas, sino respecto de si el sistema es o no consistente. Si el
programa formalista hubiese sido exitoso, la matemtica y la lgica que se desarrollan simultneamente se tendran que considerar independientes a la filosofa.
Por ltimo, hay que decir que cada escuela aborda para negar o afirmar la
relacin entre matemtica, lgica y filosofa. Adems, por consideraciones que
tienen que ver con el infinito actual o potencial, se asumen posturas respecto
a la existencia real o abstracta de los objetos matemticos.
2. Naturaleza analtica de la verdad matemtica: propuesta
de Luis Eduardo Surez
Si el problema central de la matemtica es la definicin de la verdad matemtica (Surez, 1984, p. 77), hay una relacin efectiva entre la matemtica, la
lgica y la filosofa. Ahora bien, si la definicin de la verdad matemtica es analtica, se responde por los motivos que autorizan la aceptabilidad validez objetiva de los enunciados y teoras de una manera determinda.
De modo general, una afirmacin matemtica se afirma verdadera en el mismo
sentido en el que lo hace la proposicin nign hombre casado es soltero. Es decir,

Universitas Philosophica, 32(64) issn 0120-5323

85

In memoriam

la aceptabilidad de la verdad no depende de la experiencia emprica ya sea porque

la proposicin no se encuentra ligada a la experiencia, o porque es anterior a ella.
Por tanto, la verdad que expresan dichas proposiciones es analtica y a priori.
La analiticidad de la verdad de una proposicin est condicionada por las
definiciones o estipulaciones que determinan la significacin de los trminos
usados en cada caso. La certeza de una afirmacin analtica es absoluta, pero esta
certeza conseguida gracias al anlisis de las definiciones de los trminos implicados tiene como costo la vaciedad de contenido informativo: de una proposicin analtica no se sigue un contenido emprico o una implicacin prctica. Esta
explicacin es suficiente para entender que la verdad de una proposicin como
ningn hombre casado es soltero es analtica. Pero la matemtica no solo se
constituye de trminos definidos, en esta ciencia, tambin se encuentran conceptos bsicos o trminos primitivos que no se definen en la teora, as como principios y relaciones lgicas que se utilizan en la demostracin de las proposiciones.
El conjunto total de las definiciones, los axiomas y las relaciones lgicas de
los elementos que conforman la ciencia son las estipulaciones que se admiten
para su prueba. El conjunto de axiomas o postulados que adopta Surez como
base de toda la matemtica es el sistema axiomtico de Peano. Estos postulados
pueden interpretarse de dos maneras: como axiomas materiales y como axiomas
abstractos. A continuacin se presentan los postulados axiomticos materiales y
la regla deductiva lgica adoptada; aunque la axiomtica abstracta exalta la cualidad principial del sistema de Peano, a saber, que los postulados pueden ser interpretados de distintas maneras y no solo en el lenguaje aritmtico, es ms dificil
y extenso dar y comprender los postulados y la demostracin de la matemtica
desde axiomas abstractos. Hecha esta aclaracin, los trminos primitivos de la
axiomtica material de Peano son los conceptos de 0, nmero y sucesor. ellos no
son definidos en los axiomticos materiales:
P1 = 0 es un nmero.
P2 = El sucesor de un nmero (n) cualquiera es un nmero (n + 1) o n.
P3 = Dos nmeros diferentes no tienen el mismo sucesor.
P4 = 0 no es sucesor de ningn nmero.
P5 = Si P es una propiedad tal que: 0 tiene esa propiedad (P) y si siempre que
n tiene la propiedad P, su sucesor tiene la propiedad P. Entonces: Todo nmero tiene esa propiedad P. (Surez, 1985, p. 83)

86

Universitas Philosophica, 32(64), issn 0120-5323

In memoriam

De P1 se sigue que el 0 es un nmero. Por P2 si n = 0, (n + 1) = 1, este proceso se sigue indefinidamente siempre y cuando, para la nueva definicin de un
nmero particular n es igual a su antecesor inmediato. Por P3 y P5 se garantiza
que en el proceso nunca se va a definir dos veces un mismo nmero. Por P4 nunca
se podr definir 0.
Para definir las operaciones bsicas de la mtemtica, por ejemplo la adicin, se debe establecer la relacin lgica por la cul es posible realizar la operacin matemtica. En este caso la relacin que permite hacer la demostracin es
la transitividad de la identidad, en trminos lgicos se expresa: (a = b) (b = c)
(a = c). En trminos aritmticos, como ya estn definidos los nmeros naturales, se puede aplicar la transitividad de la identidad desde la definicin de nmero como el agregado en 1 hasta llegar al trmino que por definicin no es sucesor
(0). Entonces, para definir la suma 7 + 5 = 12 se deben tener presente tanto las
definiciones recursivas de 7 y 5, como la de 12, para establecer que 7 + 5 = 12
si [12 = (11) = 7 + (3)].
Como la matemtica no se reduce a los nmeros naturales, se deben definir
todos los tipos de nmeros enteros, racionales, irracionales, reales, no-reales.
Estas definiciones son posibles en la medida en que se pueden definir los tipos
mayores de nmeros en relacin con los tipos menores. Por lo que se llega a la
necesidad de crear conjuntos de conjuntos de pares ordenados de una clase inferior que definan un nmero de la clase superior.
La definicin de los tipos de nmeros como conjuntos, unos ms grandes
que otros, supone dos axiomas que no son propiamente lgicos es decir, que su
verdad es independiente de la verdad de los otros postulados del sistema, estos
axiomas demostrativos son conocidos como el axioma de eleccin y de infinito,
ellos garantizan que tanto los conjuntos finitos como los conjuntos infinitos son
organizables.
Ahora bien, como lo importante para la matemtica es expresar proposiciones verdaderas, los axiomas de Peano deben ser necesariamente interpretados en
su significacin habitual, la cual requiere la definicin de 0, sucesor y nmero
natural. Surez acepta y adopta las definiciones dadas por G. Frege y B. Russell de
estos conceptos pero, a diferencia del logicismo, considera que en la prueba de la
nocin de sucesor y nmero natural se deben utilizar los axiomas de eleccin y de
infinito respectivamente.

Universitas Philosophica, 32(64) issn 0120-5323

87

In memoriam

Con todo, la definicin de la naturaleza de la verdad matemtica propuesta

por Luis Eduardo consta de tres elementos: 1. El sistema axiomtico de Peano. 2.
La interpretacin habitual y la prueba formal del programa logicista de los
trminos primitivos del sistema axiomtico de Peano. 3. Los axiomas de eleccin
e infinitud para justificar las definiciones de nmero natural y sucesor, tal y como
los define el programa logicista. Estos son los componentes que conforman el
logicismo del que habla Surez en el penltimo apartado de su segundo artculo.
Desde este punto de vista es, entonces, posible sostener que la matemtica es una
rama de la lgica en el siguiente sentido:
a) Todo concepto de la Matemtica Aritmtica, lgebra, Anlisis puede definirse en trminos de cuatro conceptos de la lgica pura. Los conceptos de
negacin, cuantificador universal, funcin y variable.
Todo teorema de la matemtica puede deducirse de esas definiciones por
medio de los principio de la lgica (ms los axiomas de eleccin y de infinito) (Surez, 1985, p. 90).

88

Universitas Philosophica, 32(64), issn 0120-5323