SISTEMAS, MODELOS Y TEORAS

El objeto del presente trabajo es ofrecer una sistematizacin descriptiva de la

perspectiva que domina actualmente el proceso del conocimiento cientfico: el conocimiento
por modelos. Esta sistematizacin se reduce aqu y por ahora a una normalizacin
terminolgica y semntica de las principales entidades y relaciones presantes en el proceso
del conocimiento cientfico: en justificacin viene dada por el caos que en este sentido se
advierte en la literatura teora del conocimiento cientfico y filosofa de la ciencia.
Se parte de considerar aqu el proceso de conocimiento (investigacin) cientfica
como analizable en dos casos: 1) Como un proceso de explicacin de la realidad por una
teora. 2) como un proceso de confirmacin por la realidad de una teora. Se introduce
adems la concepcin como sistema de la realidad constituida en objeto de investigacin y
la modelacin como factor de enlace entre realidad y teora.
Los casos apuntados sern descritos por esquemas ideales y se propondrn como
modelos del proceso de conocimiento cientfico. Al final se insistir sobre la naturaleza
implicativa de ambos casos de todo proceso de conocimiento (investigacin) cientfico, pero
los modelos anteriores habrn llenado su contenido si han permitido analizar en condiciones
ideales las relaciones planteables en el proceso.
Los desarrollos que siguen son informales, no obstante factibles de ser formalizados
con el lenguaje de la teora de grafos, en la cual de la forma ms simple y sin extraer
mayores consecuencias se ofrecen los modelos apuntados.
Como el conocimiento cientfico no es sino el resultado de una prctica investigativa,
consideraremos los desarrollos alternativamente en el plano del proceso del conocimiento o
en el proceso de investigacin, i. e., tanto epistemolgica como metodolgicamente.
El proceso de investigacin cientfica de la realidad est constituido por fases a
travs de las cuales el investigador maneja tres elementos y sus relaciones. Los tres
elementos son: a- El objeto a investigar, b- su representacin y c- el problema a resolver.
Antes de pasar a la enunciacin de sus relaciones ser necesario caracterizar de cierta
manera dichos elementos.
EL OBJETO DE INVESTIGACIN: EL SISTEMA
Por objeto de investigacin entendemos la seleccin o la definicin y/o construccin,
a partir de la realidad, de elementos, propiedades de elementos y relaciones entre
1

elementos, que lleva a cabo el investigador y con las cuales reconstruye un aspecto de la
realidad. Los trminos anteriores requieren alguna explicacin.
Los elementos, las propiedades y las relaciones que constituyen los hechos y
procesos reales son entidades:
a- Seleccionables: en tanto son relativamente observables y aislables en la
realidad, ejemplo: los seres humanos
b- Definibles: en tanto son reconstruibles a travs de manifestaciones relativamente
observables y aislables, ejemplo: el electrn o en tanto son construcciones
tericas que sirven de entorno de referencia a multitud de relaciones
seleccionables y/o definibles, ejemplo: la entropa.
Los casos no son excluyentes y as, por ejemplo, el ser humano como elemento a
los efectos de una investigacin puede no ser slo seleccionable, sino tambin definido
reconstructivamente por las manifestaciones de su conducta que se consideran relevantes
para los objetivos de la investigacin. Otro ejemplo: la temperatura es seleccionable en
tanto que es relativamente observable y aislable por las mediciones que con un cierto
instrumento podemos hacer de ella. Sin embargo, su anlisis nos conduce a la definicin
terica operacional que nos brinda la fsica.
Ya que la constitucin fundamental del objeto de investigacin viene dada por sus
elementos y relaciones definiremos matemticamente el mismo como sistema.
Definicin: Un sistema es un conjunto no vaco de elementos y un conjunto no vaco
de relaciones definidas entre dichos elementos.
Dado el carcter abstracto de la definicin, ella puede caracterizar el uso de la
nocin de sistema en cualquier ciencia definiendo cualquier objeto de investigacin.
Ejemplo: 1. Matemtica: el conjunto de los nmeros naturales N y la relacin de orden
parcial introducida en dicho conjunto. 2. Fsica: las partculas de un gas contenido en un
recipiente y las ligaduras que limitan sus movimientos respectivos. 3. Sociologa: los
individuos que constituyen un grupo informal y las amistades establecidas entre ellos.
LA REPRESENTACIN DEL OBJETO DE INVESTIGACIN: EL MODELO
Un objeto de investigacin o sistema deber ser manipulable en algn sentido para
el investigador. Para ello es necesario no slo definirlo sino tambin representarlo.
Para representar un sistema se acudir por supuesto a los ms idneos i.e a
representarlo mediante otro sistema. Definiremos como modelo cualquier sistema que haga
2

las veces de representacin de otro sistema. Incluso puede tratarse del mismo sistema en
cuestin. Ejemplos: 1. La construccin a escala de un avin cuyas caractersticas de vuelo
quieren ser verificadas en el tnel aerodinmico es un modelo de avin que de dimensiones
standards se proyecta, que es el modelo investigado. 2. Una gota de lquido es un modelo
propuesto del ncleo atmico (sistema investigado) en tanto ciertas propiedades de este
ltimo son determinables matemticamente de una manera semejante a como son
determinadas matemticamente ciertas propiedades de la gota de lquido. 3. El sistema de
los nmeros naturales N y la relacin de orden parcial entre los mismos constituye al mismo
su modelo.
De hecho los tres ejemplos apuntan a los tres tipos fundamentalmente de modelos
con los que pueden representarse los sistemas. El ejemplo 1 constituye un caso de modelo
icnico. Como puede apreciarse por el ejemplo la nica diferencia entre el modelo a escala
de un avin y del aparato standard es una transformacin mtrica de sus dimensiones
manteniendo invariantes algunas de sus propiedades (en el caso del avin, por ejemplo, el
material y la configuracin del fuselaje) con vistas a comprobar en condiciones
experimentales (condiciones reproducibles y controlables) algo relacionado con dichas
propiedades (en el caso del avin, la resistencia del material y las caractersticas de vuelo
de su configuracin). El ejemplo 2 constituye un caso de modelo analgico. En este caso a
ciertas propiedades del sistema (en el caso del ncleo atmico, su volumen y su masa) se
las hace corresponder propiedades de otros sistemas (en el caso de la gota de lquido, su
volumen y masa). En este caso se trata por lo general de representar para su estudio las
propiedades de un sistema no conocido por analoga mediante las propiedades de un
sistema conocido.
El modelo 3 constituye un caso de modelo simblico. En los modelos simblicos de
un sistema los elementos y las relaciones del mismo son representantes mediante
smbolos. El ejemplo en cuestin constituye un modelo de un sistema que podemos
denominar orden parcial discreto o no denso: los nmeros naturales podran representar los
nios de una cierta escuela primaria y la relacin de orden parcial podra representar la
relacin ser menos o tan alto como, mediante la cual todos los nios podran ser
ordenados con vista quiz a su distribucin por aulas, etc.
LA PROBLEMTICA DE UNA INVESTIGACIN: LA TEORA
La problema de una investigacin no slo est constituida por la definicin ms o
menos precisa de las preguntas para las que el investigador busca respuestas en la
realidad, sino tambin principalmente por las premisas condicionantes en algn sentido de
estas preguntas y por las hiptesis o respuestas a priori o sin confirmar que el investigador
3

posea para dichas preguntas. Denominaremos a la formulacin ms o menos coherente de

estos aspectos la teora de investigacin.
El proceso de la investigacin cientfica lo constituye la interaccin de estos tres
elementos. Este proceso, como objeto de investigacin, puede ser considerado un sistema
cuyos elementos son el conjunto de los sistemas (S1), el conjunto de los modelos (M1) y el
conjunto de las teoras (T1) que se implementan durante la investigacin y sus relaciones.
Proponemos a continuacin los siguientes grafos dirigidos como modelos de las relaciones
entre sistemas (S), modelos (M) y teoras (T).
1) S
2) S

M
M

3) M
4) M

T
T

Explicaciones:
El 1) representa la relacin de representabilidad de un sistema como modelo
El 2) representa la relacin de reproducibilidad de un modelo como sistema
El 3) representa la relacin de interpretabilidad de un modelo como teora
El 4) representa la relacin de realizabilidad de una teora como modelo
Estas relaciones y las demoninaciones propuestas requieren alguna aclaracin.

LA REPRESENTACIN DE UN SISTEMA EN UN MODELO

Un objeto de investigacin cientfica es tal en la medida que tenemos una
representacin del mismo, i.e., un modelo del sistema bajo estudio.
Este modelo es el resultado dentro de la prctica investigativa de un proceso al cual
denominaremos la modelacin del sistema. Podramos definir por ahora la modelacin
como el proceso mediante el cual hacemos manipulable la realidad a los fines de una
investigacin. Los distintos tipos de modelos sealados demuestran que no existe criterio
alguno que imponga lmites a la modelacin de la realidad por parte del investigador: todo lo
que sirva para representar una propiedad de un hecho o un proceso que se investiga es un
modelo aceptable de dicho hecho o proceso.
Los distintos tipos de modelos corresponden a los tres tipos posibles de modelacin
de sistemas. Para un mismo sistema pueden existir modelos de diferentes tipos e incluso
modelos diferentes del mismo tipo. As, por ejemplo, para la estructura del ncleo atmico
4

existe como modelo analgico, adems del modelo de gota de lquido, el modelo de
concha, que a su vez son sugeridos por los modelos simblicos (sistema de ecuaciones
matemticas) con los cuales se representan cuantitativamente las propiedades bajo estudio.
En verdad, lo que sucede es que siempre slo parcialmente se rinde cuentas de las
propiedades de un sistema por determinado modelo y resulta por lo tanto necesario recurrir
a diferentes modelos para el estudio satisfactorio de otras propiedades. Por supuesto que el
objetivo cientfico, por razones de economa si se quiere entre otras, es hallar el modelo
ms general de un sistema, i.e., aquel que da cuenta del mayor nmero de propiedades del
sistema. No obstante, como la prctica cientfico-investigativa demuestra, a veces, al lado
de los modelos que dan cuenta de ciertas propiedades, bien porque caigan fuera de la
capacidad de representacin de los primeros, bien porque esas propiedades sean
representadas de un modo ms satisfactorio por estos ltimos.
La situacin que se ha planteado a veces ha sido incluso la de la rivalidad entre
modelos como ha sido el caso de los modelos analgicos propuestos para el electrn, el
modelo de onda y el modelo de partcula, situacin slo conciliada a nivel de un modelo
simblico. Si de lo anterior se desprende que no es siempre factible ni mucho menos
conveniente de identificar siempre el sistema con su modelo, esta identificacin no obstante
es posible en los sistemas matemticos y lgicos a los cuales denominamos sistemas
abstractos. Los sistemas matemticos y lgicos pueden ser objeto de una doble
consideracin, bien por s mismos, bien como sistemas para la modelacin simblica de
sistemas concretos. Considerados por s mismos, cada uno constituye el modelo de s
mismo y las nicas relaciones planteables entre dos de ellos son relaciones homrficas.
LA REPRODUCTIBILIDAD DE UN MODELO EN UN SISTEMA
Cuando nos preguntamos cmo podemos representar un sistema a los fines de una
investigacin estamos preguntando cmo podemos modelar el sistema. Sin embargo,
conocido un sistema podramos preguntarnos a la inversa qu sistema podemos hacerle
corresponder al primero tomado como modelo: se trata pues del proceso inverso, en el cual
teniendo el modelo intentamos su reproduccin en un sistema.
La reproduccin de un modelo adopta diferentes formas: Las fundamentales son las
siguientes: 1 construccin o realizacin fsica del modelo; 2 experimento; 3 simulacin.
1. La construccin o realizacin fsica de un modelo tiene carcter tecnolgico: todos
los artefactos y dispositivos que el hombre ha volcado en la realidad, as como las
transformaciones que ha operado sobre ella, incluida las sociales, pertenecen a esta

categora. Ejemplo: la construccin del avin a partir de las caractersticas del

modelo a escala es una reproduccin del modelo.
2. El experimento es un tipo de reproduccin del modelo en el cual buscamos en la
realidad, en condiciones reproducibles y controlables, elementos y relaciones en las
cuales reproducir el modelo. As, por ejemplo, cuando queremos conocer si los
efectos obtenibles del experimento de una cierta innovacin cultural en una
comunidad son los mismos que habamos deducido del modelo estamos
reproduciendo el modelo. Es necesario recalcar que las caractersticas de
repetibilidad y control apuntadas para la experimentacin exigen una manipulacin
del sistema de reproduccin que slo parcialmente es lograda. Este tipo de
reproduccin de modelo tiene hoy en da toda una disciplina encargada de su
estudio: el diseo de experimentos.
3. La simulacin es un tipo de reproduccin de modelo en el cual con el sistema que
reproduce se intenta de alguna manera manipular fsicamente el modelo. El tnel
aerodinmico y el simulador de vuelos son sistemas que intentamos reproducir, el
primero, el modelo de condiciones atmosfricas y las relaciones existentes entre
ellas para un vuelo, y, el segundo, el modelo de las condiciones de pilotaje y las
relaciones existentes entre ellas para un piloto, los elementos y las relaciones de los
anteriores modelos son dadas tambin simblicamente mediante sistemas de
ecuaciones matemticas. Hasta cierto punto la simulacin no se diferencia de la
experimentacin sino slo en el sentido de que las condiciones y el medio de
experimentacin son creados artificialmente por el investigador. Hoy en da, la
simulacin ha logrado una importancia capital en la esfera de la actividad cientficoinvestigativa

debido

al

desarrollo

de

las

computadoras

electrnicas.

Las

computadoras han demostrado ya ser de un potencial inapreciable para la

simulacin de modelos. Para simular un modelo en una computadora se entrega
ste en forma de programa a la mquina junto con las condiciones de simulacin
(medio de la simulacin) que el investigador especifique; el procesar el programa es
una manipulacin fsica del modelo por parte de la mquina.
LA INTERPRETABILIDAD DE UN MODELO EN UNA TEORA
Retomemos la ya introducida nocin de modelacin: La modelacin puede ser
considerada bajo un doble aspecto. Podemos considerarla como, primero, el aspecto del
proceso de la investigacin cientfica en el cual tratamos de establecer una relacin entre un
sistema y una teora a los fines de explicar el primero: segundo, podemos considerarla
como el proceso de la investigacin cientfica en el cual tratamos de establecer una relacin
entre una teora y un sistema a los fines de confirmar la primera. Este desdoblamiento de la

modelacin a los fines de explicacin cientfica de hechos y procesos y confirmacin

cientfica de teoras es slo una idealizacin del proceso de la investigacin cientfica como
expresamos al principio.
Nos interesa considerar bajo este epgrafe el primero de los aspectos sealados.
Dijimos que un modelo no es sino un sistema que sirve para representar otro sistema.
Teniendo en cuenta esto necesitamos un tercer elemento con el cual intentaremos explicitar
hasta el grado que nos sea dable realizarlo todas las premisas implcitas, las conclusiones
derivables y el significado en general del modelo. Este tercer elemento es la teora y
llamaremos a los aspectos anteriores incluidos en una teora la interpretacin del modelo.
La relacin de interpretacin no es biunvoca como no lo son tampoco las anteriores
segn pudo apreciarse: un modelo puede ser interpretado por diferentes teoras.
La relacin de interpretacin tiene dos propsitos complementarios:
1. La definitoriedad del modelo
2. La derivalidad de conclusiones a partir de ciertas propiedades del modelo.
La interpretacin bajo su propsito definitorio es estipulacin del significado del
modelo. Los modelos por su posicin intermedia entre diversos sistemas y teoras con los
cuales pueden corresponderse mediante algunas de las relaciones mencionadas, gozan de
una cierta autonoma de representacin (reproduccin) y de interpretacin (realizacin).
Esto es lo cierto siempre con los modelos simblicos: una misma ecuacin matemtica, por
ejemplo, puede ser el modelo de sistemas distintos. As tenemos que una ecuacin lineal de
la forma y= ax + b es, como se comprueba en la prctica cientfica, modelo de mltiples
sistemas (realizacin de mltiples teoras). Esto implica que la misma ecuacin puede ser
interpretada de manera distinta y es la teora la encargada de interpretar el modelo de
manera alternativa, estableciendo el significado de las variables, las constantes y las
relaciones del modelo. Incluso, como sucede con los sistemas (modelos) matemticos, la
teora puede ser totalmente definitoria del sistema; as, por ejemplo, el sistema forma el
conjunto de los nmeros enteros y la suma es definida como un grupo para la teora al
respecto.
Pero la interpretacin va an ms all con respecto a los modelos simblicos; la
manipulacin de stos en cuanto modelos est restringida a los procesos de clculos o
solucin mientras que la interpretacin del modelo en una teora permite adems mediante
los procesos deductivos que implementa la lgica establecer ms conclusiones: las
consecuencias lgicas que se derivan de ciertas propiedades del modelo explicitadas por la
teora. As, en el ejemplo anterior, de la teora de grupos se precede a derivar todas las
7

propiedades implcitas en el modelo a travs de demostraciones a partir de ciertas

propiedades fundamentales explicitadas por la teora.
LA REALIZABILIDAD DE UNA TEORA EN UN MODELO
Nos interesa ahora en el segundo de los aspectos sealados al principio del epgrafe
anterior. Dijimos con anterioridad que un modelo no es sino un sistema que intentamos
reproducir en otro sistema. Este modelo implementado para la reproduccin tiene como
origen el quehacer terico. En verdad el modelo se construye para hacer manipulable en
algn sentido ideal o fsico el resultado de un conjunto de reflexiones e ideas con vistas a su
confirmacin (verificacin). Para ello, tal conjunto de reflexiones e ideas tienen que
constituirse en una teora y esto se logra si se satisfacen en algn grado dos condiciones
fundamentales: que la estructuracin de los enunciados contetivos de las reflexiones sea
consistente y completa. Las mismas requieren alguna aclaracin:
Una teora es consistente cuando est libre de contradiccin, i.e., cuando no son
consecuencias lgicas de ella todos los enunciados construibles mediante su lenguaje, de
su modo alternativo, cuando para cualquier enunciado de la teora l o su negacin, pero no
ambos, es consecuencia lgica de la teora.
Para cierto tipo de teoras formalizables un destacado teorema de la lgica
matemtica establece que dichas teoras son consistentes si y slo si existe un modelo en
el cual puedan realizarse. Esto es por ejemplo el caso con las teoras matemticas
formalizadas. As, por ejemplo, la teora de cuerpos en lgebra abstracta slo necesita de
una estructura matemtica en la cual pueda realizarse para demostrar su consistencia. Con
las teoras matemticas formalizadas tambin la realizacin nos ayuda a establecer si la
teora es completa, i.e., si su formulacin es lo suficientemente rica en postulados o
axiomas para que de ellos se deriven lgicamente el resto de los enunciados verdaderos en
el modelo.
Dada la identidad que apuntamos entre sistemas y modelos en lgica y matemtica,
se infiere que los dos requisitos nicos que debe llenar una teora lgica-matemtica para
ser aceptada (confirmada) son la de consistencia y la de completitud. La confirmacin de
teoras en estas ciencias, pues, se lleva a cabo en la realizacin de las teoras en sistemas
que por la realizacin devienen sus modelos.
De lo anterior se desprende que ni la matemtica ni la lgica necesitan de la
realidad, i.e., de confirmacin a nivel emprico. Aunque ello supuesto no niegue la relacin
de las matemticas con la realidad ni como fuente histrica de las primeras abstracciones,

ni como constante incentivo para su desarrollo, ni como fuente de sistemas a los cuales la
matemtica proporciona modelos.
Sin embargo, el resto de las ciencias, que tienen como propsito el estudio de
hechos y procesos reales, necesitan a ms de una realizacin de sus teoras en un modelo,
la reproduccin de stos ltimos a fines de confirmar las primeras, ya que de lo que se trata
es de saber hasta qu punto reflexiones e ideas acerca de la realidad no slo son
consistentes y completas sino tambin hasta qu punto las mismas describen el sector de la
realidad. En el primer caso para confirmar la teora hay que realizar en un modelo
descriptivo que a su vez ha de ser sometido a test reproducindolo de alguna manera. En el
segundo caso para confirmar la teora hay que realizarla en un modelo prescriptivo que a
su vez ha de ser tambin sometido a test reproducindolo de alguna manera.
A los efectos de su confirmacin una teora debe, a ms de ser consistente y quiz
completa, ser sometida a test y para ello en condicin necesaria que sea realizada en un
modelo.
LOS MODELOS GENERALES DE LA INVESTIGACIN CIENTFICA
Las

relaciones

apuntadas

junto

con

los

homomorfismos,

isomorfismos

automorfismos de los sistemas, los modelos y las teoras agotan las relaciones planteables
de estos tres elementos en un proceso de investigacin.
Es necesario sealar que representabilidad, reproductibilidad, y realizabilidad son
relaciones que slo pueden ser introducidas teniendo en cuenta que: a) los modelos,
sistemas y teoras de un proceso de investigacin sean un producto ya acabado cuya
gnesis conocemos o bien que, b) en funcin del proceso investigativo ellas indican la
direccin o tendencia ms general del proceso de gnesis entre los sistemas, modelos y
teoras implementados en el proceso. A partir de las relaciones anteriores dos grafos
dirigidos serian plenamente planteables:
a) S
b) S

M
M

T
T

Ambos pueden considerarse dos modelos posibles de los procesos investigativos.

En a) las relaciones de representabilidad e interpretabilidad describen un proceso
investigativo en el que se destaca la construccin a partir de la realidad de un sistema, su
representacin en un modelo y la representacin de ste en una teora que explique el
sistema. Este primer modelo servira para caracterizar todo proceso investigativo de
carcter emprico, i.e., toda la investigacin para la explicacin de procesos como una dbil
9

base terica: el grafo supone el caso, ideal, en que al grado de condicionamiento terico de
la investigacin es nulo. En b) las relaciones de realizabilidad y reproducibilidad describen
un proceso investigativo en el que se destaca el origen marcadamente terico de la
investigacin. La construccin de un modelo que realice los supuestos tericos y la
reproduccin del modelo en un sistema que verifique la teora. Este segundo modelo
servira para caracterizar todo proceso investigativo para la confirmacin de teoras con
una dbil base emprica: el grafo supone el caso ideal en que el grado de condicionamiento
emprico de la investigacin es nulo.
No obstante, el proceso de la investigacin cientfica se caracteriza precisamente por
ser una trama compleja de los modelos de procesos apuntados. Las relaciones apuntadas
entre sistemas, modelos y teoras alternan y simultanean haciendo en la prctica de ambos
modelos un solo modelo de grafo no dirigido.
S

Esto se debe, primero, a que todo proceso de gnesis de sistemas, modelos, y

teoras para una investigacin como ya hemos sealado, slo como tendencia dominante
(investigacin emprica, terica) sigue una direccin, segundo, a las influencias y
sugestiones recprocas entre los sistemas, modelos y teoras, y sus relaciones en el
proceso investigativo que lleven a una constante reformulacin de unos trminos de los
otros.

10