Вы находитесь на странице: 1из 11

SOBRE EL CONCEPTO DE MODELO*

Jess Mostern
Universidad de Barcelona

La "Lgica Matemtica" de Jos Ferrater Mora y Hugues


Leblanc, que yo le a los 17 aos, fue a la vez el primer libro de
Ferrater y el primer libro de lgica que cay en mis manos. Guardo un grato recuerdo de aquella lectura, que abri un mundo nuevo de rigor y claridad ante mis ojos y contribuy decisivamente a
determinar mi vocacin y mi trayectoria profesional. Posteriormente he seguido leyendo con inters los libros de Ferrater y he
tenido la oportunidad de conocerle personalmente, con lo que al
aprecio intelectual ha venido a aadirse la amistad.

Pinturas y Modelos
En el Simposio de Lgica y Filosofa de la Ciencia celebrado en Valencia en Noviembre de 1971 -en el que yo tambin participaba y que l tan acertadamente presida- Jos Ferrater Mora
present una ponencia sobre "pinturas y Modelos", luego publicada tanto en las Actas del Simposio como en su libro "Las palabras
y los hombres". Quera entonces haber comentado con l algunos
puntos de su ponencia, pero dado el curso agitado que tom el
citado simposio, me qued finalmente con las ganas de hacerlo.
Por eso voy a aprovechar la oportunidad que el homenaje a Ferrater me brinda para hacer un par de consideraciones sobre aquella
temtica.
*
Este ensayo forma parte del volumen homenaje, de futura publicacin, a Jos Ferrater Mora.
131

132

Sobre el concepto de modelo

Cuando dilucidamos conceptos, partimos del anlisis del uso de


los correspondientes trminos en el lenguaje, para luego proponer
una precisin artificial de los mismos. La precisin propuesta ser
tanto ms aceptable cuanto, por un lado, ms exacta, unvoca y
fecunda sea y, por otro lado, cuanto menos se aleje de los usos
lingsticos comunes. En su ponencia Ferrater trataba de dilucidar algunos conceptos relacionados con la representacin, y en especiallos de pintura y modelo. Me permitir hacerle algunas crticas y sugerencias desde los puntos de vista indicados.
Ferrater considera una serie de fenmenos de representacin y de usos lingsticos correspondientes. Se fija sobre todo en
la relacin binaria entre una pintura (en su sentido ms amplio) x
y el objeto pintado y. Ferrater propone como expresin cannica
para expresar esa situacin la de que "x pinta (o pinta a) y". Esta
propuesta terminolgica parece desafortunada, pues decir que la
pintura pinta al ob1eto pintado parece ir frontalmente en contra
del uso que normalmente se hace de esas palabras. Lo que suele
decirse es que alguien -el pintor- pinta una pintura de (o que representa) un objeto. Adems, si lo que nos interesa es la dilucidacin del concepto de pintura, convendr tener en cuenta tanto las
relaciones (pragmticas) de la pintura con el pintor que la pinta
como sus relaciones (semnticas) con el objeto pintado. Por ello
quizs hubiera sido ms fecundo para el anlisis del tipo de situaciones que interesaban a Ferrater partir de la relacin ternaria
entre el pintor, la pintura y el objeto pintado, la cual podra expresarse cannicamente (pero de modo acorde con el espritu de
la lengua) diciendo que "(el pintor) x pinta (la pintura) y que representa (al objeto) z".
En su dilucidacin del concepto de modelo Ferrater parte .
de la expresin "x es un modelo de y" -cannicamente, en su
propuesta, "x modela y" -, como paralela a "x es una pintura de
y". Es decir, Ferrater coloca desde el principio los modelos del
mismo lado de la relacin de representacin que las pinturas, y
luego se las ve y se las desea para distinguir modelos de pinturas.
Yo pienso que en ese caso hubiera sido ms fecundo partir de la
expresin "x es un modelo de y" como simtricamente opuesta a
"x es una pintura de y", en el sentido de que "x es una pintura

Sobre el concepto de modelo

133

de y" si y slo si ''y es un modelo de x". Con esto tanto la distincin como la relacin entre los conceptos de pintura y modelo
hubieran resultado mucho ms difanas y precisas. Adems, este
anlisis podra haber sido incluido en el anterior, diciendo que el
pintor x pinta la pintura y que representa al modelo z. De hecho,
es lo que pasa -y lo que se dice que pasa- en el estudio de un artista: el pintor pinta un cuadro (una pintura) del (o de la) modelo.
Ferrater distingue entre pinturas que representan -en su
terminologa, que pintan -con similaridad pictrica y pinturas
que representan sin similaridad pictrica.! Entre las pinturas que
representan sin similaridad pictrica se encuentran -l no lo dice
explcitamente, pero yo lo entiendo as, y me imagino que l tambin- las teoras. El cientfico es el pintor que pinta (construye)
esa peculiar pintura -la teora- que representa (describe) una determinada parcela de la realidad. Como la teora es un caso especialmente interesante (al menos para Ferrater y para m) de pintura, en lo que sigue voy a exponer unas consideraciones sobre el
concepto de modelo de (ese tipo de pintura que es) una teora.

Teoras, sistemas y modelos


Lo que despierta el inters cientfico y es sometido a investigacin no suele ser tanto un individuo aislado como un sistema.
Un sistema es una entidad compleja formada por diversos individuos y por una serie de funciones y relaciones entre esos individuos. Ejemplos de sistemas son el sistema de los nmeros naturales (formado por el O, el 1, el 2, el 3, etc. y la relacin de ser el
siguiente de), nuestro sistema solar (formado por el sol;-los planetas, los cometas, etc. y sus rbitas, velocidades y distancias), el
ecosistema del lago de Baolas (formado por el agua de dicho lago
y los organismos que lo habitan, sus fluctuaciones, y sus relaciones tanto entre ellos -cadenas alimenticias, etc.- como con el
entorno), el sistema bancario suizo (formado por los bancos de
ese pas, sus clientes, sus operaciones, etc.), el sistema espaol de
correos (formado por los carteros, las estafetas, las redes de distribucin, la subordinacin entre oficinas y personas, etc.), etc.

. - - . +- - - . - . - + - - . - .+- - .- - .- -

134

Sobre el concepto de modelo

El estudio cientfico de un modelo aspira a elaborar una


teora del sistema, es decir, un conjunto de enunciados, ecuaciones, frmulas, esquemas, etc. que permitan describir adecuadamente el funcionamiento presente del sistema, as como explicar
lo ocurrido en el pasado y predecir lo que pasar en dicho sistema
en el futuro. Si el empeo tiene xito, logramos una teora del
sistema. Las variables de esta teora se referirn a los individuos
del sistema y sus conceptos correspondern a las relaciones y funciones del mismo. Si el sistema funciona tal y como lo indica la
teora, si en l se cumple lo que dice la teora, decimos que el sistema es un modelo de la teora. As, el sistema de los nmeros naturales es un modelo de la teora aritmtica de Peano, nuestro sistema planetario es un modelo de la teora de Kepler, el sistema de
las placas continentales terrestres es un modelo de la teora de

VVeneger,etc.

Uno puede aspirar a teoras de ms alcance, que sean aplicables no ya a un sistema, sino a toda una clase de sistemas. As,
la teora de grupos es aplicable al sistema formado por los nmeros enteros y la adicin, o al formado por los nmeros racionales
menos el cero y la multiplicacin, o al formado por los automorfismos de un conjunto cualquiera y la composicin, etc. As, tambin, la mecnica clsica de partculas es aplicable al sistema formado por la Tierra y la Luna y sus respectivos movimientos, o a
nuestro sistema solar entero con los suyos, o al sistema formado
por un pndulo y la Tierra, o al formado por las bolas de billar en
una mesa determinada, etc. As tambin, la teora limnolgica es
aplicable a todos (o a muchos) lagos.
A veces ocurre que la teora elaborada para un solo sistema. resulta tener tambin otros modelos. As, lo dicho por la teora aritmtica de Peano no slo se cumple en el sistema de los nmeros naturales, para el que fue construida, sino en muchos otros
sistemas, que son otros tantos modelos (por as decir, involuntarios) de esa teora. Y la teora mecnica clsica de partculas no
slo se cumple en los sistemas (Tierra, Luna, mareas; sistema solar; Tierra y pndulo; Tierra y proyectil ...) en los que Newton
pensaba al elaborada -es decir, en sus modelos paradigmticos-,
sino que tambin es aplicable a muchos otros sistemas, tiene mu-

- - ---

--

---

--

- --

--

Sobre el concepto de modelo

135

chos otros modelos, como la comunidad cientfica formada en


torno a ella se encargara de mostrar. En defmitiva, lo que Kuhn
llama "ciencia normal" (la actividad de una comunidad cientfica
formada en tomo a una teora) consiste fundamentalmente en la
bsqueda de nuevas aplicaciones de la teora, en el descubrimiento de otros sistemas en que se cumple, de nuevos modelos suyos.
Tambin puede ocurrir que la teora elaborada -aunque
coherente e incluso brillante- carezca -al menos hasta hoy-de
modelos reales, de aplicaciones. As, quizs detenninadas teoras
econmicas slo seran aplicables (slo tendran como modelos) a
sistemas econmicos donde la competencia, transparencia y elasticidad de ciertos factores fueran perfectas. Mientras no exista ninguna economa de esas caractersticas, dichas teoras carecern de
modelos reales (aunque si son consistentes, tendrn modelos numricos, pero eso no interesa a los economistas).
Qu tienen de comn todos los modelos de una misma
teora? Una estructura, la estructura caracterizada por esa teora.
As, todos los modelos de la teora de grupos -todos los grupostienen de comn la estructura de grupo. Todos los modelos de la
teora de espacios vectoriales tienen de comn la estructura de
espacio vectorial. Todos los modelos de la teora clsica de formacin de precios tienen de comn la estructura de mercado libre.
Todos los modelos de la teora ciberntica de la servorregulacin
tienen de comn la estructura de servomecanismo.
La estructura asociada con una teora puede considerarse
(intensionalmente) como lo que de comn tienen todos los modelos de esa teora, los rasgos o propiedades comunes a todos ellos,
o (extensionalmente) como la clase de todos los modelos de la
teora.

Noticia de la teora de Modelos


En la matemtica est muy avanzado el estudio de las relaciones de las teoras con sus modelos, habindose alcanzado aqu
un envidiable nivel de precisin y habindose desarrollado una potente teora -la teora de modelos- 2 que incluso permite obte-

. ---

. --

-. +

-_.--

.--

--

1
I

136

Sobre el concepto de modelo

ner determinados resultados algebraicospor procedimientos ms


sencillos (por ejemplo, va el compactness theorem) que los
usuales.
Consideremos, a fm de aclarar las ideas, el caso ms sencillo, el de un sistema relacional simple y el de una teora formal
homlo.&~con l. Un sistema es aqu una entidad A compuesta
por una clase no vaca (el universo del sistema)y una serie de relaciones eIrlre elementos de esa clase.
A es un sistema si y slo si para algnA, Rl ... Rn:
(I)A =(A,Rl...Rn>
(2) A ::/=el>

(3) para cada i (1 <::i <::n): Ri es una relacin en A, es


decir, para algn nmero m: R.1 CAm
Dos sistemas son similares si tienen el mismo nmero de
relaciones y a cada relacin n-dica del uno corresponde otra relacin n-dica del otro.

Sean A "= (A, RI ... Rn> y B = (B, SI'" Sm>dos siste-

mas. A y B son similares si y slo si (1) n = m y (2) para cada


i (1 <::i <::n): R.I y S.1 son relaciones del mismo nmero dico o
ario (es decir, ambas son monarias, o ambas binarias, o ambas ternarias, o para algn otro nmero j, ambas son j-arias o j-dicas).
Dos sistemas similares son isomorfos si tienen igual cantidad de individuos en sus universos y si en ambos ocurre lo mismo
respecto a sus relaciones respectivas.
Los sistemas similares A = (A, Rl ...Rn > y B=<B, SI'" Sm>
son isomorfos si y slo si existe una funcin h tal que:
(1) h es una biyeccin de A en B
(2) Para cada i (1 <::i<::n)y cadaj individuo~ al ...a.E A:
R. a l '" a. si y slo si S.h(a l ) ... h(a.).
J
I

En ese caso, decimos que h es un isomorfismo entre A y B.


Una teora formal formulada en el lenguaje L es homloga con el sistema A = (A, Rl ... Rn>si en dicho lenguaje hay
precisamente n predicados (o relatores) Pl' ... Pn y ocurre que para cada i (1 <::i <::n), el nmero ario del predicado P.1 de L es
igual al de la relacin R.1 de A.

Sean A

--

= (A,

Rl

... Rn> y B = (B, SI'" Sn>dos sistemas

137

Sobre el concepto de modelo

similares y homlogos con la teora T formulada en un lenguaje


con los predicados P1 oo.Pn. Dado un teorema a de la teora T,
podemos interpretar a sobre el sistema A suponiendo que las variables se refieren a elementos cualesquiera de A y que los predicados P; se refieren a las correspondientes relaciones Ri de A e
igualmente podemos interpretar a sobre el sistemaB, suponiendo
que las variablesse refieren a elementos cualesquiera de B y que
cada predicado P.1 se refiere a la correspondiente relacin S.1 de B.
Si todos los teoremas de la teora T, as interpretados o "traducidos", resultan verdaderos -se cumplen- en A, mientras que algn teorema de la misma teora resulta falso -no se cumple- en
B, decimos que A es un modelo de T, pero que B no lo es.
Todos estos conceptos estn interrelacionados entre s.
Por ejemplo, si dos sistemas son isomorfos entre s, entonces ambos son modelos de exactamente las mismas teoras. La isomorfa
sirve precisamente para establecer la distincin entre teoras categricas (cuyos modelos son todos isomorfos entre SI) y teoras
polimorfas (que tienen modelos no isomorfos).
Una teora cualquiera determina la clase de sus modelos.
y un sistema cualquiera determina unvocamente la clase de todas
las teoras de las que l es modelo. As, podemos partir de una
teora y buscarle modelos, o partir de un modelo (de un sistema)
y buscarle teoras. Y podemos obtener informacin sobre las teoras estudiando sus modelos, y sobre los sistemas, estudiando sus
teoras. Respecto a todos estos y otros muchos aspectos de las relaciones entre teoras y modelos la teora de modelos ofrece mtodos precisos y resultados abundantes, a los que evidentemente
no quisiramos renunciar.

El uso de "modelo" en el lenguaje ordinario

Si nos atenemos a la relacin entre la pintura y 10pintado,


la representacin y 10 representado, la fotografa y 10 fotografiado, etc. nos encontramos con que el lenguaje ordinario usa la
palabra "modelo" en dos sentidos fundamentales que no slo son
distintos sino que son contrapuestos. En efecto, a veces se usa

----

--

138

Sobre el concepto de modelo

"modelo" para designar lo pintado, lo representado, lo fotografiado. As, se habla del modelo de un pintor o un escultor, de la
modelo de un fotgrafo, del auge de la profesin de modelo desde que se inici el destape, etc. Pero otras veces se usa "modelo"
para designar el extremo opuesto de la relacin, es decir, la pintura, la escultura, la representacin, la maqueta.3 As, se habla del
modelo de un barco, del modelo (o maqueta) a escala reducida de
un edificio, etc. Esta radical equivocidad del vocablo "modelo"
en el lenguaje ordinario se ha trasladado a la ciencia, dando lugar
a dos usos opuestos de la palabra. En las ciencias fonnales se habla de modelo como de aquello a 10que se refiere la teora, como lo
que est frente a la teora, como (exagerando) lo opuesto a la teora. Es el sentido que tiene la voz en la teora de modelos. En las
ciencias empricas, sin embargo, con frecuencia se habla de modelos en otro sentido; a veces, incluso se habla de modelo como sinnimo de teora. A veces, los economistas o los psiclogos dicen
que buscan un modelo para explicar un sistema que les interesa,
queriendo decir que buscan una teora que describa adecuadamente ese sistema.
Dado que el primer significado de la palabra "modelo"
-modelo como lo opuesto a teora, modelo como sistema en que
se cumple lo que dice la teora- es el nico que ha sido precisado,
estudiado y desarrollado -ah est el formidable arsenal conceptual de la teora de modelos-, parece conveniente dade la prefe~
rencia al menos en el campo de la metodologa.4 Donde se emplea la palabra "modelo" como sinnimo de teora, lo ms prctico sera dejar de usada en dichos contextos y sustituida por la
palabra "teora", de uso mucho menos confundente. Respecto a
los otros usos de "modelo" en la ciencia emprica, convendra
precisados en funcin de los conceptos desarrollados a partir de
la teora de modelos, mxime ahora que estos conceptos encuentran creciente aplicacin en las investigaciones metodolgicas sobre las teoras fsicas. 5

Sobre el concepto de modelo

139

Servir de Modelo
En las ciencias empricas con frecuencia ocurre que el sistema que se quiere describir tericamente es enormemente complicado y que el investigador no sabe cmo hincarle el diente, no
sabe por dnde empezar. A veces lo que hace es buscar o construir otro sistema "que le sirva de modelo" para el estudio del
primero.
Si estudiamos el trnsito rodado en Barcelona y nos perdemos en la complejidad del tema, sin llegar a resumido en principios o ecuaciones esclarecedoras, quizs encontremos la inspiracin estudiando otro sistema que tenga algunas caractersticas
en comn con el trnsito en Barcelona, pero que sea ms simple o
mejor conocido y estudiado -como el flujo de lquidos de densidad variable por un sistema de canales de perfil variable. Es decir,
el flujo de dichos lquidos nos puede quizs servir de modelo para estudiar el trnsito rodado en Barcelona.6
Si queremos estudiar la resistencia que ejercer el aire sobre un determinado avin a diversas velocidades, la investigacin
directa puede resultar peligrosa y llena de problemas y dificultades. Una manera racional de proceder consistir en construir
una maqueta a escala del avin en cuestin y una cmara de ensayo donde podamos provocar corrientes controladas de aire, en
estudiar cmo funciona ese sistema simple (qu resistencia opone
el avin-maqueta a las corrientes de aire de la cmara) y en formular una teora que 10 describa adecuadamente. Con un poco de
suerte, esa misma teora ser aplicable tambin al sistema formado por el avin grande y los vientos de verdad. El avin-maqueta
y la cmara de viento nos habrn servido de modelo para estudiar
la resistencia del avin grande al viento de verdad -que es lo que
nos interesa.
Qu ocurre en estos casos? Queremos describir tericamente -construir una teora que nos sirva para explicar y predecir- un sistema muy complicado y poco conocido, y no sabemos
cmo proceder directamente. Entonces seguimos un camino indirecto. Nos fijamos en otro sistema ms simple o mejor conocido
que el primero, pero que posea algunos de sus rasgos o caracters-

- -

--

140

Sobre el concepto de modelo

ticas, que se le parezca en algn respecto que intuitivamente nos


parezca relevante. Si no encontramos tal sistema, lo construimos
(con plstico, madera y acero o, al menos, con la imaginacin).
En cualquier caso, nos encontramos con dos sistemas: el que nos
interesa, pero que nos resulta demasiado complicado o desconocido, y el que se le parece en algo, pero que es ms simple o mejor
conocido o ms fcilmente estudiable. Construimos una teora
que describa.adecuadamente el funcionamiento del sistema simple, que tenga al sistema simple por modelo. Y, fmalmente, tratamos de aplicar esa misma teora al sistema complejo o desconocido. Pueden pasar dos cosas. Puede que en el sistema complejo
no se cumpla lo que dice la teora elaborada a partir del sistema
simple. En ese caso decimos que ese sistemasimple o conocido no
sirve como modelo del sistema complejo o desconocido. Y hay
que volver a empezar o buscar la inspiracin por otro camino. Pero puede que en el sistema complejo s se cumpla lo que dice la
teora elaborada a partir del sistema simple. Entonces decimos
que el sistema simple o conociQo sirve como modelo del sistema
complejo o desconocido. En ese caso, ambos sistemas son modelos de la misma teora y, por tanto, tienen ciertas propiedades estructurales en comn, tienen cierta estructura en comn (a saber,
la estructura caracterizada por la teora en cuestin).7
El servirde modelo es, pues, algo distinto de (pero reducible al) ser modelo de.
Podemos decir que el sistema A sirvede modelo del sistema B al cientfico H si y slo si (1) A es ms simple o resulta ms
conocido a H que B, (2) a partir de A H desarrollala teora T, de
la que A es un modelo y (3) B es tambin un modelo de T.
Es de esperar que otras expresiones usadas en las ciencias
empricas en las que aparezca la palabra "modelo" sean igualmente reducibles al concepto de modelo que se usa en teora de modelos, aunque la mayor parte del trabajo -evidentemente- est
todava por hacer.

Sobre el concepto de modelo

141

NOTAS
1 (Filosofla y ciencia en el pensamiento espaol contemporneo,
Tecnos, Madrid, 1973, pp. 90-91). Esta distincin es importante y escJarecedora. Por desgracia, la elaboracin y caracterizacin de la distincin en el
texto de Ferrater es muy confusa, confusin a la que contribuye el uso que
Ferrater hace de los vocablos tcnicos matemticos "isomorfismo" y "homomorfismo". En el significado matemtico de estos trminos -que es el
nico que yo conozco- los isomorfismos son un tipo especial y extremo de
homomorfismos. es decir, todo isomorfismo es homomrfico, pero no a la
inversa. Por eso expresiones como "el isomorfismo, sea o no homomrfico oo." y oraciones como "Tanto si x pinta y con similaridad pictrica como (si) no, es menester que x sea isomrfico con y; slo cuando la pintura
ofrece similaridad pictrica es menester, adems, que x sea homomrfico
con y" no resultan excesivamente inteligibles, al menos si se da a esos trminos su significado matemtico. Y si Ferrater les da otro significado distinto -y puesto que se trata de palabrotas tcnicas ajenas al lenguaje ordinario-, debiera informarnos de cul es ese significado, a fin de que lo entendamos.
2 La teora de modelos fue iniciada por Tarski. Una presentacin actual de la misma puede encontrarse, por ejemplo, en Model Theory, de
C. Chang y H.J. Keisler (North-Holland Publ. Co., Amsterdam 1973).
3 Ferrater slo pa~ece ser consciente en su ponencia de este segundo
uso de "modelo" en el lenguaje ordinario (Las palabras y los hombres, Pennsula, Barcelona 1971, pp. 139, 143 y 144, o Filoso/la y ciencia en el
pensamiento espaol contemporneo,
pp. 89 Y 92), pero no del primero.
4 Esta postura afortunadamente
no es original. Es la misma que mantiene, por ejemplo, Patrick Suppes en "A comparation of the meaning and
uses of models in mathematics and the empirical sciences", impreso en The
concept and the role of the model in mathematics and natural and social
sciences (D. Reidel, Dordrecht, Holanda 1961).
5 Pinsese en el importante papel que juegan los modelos en la reconstruccin de las teoras fsicas por Joseph Sneed y sus discpulos. De todos
modos, el conceptQ sneediano de teora es mucJ:o ms complejo que el
concepto simple e ingenuo aqu propuesto.
6 Varios ejemplos -entre ellos, uno casi igual que ste- de sistemas
que sirven de modelos para el estudio de otros se encuentran en la ponencia de Ferrater. Vase la pg. 147 de Las palabras y los hombres, o las pgs.
94-95 de Filosofza y ciencia en el pensamiento espaol contemporneo.
7 Quizs es esto lo que Ferrater quiere decir al final del primer prrafo
de la pg. 147 de Las palabras y los hombres, o de la pg. 95 de Filosofza y
ciencia en el pensamiento espaol contemporneo.