Escolar Documentos
Profissional Documentos
Cultura Documentos
Michael Dummett
ABSTRACT
This paper addresses two central questions within the philosophy of mathemat-
ics: (1) What is the ground of the necessity of mathematical theorems? and (2) How is
our belief in the existence of the objects of the fundamental mathematical theories to
be justified? Freges logicist answer to these questions is analysed in detail, as well as
Crispin Wrights attempt to refashion it. Hardly anyone else, claims the author, has
even tried to address these questions. The author argues that those mathematical theo-
rems that are genuinely applicable to reality hold of analytical necessity, since (he
conjectures) it is possible to reformulate them so that the objects assumed are not
purely mathematical objects, but ones abstracted from empirical reality.
RESUMEN
En este artculo se tratan dos problemas centrales de la filosofa de la matemti-
ca: (1) Cul es el fundamento de la necesidad de los teoremas matemticos? y (2)
Cmo se puede justificar nuestra creencia en la existencia de los objetos de las teor-
as matemticas fundamentales? La respuesta logicista de Frege a estas preguntas es
objeto de estudio detenido, as como el nuevo intento de rehacer esa respuesta por
parte de Crispin Wright. Prcticamente nadie ms, sostiene el autor, ha intentado ana-
lizar siquiera estas cuestiones. El autor argumenta que aquellos teoremas que son ge-
nuinamente aplicables a la realidad se mantienen por necesidad analtica, dado que
(segn l conjetura) es posible reformularlos de tal manera que los objetos asumidos no
sean objetos puramente matemticos, sino objetos abstrados de la realidad emprica.
5
6 Michael Dummett
estemos familiarizados con las circunstancias empricas a las que pueden ser
aplicados. El teorema sobre los sistemas de votaciones a prueba de estrate-
gias, cuando se expresa en su versin abstracta, se refiere a conjuntos finitos
sobre los que se ha definido una cantidad finita de rdenes lineales: el inters
del teorema radica en tomar estos rdenes como relaciones de preferencia, tal
y como se hace al aplicarlo a la teora de votaciones, pero no es algo esencial
a su contenido o a su prueba. Del mismo modo, el problema de los puentes
de Knigsberg puede ser expresado en trminos de un conjunto de siete ele-
mentos (los puentes) y otro de cuatro (las regiones que stos conectan), ms
una relacin que exista entre cada puente y dos de las regiones; un tra-
yecto ser una secuencia finita de puentes que satisfaga unas condiciones
obvias. Para presentar las relaciones entre puentes y regiones es til un
diagrama: no es esencial al argumento.
Cuando consideramos ejemplos sencillos como stos, la impresin de
que la prueba matemtica es simplemente una forma de deduccin lgica nos
asalta como enormemente plausible. Y sin embargo el logicismo es una doc-
trina generalmente desacreditada. Incluso su primer defensor notable, Got-
tlob Frege, vino a considerar que era errnea; hoy en da no hay virtualmente
nadie que sea un logicista incondicional. Por qu esto es as? Qu se ha
mostrado que fuera errneo en esta explicacin de la necesidad matemtica?
Fue precisamente el reto de justificar nuestra creencia en la existencia
de los objetos matemticos lo que derrot a Frege. Trminos para nmeros
naturales, como 3, y para nmeros reales, como , cumplen los ms cla-
ros criterios para ser trminos singulares; la cuantificacin sobre nmeros na-
turales o sobre nmeros reales cumple los ms claros criterios para constituir
cuantificacin de primer orden. No se sigue que los primeros sean realmente
trminos singulares o que la segunda sea realmente cuantificacin de primer
orden: hay oraciones de las que, aunque aparentemente involucran referencia
a nmeros naturales o reales, o cuantificacin sobre ellos, se puede defender
que su estructura superficial es engaosa, y que en realidad son formas encu-
biertas de oraciones cuya composicin lgica es bien distinta. Frege, sin em-
bargo, no vio razn para dejar de tomarlas con su significado literal: as,
clasific los nmeros naturales y reales como objetos que entraban en el do-
minio de las variables de cuantificacin de primer orden. Este punto de vista
resulta inaceptable, por supuesto, para los nominalistas como Hartry Field,
dado que si los nmeros son objetos, entonces son objetos abstractos, y los
nominalistas abominan de los objetos abstractos. Para Frege, esta reaccin
era supersticiosa. Los objetos, de acuerdo con l, se pueden clasificar en ac-
tuales y no actuales; era, para l, de vital importancia el reconocimiento de la
existencia de objetos no actuales junto con la de los actuales, una existencia
absolutamente tan objetiva como la de los objetos actuales. El fracaso en re-
conocer esto se deba, segn l, a un fracaso en entender que slo en el con-
10 Michael Dummett
rales a los cuales nosotros nos referimos. Su mtodo de llegar a ellos fue, en
primer lugar, considerar una secuencia concreta que tuviera esta estructura, y
despus aplicar el proceso de abstraccin psicolgica para llegar a la secuen-
cia abstracta de los nmeros naturales, cuyos trminos, as obtenidos, no tie-
nen ninguna propiedad excepto sus posiciones respectivas en esa secuencia.
Por supuesto que admita la capacidad de los nmeros naturales para servir
como nmeros cardinales finitos, pero slo como un corolario a la construccin
inicial de la secuencia que estos constituan y las propiedades de esa secuencia.
Para Frege la matemtica no trata, como Dedekind supuso, con estruc-
turas puramente abstractas: nociones matemticas fundamentales, tales como
la de nmero natural y la de nmero real, deben ser explicadas en trminos
del principio que regule todas sus aplicaciones posibles. La aplicacin de los
nmeros naturales se efecta tratndolos como nmeros cardinales (finitos):
para caracterizarlos, debemos explicar simultneamente el operador El n-
mero de objetos F, donde F puede ser reemplazado por alguna expresin
predicativa como luna de Jpiter; los nmeros naturales deben entonces ser
presentados como los valores de este operador.
Como ya se ha mencionado, Frege intent, en su obra magna Los prin-
cipios fundamentales de la aritmtica, asegurar la existencia de entidades
como los recorridos, que incluan a las clases como un caso especial, y que
segn Frege haba concluido comprendan todos los objetos lgicos, apelan-
do al principio contextual. Su procedimiento no consisti en especificar pri-
mero el dominio de las variables individuales de su teora formal, y despus
precisar la denotacin de trminos como los recorridos en ese dominio: inten-
t fijar el dominio mediante la fijacin de las denotaciones de esos trminos.
El principio contextual le liber de la necesidad de fijar sus denotaciones por
estipulacin directa: en su lugar, stas habran de ser fijadas especificando las
condiciones para que dos trminos tuvieran la misma denotacin. Esta condi-
cin fue convertida en un axioma, el clebre Axioma V de la teora formal de
Frege. La condicin para que un trmino de este tipo tuviera la misma deno-
tacin que un trmino de algn otro tipo, era determinada reconstruyendo to-
do a lo que se poda hacer referencia en la teora como un recorrido (si no era
de por s un recorrido, deba ser tomado como idntico a su propia clase uni-
taria). Este intento desgraciadamente fracas: la teora as obtenida result
ser inconsistente.
En su anterior libro Los fundamentos de la aritmtica, Frege haba aca-
riciado la idea de introducir trminos para nmeros cardinales, formados
aplicando el operador de cardinalidad El nmero de ..., de la misma forma,
a saber, especificando cundo dos de esos trminos, El nmero de objetos
F y El nmero de objetos G, denotaban el mismo nmero. Lo haran, en
concreto, si y slo si haba una funcin uno a uno de los objetos F en los G:
nosotros podemos llamar a esto el principio de cardinalidad. Frege rechaz
La existencia de los objetos matemticos 15
pio Frege crea tener para el principio de abstraccin para entidades como los
recorridos. Frege crea errneamente que, por medio de este principio, haba
determinado la verdad o falsedad de cualquier oracin de su teora que con-
tienie un trmino para recorridos; esto justificaba una apelacin al principio
contextual como lo que garantiza una referencia para todos esos trminos.
Wright, correctamente, niega que un principio de abstraccin determine la
verdad o falsedad de todas las oraciones de este tipo; es, por tanto, obscuro
qu base tiene Frege para lo que mantiene. sta, sin embargo, es la postura
neofregeana. Los neofregeanos no defienden el carcter analtico de un prin-
cipio de abstraccin que se ajuste a la restriccin diseada para excluir la
contradiccin; pero es algo que siempre tenemos la libertad de postular. Ga-
rantiza que los objetos matemticos son objetos genuinos, a los cuales nos re-
ferimos en un sentido tan robusto de referir como aquel en que nos
referimos a objetos de cualquier otra clase. No necesita justificacin, excepto
la prueba de que la supuesta relacin de equivalencia lo es, en efecto. En par-
ticular, no tenemos que especificar de antemano un dominio de objetos sobre
los que tendr que cumplirse el principio de abstraccin: al especificar el
principio, en ese mismo acto caracterizamos tal dominio; Frege estaba muy
acertado en creer que deba especificar las referencias de sus trminos para
recorridos por medio de un principio de abstraccin y dejar el dominio de sus
variables individuales al pairo. Adems, la legitimidad del principio de abs-
traccin no depende de hechos de experiencia o de la intuicin espacial, tem-
poral o de ningn otro tipo. Los neofregeanos no mantienen, por tanto, que la
necesidad de la matemtica sea simplemente necesidad lgica, ya que no es
exactamente la lgica la que asegura nuestro derecho a postular principios de
abstraccin. Pero es cercana a la necesidad lgica, en que depende de una es-
tipulacin sin ningn presupuesto previo.
La doctrina neofregeana tiene un gran encanto: intenta proporcionar so-
luciones a problemas que otras filosofas de la matemtica o bien ignoran o
para los que slo proporcionan formas de eludirlos. El uso de un operador de
formacin de trminos aplicado a predicados implica la existencia de una
funcin de propiedades a objetos; por tanto, el principio de cardinalidad, des-
de el cual Frege mostr cmo derivar los principios fundamentales de la teo-
ra de nmeros, viene a equivaler a la proposicin de que hay una funcin de
propiedades a objetos cuyos valores son idnticos si y slo si hay una fun-
cin uno a uno de los objetos que tienen una propiedad a los que tienen la
otra. Llamemos a esto la proposicin primordial. Una objecin natural es que
la prueba de la infinitud de los nmeros naturales desde la proposicin pri-
mordial es circular. La proposicin primordial puede ser satisfecha slo en
un dominio al menos enumerable; se supona que la prueba deba establecer,
como si dijramos por primera vez, la existencia de una totalidad enumera-
La existencia de los objetos matemticos 17
quinto miembro de la secuencia que empieza por 0: las dos secuencias han
sido tomadas como bsicas por diferentes autores. Cmo hay que distinguir
estas dos secuencias isomrficas? Qu es para una de ellas empezar por 1 y
para la otra empezar por 0? Ahora bien, el primero de estos nmeros da el
nmero de satlites naturales de la Tierra, y el segundo el nmero de satlites
de Venus: es por sus aplicaciones por lo que distinguimos entre unos nme-
ros naturales y otros. La visin estructuralista de la matemtica hace de sus
aplicaciones una cadena de milagros repetidos: las estructuras que nosotros
concebimos resultan una y otra vez estar ejemplificadas en la naturaleza. El
enfoque de Frege explica estos milagros aparentes: los objetos de una teora
matemtica dada deben ser caracterizados desde fuera, en trminos de aquel
principio general que hace posibles las aplicaciones de esa teora.
No estoy seguro de hasta dnde se puede llevar esta tesis metodolgica.
El lgebra abstracta es ciertamente una rama de la matemtica que trata sobre
estructuras: debe explicarse la nocin de grupo en primer lugar en trminos de
transformaciones, o es aceptable explicarla en el modo puramente abstracto o
axiomtico que se adopta usualmente en nuestros das? La metodologa de
Frege no es, desde luego, una cuestin simplemente de convertir algn teorema
de representacin en una definicin: debemos encontrar el modo de represen-
tacin ms general, al cual se apelar en cualquier aplicacin que hagamos o
que podramos hacer en cualquier momento futuro. Pero, por lejos que deba
llevarse el principio metodolgico de Frege, es ciertamente correcto para la
teora de nmeros y para el anlisis, la teora de los nmeros naturales y la de
los nmeros reales respectivamente. Antes de que aprendamos nada de
matemticas, ya estamos familiarizados con los nmeros naturales como
respuestas a la pregunta cuntos?; y eso es, en definitiva, lo que
esencialmente son.
Tal y como estn las cosas, prcticamente todos los adultos conciben la
secuencia de los nmeros naturales como infinita; poco despus de que hayan
aprendido a contar, a los nios, al preguntar cul es el nmero ms grande, se
les ha explicado que para cualquier nmero que puedan escoger, siempre
habr otro nmero una unidad mayor que se. Puede que haya habido un es-
tadio en la historia de la raza humana sin embargo, antes de que se compren-
diera la infinitud de la secuencia numrica. El uso de una notacin que no
permite la representacin de nmeros naturales arbitrariamente grandes pro-
picia una etapa as. Los numerales romanos, por ejemplo, requieren el suple-
mento de smbolos especiales, I, V, X, L, C, D, M, y por esta razn, en un
momento dado slo son capaces de representar un segmento inicial finito de
la secuencia numrica. Lo mismo vale para aparatos mecnicos como bacos,
calculadoras mecnicas, o incluso, segn parece, un programa de ordenador
para fechas: cada uno tiene un extremo superior que no puede sobrepasar. En
tal estadio, slo se mencionaran aquellos nmeros que tuvieran algn uso
La existencia de los objetos matemticos 21
para decir cuntas cosas haba de cierta clase dada. Habra, sin duda, slo una
vaga idea de los nmeros situados entre, digamos, el 10.000 y el 10.500: el
reconocimiento de que ese intervalo contena tantos miembros como el inter-
valo del 0 al 500, sin que nunca se hubiera nombrado a ninguno de esos
miembros. Pero en este estadio, cada uno de los nmeros naturales conside-
rados en un momento u otro podra decirse que estaba extrado de la realidad
emprica. Su existencia y nuestra capacidad para referirnos a ellos no consti-
tuiran un problema; ambas cosas vendran justificadas y explicadas por el
principio contextual. Podemos considerar con razn que todas las verdades
aritmticas conocidas entonces sobre estos nmeros lo son por necesidad l-
gica; su contenido podra, despus de todo, ser captado por verdades de lgi-
ca de tercer orden expresadas por medio de cuantificadores numricos
definidos y variables cuyo rango fuera las denotaciones de los cuantificadores
de primer orden.
Cualquier forma de comprender un nmero cardinal debe incluir una
comprensin tcita de la equivalencia cardinal, como se puede explicar en
trminos de correspondencias biunvocas. Un nio, o incluso un adulto, al
que se le pregunta cmo se podra decir que hay exactamente tantas cosas de
un tipo como de otro, puede muy bien responder que debe contarse cada gru-
po y ver si llega al mismo nmero en los dos casos. sta fue, despus de to-
do, esencialmente la respuesta de Husserl. Pero si un nio que ha aprendido a
contar, y despus de haber comprobado que hay 13 chocolatinas en un tarro,
no puede entender lo que su madre quiere decir cuando dice Habr bastan-
tes refirindose a una fiesta en la que se reunirn un total de 13 nios, en-
tonces no se le atribuir una comprensin completa de lo que significa decir
que hay 13 chocolatinas.
No han sido los matemticos los que han operado la transicin hacia la
concepcin de la secuencia numrica como algo que no tiene fin; hace mucho
tiempo que esto es parte de nuestro concepto cotidiano de nmero (natural).
Y sin embargo la concepcin en s misma es matemtica: la transicin nos
lleva desde objetos abstrados de la realidad emprica a objetos indiscutible-
mente matemticos; es decir, a una totalidad de objetos que forman el domi-
nio de una teora matemtica. Se da, por tanto, la transicin de un rango de
objetos abstractos cuya existencia puede ser establecida apelando al principio
contextual a un dominio de objetos cuya existencia no puede establecerse de
la misma manera. En el sentido ordinario de existir, que se aplica igual-
mente tanto a objetos concretos como a aquellos abstrados de la realidad
emprica, no se puede en absoluto afirmar que los objetos puramente mate-
mticos existan. Nosotros no afirmamos, como crea Frege, y como cree
Wright, la existencia de objetos abstractos que existen independientemente
del hecho de que nosotros pensemos en ellos. Ms bien sucede que fingimos
la existencia de una totalidad as: construimos un modelo mental de ella.
22 Michael Dummett
Aquellos que, como Dedekind, han dicho que los objetos matemticos son
libres creaciones de la mente humana iban por el camino correcto. La ex-
presin libre creacin sugiere el uso de una imaginacin sin lmites, mien-
tras que lo que nosotros hacemos en tales casos es extender una concepcin
de objetos abstractos ya inteligible. Es precisamente porque nuestro modelo
mental es una extensin de un rango de objetos abstrados de la realidad, por
lo que nuestra habilidad para aplicar la teora matemtica que tiene a ese ran-
go como objeto de estudio est exenta de problemas; pero la existencia de los
nuevos elementos de la realidad extendida no est justificada por nada. No
estn abstrados del mundo exterior; su existencia no est garantizada por
ningn principio general de abstraccin. Simplemente se conciben.
Es por esta razn por la que, cuandoquiera que formamos un modelo
mental de este tipo para servir como el dominio de una teora matemtica,
necesitamos especificar qu elementos contiene: no podemos dejar a la natu-
raleza, o a la realidad, el determinar cules y cuntos hay. Tenemos que pos-
tular, con la precisin que sea necesaria, qu nmeros ordinales, o qu
nmeros reales, concebimos que estn contenidos en el dominio de nuestra
teora. Una vez hecho esto, entonces naturalmente nosotros nos preguntamos
si un nmero ordinal o real que satisfaga ciertas condiciones dadas existe; pe-
ro entonces estamos usando un sentido matemtico de existe, queriendo
decir existe en nuestro modelo, y no el sentido elemental, ordinario.
Cuando nos forjamos una concepcin del dominio de una teora mate-
mtica fundamental, introducimos la nocin de una totalidad con alguna car-
dinalidad infinita; dos de estos dominios no pueden tener la misma
cardinalidad, ya que en tal caso uno de ellos podra ser construido desde el
otro, y las dos teoras no seran fundamentales. Al hablar y pensar sobre el
dominio que hemos concebido, cuantificamos sobre l del modo como esta-
mos acostumbrados a cuantificar sobre dominios de objetos, concretos o abs-
tractos, que existen en el sentido elemental. Estos cuantificadores conservan
su sentido estndar en la medida en que los principios lgicos por los que se
rijan, tal y como estn contenidos en las reglas de introduccin y eliminacin
habituales, se sigan manteniendo. Lo que no se mantiene es el supuesto de
que un enunciado cuantificacional tenga que tener siempre un valor de ver-
dad determinado el supuesto que subyace a la matemtica clsica.
Cuando el dominio es infinito, este supuesto equivale a asumir que un proce-
so infinito siempre tendr un resultado definido; y sta no es una presuncin
legtima. Nuestros enunciados matemticos tienen sentido en cuanto que la
pretensin de haberlos establecido puede ser justificada objetivamente; pero no
tienen valores de verdad fijos independientemente de la posibilidad de esta jus-
tificacin. sta es la base de la matemtica constructiva, como opuesta a la cl-
sica.
La existencia de los objetos matemticos 23
ser manejado con una facilidad mucho mayor que una teora diseada a me-
dida de las aplicaciones que se pueden hacer en el momento, y que necesite
constantes revisiones conforme resultan posibles aplicaciones nuevas.
Quin hubiese querido nunca probar el ltimo teorema de Fermat por el in-
ters de las aplicaciones que puedan hacerse de l? Quin se hubiera mante-
nido indiferente sobre su validez ms all de cierto lmite para el exponente
n?
Qu quise decir al hablar de una teora matemtica como genuina-
mente aplicable? No simplemente que est en la prctica aplicada en la
ciencia. La teora de nmeros es aqu un caso engaoso: cuando sus proposi-
ciones son aplicables en absoluto, no se puede dudar de que sean genuina-
mente aplicables. El anlisis es algo distinto: el continuo clsico no est
extrado de la realidad emprica, sino impuesto sobre ella. Nosotros concebi-
mos todas las cantidades fsicas, incluyendo intervalos temporales, como te-
niendo magnitudes precisas dadas, relativamente a una unidad, por nmeros
reales, a pesar del hecho de que slo somos capaces de determinar stos de-
ntro de intervalos racionales. Esto no es tanto una teora fsica como una base
conceptual sobre la cual descansan nuestras teoras: pero queda abierta la
cuestin de hasta qu punto es bueno el ajuste entre el modelo matemtico y
la realidad emprica. En mi opinin, el ajuste es imperfecto: necesitamos una
concepcin diferente de las magnitudes fsicas y de la continuidad fsica. s-
ta, una vez ms, es una cuestin controvertida que no me propongo discutir
ahora: slo la menciono porque, si estoy en lo cierto, las proposiciones del
anlisis, consideradas como aplicables a la realidad fsica, no pueden contar
como analticamente necesarias, sino slo como necesariamente correctas en
nuestro modelo matemtico del continuo clsico. Pero la cuestin sobre la ca-
tegora de estas proposiciones no es una cuestin emprica: es una cuestin
conceptual si el continuo clsico nos da o no el modelo correcto de las mag-
nitudes fsicas. El logicismo, si lo consideramos como vlido para las propo-
siciones matemticas aplicables a la realidad emprica, es una doctrina
esencialmente correcta, suponiendo que el modelo matemtico con el cual se
la relaciona d una representacin correcta de esa realidad. Y esto ltimo, sin
embargo, es una cuestin filosfica, ni cientfica, ni matemtica, ni lgica.
New College
Oxford University
Oxford OX1 3BN, UK
NOTAS
La existencia de los objetos matemticos 25
* El presente artculo, que Teorema publica por vez primera, es una versin
castellana del trabajo titulado The Existence of Mathematical Objects. La traduc-
cin y el resumen inicial han sido realizados por Gustavo Fernndez Dez-Picazo.
Michael Dummett