Revista de Filosofa Vol. 28 Nm.

1 (2003): 59-75

ISSN: 0034-8244

Sobre la naturalizacin de la lgica *

Enric CASABN MOYA
(Universidad de Valencia)

Resumen El presente artculo se ocupa de dar razones en contra de la naturalizacin de la lgica, en tanto en cuanto esto signifique una revisin de esta ciencia. El trabajo critica cada uno de los intentos histricos importantes que ha habido de revisin de las leyes lgicas intuicionismo, lgica cuntica, lgicas alternativas y tambin intenta argumentar que el problema de la interpretacin de la mecnica cuntica no tiene nada que ver con la naturalizacin de la lgica. Palabras clave: naturalismo, filosofa de la lgica, filosofa de la mecnica cuntica, epistemologa naturalizada, revoluciones cientficas, verdad.

Abstract This article is devoted to give reasons against the naturalization of logic, in a sense which entails a revision of this science. The paper criticizes each historical important attempt to revise logical laws intuitionism, quantum logic, alternative logics and also it tries to argue that the explanation problem of quantum mechanics has nothing to do with a naturalization of logic. Keywords: philosophical naturalism, philosophy of logic, philosophy of quantum mechanics, naturalized epistemology, scientific revolutions, truth.
* El presente trabajo se inscribe dentro del proyecto de investigacin del Ministerio de Ciencia y Tecnologa BFF2000-1300. Doy las gracias por el patrocinio.

59

Enric Casabn Moya

Sobre la naturalizacin de la lgica

1. Irrevisabilidad vs. revisabilidad Empezaremos por decir que asimilamos el concepto naturalizacin de la lgica a la posibilidad de autntica modificacin o revisabilidad de la lgica. Como se sabe, el problema es una cuestin manida entre lgicos y epistemlogos, es un problema devenido en clsico, y creemos que lo es por su centralidad e importancia. Por nuestra parte, intentaremos trazar un camino argumentativo que tome en cuenta pronunciamientos y aportaciones en extremo importantes sobre el tema, de la filosofa de la lgica y de la epistemologa, pero procuraremos ofrecer apreciaciones propias que sern las losas de ese pretendido camino. Desde el comienzo, adelantamos nuestra creencia en la imposibilidad de revisin de la lgica, que en nuestro caso se cie metodolgicamente y ex professo a la lgica de enunciados. Vemos conveniente empezar la tarea citando dos textos, ya histricos, de Quine que nos servirn de seguro punto de referencia.
Las mismas leyes matemticas y lgicas dejan de ser inmunes a la revisin si se descubre que de ella se seguira una simplificacin esencial en todo nuestro esquema conceptual. Ya se han presentado propuestas, suscitadas y estimuladas por aporas de la moderna fsica, en el sentido de revisar la dicotoma verdadero-falso de la lgica corriente en favor de algn tipo de tricotoma o n-cotoma. Las leyes lgicas son los enunciados ms centrales y cruciales de nuestro esquema conceptual, y, por esta razn, los ms protegidos de revisin por la fuerza de nuestro conservadurismo; pero, tambin por su crucial posicin, son las leyes cuya adecuada revisin puede ofrecer la simplificacin ms contundente de todo el sistema de nuestro conocimiento. As pues, a pesar de toda su necesidad, las leyes de la matemtica y de la lgica pueden ser abrogadas. (Quine 1962, p. 29) Todo enunciado puede concebirse como valedero [verdadero] en cualquier caso siempre que hagamos reajustes suficientemente drsticos en otras zonas del sistema [nuestro esquema conceptual]. Incluso un enunciado situado muy cerca de la periferia puede sostenerse contra una recalcitrante experiencia apelando a la posibilidad de estar sufriendo alucinaciones, o reajustando enunciados de las llamadas leyes lgicas. A la inversa, y por la misma razn, no hay enunciado alguno inmune a la revisin. Hasta una revisin de la ley lgica de tercio excluso se ha propuesto como un expediente para simplificar la mecnica cuntica, y qu diferencia hay en principio entre un cambio as y el cambio por el que Kepler sustituy a Ptolomeo, o Einstein a Newton, o Darwin a Aristteles? (Quine 1984, Dos dogmas del empirismo, pp. 77-78.)
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

60

Enric Casabn Moya

Sobre la naturalizacin de la lgica

Naturalmente, las leyes lgicas de enunciados constituyen el conjunto de verdades mximamente nucleares del esquema conceptual al que Quine se refiere. Podemos contemplarlas desde tres perspectivas diferentes. Desde una perspectiva lgica (semntica), que las tiene por verdaderas. Desde una perspectiva epistmica que las considera a priori y desde una perspectiva metafsica que las califica de necesarias. Quine nicamente estara de acuerdo, como sabemos, con la primera perspectiva. Imaginemos que intentamos un reajuste, experimental, del esquema conceptual quineano, cmo podramos revisar, por ejemplo, la ley de identidad? nicamente de un modo, expresando de alguna manera que un enunciado no se implica a si mismo; es decir, que un enunciado no equivale veritativamente a la verdad que expresa, pero esto resulta contradictorio. Ahora bien, el principio de no contradiccin tambin es una ley lgica y por tanto, segn Quine, susceptible de revisin, cmo podramos revisarla? Slo de un modo, considerando que tanto un enunciado como su negacin son idnticos; pero que significara ser idntico: o lo que significa corrientemente, sin revisin, y nuestra consideracin producira la expresin de una contradiccin; o ser idntico, con revisin, habra de significar necesariamente no ser idntico, con lo que si ex hypothesi hubieramos de comportarnos normativamente de acuerdo con una lgica tal, colapsara cualquier intento de comunicacin, expresin lingstica, pensamiento o accin. Decir como H. Putnam 1 dice, que con ello entraramos en la irracionalidad es incluso dbil, porque de facto los animales, en su conducta, manifiestan, para nosotros, una lgica de la identidad y la diferencia. No queremos afirmar aqu y ahora ningn tipo de normatividad para la conducta animal, pero es obvio que, si de algn modo, no se respetara la lgica de la identidad y la diferencia no podra existir, al menos, vida animal superior. Basndonos en esta argumentacin creemos que Quine afirma la revisabilidad de la lgica porque con ello da coherencia a su filosofa, a la globalidad del esquema conceptual del que habla. No olvidemos, una especie de retractacin del propio Quine cuando afirma y desarrolla uno de sus famosos eslganes: cambio de lgica es cambio de tema (Quine 1973). La lgica, efectivamente hace posible nuestro esquema conceptual, es su base, es una especie de vrtice ms all del cual no puede haber nada cognitivo. Tambin las cualidades primarias de Locke, por ejemplo, son un lti(1983): There is al least one a priori truth, pp. 109-110. En este trabajo, y para dar cabida a la interpretacin de los fenmenos cunticos, lo que Putnam afirma es la aprioricidad de lo que llama principio de contradiccin mnimo: no todo enunciado es a la vez verdadero y falso.
1 Putnam

61

Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

Enric Casabn Moya

Sobre la naturalizacin de la lgica

mo reducto sine qua non de la materia. La imposibilidad de existencia de objetos fsicos no extensos es, en cierto modo, similar a la imposibilidad epistmica de la revisin de la lgica, pero a nuestro juicio slo similar y menos contundente. Queremos decir que las leyes lgicas no impiden imaginar un mundo fsico cuyas leyes fueramos incapaces de comprender; pero en cambio, cualquier accin cognitiva habra de presuponer las leyes lgicas.

2. La identidad y la diferencia como races de la lgica Como sealamos al principio de la exposicin, nuestro tema es clsico: Descartes, Kant, Frege, Wittgenstein y Quine, aparte de otros filsofos como Hilary Putnam, se han ocupado centralmente de l; pero en todos los casos, por unas razones o por otras, el problema de la revisabilidad de la lgica ha sido tratado junto al de la revisabilidad de la matemtica. Ello, creemos, nos ofrece cierta ventaja, porque por el momento slo hacemos referencia a la lgica de enunciados y esta restriccin, como intentamos mostrar, puede hacer que nuestros argumentos cobren un aspecto algo diferente a los de los grandes autores. Sabemos, que construyendo o contemplando un sistema formal, que no constituya un sistema de lgica, desde su sintaxis podremos organizar unas reglas de formacin y otras de transformacin de expresiones lingsticas, que generen, como en un juego, determinados resultados simblicos que deseemos. Al no ser un sistema de lgica, no habr que considerar ni a las reglas, ni a las expresiones que resulten de la aplicacin de stas, expresiones verdaderas o falsas. Pero si observamos el sistema desde una perspectiva epistmica, que es la que nos hace reconocer como iguales o diferentes los smbolos, las reglas, las distintas instancias de aplicacin de las reglas, etc, resultar claro para nosotros que para comprender y manipular tal sistema es necesario hacer uso de otro, que es la lgica. De hecho, si el sistema formal en cuestin fuera un sistema lgico, para entenderlo y utilizarlo estaramos haciendo uso de l mismo o de alguno equivalente. Ha sido el propio Quine2 , en una de sus caracterizaciones filosficas de la lgica, el que afirma que sta no responde a ningn rasgo de los objetos ms all de la identidad y la diferencia. Como nosotros indicbamos, puede apreciarse un descenso en la constatacin de operaciones muy bsicas como las esencialmente constituyentes de la lgica. Esto puede tener consecuencias
2

Quine (2001): El naturalismo, o el vivir por los propios medios, p. 138.

Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

62

Enric Casabn Moya

Sobre la naturalizacin de la lgica

notables porque desdibuja, de algn modo, la frontera entre la cognicin humana y la conducta protocognitiva animal. Anteriormente hemos hecho alusin a la vida animal superior. No es incluso necesario detenerse en la conducta de los simios superiores o pensar slo en las estrategias de caza de algunos mamferos, podemos descender ms an en la escala zoolgica y seguir apreciando el uso adecuado de la combinacin de identidad y diferencia. Con ello, las races de la lgica podran traspasar las fronteras del logos, del lenguaje, y de ese modo verlas reflejadas en la conducta. Habra as una gradacin de uso de las leyes lgicas que desembocara en la conducta lingstica, cuyo desarrollo habra tenido como resultado la plasmacin de la propia ciencia, la lgica, y con ello de sus posibilidades metatericas (metalgica). Bertrand Russell, refirindose a los principios de identidad, no contradiccin y tercio excluso dice El nombre ley del pensamiento es impropio tambin [para ellos], pues no es lo importante el hecho de que pensemos en concordancia con estas leyes, sino el hecho de que las cosas ocurran de acuerdo con ellas (Russell 1981, p. 69); y tambin, el principio de contradiccin mismo no es un pensamiento, sino un hecho que concierne a las cosas del mundo. Si lo que creemos, cuando creemos en el principio de contradiccin, no fuera verdad de las cosas del mundo, el hecho de que nos vieramos compelidos a pensarlo como verdadero no impedira que el principio de contradiccin fuera falso. Esto prueba que el principio de contradiccin no es una ley del pensamiento(Russell 1981, p. 80).

3. La identidad y la diferencia generadoras de la verdad y la falsedad Cuando el uso necesario de la identidad y la diferencia en la actividad asciende a la conducta lingstica se transforma, tambin necesariamente, en el uso de la nocin de verdad y en el de su opuesto, el de falsedad, siguiendo una correlacin directa con sus respectivos generadores, identidad y diferencia. Ello da como resultado que en la conducta lingstica las nociones de verdad y falsedad hayan de ser tenidas por conceptos a priori , como nosotros los consideramos, porque ello equivale a tener como a priori la nocin de diferencia veritativa, o dicho de modo equivalente, el principio de bivalencia. Una alternativa a esta posicin es la naturalista, mantenida por Quine, que considera la diferencia veritativa como producto bsico de nuestro esquema conceptual; la necesidad de la lgica no es para l sino la expresin de nuestra profunda conviccin de no tener que revisarla. Ahora bien, si se tiene en cuenta la concepcin de la verdad quineana,
63
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

Enric Casabn Moya

Sobre la naturalizacin de la lgica

como desentrecomillado de oraciones, y su nocin de ascensin semntica, necesaria junto a la anterior para dar cuenta de los distintos usos del predicado ser verdadero en el lenguaje, a nuestro juicio est tratando muy adecuadamente los aspectos de un concepto circular, como es el de verdad, y con ello mostrando su uso necesario, tcito o explcito, en las oraciones aseverativas; pero naturalmente para Quine esta necesidad es tan slo relativa, relativa a nuestro esquema conceptual. Uno de los autores clsicos que por motivos muy diferentes a los de Quine teje una posicin filosfica que desemboca en la afirmacin de posi bilidad de un esquema conceptual de races alternativas al que poseemos es Descartes. No afirmamos, ni mucho menos, que no pudiera constituirse una red de conocimiento y creencia distinta de la nuestra, en lo que queremos hacer hincapi es en la imposibilidad de un cambio de races, en la imposibilidad de existencia de un esquema conceptual que no hubiera de basarse en la identidad y la diferencia. Descartes, influido por la filosofa de Duns Escoto, mantiene que las verdades eternas, entre ellas las de la matemtica, pero tambin las leyes lgicas, dependen de la voluntad de Dios, porque ya que su poder es infinito sera contradictorio negar que Dios pudiese alterar cualquier prescripcin. Y al argumentar en este sentido adelanta la idea de que la conciencia de necesidad que nosotros sentimos, al considerar un teorema matemtico o una ley lgica, bien pudiera ser cosa nuestra y no una necesidad absoluta; con ello su posicin se transforma, de algn modo, en un antecedente de las posiciones de Kant y Quine respecto de la nocin de necesidad. De Kant en tanto que sta tiene como origen la misma estructura de la razn pura, y de Quine, porque la considera un estado psicolgico generado por nuestra arquitectura conceptual. Ahora bien, en medio de sutilezas argumentativas absolutamente geniales, que construyen una clasificacin de verdades eternas adecuadas a sus fines filosofico-teolgicos, pero que habra de ser, sin embargo, condenada sin paliativos por Leibniz en su Discurso de Metafsica, Descartes, reconoce que Dios no puede hacer las mismas verdades eternas y al mismo tiempo no eternas, y ms an, admite que un enunciado aritmtico es verdadero o falso con total independencia del poder de Dios, aunque eso s, ste tenga el poder de engaar a la mente humana y hacerle intuir lo verdadero como falso, y viceversa. Descartes rechaza tambin la posibilidad del error sistemtico y considera que lo que se le presenta falso a Dios, ya que Dios es omnisciente, ha de ser falso (Dauler Wilson 1990, pp. 181-205; y Williams 1996, pp. 205231).
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

64

Enric Casabn Moya

Sobre la naturalizacin de la lgica

Adems, la posibilidad de aprehensin por los humanos de las ideas claras y distintas es a fin de cuentas, como sabemos, piedra angular de la teora cartesiana del conocimiento. Es decir, en determinados contextos de su argumentacin, Descartes ha de admitir como distincin absoluta la que existe entre identidad y diferencia.

4. Lgica y fsica cuntica Quine, en los dos textos que hemos expuesto al comienzo del trabajo, hace referencia a los problemas que para la lgica plantean fenmenos de la fsica cuntica. Los resultados experimentales han sido y son tan abrumadoramente confirmadores de los postulados y ecuaciones de la teora cuntica que Quine, en coherencia con su naturalismo, se ve en la obligacin, para facilitar una explicacin de estos fenmenos, de contemplar la posible revisin de las leyes lgicas, e incluso del mismo principio de bivalencia veritativa. En el segundo de los textos, adems, pregunta retricamente por la diferencia que pudiera haber entre revisar la lgica y cambiar de teora fsica, cosmolgica o biolgica. Desde luego que diferencias las hay, pero aparentemente son de tal naturaleza que incluso podran parecer reforzar la posicin quineana. Por nuestra parte, procuraremos dar razones de esas diferencias de modo que pueda distinguirse la lgica de las teoras fsicas. La mecnica cuntica es tenida por fsicos y filsofos de la ciencia como la mejor teora fsica actual, en realidad agrupa un buen conglomerado de teoras cientficas sobre el microcosmos, y es as considerada por su calidad en la prediccin. Al ser la teora ms bsica del mundo fsico, su xito predictivo puede ser mayor, y as lo es, que el de las teoras cientficas que constituyen la gentica o la dinmica de los mecanismos evolutivos biolgicos, por ejemplo. Naturalmente, no queremos caer en la falacia de la comparacin de corpora tericos heterogneos sino tan slo subrayar la calidad de los postulados cunticos. Ahora bien, al dia de hoy, no existe explicacin cientfica o interpretacin terica, de la mecnica cuntica, que satisfaga a la comunidad cientfica. Buena prueba de ello son la cantidad de interpretaciones alternativas e incompatibles que compiten por explicarla. Creo que podemos decir que constituye un caso nico en la historia de la ciencia, en cuanto a la disparidad del binomio prediccin / explicacin. Esta disparidad produjo resultados filosficos bien pronto; Niels Bohr en 1935 (Pais 1991, pp. 1-55), ante la dualidad conceptual incompatible que
65
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

Enric Casabn Moya

Sobre la naturalizacin de la lgica

manifestaban parejas como onda/partcula o posicin/momento cintico (de partculas subatmicas), lleg a construir un esbozo de doctrina filosfica en la que argumentaba que nuestro esquema conceptual es incapaz de capturar para su explicacin epistmica dualidades conceptuales del tipo de las expuestas, habiendose demostrado ampliamente adems que son esenciales para la teora; Bohr las calific de conceptos complementarios y con ello significaba que en los experimentos de laboratorio slo poda esperarse comprender el comportamiento de una de las magnitudes o entidades que se representaban, pero con exclusin de la otra. Como vemos, Bohr estaba diciendo que las ecuaciones y postulados cunticos permitiran la expansin de los resultados y la determinacin matemtica de los fenmenos cunticos, pero que no podremos explicarlos del modo que lo hacemos con los fenmenos del macrocosmos. Los descubrimientos cientficos posteriores han abonado an ms la imposibilidad esencial de determinar el valor de cada pareja cuntica. Naturalmente, la bsqueda de una interpretacin comprensible de los fenmenos cunticos, que encaje con nuestro esquema conceptual no ha cesado, aunque he podido comprobar personalmente, a travs de conversaciones con fsicos tericos de prestigio, que el paso del tiempo sin una explicacin aceptable ha obrado en ellos un efecto que de facto los hace situarse en posiciones prximas a Bohr, o ms radicales: creyendo que al casar experimentos con frmulas cunticas ya se ha logrado todo lo que hay que alcanzar desde un punto de vista explicativo. Pero, entre los ms eminentes teri cos ha habido y hay cientficos que siguen buscando una interpretacin satisfactoria. Adems, para los filsofos de la ciencia, como sabemos, la bsqueda de una interpretacin sigue siendo un problema central y abierto. Es fcil comprender que ante tal estado de cosas, y a pesar de las predicciones experimentales exitosas, hubiera tericos que pensasen que la inexplicabilidad bien podra surgir de la incompletitud de la teora, de no contar con variables esenciales que de poder aparecer en la frmulas produciran como efecto la comprensin de los fenmenos. Esta hiptesis ha generado teoras cunticas alternativas a la estndar que han venido a denominarse de las variables ocultas. David Bohm es uno de los fsicos importantes partidarios de esta posicin, su teora da cuenta del mundo cuntico refiriendose a variables ocultas, pero en ella aparecen inconvenientes insuperables para muchos otros tericos, entre ellos est la necesidad de contar con velocidades superiores a la de la luz, que la hacen fuertemente incongruente con la teora de la relatividad. De cualquier modo, la investigacin en esta lnea tambin contina.
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

66

Enric Casabn Moya

Sobre la naturalizacin de la lgica

Pero la investigacin habra de producir resultados en el rea que alejarn an ms, si cabe, la posibilidad de intuicin de los fenmenos cunticos. Estos resultados, completamente demostrados y certeros, suelen denominarse, todos agrupados, Teorema de Bell, ya que fue J. S. Bell, en 1964, el autor del primer y fundamental teorema sobre ellos. Pero despus, como hemos indicado, ha seguido habiendo grandes descubrimientos que no han hecho sino reforzar el hallazgo de Bell. A grandes rasgos, estos resultados implican una caracterizacin del microcosmos absolutamente antiintuitiva, porque deben darse por ciertos aspectos como los siguientes: afectacin fsica de una microzona del espaciotiempo por la intervencin en otra diferente y alejada de la primera, pero sin afectacin de las zonas intermedias que las unen; y de lo anterior: cambio de valor de una magnitud fsica por la medicin de otra, aislada completamente de la primera. Es decir, comportamientos del mundo fsico absolutamente incomprensibles, por ahora, para nosotros (Jammer 1974). Ahora bien, la inexplicabilidad de los resultados experimentales no debe conducir, a nuestro juicio, a un cambio de lgica. La radicalidad de los aspectos epistmicos y semnticos bsicos de la lgica, producidos por nuestra capacidad de distinguir la identidad de la diferencia, queda conceptualmente muy alejada de la apreciacin de fenmenos fsicos, que ha de involucrar una red conceptual grande o muy grande. Si sabemos adems que la conceptualizacin del mundo externo es dinmica y compleja, y si tambin sabemos que toda conceptualizacin es abierta y provisional, podemos atribuir a este mecanismo epistmico, aunque sea hipotticamente, la falta de explicabilidad de algunas teoras cientficas, pero no a la lgica, porque aunque sabemos que sus races identidad y diferencia han debido contar con el mundo externo para su plasmacin epistmica, el contacto con cualquier realidad habra necesariamente que haberlas producido. Creemos que no puede existir nada ms bsico, lgica y epistmicamente, que la identidad y la diferencia, que como ya dijimos se transforman tambin en el lenguaje en la verdad y la falsedad. Pero, no obstante, algunas similitudes entre la lgica de enunciados y el tratamiento algebrico de los fenmenos cunticos llevaron a los cientficos a intentar construir una lgica especial para encajarlos. Birkhoff y von Neumann en 1936 observaron que un lgebra que serva para representar ciertos fenmenos cunticos duales y el lgebra de Boole, una de ellas, la que es isomorfa con la lgica de enunciados, tenan en comn ser retculos ordenados por la relacin de inclusin, pero en el sistema algebrico de Birkhoff y von Neumann no poda valer nada equivalente a las
67
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

Enric Casabn Moya

Sobre la naturalizacin de la lgica

leyes de distribucin del conjuntor con el disyuntor, y viceversa. Estos resultados alentaron a Putnam (Putnam 1969, pp. 181-206) a buscar una derogacin de tales leyes del corpus lgico, revisndolo por tanto, y elevando el sistema revisado a sistema deductivo general, al modo en que las llamadas revoluciones cientficas haban alterado el esquema conceptual vigente aumentando los casos de prediccin cientfica y sustituyendo, mejorandola, la explicacin o interpretacin de los fenmenos; es decir, formulando nuevas teoras cientficas. Pero, Kochen y Specker en 1967 demostraron que el sistema algebrico adecuado para representar la mecnica cuntica admita de suyo plasmar no ya dos sino ms dimensiones, y esto significaba que los conectores lgicos perdan su carcter semntico bivalente, su carcter veritativo; es decir, demostraron que cualquier sistema algebrico de la naturaleza de los propuestos para expresar los fenmenos cunticos, si se optaba por presentarlo como una lgica entonces cobraba la caracterstica de ser ad hoc y si, por el contrario, se desarrollaban formalmente sus propiedades las expresiones resultantes nada podan tener que ver directamente con la verdad y la falsedad. Con ello, los esfuerzos por revisar la lgica haban resultado estriles y los fenmenos cunticos quedaban a la espera de mejor explicacin. An as, Putnam3 intent una interpretacin filosfica dentro de su posi cin de realismo interno. Esta opcin, denominada perspectivismo haca jugar al observador distintos papeles en los fenmenos cunticos, bien incluyendolo como una parte del sistema cuntico a medir, bien excluyendolo de l, pero de ese modo las distintas perspectivas que se lograban impedan que los enunciados de stas pudieran combinarse para dar cuenta del estado cuntico bajo estudio: y an ms, en muchos casos las distintas perspectivas perdan entre s la equivalencia emprica; es decir, resultaba imposible expresar que eran perspectivas de un mismo fenmeno. Putnam opt por abandonar tambin esta interpretacin. Se fracasaba una vez ms en la bsqueda de una explicacin coherente.

5. La lgica y otras ciencias Pero, como ya hemos indicado anteriormente, este tipo de problemas se aleja de manera considerable de los simples conceptos de la lgica, necesarios por otra parte para poder discernir cualquier otro tipo de cmulo conceptual. Incluso la reflexin sobre cuestiones matemticas, sin ser ya de la
3

Putnam (1983): Quantum Mechanics and the Observer, pp. 248-270.

Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

68

Enric Casabn Moya

Sobre la naturalizacin de la lgica

fsica, podra situarnos en un espacio epistemolgico del que por el momento no queremos ocuparnos centralmente, aunque tengamos que hacer algunas alusiones a l. Recordemos que el anlisis de meras cuestiones aritmticas elementales involucra de suyo la nocin de individuo caracterizado, los nmeros, y que la misma lgica de predicados alude tambin a individuos, aunque sin necesi dad de caracterizarlos; esta diferencia entre lgica y aritmtica crea una distincin epistemolgica esencial entre ellas. Todo esto significa, que si se aumenta la complejidad conceptual del objeto de estudio, pueden aparecer nociones que permitan teoras alternativas, aunque stas precisen para ser formuladas de un tiempo histrico. Los momentos ms estudiados de la historia de la fsica, y de las matemticas, nos ofrecen, como sabemos, muy buenos ejemplos de lo que estamos diciendo. La geometra eucldea ha resultado ser una fsica del espacio tridimensional, que adems es falsa. La teora de la relatividad hace uso de la geometra de Riemann, y con su auxilio el espacio-tiempo ha podido postularse como finito y curvo. Es ms, si las teoras fsicas en vigor han hecho cambiar los conceptos de espacio y tiempo anteriores, cuando decimos que nuestra intuicin opera desde una concepcin newtoniana, lo que hacemos es sobrecargar innecesariamente nuestra apreciacin de los fenmenos, porque la consideracin de distancias rectas, lugares alejados, tiempos remotos y dems nociones que hemos de emplear para comunicarnos no precisa de sta u otra teora cientfica, y si hubiera que encajar tales conceptos en una teora cientfica, o no resultaran admisibles o con modificaciones podran pertenecer indistintamente al acervo de teoras alternativas. La eliminacin, por parte de Einstein, mediante la teora de la relatividad, de la nocin de simultaneidad de dos o ms fenmenos, y la inexistencia de cualquier punto de referencia arquimdico en el cosmos, llev a los cientfi cos en su prctica profesional, a considerar el tiempo como desplegado ya en su totalidad, y a situar en l tanto los eventos pasados como los futuros, perdiendo con ello el presente toda carga cosmolgica. Una imagen operativa acertada para los fsicos, del tiempo, pasa por eliminar el llamado flujo del tiempo. Ello sin olvidar que la nocin espacio-tiempo es una y global, en la cosmologa estndar, y no la unin o combinacin de los dos conceptos, como puede inferirse de la desaparicin de la simultaneidad csmica. Y ms an, en algunas teoras cosmolgicas actuales la referencia al tiempo podra desaparecer completamente de las frmulas, sin merma en la prediccin y la explicacin cientficas.
69
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

Enric Casabn Moya

Sobre la naturalizacin de la lgica

Por tanto, al alejarnos del ncleo central de la imagen holista quineana, del conocimiento, la revisabilidad de las teoras aparece de inmediato como nocin metodolgica y epistemolgica capital, pero a nuestro juicio, y como venimos exponiendo, el caso de la lgica de enunciados queda aparte. Su revisin eliminara la posibilidad misma de la comunicacin; los sonidos y trazos que desde la revisin se produjeran perderan el carcter racional y ms an, el sistema revisado y su comparacin con qualquier otro habra de presuponer el sistema sin revisar. Wittgenstein escribe: Es verdad que podemos comparar una imagen fuertemente enraizada en nosotros a una supersticin; pero es igualmente verdad que al final siempre tenemos que partir de una base firme, o de una imagen o de alguna otra cosa, as que una imagen que est en la raz de todo nuestro pensamiento debe ser respetada y no tratada como una supersticin (Wittgenstein 1980, p. 83) 4 . Si la imagen en cuestin proviniera de la intuicin del mismo principio de identidad, el evento no podra dar lugar, tan siquiera, a hablar de respeto ni de supersticin.

6. Lgica y lgicas alternativas Otro intento importante de revisar la lgica provino de la investigacin matemtica, o ms bien, de la filosofa de la matemtica. Tuvo su origen en el pensamiento del gran matemtico holands L. E. J Brouwer, que en 1908 (Brouwer 1908) daba prioridad epistmica a la matemtica sobre la lgica y el lenguaje, aadiendo adems que la formalizacin lgica de la matemtica no habra de servir para el anlisis ni el desarrollo de sta, porque lo genuino del pensamiento matemtico, las intuiciones matemticas, no resultara posi ble plasmarlo en un lenguaje lgico. Su posicin, como puede verse, es toda una filosofa. Sin embargo, su principal discpulo, A. Heyting, en 1930, construy un sistema axiomtico de lgica intuicionista, basado en las ideas del maestro, y desde entonces este sistema o alguno equivalente ha formado parte de un sinnmero de manuales y tratados de lgica. Como sabemos, el ncleo de la posicin intuicionista est en el rechazo de la ley lgica de tercero excluido, y de all, de la ley de eliminacin de la doble negacin. En lneas generales, para el intuicionista la verdad de un enunciado se construye, y si no se posee un procedimiento capaz de alcanzar la verdad o falsedad de la oracin bajo estudio, no puede afirmarse o negarse nada ver4

Citado por Putnam (1994), p. 277: La cursiva de razes nuestra.

Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

70

Enric Casabn Moya

Sobre la naturalizacin de la lgica

dadero sobre ella. Por tanto, y en general, queda rechazada la validez del principio de bivalencia veritativa. Pero este rechazo, como vamos a ver tiene un precio. Si las definiciones de los smbolos lgicos no han de partir de sus tablas de verdad; es decir, si la semntica lgica ha de cambiar, puede servir, para dar sentido al cambio, utilizar un sistema tipo Gentzen donde las reglas de introduccin y eliminacin de las conectivas lgicas hagan de definiciones bsicas y el resto de reglas lgicas se deriven correcta y fcilmente desde ellas. Mediante este expediente las leyes espurias tercero excluido y eliminacin de la doble negacin quedan derogadas, y con ello infinitos teoremas de la lgica clsica. Pero inmediatamente aparece un problema metalgico, son derivables todos los principios lgicos, intuicionistamente vlidos, desde un sistema de lgica intuicionista? Hoy por hoy, esto es todava un problema abierto y por tanto sin resolver, y lo es, a mi juicio, porque para resolverlo habra que demostrar la completitud del sistema intuicionista sin hacer uso indiscriminado del principio de bivalencia veritativa; es decir, empleando nicamente estrategias de demostracin intuicionistamente vlidas; pero esto, como ya hemos dicho, nadie lo ha conseguido ni ha esbozado modo alguno para poderlo conseguir. Para Quine (Quine 1973, pp. 146-152), la revisin de la lgica propiciada por el intuicionismo es fruto de una confusin entre conocimiento y verdad, que adems resulta suprflua tambin desde el lado prctico, ya que la lgica de primer orden con identidad, aparte de ser el sistema con mayor nmero de propiedades metalgicas esenciales, est absolutamente exenta de paradojas. Adems dice [el intuicionismo] se limita a sobreentender cierta significacin intuitiva de sus conectivas oracionales, significacin que expone mediante la ayuda de palabras y frases tales como refutar o seguirse de ; pero sus explicaciones resultan vagas en cuanto se intenta respetar la distincin entre decir (usar) una oracin y hablar de ella (mencionar). Es perfectamente intil atender a esas explicaciones: es mejor ir directamente a la axiomatizacin de la lgica intuicionista por Heyting y aprender esa lgica por el mtodo que los profesores de idiomas llaman directo, o sea, sin traduccin (Quine 1973, pp. 149-150). Pero como hemos expuesto, la justificacin lgica de tal mtodo est an por demostrar. Ahora bien, si el principio de bivalencia veritativa se recupera, aun descartando las leyes declaradas espurias, la lgica intuicionista de enunciados, que es la que a nosotros nos interesa, queda contenida como un subconjunto
71
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

Enric Casabn Moya

Sobre la naturalizacin de la lgica

de la clsica, pudiendose as derivar todas sus leyes dentro de la lgica estndar. Ms an, como Gdel demostr, si se sustituye en la lgica intuicionista toda ocurrencia de A B por ( A B), y toda ocurrencia de A B por ( A B), el sistema as modificado es capaz de generar todos los teoremas clsicos, y por tanto, y como ya sabemos, todos los teoremas intuicionistas. Y lo nico que se ha tenido que hacer es reemplazar unos esquemas de frmulas por otros determinados de entre sus equivalentes estndar. Esta es, dicho muy resumidamente, la peripecia que ha resultado de intentar revisar la lgica desde la perspectiva intuicionista. Si esta revisin hubiera resultado posible, el principio de bivalencia veritativa habra tenido tambin que modificarse, pero esto, como hemos explicado, no ha sucedido. Un caso similar a la lgica intuicionista la presenta, para nuestros fines, la lgica polivalente o multivalorada, ya que por definicin sta ha de abandonar el principio de bivalencia veritativa, si la polivalencia, como claramente se presume, supone ms de dos valores. La motivacin principal de la construccin de sistemas lgicos polivalentes Post, ukasiewicz, Kleene, etc radica en la consideracin del conocimiento como origen primordial de un sistema lgico, intentando introducir en ste, analgicamente, las deficiencias informacionales, muchas veces necesarias, con que el conocimiento ha de contar ante situaciones cientficas o tecnologico-prcticas. En estos casos se est sustituyendo la semntica lgica por la epistemologa aplicada. Quine, ya sabemos que dice, que al obrar as se acaba confundiendo el conocimiento con la verdad. Ello no quiere decir que los sistemas algebricos as construidos no tengan un inters prctico y terico, lo que cabe dudar es que se puedan llamar lgicas. En todos estos sistemas, al decaer el principio de bivalencia, deja de valer sintcticamente la ley de eliminacin de la doble negacin; y el principio de tercero excluido, debido a su conexin semntica con la primera, pierde tambin su valor real. Parece pues que la negacin pierde su sentido primigenio, pero esta prdida resulta a fin de cuentas ms bien una intencin del lgico que una prdida real. Porque al tratar el terico de explicar el valor veritativo de un enunciado negado no puede escapar de tener que decir que tal enunciado es verdadero equivale a decir que el enunciado (sin negar) no es verdadero; pero el no empleado es el no clsico, y no era esto lo que se pretenda (Quine 1973, pp. 144-146) .

Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

72

Enric Casabn Moya

Sobre la naturalizacin de la lgica

7. Lgica y metalgica Hasta ahora, hemos dado razones de la imposibilidad de revisar la lgica, acompaadas de ilustraciones de intentos histricos, fallidos, de modifi cacin de las leyes lgicas. En lo que sigue, aunque sea tan slo abundar en la misma lnea argumentativa, procuraremos ofrecer una perspectiva gentica que creemos reforzar nuestra posicin. Aunque como sabemos, la lgica es una ciencia, es una ciencia sin fundamentos, y en ello se distingue claramente de las dems, incluso del resto de las ciencias formales. Los fundamentos de la matemtica constituyen un tema importante y controvertido de la filosofa, pero tanto las teoras matemticas como el quehacer de los matemticos precisan esencialmente de la lgica, entre otras cosas. La lgica tiene que dar cuenta de si misma, y el auxilio que los conceptos y mtodos matemticos le prestan se lo suministran cuando el ncleo originario ha sido ya enunciado. No obstante, su desarrollo, la construccin de la teora lgica, ha seguido un camino similar al resto de las ciencias. A travs de la historia, aunque seguramente con saltos tericos ms pronunciados que en otras disciplinas, y de distinta naturaleza, por la misma especificidad de su temtica, los grandes lgicos han ido encontrando caracterizaciones adecuadas de los elementos importantes de la ciencia, al mismo tiempo que han ido descargando el corpus lgico de elementos lingsticos accesorios y de conceptos filosficos no pertinentes. Frege, el gran creador moderno de la disciplina, ha sido, como sabemos, uno de los ms importantes filsofos de la lgica. La nocin de verdad es en su filosofa el elemento central, Frege destaca con exactitud la irremediable circularidad del concepto veritativo y desacredita brillantemente la vieja doctrina de la correspondencia, pero desde un punto de vista lgico matemtico es la construccin de los sistemas lgicos de primer y segundo orden la gran contribucin freguiana fundacional a la moderna ciencia. Despus, muchas otras figuras, entre las que podemos nombrar a Russell, Wittgenstein y Gdel, realizan sus decisivas aportaciones, contando, como Frege, con la nocin de verdad, pero sin ofrecer ninguno de ellos una definicin de sta. Desde el punto de vista que ahora nos interesa, tendra que ser Alfred Tarski el que caracterizara cientficamente, al ofrecer definiciones, dos elementos esenciales: verdad y consecuencia lgica. Con ello, los desarrollos sintcticos de los grandes lgicos, incluidos Hilbert y Carnap, cobraran el respaldo semntico formal decisivo.
73
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

Enric Casabn Moya

Sobre la naturalizacin de la lgica

Las constantes lgicas, hasta Tarski, haban sido definidas semnticamente en todos sus posibles contextos, haciendo uso de la nocin de verdad, pero como ya hemos dicho, sin haberla definido previa y formalmente. Tarski hace tambin lo contrario, define el concepto de verdad y en la definicin incluye contextualmente el papel definicional de los signos lgicos. Caracterizadas cientficamente todas las nociones lgicas centrales, la lgica de enunciados adquiere una perfeccin que ningn otro sistema formal de su envergadura es capaz de adquirir. Definidos los conceptos semnticos de verdad, correccin, completitud y consecuencia lgica aplicables tanto a la lgica de enunciados como a la de predicados las perspectivas sintctica y semntica de la lgica son perfectamente intercambiables, y las nociones de deducibilidad sintctica y potencia expresiva del sistema lgico, tambin definidas, pueden obrar con total garanta formal. La frontera entre lgica y aritmtica, por nombrar una teora formal elemental ms rica conceptualmente que la lgica, queda claramente delimitada. La aritmtica ya no es capaz de demostrar todas sus verdades (Gdel), ni tampoco de definir todos sus conceptos (Tarski, definibilidad y potencia expresiva), pero s que lo es la lgica, en ambos casos; por si esto fuera poco, Per Lindstrm (Lindstrm 1969), demuestra que no puede existir ningn otro sistema formal, que conserve propiedades metatericas equivalentes a la lgica de primer orden con identidad, y sea de igual o mayor potencia expresiva que sta. Pero no es aqu el lugar para enumerar todas las propiedades metalgicas; las que hemos nombrado han sido mencionadas para ofrecer una panormica conceptual que, como ya dijimos, refuerce nuestra posicin. Una vez la identidad y la diferencia se convierten en la verdad y en la falsedad en el lenguaje, la ciencia ha podido extraer las asombrosas consecuencias que hemos estado enumerando, ofreciendo un producto nico, un producto que dibuja el suelo transparente de las normas racionales por antonomasia, que no slo es invariable sino que, a nuestro juicio, no puede dejar de serlo. Por ello, ante la pregunta filosfica: qu hace verdadera una ley lgica? Podramos contestar, aunque la respuesta no sea caracterizable cientfi camente: la imposibilidad de ser falsa. Referencias bibliogrficas BROUWER, L. E. J. (1908): The Unreliability of the Logical principles, en HEYTING, A. (ed.) (1975): Collected Works. vol 1 . Amsterdam, NorthHolland.
Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75

74

Enric Casabn Moya

Sobre la naturalizacin de la lgica

DAULER WILSON, M. (1990): Descartes. Mxico, UNAM. JAMMER , M. (1974): The Philosophy of Quantum Mechanics. N. York, Wiley. LINDSTRM, P. (1969): On extensions of elementary logic, Theoria, 35, pp. 1-11. PAIS, A. (1991): Niels Bohrs Times, in Physics, Philosophy and Polity. Oxford, Clarendon. PUTNAM, H. (1969): Is Logic Empirical?, en HOOKER, C. (ed.) (1975): The Logico-Algebraic Approach to Quantum Mechanics. Dordrecht, Reidel. PUTNAM, H. (1983): Realism and Reason (Philosophical Papers vol 3). Cambridge Univ. Press. PUTNAM, H. (1994): Words and Life. Cambridge (Mass.), Harvard Univ. Press. QUINE, W. V. (1962): Los mtodos de la lgica. Barcelona, Ariel. Traduccin de Manuel Sacristn, de QUINE, W. V. (1959): Methods of Logic. N. York, Holt, (second rev. ed.) QUINE, W. V. (1973): Filosofa de la lgica. Madrid, Alianza, pp. 139 y ss. Traduccin de Manuel Sacristn, de QUINE, W. V. (1970): Philosophy of Logic. Englewood Cliffs (N. Jersey), Prentice-Hall. QUINE, V. W. (1984): Desde un punto de vista lgico. Barcelona, Orbis. Traduccin de Manuel Sacristn, de QUINE, W. V. (1953): From a Logical Point of View. Cambridge (Mass.), Harvard Univ. Press. QUINE, W. V. (2001): Acerca del conocimiento cientfico y otros dogmas . Barcelona, Paids. Traduccin de Francisco Rodrguez Consuegra. RUSSELL, B. (1981): Los problemas de la filosofa. Barcelona, Labor. Traduccin de Joaqun Xirau. WILLIAMS, B. ( 1996): Descartes. Madrid, Ctedra. WITTGENSTEIN , L. (1980): Culture and Value. Oxford, Basil Blackwell.

75

Revista de Filosofa Vol. 28 Nm. 1 (2003): 59-75