LA CONDUCTA CONCEBIDA BAJO LA PTICA DE LA ANALOGA COMPUTACIONAL. ( Lisardo San Bruno dela Cruz ).

Putnam pesquisa , en los aos 60 y 70 , la naturaleza de trminos psicolgicos como los relacionados con los supuestos verbos mentalistas preferir, creer, sentir. La analtica de tales trminos se ejecutar bajo la analoga computacional, esta forma de enfocar el problema pretender confutar las perspectivas al uso en filosofa de la mente como materialismo, dualismo y conductismo lgico. El que operemos con nociones preferenciales

enhebradas a sistemas computacionales de la clase de Turing podra considerarse como una violacin y/o extensin semntica en la aplicacin de trminos tales, pero Putnam desautoriza el tratamiento de la cuestin por razones de irrelevancia que comentaremos ms tarde. No ser relevante la mera asercin de las muchas diferencias existentes entre preferencias de las mquinas de Turing y preferencias subjetivas, lo primordial consistir en poner en tela de juicio los presupuestos materialistas, dualistas y conductistas lgicos cuando los relacionamos con mquinas de Turing. Tal argumentacin ser heredada para el tratamiento de los agentes humanos, si tales teoras devienen falsas en el caso de sistemas de computacin, entonces la incorreccin de tales enfoques contaminar tambin el tratamiento de los seres humanos y trminos psicolgicos como los citados sern analizados desde la perspectiva lgicofuncionalista. Putnam construye un mundo posible habitado por agentes racionales en el sentido de formar una masa de sistemas computacionales, los seres de tal comunidad son mquinas de Turing, y, ms, especficamente autmatas finitos cuyas cintas de procesamiento de transicin funcional de estados es finita. A diferencia de mquinas de Turing lgico-

formalmente consideradas, nuestros autmatas finitos poseen una batera de rganos sensoriales que les permiten escrutar su entorno, y tambin cuentan con un sistema de motricidad apropiado para responder adecuadamente a los estmulos de su medio ambiente. El sistema senso-receptor de los autmatas finitos filtra informacin reportes externos, outputs que se imprime en la cinta de la de la mquina en un momento dado, dada la impresin de ciertos smbolos operantes en la cinta de mquina, el sistema de motricidad proceder a ejecutar tales y cuales acciones. De acuerdo con Putnam , esta hipottica sociedad de

autmatas finitos que se inter-relaciona con su habitat tan solo es una generalizacin natural de una mquina de Turing. Analicemos la nocin de preferencia. Putnam trata de darle un contenido formal a tal nocin asumiendo que nuestros autmatas finitos quedan lgicamente descritos mediante una funcin de preferencia racional en trminos del marco conceptual de la economa: por ejemplo, en un espacio de n-dimensiones, la funcin de preferencia racional podra definirse como una asignacin de coordenadas a objetos, la suma de tales coordenadas definir el valor del objeto; la funcin as definida , deber concebirse como una funcin que asigna una utilidad a mundos lgicamente posibles; tal definicin la toma prestada Putnam de Von Neumann y Morgenstern. Los autmatas finitos de nuestra sociedad contrafctica son

capaces de calcular de forma razonable probabilidades en la estimacin de varias situaciones posibles. Las respuestas de nuestras mquinas de Turing, operada una estimacin inductiva, Cada

se rigen por el sometimiento a una regla: actuar optimizando la utilidad estimada. individuo ideado por Putnam es un agente racional en el sentido de la teora econmica y de la lgica inductiva, porque cada autmata finito ejecutar sus acciones bajo las reglas del clculo de probabilidades y segn la funcin de utilidad y la funcin de grado de confirmacin que llevan asociadas.

La presuposicin esencial de Putnam podra enunciarse como sigue: Las funciones de preferencia racional de tales agentes racionales son semejantes a las funciones de

preferencia racional de los seres humanos ideales, las habilidades computacionales de tales autmatas son semejantes a las habilidades computacionales de los seres humanos, tales igualdades aproximadas nos permitir tratar la conducta de nuestras mquinas como semejante a la conducta de los seres humanos, idealmente considerados. La preferencia de A sobre B

en nuestros autmatas significa que las funciones que rigen las operaciones de la mquina asigna un valor ms alto a A que a B. La eleccin de A en vez de B se basa en la estimacin de las consecuencias probables en un contexto determinado, en circunstancias distintas la preferencia de mquina podra variar, lo que significa que nuestros autmatas usan otras funciones valorativas en la estimacin preferencial. Lo cual lleva a Putnam a intercalar la clusula ` ceteris paribus en la explicitacin del trmino preferencia clusula no explicitable en detalle.

Un ejemplo de Anscombe: si intentamos no colisionar con nadie, esto podra interpretarse como `ceteris paribus preferiremos desplazarnos de forma que minicemos las probabilidades de colisin . La cuestin es que la ` clusula ceteris paribus, en principio, no es analizable, lo que se traduce como un hiato abierto entre racionalidad prctica y racionalidad cientfica. Los autmatas de Putnam operan optimizando la utilidad estimada dada una

funcin matemtica de preferencia racional, tal conducta muestra un alto nivel de racionalidad cientfica. Putnam estima que la consistencia en las elecciones de cualquier agente exhiben en sus acciones al menos una funcin de preferencia racional, quiz los humanos reales prefieran de forma inconsistente, por ejemplo fallas en la transitividad de la preferencia, pero esta no es la cuestin. En Amscombe, la diferencia fundamental entre razn prctica y

razn cientfica no solo afecta al hombre ordinario, sino tambin a las pautas conductuales de un humano racional idealmente considerado. Para tal agente humano idealmente racional, la argumentacin de Amscombe no es vlida, puesto que racionalidad prctica y racionalidad cientfica quedaran identificadas en tal sujeto racional ideal. Putnam coincide con Amscombe a la hora de advertir algunas diferencias entre razonamiento prctico y razonamiento

cientfico: una de ellas sera que la premisa principal enuncia un objeto deseado, la conclusin debe ser una accin o una forma verbalizada de la accin. No obstante, Putnam no cree lo

que Anscombe parece sugerir: que la conclusin no se derive deductivamente de las premisas, ni puede derivarse, a no ser que la premisa mayor sea una premisa insensata, en el sentido de una premisa que nadie aceptara. Para Anscombe, lo que realmente hacia Aristteles era una descripcin puntual de lo dado cada vez que se realizan acciones con intenciones, lo que podra interpretarse como si el razonamiento prctico solo consistiese en la ejecucin de operaciones con intenciones. Si asertamos haremos todo lo posible para no colisionar tenemos una premisa no insensata, pero en la interpretacin no insensata haz esto no se deriva de la premisa mayor y la asercin aludida, esto podra ser una accin no apropiada y haremos todo, como premisa no insensata, significa ejecutar todas las acciones apropiadas. Podra suponerse que considerando las restricciones apropiadas quedaran

explicitadas las clusulas ceteris paribus, esto es justamente el tipo de explicitacin que Amscombe considera imposible. Segn Putnam, Amscombe diferencia razonamiento

prctico y razonamiento cientfico suponiendo que la racionalidad cientfica puede analizarse

de forma exhaustativa, en tanto los silogismos prcticos cuentan con premisas lastradas de clusulas ceteris paribus no explicitables. Pero ni las premisas cientficas son tan cristalinas como pretende Anscombe, ni los silogismos prcticos tipo Aristteles representan de forma conspicua la toma de decisiones, tanto efectiva como en la dimensin abstracto-idealizada. La estimacin de n-posibilidades y la consideracin de valores conflictivos puede esquematizarse de forma deductiva, pero desbordando siempre la afirmacin fundamental de Anscombe. Volviendo a la comunidad hipottica de autmatas finitos, Putnam subraya que mientras las mquinas de Turing son un sistema consistente en una batera discreta de estados relacionados mediante tales y cuales relaciones que memoriza tales estados en una cinta de papel potencialmente infinita, los autmatas finitos son mquinas de Turing con memoria finita, un sistema de almacenamiento de datos finito. Los smbolos son huellas que alojarse en la memoria y ser escrutados mediante algn sistema adherido a la mquina. relevante de este tipo de generalizacin de mquina de Turing o de cualquier otro tipo de generalizacin basada en las mquinas de Turing es que tales mquinas podran ser organismos biolgicos; de acuerdo con Putnam, una mquina de Turing tampoco precisa ser un sistema fsico, solo necesita una transicin funcional de estados en el tiempo para considerarse tal sistema como una mquina de Turing. Desde la estricta dimensin lgica, un dualista cartesiano mantendra la hiptesis de que la mente humana procesa una batera de datos finitos de forma anloga a una mquina de Turing, la res cogitans, computacionalmente considerada, sera un autmata finito; no obstante, Putnam cree que la mente como conjunto discreto de estados mentales no es una mquina de Turing. Saber si somos autmatas finitos es un problema emprico, no es pueden Lo

lgicamente incompatible que seamos mquinas de Turing, pero las mltiples inter-relaciones estados neurales y estados mentales no son deterministas, sino probabilistas y las respuestas retrasadas pueden jugar un rol relevante en la conducta del agente racional. Juzgar ` racional los patrones comportamentales de un agente tiene como condicin necesaria y suficiente la consistencia de sus estimaciones basadas en alguna funcin de preferencia racional. seguimos el dbil axioma de la transitividad preferencial, por ejemplo, observamos como en las elecciones efectivas lo incumplimos con frecuencia, ser consistente de acuerdo a tal o cual funcin de preferencias no es suficiente base criterial para juzgar; an si tal, fuera el caso, la Si

regla de optimizacin de la utilidad esperada tampoco se ejecuta de forma consistente entre nuestros pares culturales. El modelo putnamiano no admite variaciones en la funcin de

preferencia racional, es histricamente esttico, no viola principios de la lgica inductiva de mquina, no admite irregularidades en la obediencia a la regla de maximizar la utilidad esperada; pero tal modelo simplificado no parece alterar lo que Putnam desea defender. Los agentes son sistemas de estados causalmente inter-relacionadas, no hablamos de estados internos y de estados externos inter-conectados de alguna forma, sino que suponemos que todos los estados guardan relaciones causales que les inter-relacionan. La doctrina clsica materialista supone que las formas conductuales verbalizadas son reducibles en trminos de las ciencias fsico-qumicas. Si se aserta X prefiere p a q esto significara que tal asercin habra de definirse en trminos de realizacin fsico-qumica de mquinas de Turing. Putnam argumenta que la suposicin materialista, que pretende reducir las preferencias a proposiciones de estofa cientifista del tipo S prefiere p a q queda definida en trminos de cierta contexturacin neuro-fisilogica, tal asuncin involucra dos clases de enunciados lgicamente independientes. El que M sea una mquina de Turing con una

estructura material determinada no permite inferir de forma vlida sus patrones estimativos yo preferenciales, el que M prefiera A en vez de B no permite inferir su composicin fsicoqumica. Putnam lo demuestra mediante un sencillo caso: contamos con la premisa M1 prefiera p a q, lo que nos permite deducir que M1 cuenta con un programa en el que p es estimado con mayor valor que q, segn cierta funcin de preferencia racional. Tambin

contamos con la tabla especfica de M1, an admitiendo tales supuestos nos sera imposible hacer inferencia vlida alguna sobre la contexturacin fsica de M1, ya que M1 puede haberse construido fsicamente de mltiples formas. Supongamos que nuestros autmatas finitos prefieran m en vez de n cuando el flip flop 37 se enciende, tal proposicin enuncia un hecho aleatorio, porque podran tales autmatas seguir prefiriendo m en lugar de n, pero ahora es el chip 24 el que est en funcionamiento. Analicemos las inferencias lgicas desde otro ngulo: M1 tiene tal estructura fsico qumica, supuesta tal informacin sobre la composicin material de M1... el interrogante relevante sera si de tal informe fsico podramos ejecutar alguna inferencia vlida sobre su funcin de preferencia racional, es decir, sobre la tabla de mquina de M1. Conocer la tabla

de mquina de M1 implica saber los estados de mquina y sus inter-relaciones causales; tal conocimiento no puede lgicamente derivarse de la contextura material de M1 sin saber, adems un gran paquete de leyes cientfico-naturales; digamos, con Putnam, una batera finita de leyes suficientemente relevante. Sin embargo, a priori no es posible especificar tal conjunto finito de leyes ms la realizacin fsica de mquina, con anterioridad a que seamos capaces de exhibir que M1 cuenta con tal y cual tabla de mquina. De la realizacin fsica de M1 no se puede realizar

ninguna inferencia lgicamente vlida sobre si cuenta o no con una funcin de preferencia racional determinada. Supongamos que poseemos informacin precisa de la composicin fsico-qumica de M1, y leyes cientfico-naturales de la clase de la mecnica clsica, y preguntemos si con tales conocimientos podramos derivar una funcin preferencia de M1. El esquema cinticocorpuscular describe las trayectorias de las partculas elementales, cualquier conjunto de partculas aislado puede ser subsumido por una funcin de composicin que explicita la conducta de tal conjunto. M1 cuenta con una composicin material conspicuamente Bajo tales

representable mediante un agregada de tales y cuales partculas elementales.

asunciones, y desde la pura racionalidad formal, no podemos realizar la inferencia de que M1 tiene la funcin preferencia p o cierta tabla de mquina, porque faltara una premisa adicional que enunciase la asercin de que toda M1 ha sido representada, tal asercin, la descripcin global de M1 ha sido dada, sera un enunciado lgicamente independiente de los anteriores. Imaginemos con Putnam un mundo en el que junto a corpsculos elementales coexisten paquetes de ectoplasma no descubiertos por la ciencia fsica de ese mundo; en tal contexto lgicamente posible nuestra mquina de Turing M1 constara de corpsculos

elementales y paquetes de ectoplasma inter-actuando de acuerdo con cierta relacin causal. En tal caso, los informes cientficos sobre la composicin fsico-qumica de M1 son incompletos, en el mejor de los supuestos posibles solo se muestra una sub-estructura de M1, permaneciendo los elementos ectoplsmicos desconocidos. Suponiendo un marco

conceptual que describa las pautas comportamentales de sistemas aisladas de corpsculos elementales, y dada la informacin relevante sobre la sub-estructura de M1 estaramos en

condiciones de inferir la conducta sub-estructural de ...

siempre y cuando no se produzcan

inter acciones causales con las bateras ectoplsmicas que conforman estructuralmente la totalidad de M1. Lgicamente considerado, dar la descripcin en trminos fsico-qumicos

de M1 no es dar la descripcin total de M1; por tanto, no es lgicamente posible dar inferencias vlidas sobre la funcin matemtica que gobierna la tabla de mquina basndonos en informes descriptivos de sus componentes y en las leyes que rigen los fenmenos cinticos de partculas elementales. Tal ejemplo, confeccionado por Putnam, exhibe semejanzas lgicas con la analtica defendida por ciertos filsofos sobre las generalizaciones universales, tales generalizaciones se definen como conjunciones potencialmente infinitas donde la asercin Todos los cisnes son blancos es tratada analticamente como ( a1 es blanco) blanco) y (a2 es un cisne ... y (an es un cisne a2 es blanco) es un cisne a1 a3 es

(a3 es un cisne

an es blanco), a1, a2, a3, an es una lista

posiblemente infinita de constantes individuales que denotan o se refieren a todos los cisnes. La situacin lgica en tal analtica es la siguiente: la conjuncin posiblemente infinita se deduce de la generalizacin universal pero la proposicin Todos los cisnes son blancos no se deriva lgicamente de la conjuncin sin la relevante premisa adicional a1, a2, a3 ... an) constituyen todos los cisnes que existen. Desde la analtica lgico-formal , que

Putnam articula para pesquisar el tema que nos ocupa, confeccionar o aventurarse a dar una lista absoluta que contenga todos y cada uno de los elementos que constituyen la

configuracin de los procesos causales es ofrecer una conjetura o hiptesis sinttica, tal hiptesis no puede ser dada como verdadera desde el mbito puramente lgico. Los tericos de la identidad o materialistas en filosofa de la mente tratan nociones como preferencia suponiendo que cuentan con un referente o co-relato fsico-qumico, no suponen que la intensin de tales nociones quede estipulada o reducida en el lxico de las ciencias duras. preferencia de un agente racional de X en lugar de Y sera idntica sintticamente a estar en un estado neuro fisiolgico caracterstico. Siguiendo a Putnam, la cuestin es que la preferencia La

es un universal, preferir X en vez de Y relaciona un agente racional y una eleccin, una alternativa, la preferencia no es un particular, y la conjugacin de verbo ser en el es para el tratamiento de los universales es el es de la analtica semntica.

Supngase que proferimos la sentencia la solubilidad es la propiedad que algo posee si y solo si se d la situacin de que estando en agua se disolviese, lo que no se afirma es la solubilidad es tal estructuracin fsico-qumica, lo que s se enuncia es que ser soluble una substancia se explica fcticamente, por la posesin de cierta composicin fsico-qumica. Afirmar M1 cuenta con una funcin de preferencia racional que valora a X por encima de Y Asertar que la preferencia de M1 sobre X en lugar de Y es sintticamente idntica a tal estructuracin material, es una asercin no justificada lgicamente. Si M1, nuestra mquina

de Turing, se construye fsicamente de dos formas bien distintas, aun cuando su tabla de mquina sea idntica, su funcin de preferencia racional sera distinta en las dos realizaciones fsicas de M1, lo cual es un absurdo lgico. El que la tabla de mquina sea concretada

distintamente no significa que las funciones preferenciales, credenciales, estimacionales de mquina sean diferentes en los dos tipos de realizaciones fsicas de M1. Qu sucede con la identidad de propiedades, dos propiedades podran ser sintticamente idnticas?. Putnam ante este interrogante cita el ejemplo clsico azul es el color del cielo como enunciado sinttico de identidad de propiedades. Supongamos que a1 es una constante individual cuyo co-relato fsico es un papel en blanco en el que pintamos el trmino blanco; en tal caso, el aserto la propiedad blanco es idntica a la propiedad designada por el trmino pintado en a1 constituira una afirmacin sinttica. Para la identidad de propiedades nos vertebramos en la pauta criterial de la sinonima de los designadores correspondientes, tal sinonima ha de entenderse desde el plano de la equivalencia en algn sentido lgico. Mantener la afirmacin ser X es ser Z en ciertas situaciones en las que los designadores X y Z no son sinnimos, precisa la equivalencia de tales designadores en el plano fsico. soluble es poseer la composicin material m sera una afirmacin que habra extendido la semntica ordinaria. Para Putnam, las leyes naturales que descubramos no mostraran la Si una estructuracin material determinada explicara todos los casos de solubilidad, el enunciado ser

identidad fsicamente necesaria entre las funciones de preferencia de una gente racional y sus contexturaciones materiales. Las mquinas de Turing pueden ser construidas y-o realizadas

de mltiples formas, ninguna contingente realizacin de M1 nos permitira inferir la funcin de preferencia racional de M1, expresado de otra forma, el que M1 posea tal composicin

material m no puede ser, ni lgica, ni fsicamente, condicin necesaria y suficiente para que

M1 prefiera X en lugar de Y. Defender la identidad de propiedades por coextensionalidad en ciertos casos, sera ejecutar un cambio de significado arbitrario, en tanto sera meramente arbitrario. Para la analtica de situaciones en las que un agente racional siente y/o experimenta sensaciones dolorosas, Putnam parte de una definicin de dolor acuada por Hampshire, tal autor concibe las sensaciones como estados que podran individualizarse afirmando que dan lugar a ciertas repuestas, a ciertas inclinaciones. La sensacin de dolor ira acompaada por una lesin localizada fsicamente y la respuesta del agente racional se encaminara a la evitacin de ese dolor, tal evitacin se entiende como una inclinacin espontnea del individuo que padece tal sensacin. La retirada de mi cuerpo de un foco de

calor sera una inclinacin espontnea que no requiere enjuiciamiento crtico, la respuesta de evitacin del calor es una accin que fundamenta y presupone que de forma espontnea me aleje del foco de calor. Putnam reorganiza sus mquinas de Turing dotndolas de sensores y estados de dolor, tales estados son causados, en condiciones normales, por lesiones en la composicin material de la mquina y la mquina de forma espontnea tender a evitar tales situaciones. En las mquinas de Turing, las tendencias espontneas podran ser

caracterizadas como modificaciones temporales de la funcin de preferencia racional, tales variaciones temporales seran del tipo evitar los estados de dolor. Las variaciones

temporales de preferencia racional significan un cambio en las pautas comportamentales de la mquina a largo plazo, cambio que se hubiera producido porque la maquina aprende que algo no experimentado como sensacin dolorosa se constituye como tal. Los estados de dolor, en tanto inclinaciones temporalmente espontneas son valorados de forma negativa por lo que la funcin de preferencia racional ha inducido de sus experiencias. Si tenemos una mquina de

Turing M1 realizada fsicamente de forma tal que sus fibras de dolor son de cobre, y una mquina de Turing M2 cuyas fibras estn realizadas fsicamente en platino, entonces podremos ratificar con Putnam la incorrecin de la postura de los tericos materialistas de la identidad. `El dolor sera sintticamente idntico a la activacin de las fibras de cobre en M1, y sintticamente idntico a la activacin de las fibras de platino en M2 , con lo cual el dolor sera diferente en M1 y en M. Segn Putnam, tales aserciones han de evitarse y formularlas en lxicos menos ambiguos como:

1. El dolor es un estado de cualquier M producido en condiciones normales, por una lesin localizada fsicamente en la mquina, y caracterizado, a la forma de Hampshire, como inclinaciones espontneas momentneas. 2. M1 est realizado materialmente de tal forma que las sensaciones dolorosas se transmiten a travs de fibra de cobre, por usar una caracterizacin prxima a la de Putnam. As pues, no puede suponerse equivalencia lgica entre sentencias que expresen mbitos preferenciales en mquinas de Turing y sentencias sobre la constitucin material de tales mquinas. Ahora, la cuestin planteada por Putnam versa sobre si enunciados

preferenciales guardan una relacin de equivalencia lgica con enunciados conductuales factuales y posibles de mquina. Para atender a este problema Putnam nos propone la

siguiente argumentacin: Dadas dos mquinas de Turing, sean M1 y M2, M1 no le es posible padecer sensaciones de dolor por la razn que queramos imaginar ( le han sido seccionadas su fibras de dolor o no se le ha dotado de tales sensores de dolor), M2 cuenta con fibras de recepcin de dolor, pero su funcin de preferencia racional concede un valor relativamente infinito a ejecutar sus operaciones como si no fuera capaz de padecer dolor siempre y cuando crea o estime que tal situacin ha acontencido o que tal enunciado es verdadero. tanto, tiende a la supresin de una manifestacin conductual de dolor cuando crea que tal y cual ha sido el caso, si tal caso no es estimado por M2 como devenido fcticamente, su conducta seguir los patrones no-anmalos en su recepcin de estimulaciones de dolor, tal evidencia conductual nos permite diferenciar las ejecuciones operacionales de M1 y M2. Supngase que la situacin o el caso acontece, no habra forma de diferenciar conductualmente M1 de M2, lo que le permite afirmar a Putnam la impotencia explicativa del enfoque conductista lgico: acontecido el evento E, M1 y M2, exhiben idntica conducta fctica y posible, lo que nos encamina a realizar idnticas predicciones, distintas bateras preferenciales-conviccionales en la funcin de preferencia racional de mquina mostrarn idntica operatividad conductual en nuestras mquinas de Turing. Putnam re-argumenta su crtica al conductismo lgico con una variacin basada en la situacin dibujada anteriormente. Supngase, ahora que M1 es cognitivamente inferior a M2, por

M2, pero M2 tiende a operar patentizando una conducta que simula los niveles de cognitividad de M1. No se necesita asumir que las sub-estructuras sistmicas de M2 sean parecidas a las de

10

M1, tan solo se supone que M2 es capaz de calcular la conducta de M1 en cualquier contexto sin precisar inmergirse en la reconstruccin de sus estados computacionales. Tanto la

conducta de evitacin del dolor cuando es el caso que E, como la conducta mimtica de baja cognitividad, describen funciones de preferencia racional desviadas, Putnam, las tilda de patolgicas, en tanto conceden a una situacin un valor relativamente infinito. Conceder un valor relativamente infinito a un hecho o a un objeto significa preferirlo en todas las circunstancias y elecciones factibles y posibles. La funcionalidad referencial no patolgica

podra definirse como la que no concede un valor relativamente infinito a ningn objeto o evento, salvo la propia permanencia de la mquina operando, superviviendo. Supongamos un marco conceptual Mc donde todos los agentes racionales fcticos cuentan con una funcionalidad preferencial no patolgica, bajo Mc podra afirmarse que enunciados concernientes a las virtudes computacionales rgidas con tal y cual funcin de preferencia racional sera lgicamente equivalente a afirmar que tal mquina de Turing muestra tal y cual conducta efectiva y potencial. De otra forma, que tal mquina tenga tal

funcin bajo Mc, sera equivalente a asertar que se regir conductualmente, en todo contexto, como se regira tal mquina con tal funcin. Sin embargo, Putnam est convencido de que tal argumento no valida el enfoque conductista lgico, la equivalencia lgica ha de darse entre aserciones preferenciales de mquina y aserciones conductuales, sean efectivas o potenciales, de mquina. Conductismo lgico y materialismo navegan en aguas muy prximas; Putnam confuta la presupuesta equivalencia lgica entre enunciados concernientes a tablas de mquina y enunciados sobre constitucin fsico-qumica de mquina. Pero, desde una teora sinttica

que aunaba leyes cientfico-naturales junto con la afirmacin de que solo las combinaciones de corpsculos elementales son agentes causales objetivos y tales agentes operan dentro de las restricciones que les impone tales leyes, podra hablarse de equivalencia sinttica dentro del marco conceptual mencionado. Dentro de tal marco conceptual, existe una clase c de

combinaciones fsicas que demuestran la equivalencia sinttica entre aserciones sobre tal o cual tabla de mquina y aserciones sobre la contexturacin fsico-qumica de la clase c aludida. Putnam subraya que, bajo tal teora sinttica, la afirmacin M prefiere Z en lugar de Y, es verdadera si y solo si es verdadera la conjuncin de dos enunciados, la tabla de

11

mquina que tenga M y la contexturacin total de M en el momento presente.

Supuesta la

verdad de tal conjuncin y desde la teora sinttica esbozada, si la composicin material pertenece a la clase c de combinaciones fsicas, puede mostrarse la equivalencia de enunciados tipo M cree que p con enunciados tipo M tiene una composicin material perteneciente a la clase c. Desde el marco conceptual sinttico diseado para el enfoque conductista lgico, la funcionalidad no patolgica de M, cualquier mquina de Turing, tambin observamos la equivalencia, bajo tal marco, entre enunciados de tabla de mquina y enunciados concernientes a la conducta efectiva y potencial de la mquina. En la comunidad contrafctica ( mundo posible, derivado de una mtrica de proximidad ) pintada por Putnam , con datos empricos suficientes sobre la conducta fctica y posibles de sus moradores racionales, o con datos empricos suficientes sobre la constitucin fsica de sus agentes racionales, ms un conocimiento suficiente de las leyes cientfico - naturales apropiadas, podra derivarse un enunciado del tipo M prefiere X en vez de Y. Suponer la no patologicidad en las funciones de preferencia racional o suponer un enunciado de completud en la teora fsica no nos garantiza la correccin de tales asunciones, las circunstancias de asuncin de tales presupuestos son bautizadas por Putnam como circunstancias forzadas. La sugerencia sera admitir que tener cierta creencia,

preferencia ... supone hablar de cierto tipo de organizacin funcional, y tal descripcin funcional de un sistema no comparte una analtica lgica comn con respecto a representaciones de tipo materialista o de tipo conductista lgico. Este enfoque es

compatible de forma global con la postura materialista en tanto los agentes racionales son sistemas fsicos compuestos de corpsculos elementales regidos por las leyes de la fsica. Sin embargo, no precisa que dolor y preferencia se definan segn pautas conductuales o en trminos de constitucin fsico-qumica. Los sistemas organizados funcionalmente pueden

realizarse en mltiples formas conductuales segn las condiciones contextuales consideradas, tal organizacin puede incorporarse a mltiples composiciones estructurales de diversa materialidad. Aseverar M1 prefiere X en lugar de Y no es aseverar que M1 es una res cogitans , ni

predecir su conducta en circunstancias especificables sin tener en cuenta las restantes preferencias Y/O cerencias del organismo o agente bio-racional M1 . AVE ATQUE VALE .

Para cuelesquiera desiderata : sanbrunolisardo@gmail.com y/o delacruzlisardo@gmail.com .

12