DIFERENCIAS TEORICO.

SIMILITUDES

ENTRE

EL

REALISMO

METAFSICO Y EL REALISMO INTERNO. EL ARGUMENTO MODELO-

Lisardo San Bruno de la Cruz . El realismo, bajo la exgesis de Putnam, podra ser considerado como una teora

emprica, tal teorizacin asumira como una de sus labores la explicitacin de la convergencia cientfica, convergencia en tanto las teoras pretritas se re-interpretan, en algunos casos, como lmites ideales de las teoras presentes, tal re-interpretacin permite juzgar cmo en las mutaciones de ejemplares cientficos los trminos tericos preservan sus referentes. Tambin el hecho de que nuestros usos lxicos contribuyan a la satisfaccin de nuestros objetivos conforma una de las tareas explicativas del realismo. La explicacin realista, desde este enfoque, describe la forma como los sujetos confeccionan una representacin simblica de su contexto socio-ambiental. La relacin de correspondencia, relacin de satisfaccin en los trminos formales de la teora de Tarski, trminos sgnicos-bateras objetuales se interpreta como conformando un elemento integrante de un modelo explicativo de la conducta de los hablantes, holsticamente considerada. Esta lectura del realismo de Putnam ser bautizada como realismo interno. La imagen realista de factura metafsica no constituye una teora emprica, para Putnam es ms bien un modelo en el que se pretenden explicitar la relacin entre las teoras correctas y lo real, o un fragmento de esa realidad. Supongamos que la realidad se compone de los siguientes objetos O1, O2 y O3. Entre tales objetos ha de existir una relacin entre los trminos sgnicos que usamos y tales objetos o una parte integrante del mundo y/o la realidad. Por cuestiones de simplicidad: siendo T1 un trmino de nuestra batera sgnica legalizada existira una relacin entre T1 y O1. Comprender T1 se traduce en saber a qu fragmento de

lo real se refiere o saber cules son las condiciones necesarias y suficientes para que T1 se refiera sea verdadero de- O1. Tal explicacin de la comprensin formaba parte de la

imagen pretrita de los realistas metafsicos, en tanto presupuesto onto-semntico ejercitado. De acuerdo con Putnam, presupuesto o no el conocimiento de tal relacin

referencial en tanto comprensin de lo que es comprender un trmino lxico, la cuestin medular del modelo realista metafsico se vrtebra en la existencia de una relacin referencia

1.

trmino sgnico porcin de la realidad fijada y/o determinada. En tal modelo realista se ejercita dos asunciones; en primer lugar, se asume que el mbito de aplicacin del cuadro realista metafsico envuelve el conjunto de teoras correctas de forma simultnea, y; segundo lugar, lo real se concibe, usando terminologa con ecos crticos, como cosa-en-s indiferente a nuestras intromisiones epistmicas en tal esfera objetual. Corolario enfatizado por Putnam de tal imagen es la asuncin de que la verdad no pertenece al mbito epistmico, las capacidades subjetuales de verificacin, en tanto en

operatividad ejercitada, no entraan ligar con la verdad, ni siquiera en el sentido de Peirce en el que se apuesta por la existencia de una teora ideal, en tanto estructura, un ideal regulador desde el que la verdad pretende orientar su investigacin. conocido como el argumento modelo-tericoPutnam dibuja un argumento

con la pretensin de triturar el corolario Supongamos

extrable de las asunciones onto-epistmicas del cuadro realista metafsico. coherencia,

que contamos con una teora ideal escudada en todos las propiedades que seamos capaces de adherirla predictibilidad correcta de cualquier aseveracin-oracin,

satisfacibilidad de toda restriccin operativa, simplicidad ....

- exceptuando la propiedad de

ser verdadera. Segn Putnam, tal teora ideal puede ser no-verdadera, falsa en realidad. La teora ideal presupuesta asevera la existencia de un nmero infinito de fragmentos de lo real, puesto que tal realidad es susceptible de ser fragmentada en tal infinidad de partes. Siendo tal teora coherente consta de modelos infinitos y ... segn el teorema de completud, la teora

cuenta con un modelo para cardinalidad infinita. Supongamos que tenemos un modelo en idntica cardinalidad que la realidad. La finitud de lo real no supondra ninguna objecin al argumento de Putnam, puesto que se supondra que nuestra teora es compatible con la existencia de un conjunto finito de individuos, siendo n la cardinalidad finita de lo real podramos operar con un modelo n de individuos. Si se proyectan a los individuos de nuestro modelo sobre los elementos de lo real, y tal proyeccin define las relaciones del modelo con la realidad, entonces obtenemos una relacin de satisfaccin, trminos sgnicos de la teora ideal - bateras objetuales de lo real, de tal forma que nuestra teora ideal se hace verdadera en relacin a la realidad, en tanto verdadero se interpreta como relacin de satisfaccin. Si relacin de satisfaccin es una relacin de idntico tipo lgico que satisface, ha de suponerse

2.

que verdadero como relacin de satisfaccin queda definido de forma a idntica a como Tarski define verdadero en trminos de satisface. Los interrogantes formulados por Putnam, una vez esbozado el argumento incoan el proceso en el que se tratar de dinamitar la presunta inteligibilidad del supuesto: an si nuestra teora ideal cuenta con todas las propiedades enumeradas, podra ser falsa.

Supongamos que tal relacin de satisfaccin se interpreta como una correspondencia nodeseada entre nuestro lxico y la realidad, la cuestin es entender lo que se pretende significar con correspondencia no-deseada y/o no-prevista en tal contexto argumental. No olvidemos que nuestra teora ideal est en condiciones de satisfacer cualquier restriccin operativa. En tal tesitura, si hay un gato en el felpudo es un enunciado de la teora, tal enunciado parecer verdadero, ser idntico a hay un gato en el felpudo. La relacin de satisfaccin es una interpretacin verdadera de la teora, la teora es verdadera en este sentido de tal forma que Hay un gato en el felpudo es verdadera en tanto `verdadera se interpreta como relacin de satisfaccin. En el caso en que Hay un gato en el felpudo sea falsa de forma operativa, resulta ser falsable, en lxico popperiano, la expresin aludida ser falsa, en tanto la relacin de satisfaccin es una interpretacin falsa de la teora. Segn la argumentacin de Putnam, la nocin de referencia en la teora ideal considerada se interpreta como relacin de satisfaccin que no solo satisface cualquier restriccin operativa, sino tambin toda

restriccin terica de la referencia, lo cual entraa que tal teora sea verdadera. Si tal relacin de satisfaccin se lee como una interpretacin no deseada, no resulta posible imaginar qu grupo restrictivo de la referencia fijara y identificara a otra interpretacin como interpretacin deseada y nica. Creer que nuestra teora ideal, pragmticamente estimada, sea falsa en la realidad resulta ser un supuesto carente de inteligibilidad para Putnam. Tambin devendra no-inteligible partir de una teora causal del a referencia en el sentido de que las causas se ligasen a referentes absolutamente exclusivos. Putnam localiza, histricamente, el problema en el siglo XIV. Quiz fuera Ockham el que defendiera que los conceptos eran particulares-mentales, tales signos mentales al En la imagen

establecer relaciones con partes de lo real conformaran un nuevo signo. realista metafsica,

la relacin signo-objeto no es identificable aunque tal relacin se

representa con el signo gato o el signo refiere o el signo causa. Si negamos que los

3.

conceptos sean particulares mentales signos- tales conceptos podran interpretarse como formas de manipular signos. No obstante, el hecho de que una teora sobre usos sgnicos sea correcta o aproximadamente correcta en tanto explicita cmo se comprenden tales signos, no significa que sea capaz de generar una relacin nica especificable entre los trminos sgnicos de nuestra teora y las porciones objetuales de la realidad. Liquidar ambas posibilidades, el que los conceptos sean signos o modos de uso de los signos, nos comprometera con una intuicin directa-captativa de las formas difcilmente defendible. Putnam confecciona un supuesto contrafctico en el que la especie humana se reduce a ser una batera de cerebros encapsulados en recipientes apropiados. En tal hipottico mundo-situacin, podramos interrogarnos sobre el modo cmo el trmino recipiente se liga referencialmente a recipientes noumnicos y no se refiera a recipientes fenomnicos. Putnam para enfrentarse a tal interrogante, se aliar con la semntica no-realista alumbrada por Dummett. En tal semntica se construye una teora de la comprensin vertebrada en las nociones de `verificacin y `falsificacin. Siguiendo la lnea intuicionista en matemticas, meta-matemtica intuicionista, la nocin de verdad queda definida como demostrabilidad constructiva, incluso tal definicin se utiliza para la prueba constructiva misma. Comprender una aseveracin del tipo Hay un gato en el felpudo significa saber en qu consiste su prueba verificatoria/falsatoria, tal teora de la comprensin tambin subsume a los enunciados que representan la prueba verificatoria misma. En contra del fenomenalismo, tal postura no se vrtebra en bateras de qualia, hechos positivos, sobre los que han de aplicarse la semntica realista. Sea cual sea el lxico vertido, el enunciado original ser asertable en tanto, y solo en tanto, este verificado. Hay un gato en el felpudo en este instante sera una expresin verificada en tanto proferimos tal afirmacin. Tal aseveracin se auto-legitima en la

semntica no-realista, no por razones de incorregibilidad, ni de por ser un enunciado determinado de forma categrica por la bivalencia de la lgica clsica, las nociones realistas verdad y falsedad carecen de uso en este contexto semntico, la referencia es un trmino sin uso. Afirmar gato se refiere a gatos, en lxico tarskiano, es una tautologa, comprender tal enunciado no ha de traducirse en tener que asumir una imagen realista del tipo metafsico. Bajo la exgesis de Putnam, tal semntica no-realista y/o verificacionista puede

4.

ser conjugada con una perspectiva interno-realista. Si los qualia son tratados como hechos positivos, si tal semntica se construye en un meta-lenguaje desde el que se explicita la comprensin vertebrada en las condiciones veritativas, la objecin del realismo metafsico es extendible y/o idntica a tal metalenguaje, puesto que sera ininteligible habrnoslas con qualia pretritos y con qualia futuros. El modelo del hablante, esbozado por Putnam , basado en grado de confirmacinverificacin pretende describir el funcionamiento exitoso de los usos lxicos, no habla de las nociones de verdad y referencia en cuanto explicitaciones de lo que sucede en el interior de la mente de los hablantes. El significado tambin imbrica aspectos referenciales, aspectos condicionados socio-ambientalmente y enhebrados a ejemplares fsicos. La existencia realista de una correspondencia entre los trminos lxicos que usamos y la realidad puede compatibilizarse con una semntica verificacionista-pragmtica sobre la comprensin de un lxico. Comprender una oracin no significa saber cuales son sus condiciones veritativas porque no sabramos responder a quien nos exigiese saber qu significa comprender en qu consiste tal comprensin. La teora de la competencia lxica en Chomsky ha de ser tratada en trminos de una semntica de tipo verificacionista. La teorizacin de Dummett, de acuerdo con Putnam, liquida desde sus cimientos las asunciones onto-epistmicas y/o onto-semnticas de la grey realista de factura metafsica; sin embargo, tal liquidacin no ha de traducirse en trminos de demolicin de un realismo interno-pragmtico como el que trata de edificar Putnam. Lo que Putnam afirma es que sus pretritos yoes realistas metafsicos estaban errados y la senda para salvaguardar lo correcto en el espritu realista consiste en argumentar que realismo significa realismo interno. Existen otras incoherencias en el cuadro realista metafsico que Putnam desvelar construyendo uan situacin hipottica en la que se asume que lo real es una lnea recta. Sobre tal contra-fctico diseamos dos descripciones. En primer lugar, se asume que la lnea recta esta compuesta por segmentos, y lo segmentos por puntos, elementos infinitamente pequeos. En tal mundo, la relacin puntos-segmentos que los contienen y segmentossegmentos que contienen segmentos menores de la lnea, se supone que la relacin es de identidad.

5.

En segundo lugar se asume que nuestro mundo imaginario carece de puntos, los elementos que conforman la lnea recta cuentan siempre con extensin; es decir, los puntos quedan definidos como constructos lgico-formales de los segmentos lineales. Los puntos seran derivables de la nocin conjunto de segmentos convergentes. Siendo un realista metafsico duro tal posibilidad de no-compatibilidad entre las descripciones bosquejadas, habra de mitigarse apelando a la existencia de hechos positivos sobre los que tal o cual descripcin deviniese como la nica verdadera. Los realistas sofisticados no percibiran sino dos representaciones equivalentes de la realidad, los segmentos lineales seran una batera adecuada de invariantes, describir lo que acontece en cada segmento de la lnea, sera una descripcin completa de lo que sucede en la realidad. Putnam mismo defenda, en su etapa realista no- interna, la argumentacin sofisticada comparndola con el hecho de que pueden trazarse mapas de una regin sobre proyecciones distintas. Ahora, surge la posibilidad de

que desde idntica porcin objetual de lo real se construyan representaciones con trminos nocompatibles; en cambio en el intrads la misma teora tal situacin no puede suceder. En el supuesto terico uno, Punto define objeto real, y en el mundo segundo de nuestra situacin, contra-fcticamente considerada, objeto real. conjunto de segmentos convergentes define idntico

Estaramos en condiciones de proyectar idntico trmino sobre un aspecto y sobre un mbito objetivo distinto en otra teora. Tal

objetual de una teora,

proyectabilidad distinta sobre los objetos de la realidad constituye, como asevera Putnam, una propiedad de la realidad misma. En nuestros supuestos, asumiendo que tales teoras sean descripciones equivalentes, la propiedad de ser un objeto deviene relativa a la teora. No solo sucede en matemticas, la fsica cuenta con casos cuasi-idnticos, los puntos espacio-

temporales pueden ser descritos como objetos o como propiedades, por ejemplo. A Putnam le parece que lo real se asemeja a lo noumnico, un mundo noumnico en trminos kantianos, en tanto que las propiedades devienen relativas a la teora, no existe asercin posible sobre el mundo autnomo de una descripcin terica. Este hecho queda hilado a la cuestin de la relatividad ontolgica de herencia quineana. Asumamos que T es una ciencia completa. Si T es tal estaramos en condiciones de definir una relacin de equivalencia para sus trminos sgnicos (Putnam habla de coextensin demostrable) con la siguiente propiedad: si dos trminos pertenecen a clases de

6.

equivalencias distintas, no existe modelo alguno de T en el que la extensin de los trminos sea idntica, en tanto si los trminos pertenecen a idntica clase de equivalencias su extensin ser idntica a todos los modelos T. estamos De acuerdo con tal asuncin , puede estipularse que

frente a trminos idnticos en tanto se circunscriban a idntica clase de

equivalencias, en el sentido de co-extensividad, considerando a T segn su valor nominal. De esta forma solo existe una lectura, una sola traduccin y/o interpretacin que preserva la referencia inscrita en los lxicos. No obstante, las interpretaciones relativas de una teora con respecto a otra pueden ser no-equivalentes, en este caso de no-equivalencia entre las distintas interpretaciones, para determinar cul es la traduccin con capacidad de preservar idntica referencia, precisaramos de un hecho positivo o algo semejante -cuya existencia objetiva independiente de las interpretaciones no-equivalentes justificase y/o validase que tal y cual es la traduccin referencia verdadera que posibilita fijar la interpretacin verdadera. La grey

realista metafsica podra objetar a Putnam interrogndole de la siguiente manera: desde el posicionamiento interno-realista, cmo se fundamenta el que el trmino sgnico gato se refiera a los gatos. Si existen n-interpretaciones, en el sentido de relaciones de satisfaccin de un lxico holsticamente considerado con la capacidad de hacer verdadera a una teora ideal, cmo se seleccionara la interpretacin deseada. La objecin planteada por el realista metafsico podra radicalizarse asumiendo que Dios mismo nos don la batera total de las aserciones verdaderas de la teora ideal del realista interno. An , siendo esto as, tal teora, la teora perfecta, admitira un sin nmero de interpretaciones en condiciones de satisfacer el conjunto total de restricciones operativas y tericas. En esta tesitura, la asercin gato se refiere a gatos sera verdadera en cualquier interpretacin, y el problema consistira en determinar la verdad de tal afirmacin con respecto a la interpretacin deseada y/o prevista. An ms, no se podra saber si el trmino sgnico gato se refiere a gatos en tanto una batera determinada de objetos o si se refiere a una batera determinada de objetos con respecto a cada interpretacin admisible recurdese que las interpretaciones admisibles de la teora son infinitas. Tal objecin vertida por el realista

metafsico al realista interno es idntica a la trazada por el internalismo al realismo. Ahora bien, un internalista argumentara que, aunque su imagen realista no fuera correcta, la afirmacin gato se refiere a gatos sera verdadera, analticamente verdadera dentro de la

7.

teora, sera una verdad lgica.

Esta argumentacin no consolara al realista metafsico

porque no se sentira contestado, su interrogante versaba sobre el modo en que se comprende la teora; el hecho de que tal aserto sea verdadero en todas las interpretaciones admisibles queda fuera del mbito discursivo. Putnam, en este punto, defendera su postura re-situando sus presupuestos del siguiente modo: 1. Es posible edificar argumentos con respecto a la forma de comprender una teora desde el intrads de tal teorizacin. 2. Plantearse si tal teora posee una y nica interpretacin deseada y/o prevista no tiene un sentido absoluto.

Volviendo a nuestros relatos sobre un mundo configurado como una lnea recta. Putnam alega que desde dentro de la primera descripcin o una meta-descripcin en la que tal descripcin estructura su lxico-objeto, el trmino sgnico punto posee una interpretacin, la interpretacin esperada. No obstante, desde el intrads de la segunda descripcin o una meta - descripcin cuyo lenguaje objeto sea la segunda descripcin, Punto en tanto trmino sgnico usado en la primera descripcin o meta descripcin de la primera descripcin cuenta con n-interpretaciones admisibles. Si alguien pregunta en qu fundamos tales creencias, ese alguien, de acuerdo con Putnam asume la existencia de un algo positivo y/o objetivo que trasciende, en tanto es independiente, a la teora en cuestin, positividad externa a la teora que habra de corresponderse con un trmino sgnico de tal teora. Esta presuposicin ontosemntica no es sino asumir de forma implcita una imagen, realismo, imagen que Putnam trata de dinamitar. la imagen metafsica del

La contra-rplica al internalismo se

centrara ahora en la nocin de referencia y/o satisface cuya definicin en un enunciado como gato se refiera a los gatos, solo expresa que siendo un trmino sgnico primitivo de un lxico L gato el par ordenado (gato, {gatos}) pertenece a una lista de pares

ordenados, qu `gato cuente con una extensin es un presupuesto onto-semntico no explicitado. Lo que Putnam enfatiza, en su contestacin al realista metafsico, es que su teora de la comprensin no se vrtebra en el conocimiento de las condiciones veritativas o en el

8.

conocimiento de la referencia; el uso del trmino sgnico gato entraa que tal trmino se comprende. Desde su contexto de uso, el hecho de que gato se refiera a gatos es una verdad a priori, al decidir usar un trmino decido usar una descripcin, una versin desde tal descripcin el hecho de que el trmino sgnico gato posea una extensin el conjunto de los gatos, deviene o constituye una cuestin a priori, al decidir usar un trmino decido usar una descripcin, una versin , desde tal descripcin el hecho de que el trmino sgnico gato posea una extensin, el conjunto de los gatos, deviene o constituye una cuestin a priori. En la imagen realista metafsica la posibilidad misma de que existan una batera de

verdades a priori, sean o no contextuales, se defina o no como lmites directrices de pesquisas onto-semnticas, deviene posibilidad no-inteligible; segn Putnam tal imagen precisara Sea el celebrrimo enunciado

hablar de captacin directa de esencias o algo semejante.

ningn soltero esta casado, sera una convencin verbal afirmar la no-identidad entre tal enunciado y el enunciado ningn no-casado est casado o expresado de otro modo podra asertarse Todos los AB son A. asercin es verdadera. La cuestin planteada por Putnam sera cmo es que tal un realista

Supongamos que existen ciertos AB que no son A,

metafsico se niega a abandonar el que Todos los AB son A verdadera,

constituya una expresin

pero su preferencia de no abandonar la creencia no significa que tal deseo Si se concede la nocin convencin verbal a un realista metafsico, por ejemplo

constituya la verdad de esa afirmacin .

en el sentido de que sera un hecho verbal el que no nos referimos a situacin alguna en la yuxtaposicin conjunta de las situaciones representadas por las proposiciones p y q, en tanto tales representaciones entraen a la proposicin p y a la proposicin q de forma independiente, en tal caso p y q implica p sera verdadera como hecho verbal, verdadero por convencin, de idntica forma lo sera la expresin Todos los AB son A. Lo que enfatiza Putnam en tal situacin es que tal convencin posibilitara que p y q implica p deviniese analtica nicamente si existiese el caso y/o situacin que representan proposiciones. Sera ininteligible que fuera en s una convencin, el que exista un caso que contenga las propiedades de implicar p y tambin q, ms todas las situaciones que implique a p y a q de forma conjunta, de acuerdo con la imagen realista metafsica. Si creemos que la lgica de lo real puede representarse aceptando que Hay proposiciones incompatibles con las

9.

cualquier proposicin dada y que no `existe la negacin de una proposicin dada , tal ciencia supondra que la existencia de un complemento para una situacin dada sera falsa en tanto caso y/o hecho positivo, ningn hecho verbal estara en condiciones de mutar en verdadera tal situacin. Bajo la exgesis de Putnam, el realismo metafsico habra de estimar o el carcter emprico de la lgica, no solo en tanto su empiricidad nos permite su revisabilidad, sino tambin en el sentido de que la lgica este exenta de elementos convencionales, hasta tal punto que nuestra arraigado creencia en el hecho de que los enunciados es imposible que sean simultneamente verdaderos y falsos, se convierta, ni ms ni menos que en una creencia inductiva; o el realista habra de considerar una a-prioridad de la lgica en la que la nocin de convencin verbal no podra explicitar tal a priori. La propuesta de Putnam consiste en liquidar las pretensiones onto-semnticas realistas-duras, y dibujar un cuadro realista en sentido internalista. integramos en T nuestra teora ideal, Sea O una oracin que

su integracin se debe a que creemos que las

caractersticas de O son recomendables para T. O no convierte a T en una teora incoherente, y T cuenta al menos con un modelo. Teniendo en cuenta que tal modelo no puede

determinarse con independencia de T, T sera verdadera no solo en el modelo, desde la metateora sobre T, sino tambin en la batera de modelos admisibles sin olvidar que los trminos sgnicos de T carecen de referentes determinados. La oracin O ser verdadera, ser

analtica en tanto forma parte de la representacin y no de lo representado ( el contenido ) , tal oracin como opuesta a la realidad no puede ser falsa, en tanto lo real no es representable de forma independiente a nuestros modos de representacin. suponiendo que T sea incoherente, Como subraya Putnam, an

por ejemplo por el hecho de adscribir las condiciones

veritativas a las proposiciones de modo homogneo, tal incoherencia no constituira una objecin a la imagen esbozada por Putnam , porque tal adscripcin podra ser considerada como una retraduccin de las conectivas lgicas. Todos los AB son A, constituira una asercin verdadera sobre la realidad, hablamos de todas las clases A y B, pero sin contenido, tal posibilidad resulta ininteligible en el cuadro metafsico realista. Focalicemos nuestro comentario analtico sobre el argumento modelo terico presentado por Putnam en estas conferencias para intentar captar el alcance onto semntico

10.

de tal argumentacin sobre los posicionamientos realistas de factura metafsica. La estructura del argumento podra escrutarse trazando dos expresiones condicionales del siguiente tipo: A. Supuesta la verdad del realismo metafsico, existe la posibilidad de que nos encontremos instalados en una especie de alucinacin colectivo credencial. trminos, podramos ser cerebros encapsulados en artefactos, En otros

Putnam habla de tinas o

contenedores, y considerar que tal y cual es el caso cuando tal consideracin es en realidad falsa. B. Si tal posibilidad resulta ser relevante en la argumentacin, una proposicin cualquiera p podra estar verificada sera verdadera en sentido anti realista- y; sin embargo, sera falsa en sentido realista metafsico. La semntica modelista aplicada por Putnam en el tema que nos ocupa pretende confutar lo asertado en la apdosis de B; esto es, siendo T una teora idealizada ptimamente en trminos epistmicos, su verificacin positiva significa que tal teora es necesariamente verdadera. Si T es verdadera, la postura realista metafsica se torna ininteligible. La nocin de `verdad realista metafsica se entiende objetualmetne, objetualidad no dependiente de restricciones epistmicas ligables a cualquier teora, aunque esta se configure como una teora epistmicamente ideal; esto es, lo verificado, lo que se ha legitimado mediante tal o cual proceso verificatorio, lo que creemos que es verdadero, podra ser en realidad falso. El realista metafsico supone que la identidad defendida por el anti realista verdad = verificacin no es correcta. Podra suceder que una proposicin cualquiera p, no integrada en nuestro sistema epistmico, contase con un valor veritativo determinado. Lo real y lo cognoscible no son trminos co extensivos, el principio de cognoscibilidad no es contemplado desde el prisma metafsico-realista. El hecho epistmico de que una proposicin cualquiera p est verificada, sea verdadera epistmicamente, no entraa que p sea verdadera; esto es, que p sea un hecho objetivo verdadero, segn el realista metafsico. El anti realista en cambio define la nocin de `verdad ligada a una batera de constreimientos epistmicos dependientes del tipo de semntica ( anti realista) que se ejercite; por tano, ` p es verdadera si y solo si p es verificable, sera la tesis que modula el enfoque anti realista. Tal tesis entraa la defensa del principio de cognoscibilidad en el que la realidad se identifica con la capacidad subjetual de verificacin. No obstante, un realista metafsico podra aceptar la tesis

11.

anti realista, y seguir definiendo `verdad como el darse o no darse de los estados fcticos de p; la co extensionalidad objeto - lo que es justificable creer de acuerdo a nuestra batera de habilidades epistmicas no puede liquidar el litigio entre realismo y anti realismo; ms bien habra que interrogarse sobre el fundamento de tal co extensionalidad. La teora de Putnam constituye una teora de sentido anti realista- verificada en un hipottico lmite ideal, la correccin terica es fundamentalmente epistmica, tal estofa de la verdad anti realista parece no rozar la pureza objetual no epistmica de la verdad realista, los hechos siguen siendo independientes de nuestra intromisin subjetual en la realidad. Si una de las lecturas del argumento modelo terico fuera la falsedad como un hecho fctico sobre realismo metafsico, la estrategia anti realista sera auto refutativa, en tanto operara con una nocin de `verdad - verdad metafsica - que es precisamente la nocin que pretende liquidar. La argumentacin anti realista ha de operar desde sus propias leyes lgicas para confutar a su oponente, si su alegato pretende ser algo ms que un circulum vitiosus. Expuesto en pargrafo de otro exegeta: Del mismo como el realista no puede argumentar contra el anti realismo utilizando su semntica realista, y las leyes lgicas que valen con esta semntica, sin incurrir en flagrante peticin de principio, el anti realista no puede pretender refutar al realista presuponiendo de una manera implcita la validez de la semntica realista y de las leyes lgicas que funcionan con esta semntica sin que esta argumentacin resulte auto refutante para su proponente. Naturalmente, el anti-realista para una reductio de estas mismas nociones si muestra que son inconsistentes o llevan a resultados absurdos para ambas partes, pero debe hacerse notar que esta estructura argumentativa solo sirve al anti realista para rechazar el realismo, pero no para afirmar su propia postura. ( 1.- Alvarado Morambio , J. T.:`El argumento de la teora de modelos contra el realismo .Eunsa, Pamplona 2002, pg. 129 ). Las leyes lgicas intuicionistas aceptadas por el anti realista le impiden derivar la correccin de su postura de la refutacin ejecutada sobre la perspectiva realista, la

confutacin operada sobre la postura realista metafsica no entraa, desde la estructura lgico formal intuicionista, el que el anti realismo constituya el enfoque onto semntico verdadero. Habamos realizado dos afirmaciones sobre la estructura del argumento modelo terico de Putnam de 1976:

12.

A. La verdad del realismo metafsico est condicionada por la posibilidad de un error holstico en nuestra batera de creencias cientficas. B. La verdad del realismo metafsico est condicionada por la posibilidad de que una proposicin cualquiera p podra ser falsa. La posibilidad de que exista errores localizables en una teora epistmica ideal no se traduce en una refutacin de tal teora. La conjuncin lgico formal realismo metafsico y posibilidad de ser global; esto es, la necesidad de que toda proposicin verificada en el lmite ideal sea en realidad falsa, nos enfrenta a una conjuncin anti intuitiva interpretada en trminos de una semntica de posibilidades contrafcticas; esto es, si la conjuncin realismo metafsico - posibilidad de error global no se da en ningn mundo posible, el enfoque realista metafsico padece una mutacin de modalidad auto refutativa. Lo que creemos que est planteando Putnam es que aquello sobre lo cual nuestras capacidades verificatorias justifican su correccin epistmica, aquello - nuestra teora ms potente en el tiempo presente- puede ser falso en trminos de falsedad objetiva realista metafsica. Podra afirmarse que Putnam pretende demostrar la existencia de una proposicin implique su verdad en sentido realista metafsica. En tal relacin de implicacin juegan dos nociones de `verdad : En primer lugar, la verdad como lo que es ms justificable epistmicamente creer, postura verificacionista anti realista y; en segundo lugar, la verdad metafsica del realismo. La cuestin es que lo verificado , incluso entendido en el lmite ideal de la verificacin no implica lo verdadero , y lo que se propone Putnam es mostrar una teora T definida como verdadera en trminos de habilidades operacionales de verificacin es idntica a una teora T verdadera enel sentido realista metafsico. La teora epistmicamente ideal como teora verdadera anti realista verdadera en sentido realista que

entraa idear unos criterios de verificacin agrupables bajo los parmetros de sincrona y diacrona. Desde el prisma parametral sincrnico, una teora epistmicamente ideal ha de ser completa, consistente, adecuada empricamente, de utilidad operacional, bella, simple,

elegante y plausible. Tal batera de virtudes epistmicas han de ser ubicables histricamente en una zona temporal, de supuesta aproximacin paulatina a un lmite ideal de sentido peirceano; esta es la perspectiva de agrupacin diacrnica. La huella de Peirce puede apreciarse en esta nocin de `lmite ideal a la que alude Putnam en tanto ha de existir una

13.

teora cuya verdad se define como lmite ideal al que la comunidad cientfica se aproxima a lo largo de acaecimiento histrico de los saberes cientficos. No puede decidirse de forma

algortmica el tiempo que ha de emplearse en la labor de bsqueda de la verdad, concepto; por tanto, realista independiente de creencias en un tiempo dado, pero dependiente de un tiempo indefinido de investigacin en el que ulteriores resultados cientficos no podra confutar lo descubierto. En el realismo peirceano la verdad queda acotada a los marcos de investigacin epistmica entendidos como lmite ideal, pero lo real verdadero es independiente de tal o cual investigacin onto semntica concreta particular. La realidad entraa, su

penetrabilidad epistmica por algn sujeto, individual o colectivo, en tal acceso epistmico a la verdad no existen alteraciones posibles heredadas de una poca histrica particular o de un sujeto concreto, en la verificacin de una batera proposicional no juegan evidencias de tal o cual sujeto epistmico, pero la verdad como verificacin exige un principio de

cognoscibilidad no independiente de la evidencia poseible por un sujeto para acceder a tal realidad. La completud constituye uno de los caracteres de los que ha de disfrutar la teora de Putnam. Ha de recordarse que un sistema formal (natural o axiomtico) es una estructura sintctica, un continente formal sin contenidos, pero diseada con intenciones interpretativas, intenciones semnticas pesquisadas desde una zona metafsica. La investigacin meta

terica toma al sistema formal, holsticamente considerado, para someterlo a una serie de interrogantes meta tericos; esto es, las propiedades meta tericas no contexturan afirmaciones sobre el intrads del sistema deducibles en trminos de lgica formal sin ms, sino que expresan cmo se comporta el sistema, la conducta global del sistema, su extrads conductual como un todo, por as decirlo, tal extrads exige herramientas propias de la meta teora. Las propiedades meta tericas que nos interesan bosquejar son las siguientes: 1. La consistencia Esta propiedad meta - terica exige que un sistema formal no contenga contradiccin alguna. Si tal sistema formal se construye para formalizar teoras lgicas, la ausencia de contradiccin se muestra demostrando que las frmulas derivables en el sistema son verdades lgicas. En el mbito de los sistemas lgicos, la consistencia liga la derivabilidad sintctica con la verdad lgica semntica.

14.

2 . La completud. Un sistema formal es completo cuando tal sistema est capacitado para derivar desde su intrads las frmulas ligadas a verdades cientficas que el sistema tiene intencin de representar ( formalmente). La completud es la tesis meta - terica inversa a la tesis de consistencia. La consistencia meta terica entraa el que solo puedan deducirse verdades lgicas, la verdad lgica es condicin necesaria para la deducibilidad formal. La completud meta terica entraa la posibilidad de deduccin de la batera total de las verdades lgicas, la verdad lgico semntica es condicin suficiente para la deducibilidad formal sintctica. Consistencia y completud implican la coincidencia o equivalencia de las nociones de deducibilidad sintctica y de verdad semntica. En tal tesitura, la completud de una teora epistmicamente ideal supone una semntica pre establecida para las reglas de deduccin, lo cual parece mutar en irrelevante la asuncin de la completud como virtud epistmica. Tal propiedad ha de ser leda en clave sintctica para una teora epistmicamente ideal exonerada de lastres realistas metafsicos; esto es, un sistema tal ser completo si los postulados deductivos ( axiomas y reglas de deduccin), selectores de todas las proposiciones deducibles que constituyen el sistema, al presentar una proposicin no seleccionada por ellos, el sistema se torna inconsistente. La teora putnamiana tambin puede padecer ciertos sntomas realistas en otras propiedades epistmicas de la teora. Nos referimos a la prediccin correcta de las oraciones observacionales batera de asignaciones correctas de valores para todos lo predicados observacionalesy a la satisfaccin de los constreimientos y/o restricciones operativas. puesto que una restriccin Ambas nociones pueden tratarse de forma cuasi idntica,

operativa requiere una condicin experiencial concreto fenomnica ligada a cada una de las oraciones ( supuestamente observacionales) y una interpretacin pretendida en tanto una

oracin sea verdadera desde tal interpretacin, y la condicin fenomnica ligada se constituya como lo que es el caso. Los constreimientos operacionales co relacionan el darse de una

condicin experiencial con la verdad semntica de la oracin tal o cual de la teora; tal condicionamiento supone hablar de referencias o de una vinculacin deductiva o probabilstica condicin experiencia oracin (observacional) de la teora.

15.

Tales constreimientos entraaran que en la estructura del argumento modelo terico se admiten como verdaderas, sentido realista metafsico, una batera privilegiada onto epistmicamente de proposiciones. Tal batera supondra teir la argumentacin de

inconsistencia, la verdad de las oraciones (observacionales) ha de entenderse en trminos verificacionistas, con lo que la dificultad emana a la hora de enlazar la teora con la realidad; esto es, el maridaje teora epistmicamente ideal realidad se explicita mediante una batera de constreimientos operacionales en sentido verificacionista solo explicitables en trminos de coherencia interna, la estofa de idealidad parece azotar tal prisma anti realista en tanto no pretende ser inconsistente al integrar en su posicionamiento meta terico una batera de oraciones verdaderas en sentido realista. La teora de modelos es usada por Putnam para patentizar que una teora

epistmicamente ideal no puede ser falsa bajo la ptica del realismo metafsico. Tal teora es consistente, consta al menos de un modelo infinito, ha de buscarse un modelo de idntica ariedad y/o cardinalidad que el mundo, y ejecutar una operacin conjuntista biyectiva entre las porciones del modelo y las porciones de la realidad. epistmicamente ideal realista metafsico. Si tal sucede la teora

que hemos confeccionado es verdadera segn los parmetros del

En cuanto a la demostracin de la consistencia de un sistema formal axiomtico de lgica de primer orden L pueden ofrecerse dos modelos: El sintctico vertebrado en la idea de tautologicidad no es posible deducir de L un par de sentencias contradictorias S y no - S - y el modo alternativo semntico vertebrado en la idea de satisfacibilidad- L posee, al menos un modelo exento de contradiccin- . La teora T, la teora epistmicamente ideal de Putnam

precisa consistencia meta- terica y la posesin de un modelo infinito, presupone un L de primer orden con identidad y opera con el teorema gdeliano de completitud. Tal teorema podra expresarse de la siguiente forma: Para toda frmula T de L, si F es lgicamente verdadera, entonces F es deducible. Toda frmula F de L consistente, exenta de contradiccin posee un modelo denumerable dominio infinito biyectable con el conjunto de los nmeros naturales, el modelo- para frmulas consistentes de L sin identidad; y, para un dominio

16.

numerable-

un dominio denumerable o finito biyectable con subconjunto finito de los

nmeros naturales- en el caso de frmulas de L con identidad. En esta tesitura, el argumento modelo terico parecera afirmar la cuasi identidad consistencia verdad de una teora T, con lo cual las propiedades epistmicas ideales mas all del requisito meta terico de la consistencia y de la posesin de, al menos un modelo infinito, seran meras yuxtaposiciones irrelevantes. Afirmacin que gravita sobre

la relacin SAT de satisfaccin, recordmoslo en pargrafo putnamiano: `Proyectemos uno por uno, a los individuos de M sobre las porciones de El Mundo y utilicemos este mapa para definir las relaciones directas de M con el Mundo. El resultado es una relacin de satisfaccin SAT, una correspondencia entre los trminos de L y los conjuntos de prociones de El Mundo, de tal modo que la teora T1 se vuelve verdadera conr especto a el Mundo, siempre que interpretemos `verdadero como verdadero ( SAT) ... si en este caso SAT es una relacin

del mismo tipo lgico que `satisface , se supone que verdadero SAT estar definido en trminos de SAT exactamente como `verdadero est definido ( por Tarski) en trminos de `satisface . As `VERDADERO (SAT) es la propiedad de verdad determinada por la relacin SAT. (2.- Putnam, H. :`El significado y las ciencias sociales .Trad. A. I. Stellano. U.N.A.M. 1991, pgs. 144 ). El que la teora T de Putnam posea un modelo biyectable con la esfera de lo real no es el punto crucial del argumento, sino ms bien el cmo de que tal hecho sea la espina dorsal de la ligazn teora representacional ( representa) a el Mundo ( lo representado) El Mundo se considera como una estructura representable en trminos conjuntistas y semnticos modelistas, la mera biyectabilidad entre conjuntos de idntica ariedad no estara en condiciones de legitimar que la esfera objetual sea un homomorfismo biyectable que agota los universos; esto es que El Mundo consista en la estructura isomrfica que la teora

epistmicamente ideal sentencia que posee la realidad. Los realistas no se comprometen con una interpretacin ontolgica estructural de raigambre conjuntista, ni con un cors epistmico de cualquier tipologa, las propiedades y/o relaciones del mundo son pasibles de representacin, pero lo que se representa es

independiente de cualquier sistema representacional, de ah, su posibilidad de no coincidencia, no toda teora epistmica ideal ha de ser necesariamente verdadera. En el argumento de Putnam la lectura - interpretacin SAT de la Teora de idealidad epistmica ha de ser la

17.

interpretacin verdadera de nuestra maquinaria simblica;

esto es,

la representacin

interpretada de forma inequvoca, la interpretacin pretendida. La cuestin onto semntica problemtica anida en el hecho de que aunque la teora de modelos opere correctamente, la interpretacin atribuida a nuestros trminos lxicos puede ser indeseada o no pretendida, de acuerdo a las convicciones metafsicas del realista. En esta tesitura, arguye Putnam que la traduccin y/o interpretacin pretendida se fundamenta en el cumplimiento y/o satisfaccin de la batera de requerimientos operacionales y tericos regulados por el lmite ideal de investigacin en el sentido pragmatista peirceano. Los constreimientos operativos entraan la aceptacin de una batera sentencial como verdadera en tanto tal batera est capacitada para soportal tal y cual condicin experiencial. La interpretacin satisface tal y cual requerimiento operativo hilvanando elementos simblico tericos con elementos objetuales de tal forma que tales elementos tericos devienen verdaderos cuando y solo cuando se haya realizado en la teora tal y cual condicin experiencial fenomnica. En la operacin de hilvanado ha de suponerse una relacin de ligadura entre mundo teora, relacin que podra ser causal, referencial, probabilstica. Los constreimientos tericos aluden a restricciones meta tericas yuxtapuestas a la teora con el objetivo de reforzar las ligaduras onto semnticas que exige la interpretacin pretendida, dada la condicin fenomnica que hace verdadera tal y cual

sentencia terica; tales constreimientos operan con propiedades como la consistencia, por ejemplo. La cuasi identificacin interpretacin satisfaccin de la batera de requerimientos operacionales y tericos entraa la admisin de un conjunto de sentencias fenomnico observacionales, en sentido de una semntica naturalizada de corte realista metafsico, como verdaderos y una serie de restricciones tericas estipuladas como vlidas. Sucede que tal conjunto restrictivo se sita onto epistmicamente fuera de la teora epistmicamente ideal de Putnam, la batera de oraciones observacionales verdaderas existe antes, y con independencia, de la teora y las restricciones tericas con exigencias sobre la teora, no de la teora, sino de la conducta meta terica apropiada exigible a la teora considerada holsticamente. Desde este prisma, la teora ideal validada en sentido

18.

pragmtico peirceano presupone un conjunto restriccional no perteneciente al marco terico, que muta la teora en no ideal puesto que necesita un auxilio meta terico. Sucede que interpretacin SAT es la interpretacin pretendida; esto es, el hecho del cumplimiento de la batera restriccional operacional terica, y tal suceso para su darse necesita un fundamento que legitime el que nuestra interpretacin SAT es verdadera. Putnam se escuda en la nocin intuitiva e informal de `significado extensional de un trmino terico. En la ejecucin selectiva de las interpretaciones de una teora , Putnam esta jugando con la nocin de `referencia , lo que ha de explicitarse; por tanto, es la seleccin- referencia de las expresiones tericas. Una cadena de marcas y ruidos como `el gato est al lado de la pecera , fija su referencia y/o su interpretacin pretenda si se d la condicin experiencial, la facticidad posicional `estar al lado de , `gato se refiere al conjunto de los gatos y `pecera se refiere a peceras ( lo cual no es sino el cumplimiento restriccional operativa), que verifica la correccin de la expresin; y si se da un conjunto restriccional no fenomnico, sino epistmico que muta en verdadera la expresin antedicha ( lo cual constituye la satisfaccin del conjunto de propiedades y/o virtudes epistmicos e la teora). El criterio de Putnam para explicitar como se acota la interpretacin pretendida supone una determinacin extensional de los trminos tericos afincada en un extrads a la teora ideal, la batera constrictiva es meta - terica, incapaz de donar las condiciones de fijacin extensional de los trminos tericos en tanto un conjunto referencial est

previamente presupuesto, los elementos tericos precisan cierta determinacin extensional para poder siquiera mencionar los requerimientos operacionales y tericos, la circularidad argumental es fcilmente apreciable. Si bien el objetivo inicial del argumento modelo terico de Putnam pareca una refutacin lgica deductiva de los posicionamientos de factura realista metafsica, el inters podra gravitar , ms bien, en patentizar la falta de coherencia de tal postura centralizando el enfoque de la argumentacin en una especie de reductia ad absurdum colegido desde sus asunciones onto semnticas. La teora de modelos muestra no solo que la teora ideal epistmica es verdadera, en sentido realista, sino tambin que cualquier marco terico que sea consistente y posea un modelo infinito es idnticamente verdadero. Tal corolario de la argumentacin modelista resita el problema onto semntico y onto epistmico en la

19.

indeterminacin extensional de nuestros trminos tericos; la fijacin de la referencia precisa ser pesquisada mediante una teora causalreferencial-probabilstica adicionada a un marco terico , ya sea entendido en trminos realistas-fisicistas o en trminos de un realismo emprico-verificacionista y/o realista intermo-pragmatista. Tal aditamento meta-terico , no podr explicitar las condiciones de determinacin extensional de una teora presuponiendo que sus elementos meta-tericos se encuentren pre-fijados representacionalmente , porque si as operase sucumbira a la paradoja bautuzada como la `maniobra de ms teora ( cul es la referencia de los trminos meta-tericos y cmo han sido fijados ). La solucin platnica no es contemplada por Putnam , no cree en la inteligibilidad de resucitar capacidades como la Noesis o la Dianoia para acceder de forma directa a las entidades lgico-formales y cientficas ( por cierto , el neo-platonismo contemporneo puede rastrearse en autores como D. Lewis o B. Williams por citar a los generales de las cuasi legiones que conforman tan desafortunada y desalentadora conducta de orientarse por la realidad ). AVE ATQUE VALE.