Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Exploraciones Metacientficas
Autor. C. Ulises Moulines
UNTREF VIRTUAL | 1
D2: E es una evolucin terica si y slo si: E es una sucesin finita de redes tericas tal que, para
dos redes cualesquiera Ri, Ri+1 pertenecientes a E se cumple:
B
PB
PB
PB
PB
UNTREF VIRTUAL | 2
PB
UNTREF VIRTUAL | 3
En D3 se capta la idea de que una evolucin terica es progresiva siempre que su dominio de
aplicaciones firme aumente, o al menos no disminuya, con cada transicin de una red terica a la
siguiente. Este concepto puede compararse a la nocin de programa de investigacin progresivo
que introdujo Lakatos en su monografa La falsacin y la metodologa de los programas de
investigacin cientfica.
En D4 se formaliza una especie de evolucin terica utpica: una evolucin terica que no solo
es progresiva, sino que procede de tal modo que cualquier aplicacin propuesta supuesta en el
momento presente resulte aplicacin confirmada en algn momento del futuro. Probablemente no
hay ningn ejemplo histrico de evolucin terica perfecta, y nunca habr tal cosa; no obstante,
algunas evoluciones tericas puede que se aproximen ms a este ideal que otras y, en este
sentido, puede que este concepto sea histricamente relevante.
Aunque el trasfondo de las ideas aqu expuestas sobre el modo como formalizar la evolucin
normal de las teoras est inspirado en Kuhn, hasta este punto no se ha introducido ninguna
nocin especficamente kuhniana. Podemos acercarnos ms a la metateora de Kuhn sobre las
evoluciones tericas si introducimos el concepto de paradigma (para una evolucin terica).
Como ha mostrado Stegmller en detalle en su Theorienstrukturen und Theoriendynamik, hay que
distinguir dos componentes diversos en el concepto kuhniano de paradigma: uno de carcter
formal-terico (que correspondera a nuestra nocin de ncleo) y otro de carcter pragmticoemprico (correspondiente a un dominio particular de aplicaciones propuestas). La nocin primitiva
de ejemplo paradigmtico reconocido se necesita para reconstruir el segundo componente. Este
deber ser un subconjunto de I(R), o sea, por la definicin de I(R) como reunin de todos los
dominios Ai de los elementos tericos de R, deber ser un conjunto de clases de equivalencia
homogneas de modelos parciales. Dado un Ai, kji ser una variable para las clases de
aplicaciones homogneas que constituyen Ai. Naturalmente, el mismo I(R) en su totalidad estar
constituido por tales clases de aplicaciones homogneas.
B
PB
(1) K0 es un ncleo.
(2) A0 (M0pp) 14.
(3) Para cualquier red R perteneciente a E y cualquier Ti = Ki, Ai, CCi, hi perteneciente a R, se
cumple que:
(a) Ki es una especializacin nuclear de K0.
B
PB
UNTREF VIRTUAL | 4
PB
PB
PB
PB
La condicin D5-(3) (b) significa que cada dominio de aplicaciones propuestas en una evolucin
terica puede dividirse en clases homogneas de tal modo que cada una de estas clases tiene su
propio subconjunto paradigmtico de aplicaciones, el cual forma parte del paradigma total A0.
B
Para el lector que conozca el concepto de Kuhn-theory introducido por Sneed en su artculo
Philosophical Problems in the Empirical Science of Science y retomado por Balzer y Sneed en su
artculo conjunto de 1978, es pertinente hacer notar que la presente definicin de evolucin
terica kuhniana est inspirada en aquel concepto. No obstante, hay algunas diferencias notables
entre ambas nociones. En primer lugar, al contrario de la nocin sneediana, aqu no se exige que
K0, A0 sea l mismo un elemento terico de ninguna red de E; en particular, no se presupone que
K0, A0 es histricamente el primer elemento terico de la evolucin. En el presente marco, esta
cuestin se deja abierta, pues creo que se trata de un asunto histricamente contingente, que hay
que decidir en cada caso concreto. En segundo lugar, no se postula (al contrario de Sneed) que
todo A sea un paradigma para cada dominio de aplicaciones propuestas de E; slo se asume que
hay diversas clases pequeas en A0 que son paradigmas para las correspondientes clases
pequeas en cada Ai; esto tambin parece concordar mejor con la nocin intuitiva de ejemplo
paradigmtico (es decir, no es paradigmtico para cualquier cosa).
B
Con esto hemos llegado al punto en que podemos contrastar el aparato formal introducido ante un
ejemplo. Vamos a tratar de reconstruir la evolucin de la mecnica newtoniana de partculas como
una sucesin de redes tericas.
2. La evolucin de la mecnica newtoniana de partculas durante sus primeros cien aos (de fines
del siglo XVII a fines del siglo XVIII)
En lo que sigue presentamos un esbozo de las caractersticas principales de la historia de la
mecnica desde sus comienzos hasta la poca de Laplace. Naturalmente, slo se trata de un
esbozo, pero se pretende que concuerde con lo esencial de dicha evolucin.
La mecnica newtoniana de partculas no debe ser identificada con la mecnica clsica de
partculas. El primer concepto es ms restrictivo que el segundo. Resulta de aadir al Segundo
Principio de Newton, que es la ley fundamental de la mecnica clsica de partculas, el principio de
accin y reaccin para fuerzas centrales. Es decir, la mecnica newtoniana de partculas es la red
terica cuyo elemento bsico viene dado por el predicado que en el captulo 2.5 hemos llamado
dinmica de accin y reaccin estricta (junto con sus especializaciones y ligaduras correspondientes). La razn por la que nos restringimos en nuestro anlisis a esta parte de la red de la
mecnica clsica de partculas es que no parece que durante el siglo estudiado se considerara la
UNTREF VIRTUAL | 5
UNTREF VIRTUAL | 6
Durante el primer perodo se construye en el Primer Libro de los Principia de Newton el ncleo
bsico de la red (los conceptos y las leyes fundamentales de Newton). Este ncleo se especializa
inmediatamente a un elemento terico que slo considera fuerzas dependientes de la distancia
(nuestro predicado DDD del cap. 2.5), el cual, a su vez, se especializa a fuerzas gravitacionales
(nuestro DGP) en el Tercer Libro de los Principia. La construccin y aplicacin exitosa del
elemento gravitacional fue el principal resultado de este perodo revolucionario. Casi todas las
aplicaciones firmes de este perodo son aplicaciones de este elemento terico 15. Esta es la razn
por la que en este perodo la teora newtoniana casi se identific con la teora de la gravitacin (la
cual es, desde nuestro punto de vista actual, solamente un elemento de la red terica entera).
Ciertamente, Newton pens que su red terica original poda expandirse insertndole elementos
tericos no-gravitacionales con el fin de dar cuenta de los fenmenos pticos, qumicos, elctricos
y magnticos; pero en el momento eso solo era una vaga promesa sin base firme.
P
UNTREF VIRTUAL | 7
UNTREF VIRTUAL | 8
UNTREF VIRTUAL | 9
A lo largo de la evolucin, el elemento terico bsico tendr diversas aplicaciones, y stas a su vez
tendrn sus especializaciones, y as sucesivamente. Cada uno de los elementos especializados
tendr la forma X; Ai(X), donde X es siempre el predicado conjuntista que define el conjunto de
modelos correspondiente. Fi y Si son dos operadores de cada elemento terico que hacen
corresponder a cada ncleo (a sus leyes) las aplicaciones firmes y las supuestas,
respectivamente. As, por ejemplo, Tierra-LunaF1(DGP) significa que el sistema Tierra-Luna
pertenece al dominio de aplicaciones firmes de la dinmica gravitacional de partculas durante el
primer perodo de la evolucin histrica. Por otra parte, sistemas planetarios de varios
cuerposS1(DGP) significa que durante el primer perodo slo se supona, sin confirmacin, que
los sistemas planetarios de varios cuerpos pertenecan al dominio de aplicaciones de la dinmica
gravitacional de partculas. Recurdese, adems, que los rtulos Tierra-Luna o mareas o
sistemas de varios cuerpos se refieren formalmente no a aplicaciones singulares, sino a
conjuntos de aplicaciones (clases homogneas); en algunos casos, como en el de Tierra-Luna,
estos conjuntos pueden ser unitarios, pero esto no es el caso normal.
B
donde:
DARE = dinmica de accin y reaccin estricta (leyes fundamentales de Newton).
DDD = dinmica dependiente de la distancia (en esta evolucin este predicado se tom como
especializacin de DARE).
DDV = dinmica dependiente de la velocidad.
UNTREF VIRTUAL | 10
donde
OA = oscilador armnico,
UNTREF VIRTUAL | 11
F2(DARE) = F1(DARE) {todos los casos de cuerdas vibrantes discretas} A*2 (DGP) F2 (OAS)
F2(OAF), donde
B
donde
ESP = electrosttica de partculas (ley de Coulomb para cargas electrostticas),
MSP = magnetosttica de partculas (ley de Coulomb para polos magnticos).
En cuanto al dominio de aplicaciones, tenemos los siguientes cambios:
UNTREF VIRTUAL | 12
F4(DGP) = F3(DGP) {Tierra-Luna-Sol: Jpiter-Saturno-Sol; Urano-Sol; cada uno de los cometasSol} - {mareas},
F4(ESP) = {sistemas de dos partculas cargadas elctricamente},
F4(MSP) = {sistemas de dos partculas como polos magnticos}, y
F4(ESP) U F4(MSP) S1(?3).
B
Acerca del contenido de esta ltima red hay que observar que la expulsin de las mareas del
dominio de aplicaciones de la mecnica newtoniana de partculas fue debida a Laplace, quien
propuso a cambio que estos fenmenos fueran tratados por una teora hidrodinmica. Sin
embargo, es de notar que no todos los miembros de la comunidad newtoniana aceptaron esta
revisin, y durante muchos aos algunos newtonianos siguieron tratando de subsumir las mareas
bajo el esquema terico de la mecnica de partculas (cf. Defant, op. cit.). As, pues, el tratamiento
de las mareas continu siendo una cuestin disputada.
Es fcil comprobar que cada una de las redes consideradas en esta evolucin es una red arbrea
en el sentido preciso en que esta nocin fue introducida en el captulo 2.4, ya que, entre otras
razones, puede mostrarse que cada uno de los ncleos que aparece en cada una de ellas es, por
lo menos, una especializacin nuclear de DARE. Asimismo, la sucesin de las cuatro redes
consideradas constituye una evolucin terica en el sentido preciso de la definicin D2 de este
captulo; adems, si prescindimos de momento de la cuestin disputada de las mareas y la
decisin de Laplace, podemos considerar esta evolucin terica como (aproximadamente)
progresiva en el sentido de D3. En cambio, lo que ciertamente no es una evolucin terica
perfecta, dado que muchas de las aplicaciones propuestas y supuestas por Newton a la larga
demostraron no ser aplicaciones firmes (esto es especialmente vlido para los fenmenos pticos
y qumicos por los que se interesaba Newton).
Si ahora nos preguntamos por el paradigma que pueda haber guiado toda esta evolucin, resulta
ms difcil hacer una eleccin indisputable, ya que esta cuestin depende de una interpretacin
no-trivial de los datos histricos a nuestra disposicin. Parece casi incuestionable que la porcin
terica (nuclear) del paradigma que gui la evolucin estuvo constituida por las leyes
fundamentales de Newton (DARE) y slo por stas. La cuestin es ms difcil de decidir para el
caso de las aplicaciones paradigmticas. Existen algunas aplicaciones que fueron indudablemente
paradigmticas para los desarrollos subsiguientes: los casos planetarios que Newton mismo logr
subsumir con xito bajo las leyes de la teora. Tambin se podran aadir los choques y los
cuerpos en cada libre. No obstante, un punto ms interesante es que, si no estoy interpretando
mal los datos, parece que no slo fueron las aplicaciones explcita y exitosamente tratadas por
Newton las que jugaron un papel paradigmtico para el trabajo subsiguiente en la evolucin
terica: probablemente tambin tuvieron un carcter paradigmtico algunas aplicaciones que
Newton se propuso tratar, pero que no pudo resolver con xito (como sistemas de tres cuerpos en
el sistema planetario) e incluso aplicaciones en las que Newton no pareca estar particularmente
interesado (partculas oscilando libremente). Por otra parte, est claro que aplicaciones ms
complicadas que aparecieron a lo largo de la evolucin terica no deberan ser consideradas como
paradigmticas (para esta evolucin terica); ejemplos: las mareas, sistemas complicados de
varios cuerpos, oscilaciones forzadas, fenmenos elctricos y magnticos.
UNTREF VIRTUAL | 13
Vemos que este paradigma no coincide con el elemento terico bsico comn a todas las redes de
la evolucin considerada. Por lo tanto, la tarea de determinar el paradigma debera considerarse
como conceptualmente independiente de la tarea de determinar el elemento terico bsico.
Por otro lado, parece fundado admitir que P realmente satisface las condiciones de D5 para poder
ser un paradigma para la evolucin de la mecnica newtoniana de partculas. La nica condicin
que podra presentar problemas es D5-(3) (b). Pero ante los datos me parece admisible la
afirmacin de que a cada aplicacin hallada en esta evolucin terica le corresponde algn
subconjunto del dominio de aplicaciones de P[MNP] que efectivamente jug para ella el papel de
ejemplo paradigmtico. Claro que sta es una cuestin que depende fuertemente de los hechos
histricos y para la que de momento slo se pueden ofrecer criterios intuitivos. Para concluir,
digamos slo que parece muy plausible describir la evolucin de la mecnica newtoniana de
partculas a travs de los cuatro perodos considerados como una evolucin terica kuhniana en el
sentido de D6.
UNTREF VIRTUAL | 14
Fuentes Histricas
Defant, A.: Flutwellen und Gezeiten des Wassers, en Handbuch der Physik, t. 78, Geophysik II, 1957.
Home. R. W.: The Third Law in Newton's Mechanics, en The British Journal for the History of Science, 7 (1968-69).
Szab, I.: Die Geschichte der Theorie der schwingenden Saite, Humanismus und Technik, 15, 1971.
Truesdell, C. A.: History of Classical Mechanics. Part 1, to 1800, Die Naturwissenschaften, 1976.
Notas
13 CC0 puede ser una sola persona.
B
14 MP
0
pp
PB
15 AI menos hay una excepcin a esto: el choque elstico (cf. Home. The Third Law in Newton's Mechanics).
UNTREF VIRTUAL | 15