PUTNAM

Y SU PROPUESTA

FUNCINALISTA

COMO

FORMA

DE

SUPERVIVENCIA DEL REALISMO CIENTFICO.( Conferencias Whidden: 1987 ).

Lisardo San Bruno de la Cruz .

Durante la dcada de los sesenta, fundamentalmente, Putnam juntamente con Fodor,

co-edifica,

la llamada versin funcionalista (gnero que subsume especies y

sub-especies de cognitivismos en psicologa) en el mbito de la filosofa de la mente. De acuerdo con este enfoque, los estados psicolgicos tipo creo que hay muchas iglesias en Viena, deseo que gane la apuesta Smith, considero el cuerpo esfrico de una gallina como masa despreciable ... quedaran redefinidos en trminos de estados de mquina de Turing; la descripcin de un estado mental en trminos de un autmata finito de Turing fue posteriormente reelaborada por Putnam de acuerdo con su `nocin de autmata

probabilstico, pero Putnam se cercior que, tanto una descripcin como otra, no podran representar de forma perspicua trminos y creencias eludiendo mencionar la notoria influencia del entorno socio-ambiental a la hora de determinar, fijar, individualizar un conjunto conceptual o una batera credencial. Expresiones proferenciales del tipo prefiero no jugar al ajedrez o creemos que existen demasiados robos en nuestra comunidad no pueden ser explicitados en trminos de estados computacionales y/o estados neuro - cerebrales. Como corolario de esta asuncin, Putnam argumenta que tampoco el funcionalismo, en tanto a estados neuro-funcionales, puede ser

pretensin reductiva de actitudes proposicionales

vlida; Putnam fue consciente en su poca funcionalista ( una patologa reductiva por la que todo pensador de `casta ha de habrselas ) de que una actitud proposicional del tipo creemos que hay muchos robos en nuestra comunidad no puede ser identificada con tales y cuales estados neuro - cerebrales en el propio lxico de tales estados neuro cerebrales y/o computacionales. Es innegable que nos auto percibimos pensando en tal o cual creencia, desde la perspectiva fenomenolgica es naturalmente obvio que nos concebimos pensando que P, creyendo que P, prefiriendo que P .... Segn Putnam, en el momento mismo que saltamos del mbito fenomenolgico y trazamos interrogantes del tipo Se encuentran en el mismo estado psicolgico todos los hablantes que comparten un lxico vernculo u otro distinto cuando creen que P? empiezan a emanar las perplejidades de carcter filosfico. A partir de este interrogante estamos empecinados en buscar un substratum ms bsico en el que nuestro discurso intencional quede subsumido bajo los trminos preferidos de nuestra teora cientfica 1

preferida. El enfoque funcionalista fue poco a poco sofisticndose hasta construir una versin socio - funcional en el cual el estado computacional habra de marcar el contexto fsico apropiado en el que se encuentra el sujeto. La versin socio - funcionalista de la concepcin funcionalista, de acuerdo con Putnam, habra reconstruido la nocin de estado computacional de tal forma que fuera capaz de integrar las contribuciones externas socio ambientales. En este espacio - tiempo de la argumentacin, Putnam se escuda en el hecho del descuento de diferencias en el sistema credencial como pieza vertebral confutativa del internalismo semntico, descontar las diferencias de creencia supone que interpretar el lxico de una actor ha de enmarcarse en un conjunto condicional, holsticamente considerado, del actor que hemos de interpretar; sin embargo, en la prctica de traduccin el sistema credencial del interpretado y el sistema credencial del intrprete no pueden identificarse. En las

prcticas ordinarias de traduccin y/o interpretacin operamos desde nuestra batera criterial desde lo que consideramos razonable aceptar, sucede que las creencias asociadas a algn trmino por parte del interpretado y las creencias asociadas a idntico trmino por parte del intrprete pueden resultar altamente desemejantes y; sin embargo, consideramos que resulta correcto asertar que ambos trminos son sinnimos. Lo que el mismo Putnam pretendi reconstruir y/o formalizar en trminos funcionales fue el repertorio de criterios intuitivos de razonabilidad a la hora de explicitar trminos semnticos como sinonimia y/o co-referencialidad. Tal pretensin reconstruccin de nociones semnticas como sinonimia y/o de co-referencialidad

entraara ejecutar una analtica global de toda la naturaleza humana, el mero hecho de traducir el trmino sgnico ingls cat por el trmino sgnico castellano gato, entraa de forma conjugada descontar las diferencias de creencia en la atribucin de significado a las representaciones de un hablante ingls y descontar las diferencias de creencias en la atribucin de significado a las representaciones de un hablante castellano. La nocin semntica de sinonimia en la prctica muestra su irreductibilidad al ser analizada en trminos funcionalistas, admitida tal imposibilidad reductiva de los trminos semnticos en trminos funcionales ,Putnam describe el siguiente paso del funcionalismo que consisti en defender una posible reduccin de tales trminos en trminos de propiedades y/o relaciones fsicas cum computacionales. Identidades inter - tericas del tipo la luz es cierta longitud de onda 2

electromagntica serviran de ejemplo gua para las nuevas pesquisas de carcter funcionalista. Putnam aduce que afirmaciones del tipo la luz es cierta longitud de onda electromagntica no solo ha de entenderse que la magnitud luz y la magnitud longitud de onda electromagntica sean simplemente parmetros co-extensivos, -la nocin de identidad co-extensional ha de interpretarse en este contexto como identidad de valor numrico en las mediciones ejecutadas desde una mtrica especfica para ambas magnitudesparmetros fsicos podran ser

no-idnticos co-extensivos siempre que quedasen subsumidos bajo una

generalizacin y/ o ley fsica que los hiciese corresponder de forma biunvoca. Putnam aduce que incluso ambas magnitudes podran ser co-extensivas de forma contingencial, suponiendo; por ejemplo, casos en los que la investigacin cientfica no se hubiera apercibido de situaciones empricas-metrizables posibles no estandarizadas en las que los valores numricos medios entre magnitudes identificadas no se adecuasen a las mediciones estipuladas como normales.

La magnitud reducida ` luz a la magnitud reductora `cierta longitud de onda electromagntica supone, de acuerdo con las alegaciones de Putnam, asumir tres aseveraciones: en primer lugar, la correlacin establecida entre ambas magnitudes est

gobernada por una ley de la naturaleza, lo que entraa que no existe ningn contexto fsicamente posible en el que la luz no pueda ser medida de forma conveniente como una cierta longitud de onda electromagntica; en segundo lugar, la luz en cuanto fenmeno real no reducido an exhibira aproximadamente las mismas leyes que la magnitud cierta longitud de onda electromagntica, en este sentido de reduccin entre ambas magnitudes se da una relacin co-relacional semejante a una ley, una magnitud es funcin de otra; en tercer lugar, la magnitud fsica reductora muestra una potencia explicativa y predictiva mayor que la magnitud fsica reducida, en este caso la magnitud `luz es reducida a cierta longitud de onda electromagntica. Tales asertos sobre la nocin de reduccin pueden ser transportados, extendidos o aplicados a la nocin de referencia, con lo cual una magnitud como alguna relacin fsico - computacional especificable sobre el entorno del organismo jugara el rol de magnitud reductora de la magnitud a reducir la nocin de referencia cuando y solo cuando se dieran 3

las siguientes restricciones: en primer lugar, la magnitud referencia y la magnitud relacin computacional definida en trminos socio - funcionales habran de ser co-extensivas en todas las situaciones contextuales fsicamente posibles; en segundo lugar, la magnitud referencia, fenomenolgicamente considerada en tanto no reducida, cumplira de forma aproximada aquellas leyes que cumple la magnitud reductora, la relacin-fsico computacional definida en trminos socio-ambientales; en tercer lugar, la magnitud reductora, la relacin fsico-

computacional, explicitara ms potentemente, en tanto capacidad de prediccin y exitosidad en tal prediccin, los eventos conceptuales que pretende subsumir la magnitud reducida, la referencia. Putnam observa que el mero cumplimiento del primer caso es irrelevante, en cada contexto situacional fsicamente posible en que un organismo hace referencia podramos correlacionar alguna relacin - fsico computacional que describiese de forma unvoca tal situacin. La expresin en principio podra analizarse segn Putnam de la siguiente forma: partiendo del supuesto de que una disyuncin infinita de propiedades fsico - computacionales fuese a su vez una propiedad fsico - computacional estaramos en condiciones de identificar las situaciones en las que los hablantes y/o organismos fsicamente posibles ejecutan una funcin referencial. Bajo tal situacin, se ejecutan dos actividades de seleccin en las que sea posible trazar correspondencias biunvocas entre una propiedad fsico y/ o computacional y entre una propiedad situacional y/o contextual. Desde tal seleccin se posibilita la

construccin de una disyuncin infinita de tales propiedades ligando restricciones especficas que hagan validar un elemento situacional con un elemento referencial. Supongamos que Oe representa un grupo de organismos en su entorno socio ambiental, supongamos que e minscula representa cualquier trmino sgnico usado por el organismo, supongamos que q representa el mbito objetual al que se refiere la expresin sgnica y supongamos que Pf-c representa una propiedad fsico computacional caracterstica. Bajo tales supuestos de pseudo- formalizacin tendramos la siguiente definicin: Definicin P se refiere a q = hay y/o existe un Oe y q son elementos de Oe y la siguiente lista de disyunciones, probablemente infinita, es verdadera: Primer caso, Oe y P es la expresin sgnica tiza que est en la relacin Pf-c1 con Oe y q es el conjunto de las tizas; o segundo caso Oe y 4

P es la expresin sgnica peridico que est en la relacin Pf-c2 con Oe y q es el conjunto de los peridicos; o tres Oe ... on Ot ... en un En el primer caso, la disyuncin representa la propiedad que identifica

contexto situacional la relacin de referencia en trminos fsico - computacionales que hace corresponder la expresin sgnica tiza con el conjunto de objetos a los que se refiere. Todos los disyuntos construidos tendran una lectura especfica para su caso particular, como Putnam aduce, lo nico que acabamos de mostrar es una lista infinita mbitos referenciales acotados correspondidos con alguna situacin contextual, lo que no hemos vertido es una autntica

reduccin. De acuerdo con lo explicitado anteriormente, una enumeracin infinita como la dibujada, no reconstruible a travs de una regla finita, no puede figurar como una ley cientfica, la propiedad y/o relacin reductora ha de ser capaz de expresar, definir definir, tal y como lo concibe Putnam en estos pargrafos, ha de entenderse en el sentido intuitivo de una definicin edificada con una batera sgnica finita- o representar la propiedad y/relacin reducida mediante definiciones explcitamente finitas. El sentido de las alegaciones de Putnam es patentizar una analoga con respecto a los antiguos fenomenalistas tipo Carnap, su pretensin fue reducir el lxico sobre objetos fsicos a un lxico infinito de sense data, la potente objecin que se les plante era anloga a la que ha realizado Putnam a los funcionalistas. Si el enfoque fenomenalista no es capaz de redefinir la traduccin de longitud infinita cuestiones relativas a la a una regla finitamente expresable, todas las

reduccin inter - terica carecan de sentido. El propio Carnap

contribuy a mostrar argumentos en la imposibilidad de traduccin del lxico sobre objetos fsicos al lxico de los sense data o qualia o datos sensibles, como Putnam observa de forma anloga, si resulta imposible construir una regla de carcter finito en la que la relacin de referencia queda traducida y/o reducida a una relacin fsico cum computacional, una mera lista de disyuntos infinitos no puede considerarse una verdadera definicin cientfica de la nocin de referencia. La inviabilidad del estado computacional nico, actitud proposicional, especifica reducida y / o identificada con un nico estado computacional independientemente del sujeto portador de tal actitud proposicional sirve para mostrar tambin que otras versiones posiblemente ms sofisticadas del funcionalismo tampoco funcionan; esto es, confutar el 5

enfoque de estado nico significara confutar los enfoques de estado computacional debidamente refinados. Putnam describe un estado computacional debidamente sofisticado mediante el siguiente modelo: partamos de un sistema de procesamiento de informacin, tal sistema est capacitado para especificar, determinar o fijar la conducta del sistema en un contexto especfico a travs de una funcin de preferencia racional y de un nivel de verificativa aplicado a su lxico formalizado. La funcin conjugada gradacin

de los grados de

confirmacin y/o verificacin, y aplicacin de la funcin de preferencia racional permitiran al sistema ejecutar algunas distinciones semnticas: adquisicin de nuevos trminos, estipulacin de subndices al mismo trmino sgnico para hablar de distintas referencias u otros formalismos funcionalmente equivalentes que permitan al sistema reconocer la

adquisicin de un nuevo trmino y que posibilite determinar al sistema distingos extensionales del mismo trmino sgnico. Segn Putnam, la mtrica de probabilidad subjetiva diseada sobre la experiencia de acuerdo con una preferencia funcional de carcter electivo, estara condenada a no poder realizar una distincin semntica dentro del propio modelo ideado, en la que idnticos

trminos sgnicos proferidos por dos hablantes diferentes puedan quedar identificados como teniendo idntico significado; esto es, la relacin de sinonima quedara inescrutada o indeterminada. Podra intentarse resolver el problema anterior acuando una batera de oraciones analticas, esto es, estipuladas como tales dentro del lenguaje formal del modelo presentado. Putnam aduce que, aun cuando dos enunciados sean considerados como analticos por dos especies distintas biolgicamente posibles o por dos organismos que comparten el mismo lenguaje vernculo, necesitaramos poseer un criterio de sinonimia para asegurar que estamos atribuyendo el mismo significado a tales oraciones, o a ciertos trminos que componen tales oraciones. La nica solucin posible sera que postulsemos la existencia de un conjunto de trminos innatos, sense data biolgicamente innatos, desde los cuales se pudiese vertebrar una definicin de analiticidad que compartiese la misma especie, en este caso la especie humana. Como advierte Putnam , siguiendo a Quine, las argumentaciones de Duhem- Quine sobre el holismo de significado impiden que tal solucin sea vlida. Putnam se vale del trmino 6

funcionario en un rgimen monrquico y en un rgimen democrtico, en el que el trmino funcionario tendra un significado idntico o cuasi - idntico para los hablantes sometidos a las distintas formas de gobierno, pero las oraciones analticas estipuladas sobre tales trminos no coincidiran, seran diferentes; Supongamos, por ejemplo, siguiendo alguna de las pautas cautelares a la Carnap, que informo a mis pares culturales de la existencia de una batera oracional analtica en la representacin vertida de un lxico lgico-formal estipulado. Imaginemos que un elemento oracional de ese grupo afirma Los reyes gobiernan por la gracia de Dios. De la estipulacin de la mera analiticidad de este enunciado aseverativo no se deduce que para dos agentes racionales distintos posea idntico significado; para poder

ejecutar tal asercin deberamos disponer de criterios de sinonimia que nos permitiesen decidir si los trminos sgnicos empleados en la oracin se usan, se entienden de forma anloga o, aproximadamente, anloga por dos agentes racionales distintos. Por cierto, la analiticidad de tal enunciado mutara en rey a Franco, por no hablar de las posibles ilaciones que ligaramos a la expresin sgnica Dios, donador de gracias marcado histrico polticamente como incorrecto, desde nuestro marco de enjuiciamiento. Podramos argumentar, tambin, que ciertos trminos sgnicos integrantes de una aseveracin seran entendidos de forma cuasi idntica por dos agentes racionales distintos, aunque un conjunto de oraciones del sistema no fueran caracterizadas en trminos analticos por uno de ellos. Por usar el ejemplo de Putnam: ... para el que vive en una monarqua, la oracin `las personas elegidas por el rey para ocupar altos
cargos son funcionarios pblicos puede formar parte de un repertorio de oraciones analticas; en cambio, para quien est familiarizado con presidentes y no con reyes, las oraciones analticas de su lenguaje sobre funcionarios pblicos sern distintas; no obstante, esto no constituye diferencia alguna en el significado de `funcionario pblico (1).

El propio Quine observ, con su famoso ejemplo de gavagay, que el problema con la relacin semntica de sinonimia existe incluso en el mbito de los presuntos sense data observacionales. Gavagay sera perfectamente traducible por conejo en castellano, pero, segn comenta Putnam, incluso lingistas expertos no sabran decir si el trmino se refiere a conejo o conejidad, es decir, en tal lenguaje la traduccin correspondiente del sustantivo comn gato no sera diferenciable del trmino singular abstracto correspondiente, algo as

como la gateidad. Acotado el problema dentro del mbito de los trminos observacionales, la 7

identidad de significado estimulativo o la nocin de identidad de significado analtico no puede interpretarse como condicin necesaria para hablar de sinonimia, es perfectamente posible que hablantes de distintos lxicos vernculos generen un significado estimulativo distinto. La no identidad de significado estimulativo no nos impedira realizar la labor ordinaria de traduccin. Dado el tipo de modelo para la capacidad lingstica ilustrado por Putnam, afirmar que se ha identificado, que se ha aislado un estado fsico - computacional comn en todos los mbitos situacionales en que dos organismos creen que P, compartan o no el mismo lxico natural, capacidad lingstica de deviene en un modelo inviable; acotando el modelo para la

una misma especie como el ser humano, tampoco estaramos en

condiciones de defender una organizacin funcional idntica en todos los miembros de esa especie. Los tejidos neurales humanos varan cuasi de forma individual; en tal tesitura

podramos hablar de competencia cerebral a la cual todos los miembros de la misma especie tenderan, tendramos una batera de competencias idnticas de los miembros de la misma especie que identificaran los estados computacionales posibles relevantes. No obstante, como afirma Putnam, el espacio acotado de estados competencias supuestamente idnticas de los computacionales, de acuerdo con las nos

tejidos neurales de la misma especie,

impedira extrapolar nuestra modelizacin de competencia neural al espacio de bateras de estados computacionales relevantes posibles a integrantes de especies distintas, no hay identidad de espacio de bateras computacionales, ni argumentos para defender alguna forma de encaje entre espacios de especies distintas En nuestro modelo la funcin que calcula los grados de confirmacin y/o verificacin, en trminos de Putnam la fijacin de creencias, y en trminos del modelo tipo Carnap-Reinchenbach, la funcin C o la lgica inductiva, exhibiran un gran abanico de posibilidades para sus topologas inductivas, aunque previamente hayamos establecido lo que aceptamos como una especie razonablemente ideal. Supongamos con Putnam que la definicin de especie idealmente racional no supone ningn problema, la batera de lgicas inductivas posibles impediran que pudiramos construir un parmetro de precaucin idntico en toda la lgica inductiva; lgicas inductivas desemejantes generan probabilidades a priori desemejantes, aprender de la experiencia que todos los cisnes son blancos, por ejemplo, o la realizacin de cualquier generalizacin inductiva, entraara calcular probabilidades a priori 8

antes de la propia consideracin de la cantidad de muestras observadas de tal o cual objeto; adems los parmetros de precaucin diseados son vlidos en el interior de su lgica

inductiva, tambin no hemos de olvidar que hablamos de todos los organismos fsicamente posibles en todos los contextos situacionales fsicamente posibles. Bajo tal asuncin, la lucha por la supervivencia de las especies, fcticamente en marcha, reducira el abanico de especies posibles, pero tal reduccin en la variedad posible de las especies no cuenta en la mostracin de la validez de tales modelos. Los lmures, por ejemplo, son fsiles vivientes, su parmetro de precaucin est estancado o cuasi estancado, no tienen depredadores naturales. Una vez ms Putnam nos recuerda el condicionamiento del entorno externo ambiental y la posibilidad de que predicados no atrincherados al estilo de Goodman como verdul, un objeto es verdul si y solo si es verde antes del tiempo T y azul despus de T, podran configurar una lgica inductiva para una especie diferente a la nuestra sumamente adaptativa dependiendo de las contingencias de su entorno particular. Consecuentemente ,el parmetro de precaucin introducido en un modelo computacional habra de ser altamente desemejante al de nuestra especie o cualquier otra especie. Hablemos del formalismo de la mquina de Turing o del formalismo del autmata finito probabilstico del propio Putnam. Existiran incluso problemas de traduccin entre estados de mquina y reglas de transicin de mquina entre un formalismo y otro formalismo diferente, aunque al hecho de la imposibilidad de identificar un estado computacional nico y un estado computacional sofisticado debe agregarse que la especie humana es un organismo que no se adecua a lo que se ha definido como una especie idealmente racional, por ejemplo, en trminos de la teora de la decisin. En tal teora lgico-formal, se supone que el sujeto decisorio se orienta hacia una batera de propsitos representables en trminos de maximizacin de la utilidad esperada o en trminos de gradacin relativo-preferencial; ahora bien, tales trminos no son concebidos como comparables de forma directa entre dos preferidores racionales distintos-. Las conductas aparentemente no racionales y/o irracionales dentro de tal contexto definicional incluso pueden ser adaptativas para esa especie y para ese contexto ambiental particular, estaramos ante una batera de juicios, preferencias o decisiones no racionales especficos de una especie y de un entorno particular que debera; no obstante, ser reconstruidas y re-descritas en trminos del estado computacional de esa especie. 9

Sintetizando lo que hasta ahora hemos analizado, el funcionalismo que defiende un estado computacional nico para cada actitud proposicional en la misma especie o en especies diferentes fsicamente posibles, resulta ininteligible, a los ojos de Putnam, la posibilidad de traduccin de una actitud proposicional como la creencia de que los seres humanos tienen grandes potencialidades basndonos en conductas similares ejecutadas en entornos similares, no nos posibilita identificar idntico espacio de estado computacional. El temor de un pariente oriental de que la civilizacin caiga en una nueva poca oscura y nuestro temor de que la civilizacin pueda caer en una nueva poca oscura son temores perfectamente traducibles y aunque su forma de argumentar sea similaridad argumental idntica o cuasi idntica, tal traducibilidad o tal

no entraa que podamos postular un algoritmo, una prueba de

decisin idntica en ambas actitudes proposicionales. Creer que los nios son maravillosos no es definible mediante un estado fsico idntico representado por una lista de disyunciones infinitas en la cual todos los seres humanos que crean eso hayan de estar y/o patentizar. Sustituir y o conjugar fsico y/o computacional no ayuda, de acuerdo con la perspectiva de Putnam, ante el hecho de que tales modelos funcionales o socio - funcionales lleven

aparejadas incorrecciones onto-semnticas y/u onto -epistmicas. Las dificultades semnticas inscritas en el enfoque funcional de estado computacional nico, dificultades de las que

fueron conscientes los propios defensores del funcionalismo, sirvieron como principios rectores para confeccionar una versin funcionalista de alta estofa semntica que pudiese triturar las objeciones planteadas a la primera e ingenua versin del funcionalismo. Una teora funcionalista con tales pretensiones, como aduce Putnam, habra de vertebrarse en un formalismo computacional que fuese capaz de describir la nocin de estado computacional. Putnam mismo fue atrado por el formalismo de la mquina de Turing, diferentes mquinas de Turing dotadas de diferentes toponimias regionales de estados de mquina, eran susceptibles de ser representadas en trminos lgico - formales construyendo una relacin que conectase la totalidad de maquinas de Turing y las regiones especficas de estados de mquina. Tal asuncin presupona una nocin de computabilidad capaz de definir una batera de predicados interconectados de mltiples formas con regiones - espacio de estados de mquina diferentes. De acuerdo con Putnam, ideado tal modelo como base de una teora computacional, 10

510

los posibles modelos confeccionables heredaran o quedaran lastrados con las ventajas o inconvenientes onto - semnticos del primer modelo. Veamos lo que sucede, juntamente con Putnam, con la nocin semntica de `sinonima. Para la traduccin de un trmino sgnico del lxico ingls cat por el trmino sgnico gato del lxico castellano habramos de interrogarnos sobre cuestiones tales como: en primer lugar, si cat y gato tienen una extensin aproximadamente comn; en segundo lugar, tal posible identidad aproximada de los trminos entraa pesquisar datos expertos sobre las circunstancias socio-ambientales en que se vierten ambos trminos. Putnam enfatiza el hecho de que antes de considerar sinnimos estos trminos habramos de consultar ciertas cuestiones relativas a la micro-estructura, a la biologa evolutiva del ejemplar cat, gato, en sus

respectivas comunidades as como tambin las disposiciones a utilizar estas expresiones de los miembros de la comunidad en su entorno. Redefinamos ahora el supuesto en el caso de que furamos perspicuamente representables como mquinas de Turing, esquemticamente expresado la tesis funcionalista quedara como sigue: el trmino sgnico cat ca1 vertido en el contexto sea C1, sera sinnimo del trmino sgnico cat ca2 tal como fue vertido en el contexto C2, tal relacin de sinonima habra de ser descrita a travs de un predicado que la mquina de Turing pueda computar. El primer candidato para describir y/o reducir tal

relacin de sinonimia podra ser un predicado recursivo, partiendo de la tesis de Church toda funcin efectivamente computable es computable por recurrencia, - recurdese : efectivamente computable ha de interpretarse como que tenemos un procedimiento rutinario para especificar en tiempo finito el egreso o salida de una funcin correspondiente a una determinada entrada o ingreso; y, computable por recurrencia o recursivamente computable ha de entenderse como estipuladas una batera finita de operaciones aplicables a una entrada dada que aplicadas reiteradamente a las salidas de s misma generan en tiempo finito la salida final de la funcin. Putnam mismo tambin acua e introduce otro candidato: el predicado de ensayo y error. En sus propios trminos:.. esos predicados (nocin de predicado de ensayo y error) son
lmites de los predicados recursivos, su uso es posible si aceptamos que no se puede saber cuando la propia estimacin del valor del predicado converge, sino solamente saber que converger temprano (2). 11 tarde o

511

Putnam arguye que en este enfoque no es necesario asumir mquinas idnticas, lo que se pretende establecer es la existencia de una relacin R o relacin de co-referencia y/o equivalencia que ligase semnticamente la proferencia C1 en el contexto situacional P1 con la expresin C2 vertida en el contexto socio - ambiental P2. En tal caso estados de mquina diferentes y sus componentes situacionales asociados estaran identificados y / o definidos mediante idntica clase de equivalencia, tal equivalencia podra serlo respecto de una relacin aritmtica. Sobre este matiz Putnam puntualiza los siguiente Las relaciones aritmticas son
relaciones en los niveles finitos de la jerarqua de Kleene, son definibles usando cuantificadores sobre nmeros naturales y no cuantificadores sobre conjunto de nmeros naturales, los predicados de ensayo y error, los predicados recursivos y los predicados recursivamente numerables son todos aritmticos en este sentido (3).

Recapitulando : podramos aseverar que la nocin estado conviccional idntico de los hablantes queda sustituida por identidad de alguna clase de equivalencia que pueda definirse en trminos computables y/o en trminos del lxico de la ciencia fsica. Partamos del siguiente supuesto: el lxico experto acredita que el trmino cat ingls y el trmino castellano gato corresponden ms o menos aproximadamente al ejemplar biolgico de distintas tipologas de felinos domsticos, an as no estaramos en condiciones de garantizar que la extensin de ambos trminos sea idntica, contra-fcticamente considerado las ontologas regionales de un hablante ingls y un hablante castellano podran variar. Putnam cita como ejemplo que el trmino cat utilizado por un hablante ingls podra significar gateidad, siguiendo el ejemplo quineano, o segmento de gato, o uno u otro, lo que Putnam subraya es que, una vez ms, estamos ante el holismo de significado de Duhem- Quine. A la hora de traducir y/o interpretar, hemos de tomar los lxicos de forma global, considerarlos de forma holstica, si en alguna de mis emisiones aseverativas utilizo la nocin lgica` Lambda el resto de los contertulios tendra que ser co-partcipe de algn conocimiento sobre la obra de Church. Tales alegaciones llevan a Putnam a formular dos objeciones a este nuevo enfoque de estofa funcionalista: primera objecin, es marcos conceptuales distintos pueden trivial asertar que dos trminos incrustados en ser co-referentes, partamos de la siguiente

situacin, obviamente contra-fctica, tratamos de interpretar el trmino T1 en un contexto alieno C1, y otro contexto terico T2 en un contexto alieno C2, Putnam habla de venusianos y marcianos 12

512

pero en regiones menos contra-fcticamente consideradas, como Castilla y Andaluca, la situacin sera idntica o cuasi - idntica. Como traductores externos a ambos entornos de uso de los conceptos tericos, disimilitudes credenciales en ambos contextos no podran interpretarse como una diferencia en el significado, siempre y cuando exista similaridad entre ambos esquemas conceptuales y las regiones contra-fcticas en las que se vierten tales trminos son aproximadamente similares o permiten juzgar que ambos trminos son co-referentes; de acuerdo con Putnam, en tal situacin contra-fctica el problema de la sinonimia se re-describe o se replantea en trminos de co-referencia, habramos de poder contestar a interrogantes tales como cul es la referencia de tal tem conceptual en tal contexto, y cul es la diferencia de tal tem conceptual en tal contexto diferente; esto es, deberamos estar en condiciones de ser capaces de reconocer en qu interpretaciones los esquemas conceptuales que soportan tales trminos son aproximadamente idnticos. Putnam percibe que la yuxtaposicin de la clusula en principio tampoco sirve para aclarar la objecin que est planteando; a saber, desde qu lugar, desde qu regin podramos interpretar que un trmino terico de una cultura aliena y un trmino terico de otra cultura aliena seran co-referenciales, aunque furamos seres omniscientes y aunque recurrisemos al concepto de Dios mismo, es una falacia suponer que, en principio, un repertorio de reglas fsico - computacionales sean capaces de identificar y/o definir la referencia de un trmino vertido en un contexto socio - ambiental especificado, para poder ejecutar tal descripcin y/o identificacin el entorno habra de extenderse hasta abarcar la nocin de Cosmos. La segunda objecin de Putnam subraya el hecho de que en la definicin terica de co-referencia y/o sinonimia se precisa ejecutar una analtica de la totalidad de todos los lgica lambda de

esquemas conceptales posibles. Por no comentar el propio ejemplo contra-fctico de Putnam, podramos continuar nuestra ejemplificacin de la nocin Church.

Supongamos que la lgica lambda de Church tiene alguna aplicacin para formalizar alguna de las tesis de la mecnica cuntica, recordemos que es un supuesto contra-fctico. Un

formalismo computacional como el descrito debera estar en condiciones de garantizar y/o justificar mediante un proceso de decisin definido o algoritmo que un trmino terico formalizado o cuasi formalizado de nuestra fsica terrestre fuera co-referente a otro trmino terico cuasi formalizado o debidamente formalizado de la ciencia fsica en contextos no13

513

terrqueos. Pretender decidir sobre tal co-referencialidad supondra anticipar toda una serie de bateras credenciales, suficientemente atrincheradas, capaces de soportar los presupuestos medulares en torno a nociones como matemtica de la mecnica cuntica, disposiciones de los hablantes, disposiciones de los hablantes expertos, no solo del entorno terrqueo sino del entorno alieno. Simplemente un algoritmo tal, incluso con la clusula en principio, carece de plausibilidad, para la interpretacin de un lxico necesitamos estar en condiciones de poder anticipar, de poder continuar tal lxico. Putnam no puede imaginar cmo sera un algoritmo que estuviese en condiciones de ejecutar tal operacin de anticipacin de todo discurso fsicamente posible considerado racional o cuasi racional, ni siquiera la condicin de someternos a un discurso fsicamente posible servira para definir tal algoritmo, incluso en el mbito de sentido de nuestra ciencia fsica la nocin de ente inteligente podra referirse a una regin galctica con capacidad de supervivencia de n-aos, siendo n un tiempo finito, el tiempo n de tal ente inteligente sera distinto con respecto al tiempo n de un ente inteligente humano, la escala temporal n de tal ente inteligente no humano no podra ser interpretada como longevidad respecto de sus

propias escalas temporales, aunque quiz pudiera serlo, como asevera Putnam, nuestra ciencia fsica no est en condiciones de excluir, en principio, la realizabilidad fsica de un autmata finito capaz de perpetuar su escala temporal durante una cantidad finita n de estados de mquina asociados a su pauta temporal. Acotando nuestras intenciones de reducionismo ontosemntico podra analizarse si, en principio, podramos construir una batera de reglas semnticas capaces de describir de forma aproximada y sucesiva las creencias de todas las sociedades humana fsicamente posibles, la multiplicidad descripcional y/o representacional del repertorio conviccional humano se convierte , de acuerdo con Putnam, en un fuerte obstculo en nuestra ambicin reductivista, todas las creencias de todas las comunidades

humanas posibles pueden ser descritas y/o representadas de muchas, demasiadas formas. Si optamos por responsabilizar al lxico de clculo de predicados como una especie de registro universal regresaramos justamente al problema onto-semntico que creamos haber solucionado; los lxicos vernculos en los que expresamos nuestras creencias entraan

justamente ser interpretados para ser re-descritos y/o formalizados en el clculo de predicados. Disear una teora interpretativa ejecutada sobre un lxico como el clculo de predicados o 14

514

sobre cualquier otra notacin cannica, implcitamente, ya arrastra una operacin de traduccin en la que las creencias se han vertido en el simbolismo lxico que hemos elegido. De forma anexa a lo anteriormente analizado por Putnam, el traductor y/o interprete ha de ejecutar otra eleccin, en este caso una eleccin ontolgica, el dominio de los valores de las variables del simbolismo cannico elegido, acotar el dominio de valores de las variables podra significar hablar de objetos materiales, qualia, puntos espacio-temporales, en nuestra preferencia electiva del dominio no podemos liberarnos de un contexto interpretativo. Nuestra fsica actual y ms avanzada, la mecnica cuntica, interpretada en los trminos de la escuela de Copenhague, implicara aceptar que nuestro simbolismo lgico formal clsico es invlido para representarla. Bohr, Born, Newman y tantos otros representantes de la escuela de Copenhague, trituran

las ilusiones metafsicas de los seguidores de la fsica newtoniana; carece de sentido hablar de un mundo, de una realidad, que muestra de una vez para siempre y de forma absoluta una totalidad de propiedades y/o relaciones objetuales describible en la teora global del Universo. En la interpretacin de Copenhague se predica la existencia de un hiato, un corte entre el sistema y el observador, cada propiedad y/o relacin del sistema queda considerada en tanto su significado y esencia queda enhebrado a las relaciones con las medidas particulares del aparato de medida en una situacin experimental de medida concreta. La tecnologa de medicin queda perfectamente caracterizada usando el lxico de la fsico matemtica clsica incluida la relatividad especial, el mbito de las mediciones ejecutadas atiende a otra interpretacin, estados estadsticos. El hiato o corte establecido en la interpretacin de Copenhague implica la presencia de un observador, subjetualidad observacional que no puede ser simbolizada mediante artilugios lgico formales de corte clsico, la imagen newtoniana, postnewtoniana y relativista desde sus notaciones cannicas clsicas o cuasi clsicas no estn en condiciones de representar lo que supone el corte Copenhague. Putnam nos recuerda que estamos ante un lxico no clsico y que el advenimiento de posibles lxicos no clsicos no debe quedar descartado. Hasta qu punto, por ejemplo, Einstein supo captar o percibir el sentido del lxico no clsico que se le estaba proponiendo puede apreciarse en su no-aceptacin de la imagen a-causal de la mecnica cuntica, la doble 15 o hiato de la mecnica cuntica en su exegtica de

515

naturaleza de la radiacin y de los corpsculos materiales era, para Einstein, una propiedad verdadera de lo real mal-entendida por los meta-tericos de Copenhague. Nuestra propia sociedad ser un trampoln para una nueva generacin de sociedades desde las que se esbozarn esquemas conceptuales que no estaramos en condiciones de poder interpretar, Putnam no est defendiendo la no - traducibilidad de un discurso a otro, ms bien est llamando la atencin sobre de el hecho prctico de la interpretacin y traduccin, como traducir, por ejemplo, los formalismos lgico-formales de Russel y Whitehead a un hombre primitivo actual, ms an, cmo tendramos que traducir para que fuese medianamente inteligible a nuestros pares culturales un texto de neurociencia, un texto como Ser y Tiempo de Heidegger, la experiencia del gato de Schrdinger, o la experiencia del amigo de Wigner, o la famosa experiencia del colapso paquete onda resulta ser un interrogante cuasi-imposible de contestar, un aborigen australiano con capacidades y duro adiestramiento pedaggico podra, en principio, entender algo, en un sentido noespecificado del trmino algo, sobre discursos como los aludidos; sin embargo, es an ms difcil imaginar cmo comunicara, si es que puede, sus nuevos conocimientos a sus propios pares socio culturales. Expresado en trminos ms plsticos Parece entonces que si existe una teora sobre
todos los discursos humanos ( Y en qu otra cosa podra basarse una definicin de sinonimia?) solo un dios podra escribirla, o un ser mucho ms inteligente que los seres humanos de todas las posibles sociedades humanas que pudiera examinar todos los modos humanos posibles de razonamiento y

conceptualizacin, as como nosotros podemos examinar los modos de comportamiento y la sensibilidad de un organismo inferior, en una cultura humana limitada en el tiempo, pedirle a un ser humano que examine todos los modos de existencia lingstica humana -incluyendo aquellos que trascienden el suyo propio- equivale a pedir un imposible punto a la teora de Arqumedes. (3) AVE ATQUE VALE. 16

516

Referencias citadas : 1.Putnam, H. : `Representacin y realidad. Trad. G. Ventureira. Gedisa . Barcelona ( 1990 ), pgs. 130-131. 2.Putnam, H. :`Representacin y realidad. Ob. Cit. , pg. 201 ( nota 10). 3.Putnam, H. :` Representacin y realidad. Ob. Cit. , pg. 201(nota11). 4.Putnam, H. : `Representacin y realidad. Ob. Cit. , pgs. 142-143.

ADDENDA : para cualesquiera `desiderata sanbrunolisardo@gmail.com y/o delacruzlisardo@gmail.com .

17

517