CRTICA,

R..,i.la Hispanoamericana de rucnofla

Vol. XXIIi, No. 68 (agosto 1991): 127-138

LA LGICA Y EL DILEMA DE BENACERRAF

RALORAYEN

Instituto de Investigaciones

Filosficas

UNAM

En "Mathematical Truth" , Paul Benacerraf les plantea a los filsofos de la matemtica un dilema muy difcil de resolver, que puede presentarse de la manera siguiente: o bien postulamos que el lenguaje matemtico se refiere a objetos abstractos (como clases, nmeros, etc.] o nos negamos a tal postulaci6n; en el primer caso, se dificulta enormemente explicar el conocimiento matemtico, yen el segundo perdemos la explicacin semntica estndar de la noci6n de verdad matemtica. A muchos nos resultan convincentes,primafacie, los argumentos del autor acerca de lo que sucede en cada caso. No est claro en el artculo cul de las dos alternativas problemticas abandonara ms fcilmente el autor; pero un trabajo suyo anterior, "What Numbers Could not Be" sugiere que Benacerraf estara ms tentado a elegir el segundo cuerno del dilema (es lo que hace en el ltimo artculo citado respecto de la aritmtica, pues segn l "there are no such things as numbers"; vase p. 294). Como Benacerraf mismo muestra en "Mathematical Truth", esta posici6n conduce a la dificultad de que exige abandonar la explicacin semntica estndar del lenguaje matemtico. Est claro, y as se reconoce, el hecho de que el segundo cuerno del dilema tiene esa consecuencia. Se ha reparado menos, en cambio, en las revisiones que hay que hacer en nuestras ideas sobre la lgica, en caso de adoptar la posicin terica mencio-

127

nada. En el presente trabajo deseo hacer notar tres consecuencias acerca de nuestras concepciones lgicas que se siguen del abandono de la postulacin de entidades matemticas abstraetas.!

l. Sobre la aplicabilidad de la lgica

La teora lgica actual ms difundida y utilizada es la teora cuantificacional de orden uno con identidad a la que denotar en lo que sigue con la abreviatura "TC1". La aplicabilidad de TC1 al lenguaje ordinario y a las teoras fsicas es muy controvertida. Los condicionales del lenguaje ordinario no se comportan como el condicional material, las oraciones coloquiales presentan lagunas veritativas que desaparecen en sus traducciones a frmulas de TC1, muchas inferencias cotidianas no pueden fundamentarse con tal lgica porque envuelven giros no extensionales, etc., etc. En menor medida, muchas de estas dificultades aparecen tambin respecto del lenguaje de las ciencias fsicas. Qu aplicaciones exitosas pueden citarse en favor de TC1? A pesar de todas las dificultades en otros campos, hay una aplicacin tan exitosa que bastara para justificar la existencia de la lgica estndar: su uso en la reconstrucci6n de la inferencia matemtica correcta. En este terreno, la adecuaci6n y utilidad de TC1 es notable.f Pero si relacionamos este hecho con el dilema de Benacerraf surgen algunas sorpresas. Consideremos la aplicacin de la lgica a la aritmtica elemental. Para efectuar tal aplicacin debemos traducir los
1 Habitualmente, incluyo en mis trabajos partes expositivas que permiten ubicar el contexto terico en el que pretendo hacer algn aporte; no lo hago en el presente ensayo porque otros artculos publicados en este mismo nmero de Crtica suministran con holgura el conocimiento de la ideas de Benacerraf que presupongo aqu (vanse especialmente las contribuciones de Consuegra y Hart). 2

Sobre esto, vase mi libro Lgica, significado

y otuologia; cap. IV,

sec.8.

128

enunciados aritmticos a frmulas de TCl Pero al hacerse la traduccin se presupone que el lenguaje aritmtico es referencial en un sentido que es negado por la posicin que estamos analizando (que es la defendida por Benacerraf en "What Numbers Could not Be"). Si formalizamos (a) 2 es par mediante (b) Fa presuponemos que "2" es una constante individual y que denota un objeto. Similarmente, si representamos enunciados generales de la aritmtica mediante frmulas cuantificadas presuponemos que en la aritmtica se habla de un dominio de objetos que se adopta como el dominio de las variables utilizadas en las frmulas. Pero el cuerno elegido del dilema de Benacerraf niega exactamente las presuposiciones que hemos hecho en estos casos. Por qu razn al aplicar TCl a la aritmtica debemos presuponer que el lenguaje de esta ltima es referencial? La respuesta est vinculada al tipo de aplicaciones para las cuales est probada la eficacia de TCl Veamos este tema someramente.f

Entre las fmulas de TCl est definida una relacin sintctica de consecuencia: si A y B son frmulas de la teora, B es una consecuencia de A si y slo si se puede llegar de A a B aplicando slo axiomas y reglas de inferencia de TCl que se han descrito de modo puramente formal. Qu utilidad puede tener esta relacin en el estudio de enunciados de la aritmtica o algn otro lenguaje? Tal utilidad est mediada por una semntica que se introduce para TCl. En esa semntica
3 Mis explicaciones no podrn ser seguidas cabalmente sin ninguna nocin previa de la semntica de la teora cuantificacional. Sobre estas cuestiones puede consultarse Mendelson, lntroduction to Mathematical Logic,cap.I,sec.2.

129

se definen interpretaciones, cada una de las cuales consiste, esencialmente, en una asignaci6n de entidades a partes de las f6nnulas de TC1 (se conectan las variables con un conjunto de objetos, cada constante individual con uno de esos objetos, etc.). Tambin se introduce una noci6n de verdad relativa a una interpretacin. Cuando se especifica en qu consiste que una frmula cerrada sea verdadera en una interpretacin dada, lo que se hace es dar las condiciones de verdad de esa f6nnula en trminos de las entidades conectadas con sus partes en esa interpretacin. Como ha sealado Hartry Field, esto equivale a decir: "how the truth value of a whole sentence depends on the denotations of its primitive nonlogical parts"." Regresemos a la nocin sintctica de consecuencia mencionada al comienzo de este prrafo. En la metateora se prueba la existencia de cierto paralelismo sintctico-semntico: cuando una frmula cerrada B es una consecuencia de cierta f6nnula cerrada A, no hay ninguna interpretacin en que A sea verdadera y B no lo sea (sea falsa). Se puede conectar lo que sucede entre A y B dentro de TC1 con las relaciones entre dos enunciados matemticos (o de otro lenguaje cualquiera distinto de T C 1) P Yq, si advertimos que hay cierta interpretacin de las f6nnulas de TC1 (o de los smbolos que aparecen especifcamente en A y B) tal que en esa interpretacin A tiene las mismas condiciones de verdad que p y B las mismas de q.5 Ahora bien, si B es una consecuencia de A, se sigue (por un paralelismo mencionado antes) que si A es verdadera en una interpretacin cualquiera, B tambin lo ser en esa interpretacin. Si elegimos aquella interpretaci6n en que A tena las mismas condiciones de verdad que p y B las mismas que las de q, habremos probado algo interesante acerca de p y q: si p es verdadero q tambin lo ser. En
4 5

Hartry Field, "Tarski's Theory ofTruth",

p. 86.

O las condiciones de verdad de A en la interpretacin y de p en su contexto son lo suficientemente anlogas como para que no haya duda razonable, dados ciertos supuestos tericos, de que A y p tienen el mismo valor de verdad (similarmente respecto de B y q).

130

otras palabras conociendo las relaciones entre los valores de verdad de A y B (en todas las interpretaciones, si la primera es verdadera, lo es tambin la segunda) y sabiendo que en cierta interpretacin tienen las mismas condiciones de verdad que p y q, respectivamente, habremos inferido una relacin entre los valores de verdad de p y q. La inferencia dependi del dato de mismidad de condiciones de verdad entre A, en una interpretacin, y p en su significado habitual (o el pertinente en el contexto), y similarmente respecto de By q. Pero las condiciones de verdad de A y B en una interpretacin se formulan en trminos de entidades conectadas con sus partes; por esa razn, se puede establecer identidad de esas condiciones con las de p y q, respectivamente, solamente si tambin podemos formular las condiciones de verdad de p y q en trminos de entidades conectadas con sus partes (usualmente consideradas como entidades a las que algunas partes simblicas de p y q hacen referencia). El prrafo anterior trata de dar una idea de por qu TCl slo puede aplicarse a lenguajes referenciales, en los que se hace referencia a objetos o entidades, que pueden ser el punto de conexin con interpretaciones de las frmulas lgicas. El prrafo muestra tambin en qu forma la "eficacia" de TCl est demostrada para lenguajes que sean traducibles a las frmulas de TCl en las interpretaciones definidas para ellas. La metateora muestra que en todas esas interpretaciones se cumplen ciertas propiedades o relaciones de las frmulas (por ejemplo, que si B es una consecuencia lgica de A en toda interpretacin se cumple que si A es verdadera en ella, B tambin lo ser). Si logramos encontrar enunciados que tengan las mismas condiciones de verdad que ciertas frmulas en alguna interpretacin, podremos inferir propiedades y relaciones entre tales enunciados de la manera ilustrada ms arriba. Volviendo al problema de Benacerraf: si no postulamos objetos aritmticos (como en "What Numbers Could not Be", donde Benacerraf niega la existencia de los nmeros), no podemos in-

131

terpretar de la misma manera referencial corriente los enunciados de la aritmtica ordinaria. Podemos, de todos modos, seguir simbolizndolos de la manera lgica usual. 6 Pero, si no desarrollamos una semntica existosa diferente de las usuales, no tendremos ninguna explicacin de por qu las tcnicas lgicas pueden reconstruir adecuadamente las inferencias aceptadas por los matemticos, que conducen a teoremas cuya utilidad se hace sentir en la fsica. Mientras no se conozca una semntica alternativa tal, podemos preguntamos: es por pura casualidad que la teora lgica diseada para lenguajes referenciales de cierto tipo se aplica tan bien en las teoras matemticas usuales? Adoptar el segundo cuerno del dilema de Benacerraf obliga, pues, a revisar nuestra explicacin de la eficacia de la lgica en ciertos dominios y plantea algunos enigmas de inters.

2. Sobre la completitud de la lgica

Ciertos resultados metalgicos sobre infinitud y completitud son bien conocidos por los lgicos matemticos pero han pasado ms desapercibidos para el pblico filosfico general. Los traer aqu a colacin porque, como veremos, arrojan conclusiones un poco sorprendentes si se combinan con el segundo cuerno del dilema de Benacerraf y algunas informaciones adicionales. Se pueden citar resultados ms fuertes, pero bastar para nuestros propsitos mencionar que si no hay conjuntos infinitos, es incompleta. La razn es que hay ciertas frmulas que pueden verificarse slo si algunas de sus letras predicativas se interpretan mediante conjuntos infinitos; si no los hay, tales frmulas sern insatisfactibles y sus negaciones sern verdaderas para cualquier interpretacin. Como no se trata de teo-

re:

6 Podemos seguir las costumbres habituales de simbolizaci6n de manera mecnica sin hacer los supuestos ontol6gicos correspondientes: colocaremos constantes individuales en lugar de numerales, etc.

132

remas (en cuyo caso la lgica estara reida con la teora de conjuntos actual), tales negaciones haran incompleta la lgica, bajo el supuesto asumido. Dar a continacin un ejemplo," Mediante una frmula de re' puedo expresar la idea de que la extensin de un predicado F es una parte propia de la extensi6n de un predicado G:

(1) (x)(Fx :J Gx) & (3x)(Gx & ,,-,Fx).

Tambin puedo afirmar que una relaci6n R tiene la extensin de F como dominio y la extensin de G como rango, o codominio:

(2) (x)[(3y)xRy

~ Fx] & (y)[(3x)xRy

~ Gy].

Finalmente, puedo indicar que R es biunvoca:

(3) (x)(y)(z)[(xRy &xRz) :J y x = z]

z] & (x)(y)(z)[(xRy . zRy) :J

La conjunci6n de (1), (2), (3), s610 puede ser verdadera en una interpretacin en la cual un conjunto (el asignado a G) puede ponerse en correspondencia biunvoca con una parte propia (la extensin de F). Pero se puede demostrar que un conjunto finito no puede ponerse en correspondencia biunvoca con una parte propiaf Luego, si no hay conjuntos infinitos la conjuncin de (1), (2) y (3), ser falsa en toda interpretacin. Su negacin ser verdadera en toda interpretacin. Ser, pues, una verdad lgica. Pero no es teorema de (de lo contrario, contradira la teora de conjuntos matemtica y no podra ser utilizada como lgica subyacente de la misma). Luego, si no hay conjuntos infinitos, es incompleta. Qu relaci6n tiene esto con el dilema de Benacerraf.? El segundo cuerno de su dilema constitua el rechazo de las en-

re:

re:

re:

7 Mostern da ejemplos interesantes en "La frontera entre lgica y teora de conjuntos"; el mo es ms sencillo. 8 Si se acepta el axioma de eleccin tambin puede demostrarse que todo conjunto infinito puede ponerse en correspondencia biunvoca con una parte propia.

133

tidades abstractas. Una posicin tal suele estar asociada con un vago naturalismo que suele considerar de gran relevancia para la filosofa los datos que suministran las ciencias naturales ms avanzadas (obviamente aun cuando no se adopte una actitud anti-entidades-abstractas POdemos asumir una actitud de respeto e inters por los datos y mejores hiptesis de tales disciplinas). Ahora bien, nada en el conocimiento natural reciente sugiere la infinitud de las entidades materiales. La fsica parece decididamente inclinada a hiptesis finitistas sobre el universo. Si, como muchos filsofos, usamos en nuestras especulaciones las teoras que los cientficos consideran ms confiables por el momento, tendremos que inclinamos por suponer que no hay infinitas entidades materiales." Si tambin rechazamos las entidades abstractas como en el cuerno del dilema que estamos analizando, parece que la hiptesis que debemos considerar ms probable nos conduce a que las extensiones de los predicados no pueden ser infinitas. En ese caso, el rechazo de las entidades abstractas, combinado con ciertos datos e hiptesis cientficas, conduce a la consecuencia algo sorprendente de que re' es incompleta, y en cierto modo una teora abierta. 3. La descripcin y explicacin de "hechos" lgicos Puede defenderse, aunque con menos certeza que en los casos anteriores, que el rechazo de las entidades abstractas por el tipo de razones ofrecidas en "Mathematical Truth" conduce a una consecuencia aun ms extraa: se trata de una limitacin anti-intuitiva en la posibilidad de explicar y aun describir "hechos lgicos" bastante elementales. Antes de pasar a los ejemplos, har notar algo acerca del rechazo sugerido por el
9 Hay, aparentemente, una sola manera de aceptar que el universo es finito y sin embargo hay infinitas entidades materiales: adoptar algn postulado de divisibilidad infinita (en algn sentido que no implique necesariamente partici6n fsica) de los cuerpos, o las partculas, o alguna entidad fsica apropiada. Es muy difcil evaluar la plausibilidad de este postulado.

134

segundo cuerno del dilema de Benacerraf. Las entidades abstractas han sido rechazadas por muchas razones distintas. En el caso de Benacerraf, las razones aducidas son epistmicas. Los objetos que se conocen deben estar en alguna suerte de conexin causal, directa o no, con el sujeto cognoscente. Entonces no hay entidades abstractas conocidas por el hombre, porque las entidades de ese tipo no estn en el espacio-tiempo y son "causalmente inertes". El argumento no conduce a la recusacin de entidades abstractas en general; ms bien lleva el rechazo de entidades abstractas que puedan ser conocidas por nosotros. Pero para muchos efectos el ltimo rechazo importa tanto como el primero (si se trata de introducir entidades abstractas para fundamentar el conocimiento de alguna disciplina en el conocimiento de tales entidades, por ejemplo). Adems podra sostenerse que la idea de entidades abstractas que no podamos conocer de ninguna manera carece de sentido, o quizs de utilidad terica. De cualquier manera, quera sealar aqu que las mismas razones usadas por Benacerraf para hacer dudar de las entidades abstractas, pueden usarse para poner en tela de juicio entidades posibles no actualizadas, ya sean del tipo de los hechos, o de los objetos posibles. En efecto, parece que tampoco tenemos interaccin causal alguna con posibilidades que no se han actualizado. Supongamos que las dudas ontolgicas mencionadas en el prrafo anterior se formulan de la manera ms fuerte, y ponen en cuestin no slo la existencia del conocimiento de entidades abstractas y posibles sino tambin la existencia misma de tales entidades. Querra sealar aqu algunas consecuencias que se vern mejor discutiendo un ejemplo. Puede ocurrir que los matemticos descubran una teora de conjuntos K en el ao 2001 y la desarrollen hasta el ao 2012. Puede ocurrir tambin que ese ao se derive de la teora un teorema contradictorio quedando as establecida la inconsistencia de K. y qu ocurrira si en el ao 2010 se abandonara totalmente el estudio de K, para no retomarse jams en el espacio-

135

tiempo (en un ejemplo extremo porque la humanidad entera pereci6 en eI20l0)? Habra sido inconsistente K en ese caso? Observe el lector que aparentemente no se puede afirmar que K es inconsistente en la ltima situaci6n mencionada sin apelar a alguna suerte de entidades posibles o abstractas: debemos suponer la existencia de una secuencia de f6rmulas (una prueba de la contradicci6n) al modo de una entidad matemtica abstracta, o, si se prefiere, postular la posibilidad de escribir una prueba tal. Para disminuir el uso de entidades posibles en la discusi6n del ejemplo podemos preguntamos simplemente si existirn a lo largo del espacio-tiempo teoras que sean formuladas de manera concreta por algunos hombres (o sea que sean escritas, o publicadas, etc.), y que sean contradictorias sin que ello se descubra jams. Pareciera que una situaci6n tal puede darse en la realidad; sin embargo parece tambin que no podra describirse siquiera si no aceptamos ms que entidades concretas. No estoy seguro de las conclusiones sugeridas en esta seccin, pero al menos quiero dejar planteado el problema de si el abandono total de entidades "causal mente inertes" podra limitar la capacidad de nuestras teoras para describir "hechos lgicos" que podran darse en la realidad. Al hablar de hechos que "podran darse" menciono aparentemente hechos posibles. Pero el problema que deseo dejar formulado es ste: si un hecho como el de la teora K abandonada en el 2010 acaece, puede describirse en un lenguaje que no admita ni entidades abstractas ni posibles no actualizadas? 0, de una manera quizs ms exacta: puede darse sentido a la idea de teora contradictoria cuya inconsistencia jams es descubierta si se han hecho los "recortes ontolgicos" antes aludidos? 4. Obseroaciones finales Al exponer este trabajo en reuniones acadmicas se me ha sugerido varias veces que mi escrito da argumentos fuertes en

136

favor de la existencia de entidades abstractas (sobre todo las secciones 1 y 3). Deseara expresar aqu que sta no es mi convicci6n. Lo que he querido sealar en las secciones anteriores es que si se adopta acerca de la matemtica lo que sugiere uno de los cuernos del dilema de Benacerraf, se plantean varios problemas que obligan a revisar o reexaminar nuestras ideas de la lgica estndar. Pero las consecuencias que extraigo del cuerno del dilema elegido no parecen ofrecen con claridad una reduccin al absurdo del supuesto analizado. 10
BIBLIOGRAFA

Acero, Juan Jos y Toms Calvo Martnez, Symposium Quine, Universidad de Granada, 1987. Benacerraf, Paul, "Mathematical Truth", en Benacerraf y Putnam (eds.), Philosophy of Mathematics, 2a. ed., Cambridge University Press, 1983, pp. 403-420. Benacerraf, Paul, "What Numbers Could not Be", en Benacerraf y Putnam (eds.), Philosophy of Mathematics, 2a. ed., Cambridge University Press, 1983, pp. 272-294. Benacerraf, Paul y Hilary Putnam (eds.), PhiLosophyofMathematic.s, 2a. ed., Cambridge University Press, 1983. Field, Hartry, "Tarski's Theory ofTruth", en Platts (ed.), Reference, Truth and Reality, Routledge & Kegan Paul, 1980, pp. 83-110. Mendelson, Elliott, lntroduction lo Mathematical Logic, 3a. ed., 1987. Mostern, Jess, "La frontera entre lgica y teora de conjuntos", en Acero y Calvo,Symposium Quine, Universidad de Granada, 1987, pp. 209-222. Orayen, Ral, Lgica, signifu:ado y ontologa, UNAM/Instituto de Investigaciones Filosficas, Mxico, 1989. Platts, Mark [ed.], Reference, Truth and Reality, Routledge & Kegan Paul,1980.

10 Una contingencia que favoreci la concisin de este ensayo es que un intento que yo haba hecho de dar una solucin positiva a los problemas del dilema de Benacerraf result absolutamente defectuoso.

137

SUMMARY

In this paper I point out three consequences that apparently follow from adopting one horn of Benacerraf's dilemma (the one rejecting abstract entities as objects referred to by mathematical language). These consequences are: 1. The usual explanation of the successful application of logic to mathematics is lost. 2. Logic is incompleto. 3. Sorne "logical facts" cannot be described any more. In other words, giving up certain entities weakens the explanatory power of our theories to cope with sorne elernentary logical facts.

138