1

TEORIA, MODELO Y VERDAD

Al Profesor Jorge Millas, con gratitud por su generosa disposicin para alentarme en mi vocacin filosfica.

Luis Flores Hernndez Instituto de Filosofa Pontificia Universidad Catlica de Chile e-mail: lfloresh@puc.cl

Nos referimos a las relaciones entre teoras, modelos y verdad. Nos limitamos al caso de las ciencias empricas naturales, pues las empricas sociales incluyen ms decisivamente lo que Popper ha llamado el efecto Edipo. Tambin excluimos la concepcin de la verdad como altheia. Las teoras en las ciencias naturales son redes de conceptos, las cuales permiten mirar, observar (theorein), comprender, qu hay en el mundo. Constituyen explicaciones en el

sentido fuerte, pues muestran que las leyes slo se cumplen aproximadamente (la teora cintica de los gases respecto de la ley de Boyle-Mariotte, la teora de la gravitacin universal respecto de la tercera ley de Kpler; etc.). Desde el punto de vista lingstico, las teoras se componen de tres tipos de trminos: descriptores, indicadores y constructos. Los primeros tienen sentido y una denotacin emprica: por ejemplo, lo denotado por el trmino clula es algo que puede ser observado por un microscopio. Los segundos remiten a operaciones de medicin: esto corresponde a la verosimilitud del punto de vista de Bridgmann. Y los terceros tienen sentido y una denotacin abstracta: por ejemplo, temperatura infinita denota un objeto ideal. Desde el punto de vista matemtico, las teoras cientficas requieren matemticas para el tratamiento de los conceptos, sin embargo, como deca Dirac en 1930, las matemticas no son ms que un instrumento y deberamos aprender a apropiarnos de las ideas fsicas sin referencia a su forma matemtica (Dirac 1967, 10). Las teoras de las ciencias naturales constituyen una clase potencial de enunciados de leyes para un dominio emprico. Ellas no son la suma o conjunto actual de leyes, pues permiten deducir nuevas leyes. Las teoras han sido concebidas de tres modos al menos (Ribes 1976): a) Como aproximaciones (verosimilitud) al lmite de la verdad: es la lnea que conduce de Popper a Niiniluoto y Tuomela. b) Como estructuras no validables en trminos del progreso cientfico o de la verosimilitud: es la lnea de la inconmensurabilidad que conduce desde Kuhn hasta el concepto de reduccin interterica de Sneed. En suma, hasta el estructuralismo de Sneed-Stegmller y la concepcin de Suppes. c) Como estructuras imprecisas en Ludwig y Scheibe: se trata de emborronar mediante principios de representacin imprecisos las relaciones lgico-matemticas que operan en las teoras. Habra un componente aproximativo en el concepto mismo de teora. El componente que vincula aproximativamente la estructura matemtica de una teora a sus es un sistema de conjuntos imprecisos. aplicaciones

Distinguimos tres sentidos del trmino "verdad". Primero, "verdad" en el sentido

descriptivo, la cual no hay que confundir con la certeza, ni con los procedimientos de comprobacin. En este caso, la mente se adecua a la realidad ( adequatio rei et intellectus ). Platn haba ya distinguido en el Cratilo entre el logos aleths y el logos pseuds. En la Metafsica, Aristteles sostiene que decir de algo que es, que es, es verdadero y decir de algo que es, que no es, es falso. En el Tractatus, Wittgenstein hace descansar la nocin de verdad en la nocin de imagen o figura ( Bild), en cuanto las proposiciones figuran estados de cosas. Tarski desarrolla una concepcin semntica y formalizada de la verdad, vlida para lenguajes con estructura exactamente especificada. Segn dicha concepcin, "p" es verdadero si y slo si p. Popper restringe la nocin de verdad a las tautologas de la lgica y trata a las ciencias con el concepto de verosimilitud. En su Structure of Scientific Revolutions, T.S.Kuhn elimina el concepto de verdad, aunque se le deslice una versin dbil mediante el concepto de ajuste (match) entre paradigma y naturaleza. Un popperiano como Hans Albert concibe la idea de verdad como una idea relativa: "Pero la idea de verdad es, en s misma, fcil de entender sin que haya que unirla a la idea de un criterio de ese tipo e incluso sin que necesite una definicin formal. Esa idea es probablemente antiqusima y se puede aclarar en relacin sobre todo con un lenguaje que sea apropiado para la representacin, y por tanto, que no slo tenga funciones de expresin y de sealizacin. Puede concebirse como la idea de representacin acertada de los hechos a los que podemos referirnos con medios lingsticos. Se aplica, por tanto, como una idea regulativa de la correccin de la capacidad del lenguaje en su funcin de representacin y con esto se quiere decir: en la reproduccin de relaciones reales o posibles."(Radnitzky et al.1980,189). La verdad descriptiva se relaciona con los modelos, pues estos definen el mbito en el cual una teora es vlida. Los modelos son relativos, pues, a un dominio fenomnico. Definimos modelo en ciencia natural como una representacin imaginaria, simplificada, a escala y matemticamente controlable de los fenmenos. El modelo nunca ha de identificarse con lo modelado. Ahora bien, las interpretaciones de una teora pueden ser factuales y no factuales. En el primer caso, existe una interpretacin factual si un conjunto S de smbolos bsicos de una teora posee una familia de referentes C. En el segundo caso, existe una interpretacin no factual si se dan casos como el siguiente: la teora de anillos es interpretable en trminos aritmticos.(Bunge1978,252-253) Bunge define "objeto modelo" como una idealizacin o

boceto de la cosa real, idealizacin que destaque algunos de sus rasgos caractersticos(Bunge 1982,59) y distingue el objeto modelo de la teora general, del modelo teortico y del sistema fsico. As, si la teora general est formada por la mecnica clsica y la teora de la gravitacin, entonces el modelo teortico es la teora lunar y el objeto modelo es un slido esfrico que gira en torno a su eje y que rota en torno a un punto fijo; finalmente, el sistema fsico es la Luna. Qu significa modelo? 1) Una estructura en la cual la teora encuentra una realizacin. En este sentido matemtico de modelo, a model of a structure of a given species is any set endowed with structural features satisfying the requirements of that species (Torretti 1990,306). Asimismo, en la lgica matemtica, a model of a sentence of a formal language is also a set-theoretical system, in which the language of the sentence is interpreted, and the sentence is true or false according with the interpretation. (Chuaqui 1991,77). 2) El modelo en el sentido ordinario, esto es como una representacin,es un tipo de relacin entre objetos. En este sentido, modelo es una representacin imaginaria que nos permite simplificar los fenmenos y controlarlos matemticamente al interior de una escala (por ejemplo, atmica). Son ejemplos de esto: la elipse de Kpler, la luna como un slido esfrico girando alrededor de su eje, la doble hlice del cido deoxiribonucleico. 3) Una variante de 2) es el modelo como una analoga tosca, no exacta, no matemtica: es el caso de las metforas y las comparaciones. Ejemplos de esto son: la clula como un tomo en Schwann, el corazn como un fuelle en Harvey, el aire como un mar en Torricelli. Las comparaciones son ms explcitas desde el punto de vista de la analoga: vase las comparaciones de Fermi, Young y Faraday. El razonamiento cientfico concerniente a las teoras toma en cuenta las reglas de deduccin y de induccin, como asimismo las estructuras matemticas (vase el significado del concepto matemtico de grupo para entender la mecnica clsica y relativista). Todo eso es formalismo, sin embargo el punto es cmo relacionar las secuencias de conceptos y enunciados cientficos con la realidad. Entonces tenemos que imaginar ciertos objetos inexistentes (Neptuno en el caso de Leverrier, el germanio en el caso de Mendeleev, la hiptesis del neutrino en W. Pauli). El segundo sentido del trmino "verdad" es el estipulativo. En este caso, la realidad se adecua a la mente. Esta define lo "verdadero". Quien define puede ser una mente individual o una comunidad de mentes. Respecto al cmo, la estipulacin puede ser establecida a priori:

es el filtro kantiano de las categoras y de las formas puras de la sensibilidad. O bien puede ser establecida arbitrariamente: es el modelo ldico del ajedrez, que corresponde al convencionalismo (Mach, Poincar). Conforme a este sentido de verdad, los trminos tericos se convierten en cualquier caso en constructos puros. Segn la teora de la verdadcoherencia, no se pueden comparar mente y realidad y entonces no queda sino comparar proposiciones e integrarlas en un todo (conjunto cerrado) mediante criterios lgicos. El tercer sentido del trmino "verdad" es el pragmtico. En este caso, definimos "verdad" segn el contexto prctico y segn una transaccin entre mente y realidad. Podemos distinguir dos sentidos de la verdad pragmtica: a) El sentido pragmatista, en virtud del cual la verdad se establece segn la utilidad para la prediccin, mediante el recurso del poner a prueba. b) El sentido operacionalista, en virtud del cual los trminos tericos son definidos mediante un procedimiento de operaciones de medicin: temperatura, tiempo; etc. Por ejemplo, si decimos que la temperatura de un metal es 30 C, eso depende del sistema de medicin escogido(aspecto constructivo), pero tambin hay interseccin causal con la realidad(aspecto descriptivo). Es una tesis capital de mi propuesta el que estos tres sentidos de "verdad" coexisten complementariamente en las ciencias naturales. La integracin de ellos en cuanto momentos, en el sentido husserliano de partes dependientes de un todo, produce la verdad integral cientfica. La desintegracin genera las abstracciones correspondientes de dichos momentos: realismo, constructivismo y operacionalismo. Apliquemos este modo de considerar las cosas. Se puede comenzar con una descripcin de un gas es decir, enunciar sus propiedades y esto nos sita en un nivel de gaseofenomenologa. Pero tal descripcin requiere exactitud y entonces es necesario medir: Science is measure, deca Lord Kelvin. El gas se convierte entonces en una matriz de datos correspondientes a las variables presin, temperatura y volumen. Este es el nivel de la gaseometra. Pero surge un tercer momento, en que necesitamos construir entidades tericas para explicar idealmente esos datos: ste es el nivel de la gaseologa. Necesitamos un gas perfecto, presupuesto por la ley de Boyle-Mariotte. La teora cintica de los gases de Maxwell y Boltzmann muestra la equivalencia entre el calor y el movimiento de las molculas y, por aadidura, explica el desfase entre el 2 y el 3 er nivel. Es necesario corregir siempre ste, mediante predicciones que son confirmadas y refutadas en el 2 nivel. Finalmente, hay una

conexin evidente entre la fenomenologa de un gas y el modelo de un gas como poblacin de molculas con movimiento aleatorio. Quien primero inicia este modelo visual es D. Bernoulli.

REFERENCIAS

Bunge, M. 1982(2a edicin) Filosofa de la Fsica, Barcelona: Editorial Ariel. Bunge, M. 1983 Metateora,en Y. Bar-Hillel et al., El pensamiento cientfico, Madrid: Tecnos, 225-265. Chuaqui, R. 1991 Truth, Possibility and Probability, Amsterdam: North Holland. Dirac, P.A.M. 1967 Principios de Mecnica Cuntica, Barcelona: Ediciones Ariel. Kuhn,T.S. 1970(Second edition, enlarged) The Structure of Scientific Revolutions, Chicago: Chicago University Press. Niiniluoto,I. 1978 Verisimilitude, Theory, Change, and Scientific Progress, en Acta Philosophica Fennica, XXX, Amsterdam: North-Holland. Radnitzky, G. et alii.1982 Progreso y racionalidad en la ciencia, Madrid: Alianza Editorial. Ribes,D. 1976 Panormica actual de la filosofa de la ciencia:estructura interna de teoras y cambio cientfico, Revista Teorema,Vol.VI/3-4,360-425. Sneed, J. 1971 The Logical Structure of Mathematical Physics, Dordrecht: D. Reidel. Torretti, R. 1990 Creative Understanding. Philosophical Reflections on Physics. Chicago and London: The University of Chicago Press. Tuomela, R. 1973 Theorical Concepts, Wien-New York:Springer.