LA TEORA DEL CAOS Y SUS PROBLEMAS

EPISTEMOLGICOS

Olimpia Lombardi
Universidad de Buenos Aires

Introduccin

1--
"
Durante las ltimas tres dcadas, la llamada "Teora del Caos" ha abierto
a. U un nuevo y fructfero campo de investigacin, donde se entrecruzan proble
mas propios de disciplinas tan dismiles como, por ejemplo, la fsica, la biologa o la
economa. Sin embargo, el rpido crecimiento de este campo de estudio no ha venido
acompaado de un proporcional desarrollo de la reflexin epistemolgica acerca del
tema. Qu tipo de teora es la Teora del Caos?, a qu se aplica el predicado "ca
tico"?, cmo se define la nocin de caos?: todas estas cuestiones han recibido una
muy escasa atencin dentro del gran caudal de trabajos que, actualmente, tocan temas
relativos a la filosofa de la ciencia.
El presente artculo pretende ser una pequea contribucin destinada a rever
tir tal panorama. Aqu se intentar brindar una aproximacin satisfactoria a las pre
guntas formuladas, desde una perspectiva epistemolgica. En particular, se sealarn
los diversos problemas que surgen cuando se pretende hallar una definicin nica,
que resulte adecuada para las diferentes formas bajo las cuales se manifiesta el com
portamiento catico.

Caractersticas generales del caos

Durante el siglo XIX, entre los fsicos prevaleca la idea de que los sistemas
mecnicos deban presentar un comportamiento regular y predictible en la medida en
que resultaba descripto por ecuaciones diferenciales. Pero esta idea sufri un duro
golpe cuando, sobre finales del siglo, Henri Poincar (1892) demostr que aun cier
tos sistemas regidos por las ecuaciones de Hamilton podan evolucionar de un mo
do irregular y aperidico 1. Uno de los grandes mritos de Poincar fue su modo de

Una interesante presentacin de los aportes de Poincar en este mbito puede encontrarse en
Chabert y Dalmedico (1991).

91
Revista de Filosofa Olimpia Lombardi

abordar problemas clsicos desde perspectivas totalmente originales: sus mtodos,

basados en un enfoque geomtrico y topolgico, fueron ms cualitativos que cuanti
tativos y brindaron el marco terico para las actuales investigaciones sobre sistemas
dinmicos inestables. Sin embargo, fue necesario que transcurrieran setenta aos para
que el meteorlogo E. N. Lorenz, en 1963, pudiera obtener los primeros resultados
cuantitativos: gracias a su primitiva computadora, Lorenz calcul la evolucin gene
rada por un sencillo sistema de tres ecuaciones diferenciales no lineales, mostrando
que tal evolucin corresponda a un comportamiento irregular y aperidico, que lue
go pas a denominarse "catico" 2
Pero, en un sistema dado, cmo se manifiesta el comportamiento catico?
Algunas de sus caractersticas se asemejan mucho a las del ruido y, por ello, sugieren
la presencia de componentes aleatorios:
La seal generada por el sistema parece"" totalmente aperidica, errtica, carente
de toda regularidad, y no se estabiliza con el transcurso del tiempo (no pasa a un
rgimen peridico).
La funcin de autocorrelacin de la seal decae rpidamente, de modo similar al
caso del ruido blanco.
El espectro de Fourier de la seal tambin se parece al del ruido blanco.
La seal presenta el fenmeno de difusin, normalmente asociado al movimiento
browniano (movimiento de una partcula sometida a fuerzas aleatorias en un me
dio de alta friccin).
Sin embargo, el comportamiento catico tambin posee otras caractersticas
que le son propias:
A diferencia del ruido -de origen trmico-, la seal catica no puede "sosegarse"
bajando la temperatura.
Tambin a diferencia del ruido, genera una trayectoria que se mantiene en una
zona limitada del espacio de las fases correspondiente al sistema 3
A pesar de su aparente irregularidad, el comportamiento catico responde a una
regularidad subyacente, en la medida en que puede describirse mediante un siste
ma de ecuaciones diferenciales no lineales.
Esta no linealidad hace inaplicable el principio de superposicin: la seal catica
no puede interpretarse como la superposicin indicada por una serie de Fourier.
Por lo tanto, el espectro de Fourier de la seal no la representa adecuadamente.

2
Una popular introduccin al tema es la que brinda Gleick (1988).
3
Se denomina "espacio de las fases" a un espacio eucldeo de tantas dimensiones como variables
de estado posea el sistema; en tal espacio, cada punto representa un estado posible del sistema y,
dado el punto correspondiente al estado inicial, la evolucin temporal del sistema queda repre
sentada por una trayectoria que se inicia en dicho punto.

92
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

El fenmeno de difusin no depende de la presencia de fuerzas aleatorias, sino de

la propia dependencia temporal de la seal.
Estas caractersticas ponen de manifiesto que el comportamiento catico no se
debe a la presencia de fuentes de ruido, ni a la incertidumbre asociada a la Mecnica
Cuntica, ni a un elevado nmero de grados de libertad (el sistema de Lorenz tiene
solo tres grados de libertad); el epifenmeno de la irregularidad del comportamiento
catico es exclusivamente resultado de la propia dinmica interna del sistema. Por lo
tanto, si se desea investigar las caractersticas de tal irregularidad, as como descubrir
la regularidad subyacente que rige este tipo de comportamiento, es necesario pasar al
estudio de las ecuaciones que lo describen.

Aspectos matemticos del caos

En primer lugar, es necesario recordar las caractersticas generales de las

ecuaciones diferenciales utilizadas en ciencias fcticas para la descripcin de siste
mas dinmicos que pueden dar lugar a un comportamiento catico. Desde el punto de
vista matemtico, se trata de sistemas de ecuaciones diferenciales ordinarias, esto es,
que poseen una nica variable independiente: no entran en juego aqu las ecuaciones
diferenciales en derivadas parciales. Dichos sistemas de ecuaciones diferenciales or
dinarias cumplen las condiciones necesarias para asegurar la existencia y la unicidad
de sus soluciones para cada conjunto de valores de las variables dependientes 4 Des
de el punto de vista fctico, la variable independiente representa el tiempo, las varia
bles dependientes -variables de estado- representan las magnitudes que definen el
estado del sistema, y cada solucin describe la evolucin temporal del sistema dadas
las condiciones iniciales -valores iniciales de las variables de estado.
Un recurso ampliamente utilizado en ciencias consiste en representar el com
portamiento de un sistema dinmico en el espacio de las fases correspondiente. Gra
cias a esta representacin, es posible expresar en lenguaje geomtrico las propieda
des de existencia y unicidad antes mencionadas: dado un sistema dinmico, para cada
punto representativo de su estado inicial, la trayectoria que en l se inicia existe y es
nica; adems, dado que no hay restricciones para fijar el estado inicial del sistema,
las trayectorias no pueden cortarse en ningn punto, es decir, no existe ningn estado
a partir del cual el sistema evolucione temporalmente segn dos o ms trayectorias
posibles.

Dada una ecuacin diferencial ordinaria de primer orden, si se cumplen las siguientes condicio
nes: (i) puede expresarse en su forma normal dxldt = F(x,t); (ii) F(x,t) y dF/dx son continuas en un
cierto dominio D del plano Oxt; y (iii) (x0,toJ es un punto de tal dominio, entonces existe una
solucin nica x(t) de tal ecuacin diferencial que satisface x = x0 para t = t0. Este teorema de
existencia y unicidad puede encontrarse en textos avanzados sobre clculo diferencial; por ejem
plo, cfr. Piskunov (1994).

93
Revista de Filosofa Olimpia Lombardi

La representacin en el espacio de las fases permite, a su vez, caracterizar de

un modo ms sencillo que el puramente matemtico una nocin central en el estudio
del comportamiento de los sistemas dinmicos: el concepto de estabilidad. Se dice
que una trayectoria que parte de un cierto punto es estable si, dada cualquier trayec
toria que se inicia a una distancia arbitraria O>O del punto original, la distancia entre
ambas trayectorias se mantiene acotada por debajo de un valor finito E> para todo
instante posterior al instante inicial 5 Fcticamente esto significa que la evolucin
temporal de un sistema es estable si sufre pequeas variaciones frente a modificacio
nes tambin pequeas de las condiciones iniciales; por ejemplo, ste es el caso del
comportamiento de un pndulo ideal sin friccin ni rozamiento para distintos ngulos
de oscilacin. Las situaciones de evolucin estable eran los casos tpicamente estu
diados en fsica durante el siglo XIX, cuando se crea que todo sistema regido por la
clsica Mecnica Hamiltoniana deba cumplir con la propiedad de estabilidad en sus
posibles evoluciones; fueron precisamente los trabajos de Poincar los que demostra
ron la existencia de sistemas hamiltonianos que, contra la creencia tradicional, pue
den presentar evoluciones temporales inestables. El estudio de la estabilidad en sis
temas dinmicos fue uno de los elementos tericos fundamentales para el posterior
desarrollo de la Teora del Caos.
Cules son las caractersticas especficas de las ecuaciones que describen un
comportamiento catico? Si bien la definicin precisa del concepto de caos contina
siendo objeto de debate, entre los especialistas existe un consenso prcticamente un
nime acerca de ciertos puntos:
Los sistemas que pueden presentar comportamiento catico quedan descriptos
por sistemas de ecuaciones diferenciales de la forma:
dx/dt = F(x,r)
dondex = (x 1,x2, , xa), F = (F 1, F2, , Fa) y res un parmetro. Tales ecuaciones
son:
- autnomas: F no depende explcitamente de la variable tiempo.
- no lineales: Fes una funcin no lineal de las {x).
En otras palabras, no linealidad y autonoma de las ecuaciones diferenciales son
condicin necesaria pero no suficiente para el comportamiento catico.
Todo sistema de comportamiento catico es sensible a las condiciones iniciales.
Esto significa que, en el espacio de las fases correspondiente, las trayectorias
divergen exponencialmente. Por ejemplo, supngase un sistema descripto por una

En ciencias suelen utilizarse distintas nociones de estabilidad. Aqu se ha presentado nicamente

el concepto de "estabilidad segn Lyapounov" debido a su relevancia para la discusin posterior.
En tnninos puramente matemticos: dada la ecuacin dx/dt = F(x,t), cuya solucin x 1 (t) satisfa
ce x 1 (t = to) = x01 y cuya solucin xz(t) satisface x2(t = t0) = x02, se dice que la solucin x 1 (t) es
Lyapounov-estable cuando, para todo E > O, existe un 6 > O tal que, para todos los valores de
t > t0, si se cumple que lx02 - x01 1 < 6, entonces tambin se cumple que lxz(t) - x 1 (t)I < e. Aqu
tambin puede consultarse Piskunov (1994).

94
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

nica ecuacin diferencial dx!dt = F(x) y sean dos puntos separados una distan
ciad, la distancia entre las trayectorias que se inician en tales puntos debe aumen
tar exponencialmente con el tiempo segn 8e h1, donde h se denomina "exponente
de Lyapounov" y mide, precisamente, tal divergencia exponencial (h > O). Por lo
tanto, la sensibilidad a las condiciones iniciales que exhiben los sistemas de com
portamiento catico implica su inestabilidad: la evolucin temporal del sistema
manifiesta grandes variaciones frente a pequeas modificaciones de las condicio
nes iniciales.
Lo dicho hasta aqu puede generalizarse en dos sentidos. En primer lugar,
debe considerarse el caso general de un sistema con d variables de estado, cuya evo
lucin temporal se representa en un espacio de la fases r d-dimensional. En este caso
existen d exponentes de Lyapounov hn , uno por cada direccin xn de I', cumplindose
que:
Los h; > O indican divergencia exponencial en las direcciones X.
Los hj < O indican contraccin exponencial en las direcciones x/
En segundo lugar, hasta aqu se ha hablado de sistemas de ecuaciones diferen
ciales, pero tambin se da el caso de comportamiento catico descripto por ecuaciones
en diferencias finitas, x +l = F(x ,r) con x = (x l ' x2n , ..., xdn) y F = (F1 , F2, ... , Fd),
n n n n
donde son aplicables las mismas consideraciones anteriores: no linealidad y autono
ma como condicin necesaria, y sensibilidad a las condiciones iniciales.
Esta sensibilidad a las condiciones iniciales conduce a una importante conse
cuencia respecto de la predictibilidad de los estados futuros de los sistemas de com
portamiento catico. En la prctica, la precisin finita de nuestros instrumentos de
medicin impide conocer con precisin infinita el estado inicial de un sistema. Si se
trata de un sistema de comportamiento regular y estable, la situacin no es grave:
pequeas incertidumbres en la determinacin emprica de las condiciones iniciales se
convierten en incertidumbres grandes pero acotadas (aumentan linealmente con el
tiempo) en el curso ulterior de la evolucin. Pero si el sistema presenta un comporta
miento catico, las pequeas incertidumbres iniciales se amplifican exponencialmente
con el transcurso del tiempo de modo tal que, en la prctica, para tiempos muy supe
riores a 1/h ('t = 1/h se denomina "tiempo de Lyapounov") la prediccin unvoca de
los estados futuros del sistema se toma imposible. En otras palabras, a medida que
transcurre el tiempo se produce una prdida de informacin acerca del estado preciso
en el que se encuentra el sistema; intuitivamente, en t = O, la localizacin del punto
representativo con una precisin ; brinda mayor informacin que su localizacin
dentro de 8,11 luego del intervalo L1t. La Teora del Caos suministra una magnitud
que permite precisar esta nocin intuitiva: la K-entropa o entropa de Kolmogorov
mide la velocidad media de prdida de informacin acerca del estado preciso en el
que se encuentra el sistema dinmico.
En tanto medida de informacin, la K-entropa se calcula mediante los mto
dos de Shannon: la estrategia general consiste en dividir el espacio de las fases en
celdas y considerar las probabilidades asociadas a las diferentes transiciones entre

95
Revista de Filosofa Olimpia Lombardi

celdas; puede demostrarse que el valor de la K-entropa es independiente de la parti

cular particin considerada (cfr. Schuster, 1989; para una demostracin formal, cfr.
Farmer, 1982). En consecuencia, la K-entropa puede considerarse como un indicador
de "qu tan catico" es el comportamiento de un sistema y, como era de esperar,
resulta proporcional al exponente de Lyapounov o, en general, a la suma de los expo
nentes de Lyapounov positivos.

Cuestiones epistemolgicas

En la actualidad se ha desarrollado un amplio campo de estudio dedicado a

investigar las propiedades de sistemas de ecuaciones no lineales, tanto diferenciales
como en diferencias finitas (por ejemplo, mapas de una o dos dimensiones), que
pueden dar lugar a un comportamiento catico. En algunos casos, la formulacin del
sistema de ecuaciones responde al inters de describir el comportamiento de algn
sistema real particular; en otros casos, se trata de ecuaciones que no refieren directa
mente a sistemas reales, pero cuyo estudio resulta til para comprender la dinmica
propia del comportamiento catico. Al mismo tiempo, se han ido encontrando diver
sos sistemas reales -biolgicos, fsicos, qumicos, econmicos, etc.- que, convenien
temente modelados, responden adecuadamente al tipo de ecuaciones que caracteri
zan las dinmicas caticas; por lo tanto, el comportamiento aparentemente errtico
de tales sistemas puede ahora ser explicado como manifestacin de una regularidad
subyacente. No obstante, an puede formularse una serie de preguntas de orden
epistemolgico en relacin a la Teora del Caos.
En primer lugar, qu tipo de teora es la Teora del Caos? Considerada con
independencia de su gnesis histrica y de las motivaciones para su desarrollo, la
Teora del Caos no es una teora fctica en sentido estricto: el comportamiento cati
co puede producirse en cualquier-tipo de sistema real, sea fsico, biolgico, econmi
co, etc.; incluso dentro del mbito de la fsica, el caos puede manifestarse en sistemas
descriptos por la Mecnica Clsica, la Mecnica Cuntica o cualquier otra teora refe
rida a la dinmica de entidades fsicas 6. El comportamiento catico es resultado de
las propiedades de las ecuaciones que describen la dependencia temporal de un siste
ma y, por tanto, no se encuentra ligado a teora fctica particular alguna. En conse
cuencia, la Teora del Caos podra ser abordada desde una perspectiva puramente
sintctica, con independencia de la interpretacin semntica de las variables
involucradas en el sistema de ecuaciones bajo estudio; ello indica que, en rigor, la
Teora del Caos es una teora matemtica acerca de las propiedades de las soluciones
de cierto tipo de ecuaciones diferenciales (o en diferencias finitas) no lineales. No
resulta sorprendente, entonces, la amplia aplicabilidad de la Teora del Caos a muy

Curiosamente, parece haberse establecido que los sistemas cunticos resultan ser "menos cati
cos" que sus contrapartidas clsicas, de modo tal que la Mecnica Cuntica "atenuara" los efec
tos del caos (cfr. Schuster, 1989; Casati, 1991).

96
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

diferentes mbitos de la realidad, del mismo modo que no nos sorprende la gran diver
sidad de sistemas abordables mediante el clculo diferencial lineal de Leibniz y Newton.
Sin embargo, en general, la teora se aplica al estudio de ecuaciones dinmicas (al igual
que el tradicional clculo diferencial), donde la variable independiente representa la
dimensin temporal; de este modo, el inters pasa a centrarse en sistemas cuyo com
portamiento temporal se describe mediante cierto tipo de ecuaciones dinmicas y
queda representado por una trayectoria (continua o discreta) en el espacio de las fases
correspondiente.
En segundo lugar, a qu se aplica el predicado "catico"? Dado que la Teora
del Caos es esencialmente una teora matemtica, el predicado "catico" se aplica, en
sentido propio, a ciertas ecuaciones que son soluciones de ecuaciones diferenciales
autnomas y no lineales. Sin embargo, como la teora suele dirigirse al estudio de
ecuaciones dinmicas, el predicado "catico" pasa derivativamente a aplicarse a los
procesos descriptos por tales ecuaciones. Algunos autores hablan de "sistemas cati
cos" para referirse a aquellos sistemas que describen procesos caticos; pero tal ex
tensin en la aplicacin puede conducir a confusiones si no se recuerda cmo se
origina la caoticidad. En efecto, un sistema de ecuaciones diferenciales dx/dt = F(x,r)
puede tener soluciones caticas para ciertos valores del parmetro r y soluciones no
caticas para otros valores del mismo parmetro. Por lo tanto, un mismo sistema
-definido por un sistema dado de ecuaciones diferenciales- puede presentar mi' com
portamiento catico para algunos valores de un vnculo externo -expresados como
valores del parmetro r- y no para otros valores. Por esta razn, en lugar de hablar de
"sistemas caticos" es ms riguroso referirse a sistemas de comportamiento catico,
eri la medida en que tal terminologa toma en consideracin los distintos factores que
contribuyen a la caoticidad de los procesos que un sistema describe.
Por ltimo, cabe detenerse en los variados comentarios acerca del supuesto
carcter indeterminista de la Teora del Caos; en este sentido, algunos autores colo
can esta teora en una posicin equivalente a la Mecnica Cuntica en lo que se refie
re al colapso de la concepcin determinista del universo, e incluso creen encontrar en
la Teora del Caos la respuesta al viejo problema del libre albedro (cfr. Crutchfield et
al., 1987; Davies, 1990). En primer lugar, cabe recordar que la Teora del Caos es una
teora matemtica ajena, en principio, a consideraciones de orden temporal; solo cuando
la Teora del Caos es interpretada como una teora acerca del comportamiento de
cierto tipo de sistemas dinmicos, entra en escena el problema del determinismo,
problema que solo cobra sentido en relacin con la evolucin temporal de los siste
mas reales o a las ecuaciones que describen tales evoluciones. Pero aqu la cuestin
que debe subrayarse es que las limitaciones predictivas que surgen de la Teora del
Caos no se deben al carcter estadstico de las ecuaciones; por el contrario, las
ecuaciones que describen el comportamiento catico de un sistema son totalmente
deterministas: dadas las condiciones iniciales, fijan el valor de las variables de estado
para todo tiempo futuro. En el caso continuo, la condicin de determinismo se expre
sa en el hecho de que las trayectorias en el espacio de las fases nunca pueden cortarse,
esto es, no puede existir ningn punto origen de ms de una trayectoria posible. Por
esta razn, para referirse a este tipo de comportamiento muchos autores utilizan el

97
Revista de Filosofa Olimpia Lombardi

trmino "caos determinista", con el fin de diferenciarlo de los fenmenos cuya irregu
laridad se supone producto de elementos aleatorios. En consecuencia, la Teora del
Caos no implica en modo alguno indeterminismo ontolgico, siquiera en el caso de
una interpretacin realista de las ecuaciones "caticas" como descripcin de regula
ridades inscriptas en el plano real. Por el contrario, brinda un excelente argumento
para el determinista ontolgico quien, con su ayuda, puede mostrar que muchos pro
cesos aparentemente aleatorios y carentes de toda regularidad, en realidad responden
a leyes deterministas subyacentes que restauran la dependencia temporal unvoca
entre los estados del sistema, si bien no permiten la prediccin unvoca para todo
instante futuro (cfr. Lombardi, 1999).

El problema de la definicin

En contraste con el rpido desarrollo de la Teora del Caos, tanto en sus aspec
tos tericos como en sus aplicaciones prcticas 7, el concepto de caos sigue sin hallar
una definicin totalmente general y adecuada. Algunos autores intentan definir el
comportamiento catico a partir de su impredictibilidad; por ejemplo, Mark Stone
(1989, p. 129) considera que ste es el camino ms natural para distinguir entre los
sistemas caticos y los que no lo son. En una lnea similar, G. M. K. Hunt (1987,
p.130) pretende caracterizar el comportamiento catico como aqul cuya
impredictibilidad se funda en el hecho de no presentar continuidad ante variaciones
de las condiciones iniciales. En su minucioso anlisis de la cuestin, Robert Batterman
(1993) impugna ambos intentos, sealando correctamente que la impredictibilidad es
una consecuencia del caos en los sistemas dinmicos, pero no una condicin sufi
ciente para ello; en efecto, existe una multiplicidad de factores que pueden convertir
un sistema en impredictible (fenmenos cunticos, ruido, elevado nmero de grados
de libertad, etc.) sin que por ello se trate de un sistema de comportamiento catico.
En particular, Batterman (pp. 53-54) seala la confusin en la que incurre Hunt: la
condicin de continuidad -que es la que cumple una ecuacin diferencial si admite
una nica solucin que depende de manera continua de las condiciones iniciales
puede no cumplirse en el caso de ecuaciones diferenciales en derivadas parciales.
Pero en el caso de ecuaciones diferenciales ordinarias que cumplen las condiciones
para la existencia y unicidad de sus soluciones, puede demostrarse que la condicin
de continuidad tambin se cumple siempre: como ya fue sealado, ste es precisa
mente el tipo de ecuaciones diferenciales objeto de estudio de la Teora del Caos. En
consecuencia, la divergencia exponencial de las trayectorias propia del comporta
miento catico no implica, como supone Hunt, que la posicin del punto representa
tivo en el espacio de las fases "salte de un modo incontrolado" (Hunt, 1987, p.131)
ante variaciones de las condiciones iniciales.

Acerca de la aplicaciones tecnolgicas de la Teora del Caos, cfr. Ditto y Pecara (1993) y Neff y
Carroll (1993).

98
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

Otra muy difundida lnea de argumentacin es la que asocia los conceptos de

caos y de aleatoriedad a travs de la definicin de complejidad algortmica de Chaitin,
Kolmogorov y Solomonov. El ncleo conceptual de la propuesta consiste en definir
la complejidad algortmica de una secuencia de smbolos como la longitud del pro
grama computacional ms corto que puede generar tal secuencia en una mquina de
Turing: la secuencia ser algortmicamente aleatoria si posee complejidad algortmica
mxima, esto es, si el programa ms corto que puede generarla tiene aproximada
mente la misma longitud que la propia secuencia 8 . Sobre la base de tales nociones,
Joseph Ford sostiene que: "en un sentido tcnico estricto, caos es meramente un
sinnimo para la aleatoriedad, tal como la teora de la complejidad algortmica[... ]
as claramente lo revela" (Ford, 1989, p. 350). La estrategia de Ford consiste en
dividir el espacio de las fases en celdas numeradas y asociar la trayectoria en dicho
espacio con la secuencia de los nmeros de las celdas que sucesivamente va ocupan
do el punto representativo del estado del sistema. Un teorema de A. A. Brudno (1978)
le permite, a su vez, asociar la complejidad algortmica de la secuencia con la nocin
de K-entropa del sistema: segn este teorema, si una particular secuencia de salida de
un sistema dinmico abstracto es algortmicamente aleatoria, en general el sistema
poseer una K-entropa positiva. Efectuados estos pasos, Ford establece que: "si pue
de demostrarse que la secuencia de los nmeros de las celdas correspondientes a
una rbita es aleatoria, entonces la rbita misma es tambin aleatoria" (Ford, 1983,
p. 43). El as definido carcter aleatorio de la trayectoria en el espacio de las fases
constituye, para el autor, la manifestacin del comportamiento catico del sistema.
No obstante su precisin, Batterman rechaza tambin esta definicin algortmica
de caos, en la medida en que ella considera nicamente la salida del sistema, ignoran
do por completo la dinmica subyacente que genera tal salida (Batterman, 1993, p.
163). En efecto, una salida algortmicamente aleatoria puede obtenerse, tanto a partir
de una particin de grano grueso sobre una trayectoria catica, como a partir de un
sistema de comportamiento regular en el cual la aleatoriedad de la salida es conse
cuencia de la aleatoriedad del estado en el que se inicia el proceso (este argumento se
tratar en detalle ms adelante). Por lo tanto, la definicin algortmica refiere a una
consecuencia del caos y no a lo que le brinda especificidad.
A esta crtica puede agregarse una nueva objecin basada en el concepto de K
entropa. Como ya fue sealado, tal magnitud mide la velocidad media de prdida de
informacin acerca del estado en el que se encuentra el sistema dinmico; de acuerdo
con esta definicin, la K-entropa puede adquirir tres tipos de valores relevantes (cfr.
Schuster, 1989, pp. 99-100):

Una mquina de Turing es un dispositivo abstracto que, segn se demuestra, puede simular el
comportamiento de cualquier computadora digital, aun la ms compleja. Este concepto fue intro
ducido por el matemtico ingls Alan Turing en 1936.

99
 Revista de Filosofa Olimpia Lombardi

( a) Comportamiento regular: K = O. Esto significa que, dada la celda inicial, pueden

conocerse con certeza las celdas siguientes en toda la evolucin: no hay prdida
alguna de informacin.
( b) Comportamiento catico: K > O y finito. Esto significa que, dada la celda inicial
C0, la celda subsiguiente puede ser una entre las eh celdas cubiertas por la diver
gencia exponencial de las trayectorias que se inician en C0 : la informacin se
pierde a una velocidad proporcional a h (K""' h > O).
- ( c) Comportamiento aleatorio: K oo. Esto significa que, dada la celda inicial C0 ,
la celda subsiguiente puede ser, con igual probabilidad, cualquiera de las infini
tas celdas en las que se subdividi el espacio de las fases: hay una inmediata
prdida total de la informacin.
El problema de la definicin algortmica de caos reside en el hecho de que el
concepto de aleatoriedad algortmica no permite diferenciar entre los casos (b) y (c):
en ambas situaciones la secuencia de salida tendr complejidad algortmica mxima
y K > O, pero solo el primer caso, con K finito, corresponde a un comportamiento
catico; el segundo caso, por el contrario, parece referirse a una completa aleatoriedad
carente de toda regularidad subyacente. En otras palabras, el comportamiento catico
de un sistema implica la aleatoriedad algortmica de su salida y su K-entropa positi
va, pero la implicacin inversa no es vlida: puede darse el caso de sistemas con K
entropa positiva y cuya salida es algortmicamente aleatoria, pero que no presentan
un comportamiento catico. Por lo tanto, la propuesta de Ford no es adecuada: la
aleatoriedad algortmica de la salida de un sistema no es condicin necesaria y sufi
ciente para la caoticidad de su comportamiento.
Una consecuencia del comportamiento catico en el caso continuo es la super
posicin de dos efectos geomtricos: contraccin de las distancias en una direccin
del espacio de las fases y dilatacin en otra direccin. Supngase una trayectoria a
que se inicia en un punto:
el conjunto de las trayectorias que divergen de a definen un subespacio en el cual
toda distancia se dilata exponencialmente a travs de la evolucin segn un expo
nente de Lyapounov h+ > O.
el conjunto de las trayectorias que convergen a a definen un subespacio en el cual
toda distancia se contrae exponencialmente a travs de la evolucin segn un
exponente de Lyapounov h_ < O.
Batterman (1993, p. 49) sugiere que este tipo de estructura convergente/diver
gente es una condicin necesaria para el caos. Esto es correcto en el caso continuo,
donde no pueden existir trayectorias caticas en espacios de las fases de dimensin
inferior a tres9 ; tambin se cumple en el caso discreto de mapas de dos dimensiones

En los sistemas disipativos, sobre la base de la continuidad de las trayectorias en el espacio de las
fases y de la condicin de determinismo (que las trayectorias no puedan cortarse en ningn pun
to), el teorema de Poincar-Bendixson demuestra la imposibilidad de comportamiento catico en

100
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

como, por ejemplo, la transformacin del panadero 10 Pero, cmo podra cumplirse el
mecanismo de dilatacin/contraccin en evoluciones de una nica variable? Consi
drese, por ejemplo, el caso de la muy conocida ecuacin logstica, xn+I = rxn (1-xn )'
que describe una evolucin unidimensional que se torna catica para valores del
parmetro r superiores a un cierto valor crtico re (cfr. Argyris et al., 1994, pp. 169-
173); precisamente, para r > re puede calcularse el exponente de Lyapounov h > O.
Dada la unidimensionalidad de la evolucin, h es el nico exponente de Lyapounov,
e indica la divergencia exponencial de las trayectorias con el transcurso del tiempo:
no existe un exponente de Lyapounov negativo que indique convergencia, pues no
hay otra dimensin segn la cual las trayectorias puedan converger. Esto muestra que
la estructura convergente/divergente no se manifiesta en ecuaciones caticas de una
nica variable; por lo tanto, la sugerencia de Batterman, si bien correcta para un
amplio espectro de casos, no logra recoger todas las- mltiples y variadas manifesta
ciones de los fenmenos caticos.
Tal vez uno de los mayores inconvenientes para formular una definicin preci
sa y unitaria de caos sea la diferencia entre sistemas conservativos y sistemas disipativos
en cuanto al modo de manifestarse el comportamiento catico. Una definicin general
de ambos tipos de sistemas puede formularse en trminos de la geometra del espacio
de las fases: sistemas conservativos son aqullos que cumplen con el teorema de
Liouville de conservacin del volumen en el espacio de las fases (dpldt = O); por el
contrario, sistemas disipativos son aqullos para los cuales cualquier regin del espa
cio de las fases disminuye su volumen a travs de su evolucin temporal (dpldt < O).
En un sistema conservativo de comportamiento catico, la dilatacin debida a la di
vergencia exponencial de las trayectorias en ciertas direcciones (h > O) debe com
pensarse exactamente con la contraccin debida a la convergencia exponencial de las
trayectorias en otras direcciones (hj < O), a fin de asegurar la conservacin de volu
men. En un sistema disipativo de comportamiento catico, en cambio, la contraccin
debe superar la dilatacin, resultando as una disminucin neta del volumen de cual
quier regin del espacio de las fases a travs de la evolucin temporal. Por lo tanto,
debe cumplirse, en valores absolutos:
en los sistemas conservativos: la suma de los h i > O debe ser igual a la suma de los
hj < O.
en los sistemas disipativos: la suma de los h i > O debe ser menor que la suma de
los hj < O.

un espacio de las fases de dos dimensiones: dado que las trayectorias caticas divergentes no
pueden quedar confinadas a una superficie, la dimensin de un atractor catico debe ser mayor
que dos. En sistemas conservativos, para que pueda darse un comportamiento catico es necesa
rio que existan al menos dos frecuencias fundamentales que definan un toro en un espacio de las
fases de cuatro dimensiones.
10
La transformacin del panadero es una transformacin discreta en un espacio de las fases
de dos variables, x e y, tales que O x 1 y O y 1, y queda definida por las siguientes
ecuaciones: x' = 2x e y'= y/2 para O x < ; x' = 2x - 1 e y'= (y+ 1)12 para :5" x :5" l. Dado su
carcter catico, pueden calcularse sus exponentes de Lyapounov h+ = ln 2 y h_ = -ln 2.

101
Revista de Filosofa Olimpia Lombardi

Veamos, entonces, como se manifiesta el comportamiento catico en ambos

casos.

Sistemas disipativos

En los sistemas disipativos, cualquier regin inicial del espacio de las fases
evoluciona disminuyendo su volumen, de modo tal que el volumen tiende a cero
cuando el tiempo tiende a infinito. Es as que adquiere una importancia central la
nocin de atractor: lugar geomtrico del espacio de las fases hacia el cual convergen
todas las trayectorias provenientes de una cierta regin denominada "cuenca de atrac
cin" 11. En otras palabras, cualesquiera sean las condiciones iniciales del sistema, su
evolucin queda representada por una trayectoria que parte del punto representativo
del estado inicial y tiende al atractor; ejemplo de ello es un pndulo amortiguado por
rozamiento, donde el atractor puntual representa el estado final de reposo. Pero el
punto fijo no es el nico tipo posible de atractor; en el caso de un pndulo forzado a
oscilar con una frecuencia impuesta, las trayectorias tienden hacia un ciclo lmite en
forma de elipse. Un atractor debe ser no descomponible, es decir, la trayectoria debe
visitar todos los puntos del atractor a lo largo del tiempo: un conjunto de puntos fijos
aislados no es un atractor nico. Adems, la dimensin del atractor debe ser inferior
a la dimensin del espacio de las fases en el que se encuentra, pues su volumen es
nulo en tal espacio (cfr. Schuster, 1989, pp. 93-94). Un sistema dado puede poseer
varios atractores, cada uno con su propia cuenca de atraccin; segn la cuenca en la
que se encuentre situado el punto representativo de las condiciones iniciales del siste
ma, la trayectoria converger a uno u otro atractor.
Pero en los sistemas disipativos de comportamiento catico, los atractores no
poseen la forma sencilla del punto fijo o del ciclo lmite, objetos geomtricos de
dimensin entera; por el contrario, se trata de atractores denominados "extraos" o
"anmalos", caracterizados por su dimensin fraccionaria 12 Estos curiosos objetos
geomtricos son los que Benoit Mandelbrot (1987) denomin "objetos fractales",
cuya caracterstica central es la autosimilitud, esto es, la propiedad de conservar su
aspecto cualquiera sea la escala con la cual se los observa. Los atractores caticos o
extraos ocupan una regin finita del espacio de las fases, y solo pueden darse en
espacios de las fases de dimensin superior a dos, pues las trayectorias divergentes

11
En trminos matemticos, un atractor es un conjunto compacto A, con la propiedad de que exis
te una vecindad deA tal que, para casi toda condicin inicial, el conjunto lmite de la rbita para
t +oo es A. Por lo tanto, casi toda trayectoria en una vecindad de A pasa arbitrariamente cerca
de cada punto de A. La cuenca de atraccin de A es el cierre del conjunto de condiciones iniciales
que tienden aA. Cfr. Farmer, Ott y Yorke, 1983, p.153.
12 Existen diversos tipos de dimensin de un objeto geomtrico. La ms conocida es la dimensin de
Hausdorff DH, que se calcula, en un espacio d-dimensional, cubriendo el objeto con esferas d
dimensionales de dimetro a. Farmer et al. (1983) analizan las distintas definiciones del concepto
de dimensin en el contexto del estudio de los atractores anmalos.

102
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

no pueden quedar confinadas a una superficie cumpliendo, a la vez, las condiciones

de continuidad y determinismo (teorema de Poincar-Bendixson, cfr. nota 9). La es
tructura geomtrica de estos atractores es extraordinariamente intrincada, pues se
pliegan y se repliegan sobre s mismos un nmero infinito de veces: si se examina
uno de estos pliegues a una escala superior, se descubre una estructura semejante a la
previa, de pliegue y repliegue, y as indefinidamente. Desde el punto de vista dinmi
co, esta complejsima estructura del atractor es lo que permite la divergencia
exponencial de las trayectorias con una disminucin de volumen de la regin inicial
en el espacio de las fases.
Esta caracterizacin del caos en sistemas disipativos parece brindar los ele
mentos para formular una adecuada definicin de comportamiento catico vlida, al
menos, para este tipo de sistemas: una dinmica disipativa es catica si es sensible a
las condiciones iniciales y las trayectorias tienden a atractores extraos (o anmalos).
Sin embargo, aun este caso, donde la definicin parece surgir de un modo directo, no
se encuentra exento de inconvenientes. Si bien en la bibliografa suele asimilarse el
significado de "catico" y de "extrao" (o "anmalo"), ambos trminos no son sin
nimos:
"extrao" refiere a una propiedad geomtrica: el atractor es un objeto fractal, con
sus caractersticas de autosimilitud y dimensin fraccionaria.
"catico" refiere a una propiedad dinmica: en el atractor, las trayectorias divergen
exponencialmente con el transcurso del tiempo.
Puede afirmarse, no obstante, que un atractor es catico si es extrao? La
mentablemente la respuesta parece ser negativa: si bien se trata de situaciones no
tpicas, se han hallado casos de atractores extraos pero no caticos (cfr. Grebogi et.
al., 1987, p. 632); por lo tanto, la estructura fractal del atractor no asegura la propie
dad dinmica de divergencia exponencial de las trayectorias. En consecuencia, no es
posible definir el comportamiento catico en sistemas disipativos a travs de ciertas
propiedades geomtricas de sus atractores; solo resta, entonces, la propiedad dinmi
ca de divergencia exponencial de las trayectorias en el atractor.

Sistemas conservativos

Si en el caso de los sistemas disipativos la teora del caos presenta una cierta
complejidad tcnica desde el punto de vista matemtico, la complejidad aumenta
considerablemente cuando la teora se aplica a sistemas conservativos 13. Dada la
conservacin del volumen en el espacio de las fases, en los sistemas conservativos no

13 Incluso los textos especializados dedican considerablemente menos espacio al caos en sistemas
conservativos que en sistemas disipativos. El tema puede hallarse en Schuster (1989), captulo 6,
y en Argyris et.al. (1994), captulo 4.

103
Revista de Filosofa Olimpia Lombardi

existen atractores; por lo tanto, la definicin de caos debe acudir a otro tipo de elemen
tos.
Los sistemas conservativos se dividen en dos subclases: los que son integrables
y los que no lo son. Un sistema conservativo, cuya dinmica se representa en un
espacio de las fases de 2N dimensiones, es integrable si sus trayectorias se encuentran
confinadas en un toro de dimensin N. Una importante propiedad de los sistemas
integrables es que, debido a tal confinamiento, las trayectorias solo pueden divergir
linealmente con el tiempo; por lo tanto, cualquier intervalo que se adopte como con
dicin inicial solo puede, a lo sumo, amplificarse linealmente. Como consecuencia,
ningn sistema conservativo integrable puede manifestar un comportamiento cati
co. A esto se refiere precisamente Batterman (1993, p. 62) cundo propone una
razonable condicin dbil de adecuacin para la definicin de caos: ninguna defini
cin adecuada de caos para sistemas conservativos puede permitir que un sistema
conservativo integrable presente un comportamiento catico. En este sentido,
Batterman objeta la definicin algortmica de caos. Comprense dos "cajas negras":
una de ellas contiene una ruleta a la que se impartes diferentes cantidades de movi
miento angular a intervalos iguales; la otra contiene un gas ideal bajo el modelo de
esferas rgidas. En ambos casos puede obtenerse una secuencia de salida de comple
jidad algortmica mxima; sin embargo, mientras el segundo sistema es efectivamen
te catico, el primero es un sistema onservativo integrable: la definicin algortmica
de caos no permite diferenciar entre ambas situaciones.
Este argumento podra objetarse sealando que, si se considera como sistema
la ruleta ideal ms el agente que peridicamente la impulsa, el nuevo sistema no solo
ya no es integrable, sino siquiera es conservativo: el teorema de Liouville no se cum
ple debido a la continua inyeccin de energa, producindose un progresivo aumento
del volumen de cualquier regin inicial del espacio de las fases con el transcurso del
tiempo. Batterman se hace cargo de esta objecin afirmando que, en realidad, refuerza
su propio argumento: "el movimiento hamiltoniano [esto es, conservativo] de la rule
ta es estable; y, por tanto, la aleatoriedad se debe a algo diferente de la dinmica"
(Batterman, 1993, p. 64). Segn el autor, la aleatoriedad de la secuencia de salida se
debe al modo dinmicamente artificial en que fue generada: se ignora la cantidad de
movimiento angular que se imparte en cada instante. Otra situacin en la que se dara
tal tipo de artificialidad sera el caso en que se observara la salida de la ruleta en
instantes aleatoriamente seleccionados: en ambos casos, la irregularidad de la salida
es resultado de una aleatoriedad inyectada desde el exterior del sistema.
El caso de la ruleta es un ejemplo relevante, no solo en el contexto del particu
lar argumento contra la definicin algortmica, sino respecto del problema general de
la comprensin del concepto de caos; por ello, es conveniente detenerse en su anli
sis. En primer lugar debe advertirse que, no obstante la respuesta de Batterman a la
objecin sealada, la ruleta peridicamente impulsada y la ruleta observada en ins
tantes aleatorios son dos sistemas que no pueden asimilarse siquiera en el marco del
argumento del autor. El segundo caso es un sistema conservativo integrable que ge
nera una secuencia aleatoria debido al peculiar modo en que es observado: aqu es
verdad que la aleatoriedad, inyectada desde fuera del sistema, se manifiesta en su

104
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

salida como resultado del modo dinmicamente artificial de generarla; por lo tanto,
se trata de un buen ejemplo para impugnar la definicin algortmica de caos. Por el
contrario, el primer caso no es un sistema conservativo y, en consecuencia, no puede
cumplir el papel argumentativo que le adjudica el autor: no muestra que la definicin
algortmica de caos identifica como catica la salida de un sistema conservativo
integrable 14.
En segundo lugar, y dejando de lado ahora el problema particular de la defini
cin algortmica, es importante disipar las posibles confusiones que puede inducir la
conclusin de Batterman: "si quisiramos ver cmo una ruleta, tratada como un sis
tema hamiltoniano que evoluciona de un modo continuo, podra producir una salida
algortrnicamente aleatoria, deberamos introducir la aleatoriedad desde el exterior"
(1993, p. 64). Si el autor se refiere a un sistema conservativo (hamiltoniano) integrable,
que no puede presentar una dinmica catica, entonces es correcto afirmar que una
secuencia de salida aleatoria solo puede deberse a la introduccin de la aleatoriedad
desde el exterior del sistema. Pero si se interpreta la frase como refirindose a los
sistemas conservativos en general, tal conclusin no es correcta: hay sistemas
conservativos -precisamente, los no integrables- que pueden generar una secuencia
de salida aleatoria debido exclusivamente a su propia dinmica catica, sin interfe
rencia de factores externos.
Podra replicarse que Batterman no se refiere a cualquier sistema hamiltoniano,
sino al caso particular de la ruleta ideal -sin rozamiento-, esto es, tratada como siste
ma conservativo. Sin embargo, tal aclaracin puede no resultar suficiente para evitar
las confusiones del no especialista. Tmese, por ejemplo, el caso de una ruleta ideal
acoplada a un campo conservativo; puede demostrarse que, para ciertos modos de
dependencia del potencial de dicho campo respecto del ngulo de rotacin, el sistema
puede producir una salida catica -identificada como tal con total independencia de
la definicin algortmica de caos- sin intervencin de elementos dinmicamente arti
ficiales (cfr. Schuster, 1989, pp.166-167). Otro ejemplo de sistemas conservativos
integrables que, debidamente acoplados, pueden dar lugar a un comportamiento ca
tico, es el caso de dos osciladores armnicos (por ejemplo, dos pndulos ideales)
acoplados a travs de un hamiltoniano no integrable (cfr. Schuster, 1989, pp. 149-
151): la no integrabilidad del sistema total abre el camino a la posibilidad de un
comportamiento catico. Sin duda, no es a este tipo de casos a los que se refiere
Batterman, sino a una ruleta ideal, sin rozamientos ni acoplamientos. No obstante,
estos ejemplos muestran que, para evitar confusiones, no es suficiente describir un
sistema de un modo tan general como "una ruleta, tratada como un sistema
conservativo"; en toda discusin acerca de la caracterizacin del caos es indispensa
ble definir con precisin la dinmica del sistema del que se habla. Pero, cmo se

14
Es interesante sealar que una ruleta amortiguada (sistema no conservativo), peridicamente im
pulsada por una fuerza funcin del ngulo de giro, puede presentar comportamiento catico. Cfr.
Schuster (1989), pp.12-13.

105
Revista de Filosofa Olimpia Lombardi

define la dinmica de un sistema?; precisamente a travs de las ecuaciones dinmicas

que describen su comportamiento temporal. De est modo volvemos a una de las
cuestiones epistemolgicas tratadas en un apartado anterior: la Teora del Caos es
una teora matemtica acerca de las propiedades de las soluciones de cierto tipo de
ecuaciones diferenciales (o en diferencias finitas) autnomas y no lineales. Por lo
tanto, un gran nmero de las discusiones en tomo a la definicin de caos podran
dirimirse mucho ms fcil y claramente si, en lugar de continuar refirindonos a "sis
temas caticos" -como lo hace, en particular, Batterman-, nos concentrramos en
estudiar el carcter catico de ecuaciones matemticas.
Para concluir con el caso de las dinmicas conservativas, puede afirmarse que
la no integrabilidad es una condicin necesaria pero no suficiente para el comporta
miento catico de un sistema. Pero, puede hallarse una condicin suficiente? En la
actualidad se cuenta con interesantes y precisos resultados acerca del modo y las
condiciones en que un sistema conservativo no integrable pierde su estabilidad, pu
diendo dar lugar a un comportamiento catico (cfr. Schuster, 1989, pp. 141-148;
Argyris et. al. 1994, pp. 94-11O). Sin embargo, la demostracin rigurosa del carcter
catico de la dinmica de un sistema conservativo es una tarea extremadamente com
pleja desde el punto de vista matemtico; en efecto, esto solo se ha logrado en muy
pocos y sencillos casos, como el de un crculo movindose segn las leyes de la.
dinmica dentro de un rectngulo de paredes perfectamente reflectoras, o el de una
partcula puntual en un receptculo bidimensional en forma de estadio -demostracio
nes obtenidas por Sina en la dcada del '70. La pregunta que surge de inmediato es:
qu caracterstica del comportamiento de un sistema permite al investigador afirmar
que se encuentra ente una dinmica catica? La respuesta apunta, nuevamente, a la
divergencia exponencial de las trayectorias en el espacio de las fases 15.

Conclusiones

En la discusin acerca de la definicin de caos, se ha argumentado que las

caracterizaciones basadas en la impredictibilidad o en una supuesta "discontinuidad"
del comportamiento catico no brindan una adecuada definicin del concepto, la cual
debe buscarse en las propiedades de las ecuaciones que describen una dinmica ca
tica. En este sentido, autonoma y no linealidad de las ecuaciones constituye una
condicin necesaria pero no suficiente para el caos. La bsqueda de condiciones su
ficientes nos enfrent al problema de los muy diferentes modos en los que se mani
fiesta el comportamiento catico:
la posibilidad de caos en mapas unidimensionales excluye como condicin nece
saria la estructura convergente/ divergente del flujo de trayectorias en el espacio
de las fases.

15 Se requiere que las ecuaciones posean puntos fijos hiperblicos, en cuya vecindad el sistema se
toma inestable.

106
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

en dinmicas disipativas, el carcter fractal del atractor -propiedad geomtrica- no

es condicin suficiente para asegurar su carcter catico -propiedad dinmica.
en dinmicas disipativas, la no integrabilidad de las ecuaciones constituye una
condicin necesaria ms para el caos, pero no suficiente.

No obstante, en todos los casos parece no dudarse de la presencia de compor

tamiento catico cuando las ecuaciones dinmicas, representadas mediante trayecto
rias en el espacio de las fases, presentan una divergencia exponencial, caracterizada
por un exponente de Lyapounov positivo, segn alguna direccin de tal espacio. La
pregunta es, entonces, por qu no considerar tal divergencia exponencial como con
dicin suficiente para el caos? Sin duda, este carcter expansivo se detecta en las
ecuaciones x = f(r, t), soluciones del sistema de ecuaciones diferenciales dxldt=F(x, r)
cuya autonoma y no linealidad son condicin necesaria pero no suficiente para el
caos. Tal vez no pueda hallarse una propiedad de las ecuaciones diferenciales mis
mas que juegue el papel de condicin suficiente; pero sta es una cuestin matemti
ca que no afecta el problema de la definicin de caos, si tal definicin puede darse
sobre la base de la estructura de las soluciones del sistema de ecuaciones. Por lo
tanto, la pregunta vuelve a presentarse: con independencia del modo particular en el
que se manifiesta el caos -caso discreto o continuo, dinmica conservativa o
disipativa-, podra un sistema exhibir evoluciones temporales exponencialmente
divergentes y, al mismo tiempo, su comportamiento no ser considerado catico? Si
la respuesta a esta pregunta es negativa, nada impide considerar el carcter "expansi
vo" de una dinmica como condicin suficiente para su caoticidad. Dado que se trata
de una teora matemtica, la respuesta final queda en manos de los matemticos dedi
cados al estudio de la Teora del Caos.

Referencias bibliogrficas

Argyris, J., Faust, G. y Haase, M. An Exploration of Chaos. North-Holland,

Amsterdam, 1994.
Batterman, R. W. "Defining Chaos". Philosophy of Science, vol. 60, N 1, 1993, pp.
43-66.
Brudno, A. A. "Toe Complexity of the Trajectories of a Dynamical System". Russian
Mathematical Surveys, vol. 33, 1978, pp. 197-198.
Casati, G. "De los Billares al Caos de los Atomos". Mundo Cientfico, vol. 11, N
115, 1991, pp.7 56-762.
Chabert, J.L. y Dalmedico, A.D. "Henri Poincar, el Precursor". Mundo Cientfico,
N 115, vol. 11, julio-agosto, 1991, pp. 716-720.
Crutchfield, J.P., Farmer, J.D., Packard, N.H. y Shaw, R.S. "Caos". Investigacin y
Ciencia, N 125, febrero, 1987, pp. 16-29.
Davies, P. "Chaos Frees the Universe". New Scientist, vol. 128, N 1737, octubre,
1990, pp. 48-51.

107
Revista de Filosofa Olimpia Lombardi

Ditto, W.L. y Pecora, L.M. "Mastering Chaos". Scientific American, vol. 269, N 2,
agosto, 1993, pp. 62-68.
Farmer, J. D. "Dimension, Fractal Measure and Chaotic Dynamics". En H. Haken
(ed.), Evolution of Order and Chaos. Springer, New York, 1982.
Farmer, J. D., Ott, E. y Yorke, J. A. "Toe Dimension ofChaotic Attractors". Physica,
vol.7D, 1983, pp. 153-180.
Ford, J. "How Random is a Coin Toss?" Physics Today, N 4, abril, 1983, pp. 40-47.
Ford, J. "What is Chaos, That We Should Be Mindful of It?". En Paul Davies (ed.),
The New Physics, Cambridge University Press, Cambridge, 1989.
Gleick, J. Chaos: Making a New Science. Penguin Books, New York, 1988.
Grebogi, C., Ott, E. y Yorke, J. A. "Chaos, Strange Attractors and Fractal Basin
Boundaries in Nonlinear Dynamics". Science, vol. 238, 1987, pp. 632-638.
Hunt, G. M. K. oeterminism, Predictability and Chaos. Analysis, vol. 47, N 3,
1987, pp. 129-133.
Lombardi, O. "La Teora del Caos y el Problema del Determinismo". Dilogos, N
72, julio, 1998.
Mandelbrot, B. Los Objetos Fractales. Tusquets, Barcelona W ed. 1977), 1987.
Neff, J. y Carroll, T. "Circuits that Get Chaos in Sync". Scientific American, vol. 269,
N 2, agosto, 1993, pp. 101-103.
Piskunov, N. Clculo Diferencial e Integral. Limusa, Mxico, 1994.
Poincar, H. Mthodes Nouvelles de la Mcanique Celeste. Gauthier Villars, Paris,
1892.
Schuster, H. G. Deterministic Chaos. VCH, Weinheim, 1989.
Stone, M. "Chaos, Prediction and Laplacean Determinism". American Philosophical
Quarterly, vol. 26, N 2, 1989, pp. 121-131.

Resumen / Abstract

El objetivo del presente trabajo es contribuir a la discusin epistemolgica acer

ca de la Teora del Caos. Nos concentramos en el problema de la definicin de
caos, argumentando que impredictibilidad y aleatoriedad algortmica no consti
tuyen una base satisfactoria para definir el caos. El anlisis de las diferentes
manifestaciones del caos nos permite considerar el problema de encontrar una
definicin de caos nica y adecuada -una definicin que brinde condiciones
necesarias y suficientes vlidas para todas los casos. Sostenemos que, dado el
carcter matemtico de la tema, la definicin debe extraerse a partir de las ca
ractersticas de las ecuaciones caticas.

The aim of this paper is to contribute to the epistemological discussion about

the Theory of Chaos. We focus on the problem ofthe definition ofehaos, arguing

108
La teora del caos y sus problemas epistemolgicos Revista de Filosofa

that unpredictability and algorithmic randomness are not a satisfactory basisfor

defining e haos. The analysis of the different manifestations of chaos enable us to
consider the problem of finding a single and adequate definition of chaos -a
definition that provides necessary and sufficient conditions, validfor all cases.
We argue that, given the mathematical character ofthe theory, the dejinition must
be drawn from the features of the chaotic equations.

109