MODELOS Y REALIDAD (1977): LA MAQUINARIA DE LA TEORA DE MODELOS COMO SOPORTE LGICO-SEMNTICO PARA ABRAZAR UN REALISMO EMPRICO.

Lisardo San Bruno de la Cruz .

La presentacin que vierte Putnam en este texto del argumento de la teora de Modelos parece idntico a la que ofreciera en 1976; no obstante, se enfatizan corolarios lgico-semnticos para el litigio meta filosfico realismo anti-realismo, solo sealizados tangencialmente en sus alegaciones anteriores, de enorme relevancia para las pretensiones del autor que nos ocupa. La no fijacin del significado extensional de las expresiones simblicas pintadas en un sistema, ( la indeterminacin de la referencia ) , y la adicin de una teora a la teora con que contamos como explicitacin de la funcin referencial ( la `maniobra de solo ms teora ), son dos lecturas que Putnam usa para desacreditar realismos no empricos de factura platonizante, y posturas verificacionistas cuya intencin sea la reduccin de las nociones normativas o nociones naturalizadas en trminos de ciencias fsico materialistas valga como ilustracin el clsico sueo fisicista de reduccin en el que la psicologa, ciencia a reducir, queda subsumida a neurologa, ciencia reductora. El teorema de Lowenheim Skolem y la prueba de Henkin son los trazados meta matemticos fundamentales sobre los que gravita la argumentacin de Putnam. En 1915, Lowenheim demostraba que si una frmula es vlida en un dominio enumerablemente Si reemplazamos `vlido por infinito, entonces es vlida para todo dominio no vaco. -

`satisfacible y contraponemos el enunciado anterior podemos leer el teorema de Lowenheim Skolem en su presentacin ms habitual; esto es si un conjunto de frmulas cualesquiera es simultneamente satisfacible en cualquier dominio no vaci, entonces es simultneamente satisfacible en un dominio enumerable. Skolem extiende la demostracin de Lowenheim para un nmero infinito denumerable de frmulas. Un sistema de primer orden, como los axiomas conjuntistas de Zermelo, cuenta con un dominio en el que sus axiomas son verdaderos y sus elementos enumerables mediante los enteros positivos finitos. El teorema de Lowenheim Skolem

1.

muestra cierta analoga con el teorema gdeliano de completitud que demuestra que un sistema de primer orden entraa la posesin mnima de un modelo en un dominio numerable; esto es, un dominio denumerable dominio infinito biyectable con el conjunto de los nmeros naturales- o un dominio finito biyectable con un subconjunto finito del conjunto infinito de los nmeros naturales -. La paradoja de Skolem brota en tanto la axiomatizacin de la teora de conjuntos es una teora de primer orden, dos conjuntos de cardinalidad infinita, el conjunto de los nmeros reales y el conjunto de los nmeros naturales, son distintos en la gradacin de su infinitud, los reales cuentan con una cardinalidad infinita superior a la cardinalidad de los naturales. En tal caso, dada una axiomatizacin de la teora conjuntista se patentiza la existencia de un conjunto no denumerable; esto es, un conjunto cuya infinitud no es biyectable con la infinitud de los naturales, un conjunto que ser no denumerable en cualquier modelo de la teora conjuntista. En esta tesitura, parecera que la tenencia de modelos nicamente no denumerables sera una propiedad (conducta) esencial de la teora de conjuntos, pero el teorema de Lowenheim Skolem ha demostrado la imposibilidad de que una teora entrae modelos no denumerables, si una teora cuenta con un modelo tal, entonces posee modelos denumerables. Sucede que hemos obviado la axiomatizacin, el proceso axiomtico no es una Idea forma aliena a las ejecuciones subjetuales de operatividad axiomtica, tal proceso se imbrica en tal y cual contexto; ser un `conjunto no denumerable entraa una axiomatizacin determinada y no otra; tal nocin como las nociones `conjunto finito o `conjunto infinito quedan restringidas a un autor o escuela de autores (los derechos axiomticos de autor). Skolem reflexiona sobre las definiciones conjuntistas de Dedekind: 1. Un conjunto es finito, en el sentido de Dedekind en tanto su cardinalidad es distinta a la cardinalidad de todos sus sub conjuntos integrantes. 2. La infinitud de un conjunto quedara definida; por tanto, contando con que exista un sub conjunto propio de tal conjunto con idntica cardinalidad sub-conjunto equinumeroso - . La cuestin que ha de enfatizarse es la siguiente: la definicin de finitud pero interiorizada puede suceder que existan conjuntista de Dedekind parece exhalar una correccin intuitiva, relativizada a la batera axiomtica construida por el autor,

2.

Conjuntos no - denumerables dentro de un sistema que sean biyectables con un conjunto denumerable que no pertenece al sistema. Por ejemplo, dentro de la axiomatizacin

conjuntista Zermelo Fraenkel pueden existir conjuntos finitos de Dedekind para los que pueden especificarse funciones, correspondencias uno a uno entre sus elementos, sobre algn sub conjunto propio; sin embargo, tales mapeos constituiran modelos no pretendidos por Dedekind. En esta tesitura, las nociones conjuntistas son ininteligibles sin acotarlas en una batera axiomtica especfica, tal carencia de inteligibilidad podra infectar, de acuerdo a la analtica lgico semntica de Putnam, a la axiomatizacin holstica de los marcos tericos en vigor. La posibilidad de con interpretaciones no pretendidas contextura la espina dorsal del argumento modelo terico de Putnam, una batera constriccional operativa y otra terica diseada para liquidar modelos no deseados no est en condiciones de cicatrizar los corolarios del teorema de Skolem. deseable por cuestiones de no ariedad entre los modelos, Dado que nuestra ciencia los constreimientos total posee un modelo pretendido indenumerable poseer un modelo denumerable no operacionales y los tericos ligados a nuestra teora no pueden seleccionar la interpretacin pretendida, la indeterminacin extensional no es eliminable usando tales constreimientos, y las condiciones veritativas son preservadas, por definicin, en el modelo. La skolemizacin significa que cualquier teora de primer orden consistente con un modelo infinito, cuenta con modelos para todas las ariedades infinitas, existe un sin nmero de modelos para cada ariedad. En tal tesitura, no es lcito hablar de homomorfa de factura biyectiva isomorfismo porque los modelos no son equinumerosos, distinta ariedad imposibilita el trazado de correspondencias uno a uno entre los elementos de modelos distintos de idntico marco terico. Si la ariedad funcional (propiedades y/o relaciones) de los modelos es distinta, no solo el contenido interpretativo referencial de la teora es indeterminada, sino que la propia estructura terica no puede ser idntica o preservarse en uno u otro modelo. Ms an, qu afirma nuestra teora sobre El Mundo no es contestable teniendo en cuenta que sus posibles interpretaciones son infinitas de una forma onto semnticamente relevante. Ahora, Putnam traslada los corolarios formales de la skolemizacin a toda aportacin terica cuya pretensin sea indicar el correlato ntico estructural de la teora T.

3.

La teora

T de Putnam

sintcticamente considerada,

una batera sentencial exonerada

exegticamente, padece la no posibilidad selectiva entre infinitos modelos no isomrficos que la representen, que la satisfagan. La yuxtaposicin de una teora extensional a la teora T es pasible de idntica patologa formal, sus trminos tericos estn indeterminados referencialmente habida cuenta de la multitud no homomrfica biyectiva de modelos que genera, el problema permanece inclume; esto es, cmo discernir de entre tales modelos, el modelo referencialmente pretendido. Esta extensin del argumento de Putnam, como dejamos meramente aludido en pginas anteriores, de la teora epistmicamente ideal a la teora de la referencia, cuya intencin sea fijar el significado extensional de los trminos de T se ha bautizado en la literatura sobre teora de modelos como la maniobra de solo ms teora. En 1977 Putnam concluye incapacitando a la teora conjuntista para comprender de forma intuitiva la nocin de `conjunto . No obstante, una meta filosofa defensora de un posicionamiento naturalista ha de habrselas con nuestra forma de entender las nociones, una forma indescribible mediante conjuntos axiomticos, una comprensin subjetual instalada en nuestros usos lxicos enfocados holsticamente. Tal uso global es concebido por Putnam como la batera constriccional operacional y terica pero tal batera no es capaz de discernir entre una infinidad no isomrfica de modelos. La nocin de `uso cuenta con ecos wittgensteinianos, ecos filtrados a travs del prisma anti - realista de M. Dummett, tal filtro, en esta poca de la reflexin internalista, impacta en Putnam a la hora de trabajar sobre el problema de indeterminacin. Las exterioridades objetuales al trmino sgnico objetos significantesno fijan su uso, tal trmino se involucra en una red de reglas socio lingsticas de carcter prxico que describen cmo ha de manejarse tal trmino en tal y cual situacin contextual. Para comprender como opera un trmino sgnico en sociedad precisamos Las observar la conducta situacional de sus usuarios cuando realizan actos lingsticos. condiciones veritativas deducibles de tales situaciones verificables no entraan una nocin de `verdad realista de corte trascendente. La identificacin de Putnam red global lxica de uso batera de requerimientos operacinales y tericos no parece diluir la paradoja de Skolem extendida a la maniobra de solo ms teora, puesto que tal batera , de ser verdadera, debera contar con ciertos usos, usos usados con anterioridad a su aplicacin a un lxico y la

4.

cuestin aportica resultante sera cmo definir , en el sentido de reglamentar, la aplicacin que ejecutamos sobre la aplicacin operada sobre el uso total del lenguaje vertebrada en el conjunto de constreimientos. conjunto constrictivo. La batera de condicionamientos operacionales y tericos de la teora epistmicamente ideal habra de entenderse desde un prisma no lgico-formal, no sintctico lingstico, sino en trminos de certeza intuitiva trans-lingstica para liquidar la skolemizacin. Sin embargo, la verdad en una semntica dummettiana no puede trascender el conjunto del mtodo verificatorio, sucesos lingsticos, la ligazn deductiva interna del armazn terico tampoco puede precisara eventos trans lingsticos. Semnticas naturalistas de la explicitar desde s sus co relatos nticos, precisara algo ms, y de distinta estofa, que orientacin tanto realista como anti realista padecen idntica enfermedad: indeterminacin interpretativa derivada del teorema de Skolem. No ha de olvidarse que el teorema afecta solo a teoras de primer orden que sean consistentes y cuenten, al menos, con un modelo infinito. Parecera que elevar el resultado de indeterminacin refieren sus trminos, a un lxico de orden superior evitara la paradoja de Putnam. sus enunciados. La interpretacin No obstante, ninguna teora, sea de primer orden o de orden n, puede afirmar desde s a qu se no forma parte del intrads sintctico de la teora a interpretar, sea del orden que sea, es algo ( una teora) trascendente al marco terico que se trata de interpretar. Sea una expresin En de una teora de cualquier orden n y un evento h de la esfera objetiva On; una interpretacin I1 contendr expresiones del tipo `En de Tn se refiere a h de On ; tal expresin precisa una interpretacin I2 sobre I1 que explicite la referencia de sus trminos del tipo `la expresin En de Tn se refiere a h de On de T1 se refiere a ... y as indefinidamente. La interpretacin de una teora, de cualquier teora expresada en cualquier orden, es otra teora que hereda la no fijacin extensional. La adiccin de teora sobre ms teora no liquida el corolario ms apabullante que extrae Putnam de su argumento: La imposibilidad de reduccin fisicalista de nociones semnticas como la `referencia, dada una representacin de la realidad, subjetualmente Lo cual no es sino asumir los corolarios del teorema Lowenheim Skolem a la identidad predicada por Putnam, entre usos lxicos holsticos

5.

construida, en ese darse representacional no puede desde s representarse nuestra capacidad de representacin, nuestra intencin de captar lo real en una u otra teora. La demostracin gdeliana de la no completud de la aritmtica elemental y la obra de Henkin contexturan otras piezas bsicas para comprender los resultados de Putnam al extender lo que el llama la skolemizacin. El teorema de Gdel demuestra que dado cualquier sistema deductivo lgico formal que adicione a la lgica elemental de primer orden la aritmtica obtendr oraciones, formalmente bien construidas, que son indecidibles, de tales oraciones no puede demostrase que sean verdaderas o falsas. En esta situacin, el sistema no puede decidir sobre tales enunciados y muestra su esencial incompletitud. El segundo teorema de Gdel demuestra que la aritmtica no est capacitada para probar desde sus propios medios que est exenta de contradiccin; esto es, que sea consistente. Gdel edific un sistema de representacin que ligaba frmulas lgico- formales con un sub- conjunto de los nmeros naturales. Las frmulas traducidas a nmeros, las proposiciones meta matemticas se convierten en enunciados sobre nmeros cuya intensin sigue siendo puramente metamatemtica. La virtud del mtodo de gdelizacin reside en el hecho de haber confeccionado una proposicin formal cuya interpretacin pretendida es `Yo soy indemostrable; esto es, la frmula de Gdel asevera de s misma que es indemostrable sin sufrir las paradojas lgicas que padecen los predicados auto-referentes. La proposicin `yo soy indemostrable no dice de s que sea verdadera o falsa, una propiedad semntica, sino que habla de demostrabilidad sintctica, lo cual evita su inclusin en el conjunto de las llamadas paradojas del mentiroso. De forma intuitiva podramos reproducir el procedimiento gdeliano usando la siguiente acotacin: Kripke ha sugerido recientemente la posibilidad de simular la frmula de Gdel en lenguaje natural. Supngase la oracin. ` Alicia es bella , y que no hay nada decidido en nuestro lenguaje acerca de a quin o qu pueda referirse la palabra `Alicia ; lo cual obviamente no permite decidir ni el sentido, ni la verdad de la oracin mentada. Pero supngase adems que ahora convenimos en dar a esa oracin el nombre de `Alicia y que, cautivado por la msica de las palabras, digo que Alicia es bella. Al hablar de la belleza de Alicia no me refiero en este caso a la bella nnfula, real o ficticia, que dio vida a las fantasas onricas ( o no tan onricas ) de Lewis Carroll, sino que hablo de la belleza de la oracin que habla de la belleza de Alicia.

6.

Pero Alicia, en virtud del acuerdo referencial, recin t omado, no es otra, precisamente que la oracin de la que hablo, omento, cobra automticamente sentido y al menos para m, si la belleza es solo cuestin de gusto- verdad. Esta oracin es claramente autor referente y, aunque muy bien pudiera ser que un psiquiatra la calificase de narcisista, no incurre en la falacia del crculo vicioso, q ue es, segn Russell, el pecado mortal de las paradojas lgicas. ( 1.- E. Nagel y J. R. Newman : `El Teorema de Gdel . Trad. A. Martn . Tecnos , Madrid 2000 . Pg. 9 , nota 4. ) En 1950 Henkin, con la maquinaria meta terica de Lwenheim Skolem y la prueba de incompletitud gdeliana, extiende la cuestin de la indete rminacin traductiva de una teora de primer orden a cualquier teora de orden superior. Dad o un modelo de un sistema formal de orden n, mediante el que se acota la interpretacin de las proposiciones del sistema, puede demostrarse la posibilidad de contar con multitud de r einterpretaciones no pretendidas. Ms an, Putnam basndose en el trabajo de Henkim, su braya la incapacidad de todo sistema axiomtico, que al menos contenga la aritmtica la cual desde este m

elemental,

de fijar su Los trminos sgnicos imbricados en una axiomatizaci

interpretacin en trminos de homomorfa biyectiva. n de primer orden son relativos a ese y no otro contexto definicional Skolem , los trminos usados en una axiomatizacin de orden superior tambin son relativos a tal axio matizacin. axiomatizacin existe la posibilidad de disear modelos no desead os, isomrficos, una multitud no pretendida de modelos para cada una de las ariedades infinitas del sistema de orden superior al elemental. La formalizaci n operada sobre la teora epistmicamente ideal, sea de primer orden o de orden superior, gener a para cada una de sus ariedades infinitas modelos no isomrficos.

model