Documentos de Académico
Documentos de Profesional
Documentos de Cultura
posible que una disciplina utilizara mtodos desarrollados por otra. Por ejemplo,
procedimientos sofisticados, propios del anlisis de complejos circuitos elctricos, eran
directamente aplicables a sistemas mecnicos, magnticos, acsticos, trmicos, de
metodologa mucho menos avanzada. Este hecho llevo finalmente a la creacin de una
nueva disciplina, -la teora de los circuitos generalizados [6, 38]. Asimismo, una
comprensin mas adecuada de los principios de la analoga estimulo el desarrollo,
produccin. y utilizacin de las computadoras analgicas [35]. La aplicacin generalizada
de la semejanza geomtrica (de la que se tenia conciencia hacia siglos) a otros tipos de
semejanza entre sistemas, constituyo el primer paso en el desarrollo del concepto de
sistema general: Poder comprobar fcilmente que la relacin de semejanza, tal como se ha
definido mas arriba, es reflexiva, simtrica y transitiva. Como tal, es una relacin ordinaria
de equivalencia, que divide todos los sistemas de una disciplina particular en clases de
equivalencia. Cada clase de equivalencia puede ser representada por un solo sistema -un
representante de la clase.
Todos los resultados que se derivan del estudio de este sistema pueden, utilizando
nicamente las reglas de la teora de la semejanza, modificarse de tal modo que sean
aplicables a cualquier miembro de su misma clase de equivalencia. La generalizacin de
semejanza entre sistemas a analoga entre sistemas, fue el segundo paso en la coronacin
del concepto de sistema general. Aqu, de pronto, se vieron implicadas diversas disciplinas.
El concepto de analoga tambin introdujo una relacin de equivalencia. Esta vez, sin
embargo, los elementos de una misma clase de equivalencia eran sistemas procedentes de
distintas disciplinas cientficas. As, los resultados de la investigacin de un sistema ( el
representante de una clase de equivalencia), pudieron transferirse a otras disciplinas.
La semejanza entre las estructuras de las ecuaciones algebraicas o diferenciales, es un caso
de isomorfismo matemtico. Cuando este se generaliza para cualquier relacin, sea o no
sea expresable mediante ecuaciones, el concepto de sistema general adquiere todo su
sentido. Es un representante (modelo} formal (matemtico} de una determinada clase de
equivalencia" que se obtiene cuando una relacin isomorfa (que siempre es de
equivalencia) se aplica a ciertas caractersticas de los sistemas.
Por tanto, el isomorfismo matemtico, que Anatol Rapoport analiza con detalle en el
captulo 2, es crucial para toda forma de teora general de sistemas. El estudio, en contextos
conceptuales concretos, de los distintos aspectos y versiones del isomorfismo, as como de
su generalizacin -el homomorfismo- es muy importante para desarrollar reas de la
metodologa de sistemas generales con aplicaciones especficas. Percatmonos de que la
relacin de homo- morfismo es reflexiva y transitiva, pero no simtrica. Esto significa que
podemos clasificar los sistemas basndonos en una relacin homomrfica entre ellos, pero
no podemos dividirlos en clases disjuntas. Pese a todo, ciertos problemas referentes a todos
los sistemas pertenecientes a una clase pueden resolverse en trminos del representante de
esta (o modelo homomorfo).
Hablando con rigor, la teora general de sistemas (en el sentido mas amplio del termino), no
es una teora formal (axiomtica), aunque incluye algunas teoras formales -la teora de las
maquinas de estado finito o autmatas, [I, 7, 14, 15, 20, 34, 45], la teora de las maquinas o
autmatas probabilsticas (estocsticos) [2, 7, 33, 45], la teora matemtica de los lenguajes
formales [I, 7, 16, 21], la teora de las maquinas de Turing, la teora de Mesarovic, la teora
de Wyrnore, etc. Adems, la teora general de sistemas contiene distintos conceptos,
hiptesis, principios metodolgicos y tcnicos de computadoras, que no pueden incluirse en
ninguna teora formal.
En la actualidad, se tiende a formalizar para evitar la confusin conceptual. Generalmente,
sin embargo, las formalizaciones empobrecen el contenido semntico de las entidades que
manejamos. Pese a sus muchas ventajas, las formalizaciones, tal como se efectan hoy en
da, tienen el inconveniente de, como ha dicho mi amigo Eugene Kindler, la pobreza de
los conceptos completamente formalizados. Este es un problema al que se refiere Preston
C. Hammer en su crtica de la interpretacin de que son objeto algunos conceptos muy
bsicos de las matemticas (Cap. 8).
Una manera de abarcar las distintas facetas de conceptos semnticamente ricos, asociados
a sistemas formalizados segn los recursos matemticos a nuestro alcance, consiste en
desarrollar distintas teoras formales de sistemas, cada una de las cuales refleje ciertos
aspectos de la realidad. Estas teoras, aunque distintas, pueden tener puntos en comn.
Juntas, reflejan mucho mejor el contenido semntico de ciertos sistemas de conceptos, que
cada una de ellas por separado. Esta ha sido, en esencia, la actitud adoptada hasta ahora.
Otra solucin consiste en preservar 1o ms posible el contenido semntico en el proceso de
formalizacin. Obviamente, este mtodo depende estrechamente de las tcnicas
matemticas disponibles. Interviene, tanto la modificacin (extensin, generalizacin) de
los conceptos matemticos existentes, tal como seala Hammer en el captulo 8, como la
creacin de nuevos conceptos, principios y tcnicas. Un buen ejemplo de un concepto
matemtico de este tipo, son los fuzzy sets de Zadeh [10, 17, 43, 44). La necesidad de
modificar y extender los conceptos matemticos existentes se hace cada da ms evidente, y
ha creado una importante corriente en la teora general de sistemas.
Aunque algunos cambios haran de las matemticas un instrumento ms eficaz para la
formalizacin de la teora general de sistemas, no cabra la esperanza de un avance serio si
no existiesen poderosas computadoras con refinados sistemas de programacin. La funcin
de las computadoras en la teora general de sistemas, que Gerald M. Weinherg describe con
exactitud en el captulo 4, tiene una importancia que no resulta difcil exagerar. Para el
terico de sistemas, la computadora es una herramienta tan bsica y esencial como el
microscopio para el bilogo. Ambos instrumentos aumentan enormemente las posibilidades
humanas en determinadas reas. Desgraciadamente, nuestras computadoras son el
equivalente al microscopio de Robert Koch; en materia de ciberntica el micros- copio
electrnico pertenece aun a un futuro lejano.
Aunque las computadoras son una ayuda vital para resolver problemas concernientes a
sistemas complejos, a efectos operativos tienen un Lmite definido. A medida que mejoran
la tcnica y mtodos de computadoras, se nos hacen accesibles sistemas de creciente
complejidad. Sin embargo, como seala Bremermann [9], la complejidad manejable tiene
un limite terico.
Basndose en simples consideraciones fsicas de la teora quntica, Bremermann hace la
siguiente conjetura [9]: No existe un sistema, artificial o viviente, de proceso de datos, que
pueda procesar mas de 2 x 1047 bits por segundo, por gramo de su masa. Entonces calcula
el nmero total de bits procesados por una hipottica computadora del tamao de la tierra,
en un periodo de tiempo equivalente a la edad de esta ltima. Ya que se calcula que la masa
y la edad de la tierra son inferiores a 6 x 1027 gramos y 1010 aos, respectivamente, y que
cada ao contiene aproximadamente 7[ x 107 segundos, esta computadora imaginaria no
podra procesar mas de 1093 bits.
A primera vista parece que el limite de Bremermann, pese a ser una estimacin
conservadora (otras estimaciones menos conservadoras dan nmeros por debajo de 1093),
habra de resultar descorazonador para los tcnicos de sistemas generales. Adems, muchos
problemas asociados a sistemas de tamao medio, van mucho mas all del limite de
Bremermann en complejidad operacional. Por ejemplo, consideremos el problema de
construir, mediante un nico tipo de elemento universal (modulo), una determinada funcin
que aplica un conjunto de n variables lgicas de input (bivaluadas), con valores 0 y I, en un
conjunto de n variables lgicas de output. Supongamos que el modulo tiene m variables
lgicas de input y una variable lgica de output. Supongamos adems que buscamos un
diseo con el numero mas pequeo posible de copias del mdulo. Este es un problema muy
prctico en el rea de diseo por computadoras.
En el caso general, ninguna de las variables de output es igual bien a una constante (0 o I ),
bien a una variable de input. Entonces podemos proceder de la siguiente manera: una copia
del modelo se identifica con cada una de las variables de output de la aplicacin dada. Las
variables de input de cada una de estas copias son funcin de las variables de input del
sistema diseado. Estas funciones tienen que satisfacer una descomposicin de la respectiva
funcin de output del sistema diseado con respecto a la funcin representada por el
modulo. La descomposicin, que es una operacin ambigua, puede ser expresada por una
ecuacin de Boole con m variables de- pendientes (inputs del modulo) y n variables
independientes (inputs del sistema diseado). Todas las funciones aceptables para los inputs
del modulo pueden determinarse resolviendo la ecuacin de Boole. Queremos escoger una
funcin que nos permita construir la aplicacin dada con el ms pequeo nmero posible de
mdulos. Se ve difcilmente [25, 29] que el mximo numero de soluciones es (2mr" = 2m
*2".
Dado que tenemos que resolver una ecuaci6n de Boole para cada uno de los n outputs,
podemos expresar el mximo numero N de funciones que satisfacen la descomposici6n
mediante la f6rmula:
Se sabe que mdulos lgicos universales existen solamente para m >= 2. Consideremos el
caso mas favorable, m = 2, para el cual N = 2"+1 = n ..
AI evaluar esta formula para tabla siguiente:
varios valores de n obtenemos
512
x )(]
lO
3.2
0 106
Vemos que el mximo numero N de soluciones de las ecuaciones de Boole sobrepasa el
limite de Bremermann para n >= 8. Ahora, suponiendo que, de hecho, el numero de
soluciones sea solo una pequea porcin, por ej., un millonsimo, del mximo numero, nos
queda aun:
8 x 10148
para n = 8, 10 que de nuevo sobrepasa el limite de Bremermann. Advirtase que, si
hubisemos utilizado mas de un tipo de modulo 0 un modulo con mas de dos inputs, el
numero de posibilidades se hubiera hecho aun mayor.
As, el problema de construir una aplicacin dada de 8 variables lgicas en otras ocho
variables lgicas, mediante el menor numero posible de copias de un conjunto dado de
mdulos, es, al margen de los mdulos que se utilicen, prcticamente insoluble, aunque
tenga solucin en teora (en trminos de la teora de la compatibilidad resumida por Lars
Lofgren en el capitulo II *). Todava. Este tipo de problemas es de considerable importancia
para los diseadores de computadoras.
Para resolver problemas como el anterior, hemos de reducir nuestras exigencias. Por
ejemplo, no exigiremos el menor numero posible de mdulos, elegiremos mdulos con
ciertas propiedades convenientes, y haremos otras concesiones. En general, simplificaremos
el sistema de modo que sea prcticamente resoluble con la ayuda de computadoras.
Hemos tornado un ejemplo de la ingeniera. Sin embargo, surgen en la ciencia dificultades
similares, por 10 que tambin nos vemos obligados a recurrir a simplificaciones para hacer
operativos nuestros sistemas conceptuales. Esta simplificacin es ms aceptable en ciertas
disciplinas. Por ejemplo, como seala Gerald M. Weinberg en el capitulo 4, la
superposicin de interacciones entre pares es eficaz en mecnica, pero impensable en
biologa, psicologa, u otras ciencias sociales.
El mtodo de los sistemas se ha desarrollado en.la ciencia con el propsito de tener en
cuenta todas las interacciones entre los elementos de un sistema, cuya conducta se pretende
predecir. Esto contrasta con el enfoque clsico, que estudia aisladamente, para
superponerlas mas tarde, las interacciones individuales. Como seala W. Ross Ashby en el
capitulo 3, y ms tarde en [5], el mtodo de los sistemas, aunque muy deseable, Ileva con
frecuencia a problemas insolubles. En tales casos, no se pueden eludir las simplificaciones.
Esto significa excluir algunas de las interacciones, 10 que a un tiempo Ileva al estudio del
numero de interacciones entre los elementos del sistema. Ashby se ha ocupado de este
asunto durante algn tiempo, y expresa sus opiniones en el capitulo 3.
Por tanto, una corriente importante en la teora general de sistemas se ocupa en desarroIlar
mtodos que nos permitan construir sistemas conceptuales en aquellos casos en que se ha
incorporado un numero suficiente aunque no completo de interacciones entre los
elementos; Resulta difcil no estar de acuerdo con Ashby cuando dice: El futuro de la
teoria general de sistemas parece residir en el estudio de sistemas no totalmente conexos,
aunque si 10 suficiente para constituir sistemas reales. Weinberg llega incluso mas lejos en
el capitulo 4, al hablar de la ciencia de la simplificacin, y al ligarla estrechamente a la
teora general de sistemas. Algunos aspectos de esta ciencia de la simplificacin aparecen
tratados en la reciente teora de la restriccin [ 13].
Alrededor de la ltima dcada se han producido distintos enfoques de la formalizacin de la
teora general de sistemas. Cada uno de ellos se ha debido a un propsito determinado y se
ha desarrollado en el correspondiente contexto conceptual. Aqu se esbozan tres de sus
enfoques: la teora axiomtica, conocida como la, teora de Mesaravlc (Cap. 8)*; la de
Wymore, que el mlsmo llama la teoria de sistemas" y mi propia teora, descrita por Robert
\A. Orchard (Cap. 7).
El enfoque o planteamiento de Mesarovic responde a las caractersticas de una teora
axiomtica muy abstracta. Se edifica jerrquicamente a partir del mas profundo nivel de
abstraccin, en que los sistemas generales se conciben como relaciones arbitrarias, cada una
de las cuales se ha definido en una coleccin de conjuntos abstractos. Para estudiar
conjuntos con propiedades mas especificas, se afladen nuevos axiomas.
Mesarovic emplea dos maneras de especificar la conducta de aquellos sistemas generales
cuyas variables se dividen en inputs y outputs ;
(i) La especificacin (terminal, causal) de input-autput, en que la conducta se especifica
explcitamente como una relacin binaria en el producto cartesiano de dos familias
disjuntas de con- juntos abstractos.
(ii) La especificacin de conducta orientada par objetivas ( telealogica, de tama de decisin)
, en que la misma relacin binaria introducida en (i) se describe implcitamente en funcin
de un proceso.
Aunque en el capitulo 8*** se esbozan algunos aspectos ms especficos del planteamiento
de Mesarovic, queremos resaltar aqu dos puntos de importancia :
I. Una fuerte vinculacin a la teora de las sistemas jerrquicos generales, donde la
descripcin de la conducta por objetivos juega un importante papel [32, 40]. Puede uno
adquirir conciencia clara de la importancia de los sistemas jerrquicos, tras leer el capitulo
5.
2. La aplicabilidad a los problemas matemticas de la consistencia y completitud de las
teoras axiomticas [31 ].
La teora entrelazada de sistemas, de Wymore, segn palabras de su creador, \obedece
a1 deseo de eng1obar en una misma teora, las teoras de 1os autmatas discretos y de los
de sistema establecen una clasificacin entre los problemas de sistema y sientan las bases
para una metodologa general de sistemas.
De acuerdo con el marco conceptual introducido en [25], un sistema cambia si cualquiera
de las caractersticas primarias que entran en su definicin cambia. Orchard sugiere y
formaliza en el capitulo 7 una generalizacin, en que una secuencia temporal de sistemas se
incluye entre los sistemas bajo consideracin. Esta generalizacin, que Orchard llama la
sexta definicin bsica de sistema, posibilita el estudio de todo tipo de proceso evolutivo
(auto- organizacin, auto-reproduccion, etc.). La contribucin de Orchard no solo enriquece
mi propia teora, sino que representa tambin una importante corriente en la teora general
de sistemas.
Dado que los distintos enfoques individuales de la teora general de sistemas no estn aun
bien elaborados y tampoco se ha intentado compararlos entre s, es imposible predecir si se
fundirn en una sola teora (unin de todos ellos) o si permanecern separados a causa de
diferencias esenciales. En todo caso, tanto el mtodo deductivo como el inductivo tendrn
que jugar su papel en el desarrollo de la teora.
La teora de Mesarovic es la ms antigua de las descritas, y, por ende, la ms desarrollada.
La iniciaron Mesarovic y Eckmann a principios de los 60 [12]. El principal centro de
investigacin y enseanza de esta teora esta en Cleveland, Ohio (Centro de investigacion
de sistemas, Case Wertein Reserve University).
Sin que hubieran aparecido previamente trabajos relacionados con el tema, Wymore expuso
todo su sistema conceptual en un libro [41] publicado en 1967. El desarrollo de la teora se
debe principalmente a las necesidades de la ingeniera de sistemas en el sentido ms amplio
(incluyendo a la ingeniera de los sistemas sociales). Por desgracia, no ha habido tiempo
para elaborar la metodologa asociada a este planteamiento. En particular, se ha hecho poco
en el campo de la sntesis de sistemas, de tanta importancia en ingeniera. Casi todo el
trabajo relacionado con esta teora se desarrolla en Tucson, Arizona (Departamento de
ingeniera de sistemas, Universidad de Arizona).
Algunas ideas propuestas por un grupo que utiliza el seudnimo de K. Vasspeg [39] y al
que yo pertenec durante algn tiempo, conceptos debidos a Svoboda [36, 37] y mi propio
trabajo de hace aos en ciberntica [24], contribuyeron a enriquecer el bagaje conceptual de
mi teora. Como la base conceptual es muy nueva, no hemos tenido tiempo de desarrollar
una metodologa bien organiza- da. Excepto en algunos casos de poca importancia [27, 28],
hemos dedicado todos nuestros esfuerzos a sistemas de variables bivaluadas (lgicas o de
circuitos) [26, 29]. En la actualidad, se investiga y ensea esta teora en Binghamton, New
York (Escuela de Tecnologa Avanzada, Universidad Estatal de New York en Binghamton).
La teora de Mesarovic, aunque ms desarrollada que las otras dos, no esta aun madura
desde un punto de vista metodolgico. En ningn caso se ha hecho nada serio en la sntesis
de sistemas generales; menos aun se ha conseguido en la adaptacin de las distintas
estructuras conceptuales a los fuzzy sets [17, 33, 34]. Para resolver problemas relacionados
con los sistemas generales, se han programado en computadoras distintos mtodos; sin
embargo, hasta la fecha, no se ha intentado seriamente realizar una integracin de estos
ultimos. Ni Mesarovic ni Wymore han incorporado a su teora la investigacin de sistemas
probabilisticos (estocasticos).
Todas las actuales deficiencias en los planteamientos individuales de la teora general de
sistemas, sugieren los siguientes cursos de accin:
I. Comparar, unificndolas siempre que sea posible, las distintas teoras generales de
sistemas. Incluso si en un futuro se consiguiera unificar las teoras formales de sistemas,
seria razonable preservar los modos inductivos y deductivos de presentarlas.
2. La elaboracin de una metodologa bien organizada de los sistemas generales, bien
basndose en una teora unificada, o bien, si esto fuera imposible, restringindose a
contextos conceptuales individuales. La metodologa debiera abarcar tanto a los sistemas
probabilisticos y a los fuzzy sets, como a los sistemas deterministas. Debiera incorporar,
asimismo junto a los problemas clsicos de las ciencias naturales, o de la ingeniera clsica
(elctrica, mecnica, etc.), los nuevos problemas propios de las ciencias sociales,
biolgicas, Asi como de la ingeniera social, en la lnea que siguen John H. Milsum en el
capitulo 5 y Walter Buckley en el capitulo 6.
3. Un desarrollo a gran escala de agregados interactivos v adaptables de hardware y
software de computadoras, con el fin de estudiar los sistemas generales en el sentido
descrito por Orchard en el capitulo 7.
Una de las corrientes ms importantes, consiste en el estudio de las propiedades generales
de las distintas teoras de sistemas. Este estudio, que tiene distintos aspectos, se propone
esencialmente la creacin de una metateoria aplicable a las teoras individua- les de
sistemas generales; la unificacin de estas ultimas puede de- pender de los resultados del
estudio en cuestin.
En el capitulo II *, Lars Lofgren se refiere a distintos aspectos metateoricos de las teoras
formales de sistemas generales. Demuestra la importancia de las teoras formales en
general, y de las teoras formales de sistemas en particular. Desarrollando su
argumentacin, utiliza la lgica matemtica y la teora del computo. Lofgren expone con
exactitud y profundidad problemas acerca del poder explicativo y productivo de una teora,
de su comunicabilidad, y de su informacin sintctica, y trata la reducibilidad de una teora
a otra. Tambin investiga una serie de problemas asociados a la formalizacin de sistemas
muy sofisticados, tales como sistemas capaces de aprender, 1', evolucionar o reproducirse. "
Lofgren es un partidario convencido de la formalizacin de , la teora general de sistemas.
A quien siga sus argumentaciones, le resultara difcil estar en desacuerdo con su tesis:
Todo 10 que puede explicarse efectivamente, puede formalizarse. Asi, su creencia de que
para un grupo de cientficos, ponerse de acuerdo en la eleccin de una base lgica es un
problema mucho menos grave que el de actuar sin haber formalizado sus ideas, parece
totalmente justificada.
El trabajo de Joseph V. Cornacchio, tal como se resume en el capitulo 10**, tambin tiene
un aroma metateorico, aunque restringido a un aspecto particular las estructuras topologicas
de modelos abstractos de sistemas generales. El inters de este autor se centra en dos
consideraciones:
problemas. No puede dedicar varios aos al estudio de toda disciplina con relacin a la cual
se busque su consejo. Quien pretenda ser capaz de resolver los problemas de materias de las
que solo conoce los principios generales, es un ingenuo o es poco honrado. Vn terico de
sistemas no puede dominar todas las materias en las que va a trabajar basta el punto de
resolver cualquier problema especializado que pueda surgir. Pero un especialista en, por
ejemplo, sanidad, puede dominar los fundamentos de la teora general de sistemas en un
tiempo relativamente pequeo. Diremos que se trata de un especialista generalizado.
Creo que es el especialista generalizado quien se va a necesitar cada vez ms. Podemos
caracterizarlo as: al tiempo que esta esencialmente especializado en una disciplina
determinada, conoce con una relativa profundidad los conceptos bsicos, principios y
mtodos de los sistemas generales. Adems, es consciente de las posibilidades y
limitaciones de las computadoras de su momento, sabe usarlas, y las programa con cierta
soltura. Aunque no se espera de el que sea capaz de resolver complejos problemas de
sistemas, si sabr 10 suficiente para planterselos al terico de sistemas.
Una faceta peculiar de la teora general de sistemas, es su termino- logia. La terminologa
de sistemas, aunque aspire a ser el lenguaje propio para la comunicacin interdisciplinada,
se reduce en la actualidad a una mezcla poco trabada de lenguajes utilizados por distintos
individuos o grupos. Por ejemplo, es de lamentar que, al tiempo que hay con frecuencia
varios nombres distintos para un mismo concepto, conceptos distintos tengan a veces el
mismo nombre. Tales ambigedades son causa de numerosas confusiones. Ademas, este
caos de trminos levanta dudas acerca de toda la teora general de sistemas.
Es evidente que la necesidad de unificar la terminologa ocupa un lugar de absoluta
prioridad. La tarea no es fcil. Requerira la preparacin de una lista con todos los
conceptos bsicos de la teora general de sistemas, lista en que a cada concepto
correspondera el conjunto de trminos con que los tericos 10 han denotado. A
continuacin debiera elegirse un termino para cada concepto. Esta seleccin debera
efectuarse de comn acuerdo por los interesa dos. Bajo ningn pretexto habra de
considerarse un conjunto de trminos superior a otro.
La comparacin entre los esquemas conceptuales ligados a los distintos enfoques
individuales de la teora general de sistemas, es tarea difcil. Debiera idearse una metateoria
para decidir si dos conceptos, procedentes de dos teoras distintas, son o no son idnticos, o
si el uno esta incluido en el otro. Cuando ambas teoras se han construido axiomticamente,
la labor de comparacin se reduce a un ejercicio formal de metateoria. En el caso de las
teoras construidas inductivamente, surgen dificultades adicionales, especial- mente de
carcter semntico. En tales casos el contacto personal entre los individuos de las distintas
corrientes es necesario para el ms elemental progreso en el esfuerzo por unificar la
terminologa. Tambin serian de utilidad una serie de centros bien organizados destinados
al examen comparativo de los diversos marcos conceptuales y a la unificacin de la
terminologa.
Este libro no escapa a la jungla terminologa propia de la terminologa general de
sistemas. En tanto en cuanto es una coleccin de artculos representativos de las distintas
corrientes de la teora general de sistemas, refleja las divergencias terminologas existentes.
En los prrafos siguientes hace referencia a algunas de estas divergencias. Utilizare mis
propios conceptos y trminos del capitulo 7 y de [25] para ilustrar este punto. Las
comparaciones que efecte no habrn de considerarse sino como una primera aproximacin
para que el lector tenga alguna idea de como va el asunto.
Mientras yo distingo el concepto de objeto (una parte de la realidad que nosotros
investigamos) del concepto de sistema (algunas propiedades del objeto definidas con
precisin), algunos tericos (Bertalanffy, Weinberg, Milsum) emplean el termino sistema en
ambos sentidos. Von Bertalanffy emplea los trminos sistema reG y sistema conceptual,
para referirse a mis conceptos de objeto: sistema, respectivamente. Weinberg prefiere el
termino modelo d un sistema al de sistema, cuando quiere distinguir entre objeto y sistema.
En mi terminologa, el termino modelo no se refiere a un objeto, sino a una relacin de
semejanza entre dos sistemas.
La maquina real de Ashby [3], coincide con mi concepto de, objeto. Adems, su concepto
de variable (0 cantidad variable), idntico al mo. Coincide completamente conmigo cuando
dice (Toda maquina real encierra un numero infinito de variables, la mayor parte de las
cuales hemos forzosamente de ignorar [3] A continuacin define un sistema como un
conjunto de variable: elegidas entre aquellas accesibles en la maquina real. Esto esta de
acuerdo con una de mis definiciones bsicas de sistema (la definicin por una coleccin de
variables y un nivel de resolucin espacio-temporal).
Zadeh entiende por objeto un conjunto de variables y un conjunto de relaciones entre
estas [42, 45], 10 que, en mi terminologa, se acerca mucho, (aunque no sea idntico), al
concepto de conducta Sin embargo, Zadeh da a veces al termino objeto fsico el misma
sentido que yo doy a objeto. En las teoras formales de sistemas generales (Mesarovic,
Wymore), no interviene el concepto de objeto, Con todo, se utiliza el termino objeto,
aunque con un significada distinto. Por ejemplo, Mesarovic 10 emplea como sinnimo de
un conjunto abstracto que interviene en una relacin, o bien para referirse al conjunto de
valores de una variable (10 que yo llamo nivel de resolucin).
1Mi concepto de actividad de sistema recibe distintos nombres en las distintas versiones de
la teora general de sistemas. Por ejemplo, Ashby, Mesarovic, Weinberg y Zadeh, emplean
los trminos lnea de conducta, sistema general temporal, grafo cronolgico y clase de
funciones temporales, respectivamente.
El concepto de conducta, en el sentido que yo le doy (una 1 relacin invariante con el
tiempo entre ciertos tipos de variables), \ fue propuesto por Svoboda para sistemas discretos
[36, 37]. Este \concepto, que juega un importante papel en mi trabajo, no aparece
directamente en los otros autores. Aunque intervenga en el concepto de sistema general de
Mesarovic (una relacin definida en una coleccin de conjuntos abstractos), no ha sido
desarrollado dentro de la teora misma.
El concepto que llamo estructura de transicin de estados reaparece, con algunas
modificaciones. En de estado determinado de Ashby [3, 4]. Aparece tambin en los trabajos
de Weinberg (Cap. 4) y Zadeh [40, 45], as como en la teora de los autmatas finitos (0
maquinas de estado finito) [7, 14, 15] y otras teoras de sistemas [23,45]. Otra modificacin
mas que sus partes continuo en vigor. Debemos subrayar con fuerza que el hecho de que el
orden u organizacin de un todo o sistema, trascienda a sus partes. cuando estas se
consideran por separado, no es algo que entre en el campo de la metafsica, ni una
supersticin antropomrfica o una especulacin filosfica; es un hecho con el que nos
enfrentamos cada vez que miramos a un organismo vivo, un grupo social, e incluso un
tomo.
La ciencia, sin embargo, no estaba bien preparada para tratar este problema. La segunda
mxima del Discours de /a Methode de Descartes era fragmentar todo problema en tantos
elementos simples y separados como sea posible. Este enfoque, que Galileo formulo como
el mtodo (resolutivo, fue el ('paradigma conceptual [35] de la ciencia desde su
fundacin basta el moderno trabajo de laboratorio: esto es, resolver y reducir los fenmenos
complejos a partes y procesos elementales.
Este mtodo daba excelentes resultados cuando los hechos observados podan dividirse en
cadenas causales aisladas, es decir, en relaciones entre dos o pocas variables. El mtodo fue
esencial para el enorme xito de la fsica y de la tecnologa consiguiente. Pero quedaron por
resolver problemas de muchas variables. Esto sucedi incluso con el problema mecnico de
los tres cuerpos; y la situacin se agravo cuando hubo de estudiarse la organizacin de los
seres vivos o incluso la del tomo, adems del ms simple de los sistemas, el del protonelectron en el hidrogeno.
Se propusieron dos ideas cardinales para tratar el problema del orden u organizacin. Una
fue la comparacin con maquinas hechas por el hombre; la otra la concepcin del orden
como un producto del azar. La primera quedo tipificada por la bite machine de Descartes,
mas tarde ampliada a la homme machine de Lemettrie. La otra se expresa a travs de la idea
darwiniana de la seleccin natural. De nuevo, ambas ideas obtuvieron gran xito. La teora
de que el organismo vivo es una maquina, con varios disfraces --desde el ingenio mecnico
en las primeras explicaciones de los astrofsicos del siglo XVII, a las concepciones
posteriores del organismo como una maquina calrica, quimiodinamica, celular y
ciberntica [13]- dio origen a explicaciones de los fenmenos biolgicos, tanto al
rudimentario nivel de la fisiologa de los rganos, como al de las estructuras
submicroscopicas y los procesos enzimticos de la clula. De manera semejante, la
concepcin del orden orgnico como producto de sucesos aleatorios abarcaba un enorme
numero de hechos bajo el rotulo de teora sinttica de la evoluciono, incluyendo a la
gentica molecular y a la biologa.
Pese al xito singular obtenido en la explicacin de procesos vivos cada vez ms numerosos
y refinados, hubo cuestiones bsicas que permanecieron sin resolver. La maquina animal
de Descartes era un modelo que explicaba el admirable orden de los procesos observados
en los organismos vivos. Pero, segn Descartes, la maquina tenia a Dios como creador.
La evolucin de las maquinas a travs de procesos azarosos parece ser mas bien
autocontradictoria. Los relojes de pulsera o las medias de nylon no se encuentran por regla
general en la naturaleza como resultado de procesos aleatorios, y ciertamente las
maquinas mitocondriales de la organizacin enzimtica incluso en la ms simple clula o
molcula nucleoproteica, son incomparablemente ms complejas que un reloj 0 los
sencillos polmeros que forman las fibras sintticas. La supervivencia del ms apto ( 0 la
Guerra Mundial:
Existen modelos, principios y leyes que pueden asignarse a los sistemas generaliza 1 dos o
a sus subclases, independientemente de su carcter particular, as como de la naturaleza de
los elementos componentes y de las relaciones o fuerzas que los ligan. Postulamos una
nueva disciplina llamada teora general de sistemas. La teora general de sistemas es una
teora logico-matemica que se propone formular y derivar aquellos principios generales
aplicables a todos los sistemas. De esta manera, se hace posible la formulaci6n exacta de
trminos tales como totalidad y suma, diferenciacin, orden jerrquico, finalidad y
equifinalidad, etc., trminos que aparecen en todas las ciencias que utilizan sistemas y
que implican la homologia lgica de estos (Von Bertalanffy, 1947, 1955; reimpreso en [15,
pag. 32, 253]).
La propuesta de la teora general de sistemas tuvo precursores, as! como distintos e
independientes promotores simultaneos. Kohler estuvo a punto de generalizar la teora de la
gestalt a la de sistemas generales [33]. Aunque Lotka no utilizara el termino teora general
de sistemas, su discusin sobre los sistemas de ecuaciones diferenciales simultaneas [39]
se hizo bsica en la subsiguiente teora de sistemas dinmicos. Las ecuaciones de Volterra
[21], elaboradas original mente para el estudio de la competencia de las especies, son
aplicables a la cintica y dinmica generalizadas. Ashby, en los trabajos de sus primeros
tieropos [I], utilizo el mismo sistema de ecuaciones que Von Bertalanffy,
independientemente de este, aunque dedujo distintas consecuencias.
Von Bertalanffy esbozo la teora de sistemas dinmicos [ver seccin 1.3 (a)], y dio
descripciones matemticas de las propiedades de sistemas (tales como totalidad, suma,
crecimiento, competicin, alometra, mecanizacin, centralizacin, finalidad y
equifinalidad), deducidas de la descripcin de sistemas mediante ecuaciones diferenciales
simultaneas. Ya que ejercia como bilogo, estaba particular- mente interesado en desarrollar
la teora de los sistemas abiertos que, como todo sistema vivo, intercambian materia con
el medio ambiente. Por entonces, tal teora no exista en la Qsico-qumica. La teora de los
sistemas abiertos se relaciona de mltiples modos con la cintica qumica y sus aspectos
biolgicos, tericos y tecnolgicos, as como con la termodinmica de los procesos
irreversibles, y ofrece explicaciones de muchos problemas especiales de la bioqumica,
fisiologa general, y otras reas relacionadas con ellas. Puede decirse que, junto con la
teora de control y las aplicaciones de los modelos de retroalimentacin, la teora de
Fliessgleichgewicht y la de sistemas abiertos [8, 12], constituyen la parte de la teora
general de sistemas con mas aplicaciones en la fisicoqumica, la biofsica, simulacin de
procesos biolgicos, fisiologa, farmacodinamica, etc. [15]. Tambin resulto correcta la
previsin de que las reas bsicas de la fisiologa, esto es, el metabolismo, excitacin, y
morfogenia (mas precisamente, la teora de la regulacin, permeabilidad celular,
crecimiento, excitacin sensorial, estimulacin elctrica, funcin central, etc.), se
fundiran para formar un cuerpo terico integrado, bajo la gua del concepto de sistema
abierto [6, Vol. II, pgs. 49 y sigs. tambin 15, pag. 137].
La eleccin intuitiva dei sistema abierto como un modelo general de sistema resulto ser
correcta. No solamente desde el punto de vista de la fsica es el (sistema abierto el caso
mas general (ya que los sistemas cerrados pueden obtenerse a partir de los abiertos
Planteamientos distintos y en parte opuestos deben, sin embargo, tender hacia una mas total
integracin, en el sentido de que los unos deben reducirse a casos especiales de los otros, o
pueda demostrarse su equivalencia o complementariedad. Tales desarrollos estn ya, de
hecho, ocurriendo.
La teora general de sistemas (en el sentido ms restringido ), la ciberntica, teora de los
autmatas, teora de control, teora de la informacin, teoras de conjuntos, grafos y redes,
las matemticas relacionales, las teoras del juego y la decisin, computadoras y simulacin
y otras, pertenecen todas ellas a planteamientos incluibles en la teora de sistemas. Los
trminos un tanto laxos de planteamientos u aproximaciones se utilizan
deliberadamente, ya que la lista contiene casos bastante distintos, por ejemplo modelos
(tales como los de sistemas abiertos, retroalimentacin, autmata lgico), tcnicas
matemticas, (por ejemplo, teora de ecuaciones diferencia- les, mtodos de computacin,
teora de conjuntos y grafos), y conceptos o parmetros recientemente introducidos
(informacin, juego racional, decisin, etc.). Estos planteamientos coinciden, sin embargo,
en que, de un modo u otro, estn relacionados Con problemas de sistemas, esto es,
problemas de interrelaciones en el interior de un todo al que estn subordinados.
Por supuesto, los problemas no estn aislados y con frecuencia se solapan, adems el
mismo problema puede tratarse matemticamente de distintas formas. Podemos sealan
algunas maneras tpicas de describir los sistemas su elaboracin se debe, por una parte, a
problemas tericos de los sistemas como tales, y, por otra, a los problemas de la
tecnologa del control y la comunicacin. No es posible dar aqu un desarrollo matemtico
o un examen comprehensivo. Las siguientes observaciones, sin embargo, quiz
proporcionen una comprensin intuitiva de los distintos enfoques y de como se relacionan
los unos con los otros.
Por lo comn se coincide en que un sistema es un modo de naturaleza general, esto es,
una representacin conceptual de ciertos caracteres mas bien universales de entidades
observadas. El uso de modelos y construcciones representativas constituye el mtodo
general de la ciencia (e incluso de la cognicin diaria), as como de la simulacin analgica
mediante computadoras. La diferencia respecto a las disciplinas convencionales no es
esencial, sino reside mas bien en el grado de generalidad (0 abstraccin): los sistemas se
refieren a caractersticas muy generales compartidas por grandes conjuntos de entes que
convencionalmente se incluan en disciplinas distintas. De aqu la naturaleza
interdisciplinaria de la teora general de sistemas; al mismo tiempo, las proposiciones de
esta pertenecen a cuerpos estructurales 0 formales, obtenidos haciendo caso omiso de la
naturaleza de los elementos y fuerzas en los sistemas, que son objeto de las ciencias
particulares (y de las explicaciones que estas contienen).
Tales explicaciones en principio pueden tener un considerable valor productivo; para una
explicacin especifica, se requiere la introduccin de las condiciones correspondientes al
sistema especial en cuestin. Un sistema puede definirse como un conjunto de elementos
relacionados entre s y con el medio ambiente. Esto es susceptible de varias expresiones
matemticas. Es posible sealar varios modos tpicos de describir un sistema. Podramos
distinguir un enfoque o grupo de investigaciones, de modo laxo, como axiomtico, en la
divergentes, respectivamente.
Un estado independiente del tiempo,
f;(Ql'Q2'...'Q.)=0, (1.2)
puede considerarse como una trayectoria que ha degenerado en un punto nico.
Visualizando en una proyeccin bidimensional las trayectorias, observamos que estas
pueden, bien converger hacia L un nodo estable representado por un punto de equilibrio,
bien aproximrsele como un foco estable en oscilaciones amortiguadas, o bien girar
alrededor suyo con oscilaciones no amortiguadas (soluciones estables). y tambin pueden
divergir de un nodo inestable, alejarse oscilando de un foco inestable, o de un punto de
equilibrio (soluciones inestables).
Una nocin central en la teora dinmica es la de estabilidad. esto es, la respuesta del
sistema a una perturbacin. El concepto de estabilidad nace en la mecnica (un cuerpo
rgido est en equilibrio estable s vuelve a su posicin original despus de un desplazamiento suficientemente pequeo; un movimiento se dice estable calmo es insensible a
pequeas perturbaciones), y se generaliza a los movimientos de las variables de estado de
un sistema. Esta cuestin est relacionada con la de la existencia de los estados de
equilibrio. La estabilidad puede analizarse, por tanto, mediante la s1ucion explcita de las
ecuaciones diferenciales que describen un sistema (el as llamado mtodo indirecto, que se
basa esencialmente en el examen del eigenwerte de la Ec. 1.1). En caso de sistemas no
lineales, estas ecuaciones tienen Que hacerse lineales mediante desarrollos en serie de
Taylor y retencin del primer termino. Esto sirve solo, sin embargo, para puntos prximos
al de equilibrio. Puede atacarse el problema de la estabilidad sin una solucin actual de
las ecuaciones diferenciales (mtodo directo), as como en el caso de sistemas no lineales,
por medio de la introduccin de las llamadas funciones de Liapunov; se trata esencialmente
de funciones generalizadas de energa, y su signo indica si el equilibrio es o no
asintoticamente estable [28, 36].
Aqu se hace evidente la relacin entre la teora dinmica de sistemas y la teora de control;
el control significa en esencia que un sistema que previamente no 10 era, puede hacerse
asintoticamente estable gracias a la introduccin de un controlador, que contrarresta la
desviacin del sistema con respecto al estado estable. Por esta razn la teora de la
estabilidad en la descripcin interna, o la teora dinmica de sistemas, converge con la
teora de control (lineal) o de los sistemas de retroalimentacion, en la descripcin externa
(ver mas abajo; [48]).
La descripcin mediante ecuaciones diferenciales ordinarias (Ec. 1.1) prescinde de las
variaciones de las variables de estado en el espacio, que habran de expresarse por medio de
ecuaciones diferenciales parciales. Tales ecuaciones de campo, son, sin embargo, ms
difciles de manejar. Se podra superar esta dificultad suponiendo un string total, de modo
que la distribucin fuera homognea en el volumen considerado, 0 dando por supuesto la
existencia de partes que tuvieran esta distribucin homognea, y que estuviesen en contacto
a travs de interacciones adecuadas (teora de los compartimentos) [44].
En la descripcin externa, el sistema se considera una caja negra; sus relaciones con el
medio ambiente y otros sistemas se representan grficamente en diagramas de bloque y
de todos organizados, la imagen del hombre ser distinta de la que tendra en un mundo de
partculas fsicas gobernado por sucesos aleatorios, donde estos serian la ultima y nica
verdad. Mas bien, el mundo de los smbolos, valores, entidades sociales y culturales, es
algo muy real; y su inclusion en un orden cosmico de jerarquias cierra la brecha entre
~las dos culturas, ciencias y humanidades, tecnologia e historia, ciencias naturales y
sociales, 0 cualquier otra formulacion de la antitesis de C. P. Snow.
Estas preocupaciones humanistas diferencian a la teora general de sistemas, tal como la
entiende el presente autor, de aquella que estudian los tericos de sistemas con
orientaciones mecanicistas, quienes, al hablar sola mente en trminos de matemticas,
feedback, tecnologa, y cosas por el estilo, dan pbulo al temor de que la teora de sistemas
es el ultimo paso hacia la mecanizacin y devaluacin del hombre, y hacia la sociedad
tecnocracia. Aunque el presente autor comprende y destaca el papel de las matemticas y de
la ciencia pura y aplicada, no cree que puedan ignorarse los aspectos humanistas sin
condenar a la teora general de sistemas a una visin restringida y fraccionaria. Asi, existe
una gran y en verdad chocante multiplicidad de enfoques y tendencias en la teora general
de sistemas. Se comprende que esto resulte incomodo al que pida un formalismo neto, al
autor de libros de texto y al dogmtico. Resulta sin embargo cosa muy natural en la historia
de las ideas y de la ciencia, y sobre todo al comienzo de un nuevo desarrollo. Distintos
modelos y teoras pueden reflejan distintos aspectos, y se complementan entre s. Por otra
parte, futuros desarrollos llevaran sin duda a una mas total unificacin. La teora general de
sistemas es, como se recalco, un modelo de ciertos aspectos generales.de la realidad. Pero
tambin es una manera de ver cosas que haban pasado desapercibidas o se haban
soslayado, y en este sentido, es una mxima metodolgica. y como toda teora cientfica de
gran abarcadura, est relacionada con, e intenta dar una respuesta, a problemas perennes de
la filosofa.