LA RELACION EXISTENTE ENTRE EXPLICITAR EL XITO DE LA CIENCIA Y LA TEORA DE LA VERDAD.

LA CUESTIN DEL REALISMO : ( Las conferencias John Locke de 1976 ).

Lisardo San Bruno de la Cruz .

Segn Putnam, uno de los argumentos ms atrincherados empleados por los defensores del realismo contra sus oponentes clsicos tipo Berkeley operacionalistas coetneos, o positivas y

consiste en aseverar que para estas tipologas idealistas la

exitosidad de la ciencia no es explicitable de acuerdo a su posicionamiento onto-epistmico. Las predicciones correctas, la manipulacin tecnolgica de la naturaleza, ... el xito de la ciencia configura el argumento-basilisco que, bajo la ptica realista, alegaciones de sus oponentes, cualesquiera que estas fuesen. petrificara a las

Dado que es un dato fctico

innegable la evolucin de la ciencia, el realismo podra definirse como una cosmovisin cientfica hipottica, una conjetura emprica, holsticamente considerada. Putnam no cree que tal realismo sea una hiptesis emprica totalizadora, aunque guarde algunas semejanzas con ello en tanto los hechos empricos podran ser relevantes para mantener o liquidar tal posicionamiento. El cientifismo de los realistas no permite tildar de conocimiento genuino a otras disciplinas pesquisadas por los seres humanos, la cientificidad clausura todo

conocimiento posible, el resto de los relatos no quedan acotados en sus mrgenes, y sus usos no son en modo alguno clasificables como usos cientficos. En tal tesitura, Putnam no es ambiguo en cuanto a su demarcacin dentro o fuera de las trincheras de esta realismo: De hecho, si realista cientfico es quien cree, inter allia, que todo conocimiento digno de ese nombre forma parte de la ciencia, entonces yo no lo soy .... Y si en lo que sigue me centro en el conocimiento cientfico se debe a que el debate gira a su alrededor y no por un compromiso personal con el cientifismo. (1). Putnam comienza su analtica sobre el realismo centrndose en la obra de Richard Boyd sobre la nocin de convergencia del conocimiento cientfico. De los empiristas

lgicos aprendimos que los nuevos esquemas conceptuales tratan de preservar algunas de las oraciones observacionales verdaderas integradas en las teoras en desuso. Ahora bien, tal aseveracin no entraa que en el intrads de los nuevos marcos tericos haya de mantenerse la verdad aproximada de las bateras legales que constituan las teoras antiguas de acuerdo a cierta lista de restricciones. Sucede; sin embargo, que en la metodologa cientfica es 1

relevante mantener y/o demostrar que las leyes de los marcos tericos pretritos son derivables como casos-lmite en los nuevos esquemas conceptuales, aunque tal conducta metodolgica entraa una labor reconstructiva bastante indigesta a la hora de intentar salvaguardar las antiguas predicciones observacionales y confrontarlas con los datos de las nuevas predicciones. En Boyd, la concepcin del realismo como una hiptesis emprica global podra representarse mediante las siguientes afirmaciones: En primer lugar, la mayora de los

trminos tericos de un esquema conceptual son referenciales, y; en segundo lugar, las leyes tericas integradas en un corpus terico desarrollado en la mayora de las ocasiones son verdaderas o aproximadamente verdaderas. Los cientficos creen que deben seguir siendo fieles a los principios aludidos, y su conducta metodolgica resulta exitosa porque tales principios son verdaderos. Putnam arguye que en el croquis de la nocin de convergencia trazado por Boyd, las nociones semnticas verdad y referencia integran parte de premisas conductuales de actuacin metodolgica en las que tales nociones operan epistmicamente de una forma causal-explicativa. La expresin verdaderas sustituida por un giro operacional del tipo son simples y conducen a predicciones verdaderas, significara no haber preservado la explicacin. Asumamos con Putnam que la teora fsica en vigor T1 ha de ser sustituida por otra teora fsica T2 . Aceptamos que la leyes de T1 son aproximadamente verdaderas; lo que ha de interpretarse como sigue: Las leyes de T1 son aproximadamente verdaderas desde una evaluacin ejecutada desde la ptica de T2, de esta forma T2 podra ser probablemente verdadera de un modo aproximado. Por tanto, una restriccin medular para que T2 sea el reemplazo terico de T1 es que en T2 se subsuman las leyes de T1 interpretadas como casos lmite. Estas mximas metodolgicas en la evaluacin de teoras como candidatas posibles conducen a un aumento de la exitosidad probable en los desiderata cientficos. Argumenta Putnam la candidata T2; que si solo conozco que T1 ejecuta predicciones exitosas

mediante cierto lxico observacional, tales oraciones observacionales podran preservarse en pero no se deduce que hayan de conservarse verdades de T1 como constituyendo casos legales lmite en T2. No obstante, una reconstruccin racional de T1 como verdad aproximada en T2 o la asignacin referencial desde T2 a las nociones tericas en 2

T1 , de hecho funcionan en la historia de la ciencia. El principio operante en la atribucin de referente a teoras pretritas - asignaciones retrospectivas de referencia- es el principio de caridad interpretativa o beneficio de la duda. En tal tesitura, Putnam nuevamente enfatiza que T2 incorpora una restriccin selectiva en tanto asigna de forma retrospectiva referentes a T1 , tal restriccin posibilita demarcar las teoras posibles para reemplazar T1, y en tal restriccin juegan los trminos semnticos `verdad y `referencia de forma tal que si se sustituyeran por trminos como `conduce a predicciones verdaderas no podramos usar la propiedad restrictiva en la asignacin referencial retrospectiva. La lnea Kuhn-Feyerabend, bajo el enfoque de Putnam, duda de la correccin de la tesis de convergencia en el conocimiento cientfico; las posibilidades de preservacin de referentes trans-tericos son prcticamente nulas. Los trminos tericos como electrn

usados en paradigmas distintos seran referencialmente distintos, cada teora hablara de objetos y/o mundos diferentes. El problema de creer que electrn en la teora de principios del siglo XX y electrn en el momento actual no aluden a la misma entidad nos enfrentara con el siguiente interrogante: cmo reconocer ahora el trmino electrn usado por Bohr-Rutherford si su trmino era no-referencial; ms an, qu otra teora, si no es nuestra teora actual, es la encargada de juzgar el modelo de principios del siglo XX. Es, sin duda, ms intuitivo ser fieles al predicamento Kant-Quine como hace

Putnam. En Feyerabend, los cientficos que acuan una nocin terica suponen la verdad de una batera de leyes como posiblemente necesarias con respecto a un posible referente o, como lo denomina Putnam referente putativo. Las leyes tericas de tal referencia putativa son sus definiciones analticas. Bajo tal asuncin, la descripcin terica del referente del trmino y tendramos que electrn en Bohr_Rutherford sera una descripcin a-referencial,

habrnoslas con la inconmensurabilidad terica. Dos descripciones tericas diferentes de un mismo trmino se traducira en la imposibilidad de que tal trmino conservase idntico referente trans-terico. No obstante, la caridad interpretativa opera como principio

metodolgico semntico bsico. Estipulada la descripcin del referente de un trmino, y tal descripcin choca con las nuevas creencias fcticas que mutan en errneas a un sub-grupo de las creencias pretritas, lo que ha de asumirse es que en la estipulacin referencial originaria 3

podra aceptarse algn tipo de reconstruccin racional en la que tal descripcin estuviera en condiciones de satisfacer la referencia en un contexto prctico exento de ambigedades. Segn la mxima metodolgica caritativa, interpretamos que Bohr-Rutherford se referan a las mismas partculas que en la mecnica cuntica seguimos denominando electrones, pero sobre tal trmino terico ; ahora, contamos con nuevas teoras con concepciones sobre idntico referente. nuevas

Dada nuestras teoras actuales hablamos de la

existencia de partculas en condiciones de satisfacer ciertas funciones que cumplan los electrones del modelo de Bohr-Rutherford, tales partculas ahora presentan adems otras

propiedades no teorizadas en tal modelo originario. La preocupacin onto-semntica ms alarmante derivara de la presuposicin de que una meta-induccin del tipo dado que los trminos tericos del siglo pasado eran a-referenciales, nuestros trminos tericos presentes heredan esa falta de espesura ntica, fuera creda como vlida. La caridad interpretativa opera intentando anular meta-inducciones similares a la aludida, pero la caridad en la asuncin trans-terica referencial no significa que hayamos de asignar un referente de forma retrospectiva a trminos como flogisto, calrico, ter... La

no-aceptacin de la convergencia en el conocimiento cientfico mutara en irrelevante el principio semntico de la caridad interpretativa, y las nociones `verdad y `referencia

sufriran idnticas consecuencias ; no obstante, Putnam argumentar que no ha de pensarse la situacin en estos trminos. Y para iniciar su alegato introduce algunas de las aportaciones tericas generadas por la corriente intuicionista en el mbito de la ciencias lgico-formales. Desde el enfoque intuicionista, las functores lgicos se interpretan en trminos demostrabilidad constructiva para dominios infinitarios o potencialmente infinitarios, tal significado de las conectivas lgicas es diferente al sentido que la lgica clsica les atribua. Para un intuicionista aseverar p es aseverar p es demostrable; la negacin de p afirmara que la demostrabilidad de p es absurda; pq se interpreta como que p es demostrable o q es demostrable, existen ambas pruebas y conocemos de qu prueba se trata. Tales sentidos de las conectivas lgicas en estos ejemplos son distintos a los sentidos

clsicos. El principio de tercer excluido p o no - p de la lgica clsica no se integra en la lgica intuicionista, en la que no se acepta la determinabilidad de toda proposicin. Sin

embargo, como observa Putnam, las conectivas clsicas pueden reinterpretarse de acuerdo 4

con el clculo proposicional intuicionista -pq clsico se traducira en forma intuicionista como no(nop noq-, por ejemplo ) . En tal traduccin, de lo que se trata es de presentar los teoremas clsicos en forma intuicionista, y no de conservar el sentido de los functores lgicos del clculo proposicional clsico. Bajo tal reinterpretacin, las conectivas se ligan al sentido de la demostrabilidad, y no al sentido clsico de las nociones de `verdad y `falsedad. La traduccin operada en las conectivas del clculo proposicional es extrapolable al uso cuantficacional, pero lo que le interesa enfatizar a Putnam es el hecho de que reglas de inferencia del tipo p pq no fijan los significados de las conectivas lgicas. La cuestin es que es posible usar el arsenal clsico de reglas de inferencia sin la necesidad de interpretarlas en un sentido veritativo-funcional. Putnam propone que reflexionemos sobre la siguiente suposicin: La batera de conectivas lgicas traducidas al modo cuasi-intuicionista; es decir, negador, en el sentido de demostrabilidad constructiva, observacionales verdaderos de una teora emprica. En tal asuncin, ha de suponerse, adems, que los postulados empricos mediante conjuntor y

aplicadas al grupo de enunciados

verdaderos no son compatibles con la teora cientfica en vigor, tendramos que habrnoslas, por ejemplo, con predicciones falsas. De tal batera enunciativa de oraciones observacionales, seleccionaramos una sub-batera apropiada especificable de cierta forma. Ms all de tal especificacin lo que a Putnam le interesa subrayar mediante la reconstruccin argumental que hemos dibujado es lo siguiente: Si B1 es la ciencia emprica aceptada en una poca y B2 es la ciencia emprica aceptada en una poca diferente , entonces, de acuerdo con esta interpretacin cuasi intuicionista, las mismas conectivas lgicas, se referiran a la demostrabilidad en B1 cuando se utilizaran en B1 y a la demostrabilidad en B2 cuando se utilizaran en B2. Las conectivas lgicas modificaran su significado de manera sistemtica al cambiar el conocimiento emprico. (2). A continuacin, Putnam supone que hemos formalizado un sub-grupo de la

ciencia emprica aceptada mediante un lxico L integrado por reglas lgico-formales , una batera axiomatizada especificable de tales axiomas, y un conjunto de postulados empricos subsumibles bajo tal sub-grupo de ciencia emprica. La expresin verdadero ligada a

nuestro lxico L no sera un predicado de L, sino que sera un predicado de un meta-lenguaje 5

que hable de nuestro lenguaje formalizado L. Verdadero

podra ser definido al estilo

tarskiano o podra concebirse como una nocin no-definida de nuestro meta-lenguaje ; no obstante, en uno u otro caso oraciones del tipo El gato es negro es verdadera si y solo si el gato es negro seran teoremas de nuestro meta-lxico. convencin T que Putnam rebautiza como criterioT. verdadero Tal es el criterio W de Tarski o

Traducidas las conectivas lgicas en

un contexto cuasi-intucionista no resulta imposible definir al estilo de Tarski el predicado en tal sentido de demostrabilidad constructiva. El criterio T ; esto es, la

propiedad formal de la verdad, bajo la exgesis de Putnam, tan solo acota la extensin del predicado verdadero dentro de un contexto interpretativo clsico en relacin al grupo de functores lgicos. Desde un enfoque cuasi-intuicionista, la relectura de las conectivas lgicas mutan la nocin clsica de referencia -gato tiene referencia equivale a existen gatos- en un trmino relativo a una teora, un trmino intra-terico. descripcin D tal que D es un gato es demostrable en B1. Como apunta Putnam, en tal ptica de re-interpretacin, nuestra frmula cuasiintuicionista podra ser verdadera en B1, y tales entidades nombradas por la teora, en nuestro caso gatos, no existiran. Las entidades tericas de las teoras cientficas se concebiran como entidades meramente convencionales, tales convenciones seran susceptibles de ser En nuestro ejemplo: Existe una

sustituidas por otro tipo de convenciones-construcciones tericas en periodos ulteriores de investigacin cientfica. An as, manifiesta Putnam, las nociones semnticas verdad y referencia conservaran sus propiedades formales, ya sea la reconstruccin definicional tarskiana o cualquier otro tipo de reconstruccin formal, y el predicado verdadero podra ser re-interpretado en trminos de asertabilidad-aseverabilidad justificada. Lo que Putnam sugiere es una sustitucin en la que la nocin clsica-realista de verdad da paso a la nocin de `asertabilidad justificada o verdad interna a un esquema conceptual. La teora de la verdad como correspondencia es uno de los presupuestos ontoepistmicos y/o onto-semnticos vertebrales de las posiciones realistas. La definicin de Tarski de la nocin de verdad pareca concordar con la batera conviccional bsica de los paladines del realismo; sin embargo, Putnam se interroga si es posible interpretar el mtodo formal tarskiano en trminos realistas. Estipulada una interpretacin clsica-realista de las conectivas lgicas, el predicado verdadero en la definicin tarskiana sera realista en tanto 6

160

la relacin de satisfaccin, que liga frmulas lgico-formales y secuencias finitas de objetos, se entiende como un trmino tcnico que sustituye la nocin semntica de referencia. La expresin gato se refiere a gatos se reemplazara por la secuencia de longitud que consiste nicamente de x satisface la frmula gato(y), si solo si x es un gato. Tal relacin de satisfaccin puede aplicarse a frmulas n-dicas. concuerda con Field a la hora de sealar Ahora bien, an en este caso Putnam

la objecin a la reconstruccin lgico-formal

tarskiana de la teora de la verdad como correspondencia, derivada del hecho de interpretar la referencia primitiva y/o la satisfaccin con respecto a los predicados lxicos primitivos H2O se La lista explicativa de la nocin de referencia primitiva mediante una lista del tipo gato se refiere a gatos, perro se refiere a perros refiere a molculas de H2O ...

cuenta con una contextura aproximadamente idntica al criterio T el gato es negro es verdadero si y solo si el gato es negro. Como enfatiza Putnam: ... verdadera es el caso Odico de satisfaccin (una frmula es verdadera si no tiene variables libres y la secuencia cero la satisface). El criterio de adecuacin (el criterio T) puede generalizarse de esta forma: una definicin adecuada de (Llamamos al resultado criterio S S por satisfaccin):

satisfaccin para L debe reconocer como teoremas a todas las instancias del siguiente esquema: [P(x1, ..., xn) se satisface con la secuencia y1, ...yn si y solo si P(y1, ... yn). (3). La expresin mesn se refiere a mesones podra ser reinterpretada como mesn (x) es satisfechos por y1 si y solo si y1 es un mesn. Putnam, Sucede, como observa

que tal generalizacin del criterio T en trminos del criterio S entraa la

consideracin de los aspectos formales de los trminos verdad y referencia, porque en el metalenguaje que utilicemos precisamos un predicado capaz de satisfacer al criterio S. Putnam rechaza la argumentacin de Field y acepta que desde el intrads del esquema conceptual realista es correcta la analtica tarskiana sobre las nociones de verdad y referencia. Conducirse mediante el predicamento Kant-Quine significa hablar de la esfera

objetual de la nica forma en que estamos capacitados para hacerlo; esto es, mediante la generacin de nuestros esquemas conceptuales. En pargrafo de Putnam: Electrn se refiere a los electrones, De qu otro modo podramos decir a qu se refiere el electrn desde el interior de un sistema conceptual en el cual electrn es un trmino primitivo?. Tan pronto como analizamos los electrones (a saber, que los electrones son partculas con tal 7

161

y cual masa y unidad de carga negativa)

podemos afirmar que electrn se

refiere a partculas de tal y cual masa y unidad de carga negativa, pero entonces carga (o cualquiera que sean las nociones primitivas de nuestra nueva teora) tendr que ser explicada trivialmente, esto es, de acuerdo con el criterio S.(4). AVE ATQUE VALE. Referencias bibliogrficas : 1.Putnam, H. : `El significado y las ciencias morales. Trad. A. I. Stellino. Mxico . U.N.A.M. (1991) , pg. 31.
2.Putnam, H. : `El significado y las ciencias morales. Ob. Cit., Pgs. 39-40. 3.Putnam, H. : `El significado. Ob. Cit. , pgs. 43-44. 4.Putnam, H. : `El significado . Ob. Cit. , pg. 44. Para cualesquiera desiderata : sanbrunolisardo@gmail.com y/o delacruzlisardo@gmail.com .

162