Del texto de Nagel: La reduccin de

teoras




Introduccin


La mecnica clsica fue considerada como la ciencia universal hasta prcticamente finales del
siglo XIX, fecha en que parecieron insuperables las dificultades con que afront determinados
problemas, particularmente el electromagnetismo.
Otras ciencias se propusieron como posibles aspirantes al ttulo de ciencia fsica universal,
ocasionalmente respaldados por argumentos a priori anlogos a los usados con anterioridad por
la mecnica clsica.

En la actualidad( de Nagel) ningn estudioso de la ciencia cree posible fundamentar a priori una
teora fsica, ni que eso baste para convertirla en ciencia universal.
Muchos fsicos, adems, son escpticos sobre la posibilidad de realizar el ideal de una vasta
ciencia que:
- Integre todos los dominios de las ciencias naturales en trminos de un conjunto comn
de principios
- Sirva para fundamentar todas las teoras menos generales

Es decir, la absorcin de teoras relativamente autnomas en otra ms amplia y general.
An as, tal pretensin es una caracterstica innegable y recurrente de la historia de la ciencia
moderna, y es de suponer que continuar presentndose en el futuro.


Ocurre con frecuencia que se adoptan expresiones asociadas a ciertos hbitos o reglas
empleados en un contexto de investigacin para explorar nuevos campos de estudio, en razn de
presuntas analogas entre los diversos dominios.
La extensin del campo de aplicacin de una expresin, hace que esta pueda sufrir un cambio
crtico en su significado, de modo que si no se procura entender la expresin en el sentido
referente al nuevo contexto pueden surgir equvocos o problemas espurios.
Es posible que esta alteracin aparezca cuando se reduce una teora a otra; la inadecuada
interpretacin de los cambios de significado sufridos por algunas expresiones al efectuar
algunas reducciones, ha dado motivo a reinterpretaciones dudosas, tanto en los casos de
reduccin exitosos como en los fallidos.
Se abordarn a continuacin las condiciones a satisfacer para lograr una reduccin con xito y
sus consecuencias.

Dividiremos el examen de las condiciones que deben satisfacerse para considerar que la
reduccin de una teora a otra se ha realizado exitosamente en dos partes:
- Formales
- No formales











1. Nociones bsicas, trminos y tipos de la reduccin de teoras
( Apartado I. Reduccin de la termodinmica a la mecnica estadstica)


1.1. Terminologa

- Reduccin: Explicacin de una teora o de un conjunto de leyes experimentales
establecidas en un campo de investigacin por otra teora formulada habitualmente para
otro dominio.
- Ciencia secundaria: Conjunto de teoras o leyes experimentales que son reducidas a otra
teora.
- Ciencia primaria: Teora a la cual se efecta o se propone la reduccin.


1.2. Tipos de reduccin

Distinguiremos dos tipos de reduccin:

1.2.1. Reducciones homogneas

- Ampliacin del mbito de aplicacin una teora formulada en un dominio de
caractersticas restringidas a otro dominio homogneo con el anterior en lo referente a
las caractersticas de estudio, de modo que se emplean substancialmente los mismos
conceptos para formular las leyes de ambos dominios.
( Ejemplo: Absorcin de las leyes del movimiento de los cuerpos de Galileo por la
mecnica newtoniana.)
- No se utilizan trminos descriptivos que no hayan sido empleados aproximadamente
con el mismo significado en la ciencia primaria.
- Puede decirse que usan un vocabulario homogneo.
- Este tipo de reduccin no da origen a problemas de interpretacin de trminos ni a
problemas lgicos especiales.

1.2.2. Reducciones heterogneas

- Conjunto de caractersticas distintivas de cierto tipo de fenmeno que es asimilado a un
cierto conjunto de caractersticas muy diferentes.
- Las caractersticas distintivas que son el objeto de la ciencia secundaria caen en el
mbito de una teora inicialmente elaborada para abordar elementos cualitativamente
diferentes.
- La teora asimiladora ni siquiera incluye algunos de los trminos descriptivos
caractersticos de la ciencia secundaria en su conjunto de distinciones tericas bsicas.
- La ciencia primaria parece borrar distinciones familiares como si fueran ficticias y
parece sostener que caractersticas a simple vista diferentes son en realidad idnticas.
- Se pueden producir sensaciones de mistificacin, en particular si una de las ciencias
postula en el mbito macroscpico y la otra lo hace en el microscpico.( Ejemplo:
Nocin de temperatura desde las diversas perspectivas: contexto limitado al uso del
termmetro, contexto de la teora del calor, contexto de la teora cintica de gases).

1.3. Reduccin de la termodinmica a la mecnica estadstica: una
reduccin heterognea

- Los estudios de los fenmenos trmicos son, clsicamente, incluidos en la ciencia que
se llam Termodinmica.
- La termodinmica usa conceptos, distinciones y leyes generales que tambin se emplean
en la mecnica( nociones de peso, volumen, presin, ley de Hooke, ley de la palanca).
- La termodinmica usa tambin una serie de nociones propias como las de temperatura,
calor o entropa, y suposiciones generales que no son corolarios de los principios
fundamentales de la mecnica.
- Los conceptos, principios y leyes de la termodinmica pueden ser comprendidos y
verificados sin introducir referencia alguna a una estructura microscpica postulada de
los sistemas trmicos.
- A comienzos del siglo XIX se inician investigaciones sobre el equivalente mecnico del
calor.
- Maxwell y Boltzmann deducen satisfactoriamente la ley de Boyle- Charles a partir de
suposiciones basadas en trminos de las nociones bsicas de la mecnica, concernientes
a la constitucin molecular de los gases ideales.
- Posteriormente otras leyes termodinmicas fueron deducidas de modo similar, y
Boltzmann logr interpretar el principio de entropa como expresin de la regularidad
estadstica que caracteriza a la conducta mecnica de las molculas.

1.3.1.1. La ley de Boyle- Charles

El estudio completo de la reduccin es demasiado extenso por lo que fijaremos el
estudio solamente en la deduccin de la ley de Boyle- Charles a partir de las
suposiciones de la teora cintica de la materia.

- Tenemos un gas ideal compuesto por un gran nmero de molculas esfricas,
perfectamente elsticas, que poseen masas y volmenes iguales, de dimensiones
despreciables comparadas con la distancia media que las separa, que estn en
movimiento relativo constante y colisionan entre ellas y con las paredes del recipiente,
que tiene volumen V.
- Las molculas dentro del recipiente constituyen, por hiptesis, un sistema aislado y los
movimientos moleculares son del tipo definido por la mecnica newtoniana.
- Se quiere establecer alguna relacin entre la presin que ejercen las partculas sobre las
paredes del recipiente(debido a los choques) y algunas caractersticas del movimiento
molecular.
- Ante la imposibilidad de determinar las coordenadas instantneas de las molculas se
introduce una suposicin de carcter estadstico, concerniente a sus posiciones y sus
cantidades de movimiento.
- Se obtiene finalmente una expresin que relaciona la energa cintica media E de las
molculas con la presin: p = 2E/3V PV = 2E/3.
- La comparacin de esta ecuacin con la ley de Boyle- Charles sugiere que puede
deducirse la ley a partir de las suposiciones mencionadas si la temperatura estuviera
relacionada de algn modo con la energa cintica media de las molculas.
- Se introduce el postulado 2E/3 = kT, la energa cintica media de las molculas que
conforman un gas es directamente proporcional a la temperatura del gas.











2. CONDICIONES FORMALES DE LA REDUCCIN( Apartado II.
CONDICIONES FORMALES DE LA REDUCCIN)

2.1. Enunciados

- Los axiomas, hiptesis especiales y leyes experimentales de las ciencias implicadas en
una reduccin deben estar expresados en enunciados formulados explcitamente.
- Los diversos trminos que constituyen esos enunciados deben tener significados
establecidos sin ambigedad por reglas de uso codificadas o mediante procedimientos
apropiados a cada disciplina.
- No ser posible determinar con seguridad si una ciencia ha sido realmente reducida a
otra en la medida en que no se cumplan los anteriores requisitos.
- Es una exigencia ideal, ya que hay pocas, si no ninguna, de las diversas disciplinas
cientficas en desarrollo en que se realice plenamente este requisito.
- Distinguimos los siguientes tipos ms importantes de enunciados:

2.1.a. Postulados tericos fundamentales

- En la ciencia S de avanzado desarrollo hay una clase T de enunciados que son los
postulados tericos fundamentales de la disciplina.
- Aparecen como premisas en todas las deducciones de S.
- No se los deriva de otras suposiciones.
- En exposiciones alternativas de la ciencia S puede utilizarse un conjunto diferente de
enunciados primitivos.
- Habr una clase R de definiciones coordinadoras( o reglas de correspondencia) para un
nmero suficiente de nociones tericas que aparecen en T o en enunciados formalmente
deducibles de T.
- T satisface los requisitos habituales de una teora cientfica adecuada.
- T debe ser capaz de explicar sistemticamente una gran clase de leyes experimentales
de S.
- No deber contener suposiciones que no aumenten significativamente el poder
explicativo de T.
- La clase T deber ser resumida, es decir, todo par de postulados de T tendr al menos
un trmino terico en comn.
- Sus postulados deben ser simples y no demasiado numerosos.
- Cuando puede establecerse una jerarqua entre los enunciados de T con respecto a su
generalidad es til distinguir dos subclases:
- T
1
: contiene las suposiciones tericas ms generales de T. Su mbito de aplicacin
es ms amplio que el de la teora T tomada en conjunto.
- T
2
: contiene las suposiciones especializadas. Son hiptesis concernientes a algn
tipo especial de sistemas fsicos.
- Las suposiciones de T2 pueden ser consideradas como complementos variables de las
de T1
- Habitualmente se admite alguna distincin semejante a esta entre postulados generales
T1 y complementos variables menos generales, aunque no siempre sea posible.
- A menudo se dice que la termodinmica es reducible a la mecnica porque los axiomas
newtonianos del movimiento son las suposiciones ms generales de la teora cintica de
los gases.

2.1.b. Teoremas derivados y leyes experimentales

- Una ciencia S que posea una teora fundamental T tendr tambin una clase de teoremas
que sern consecuencias lgicas de T.
- Algunos de los teoremas sern formalmente derivables slo de T sin ayuda de R,
mientras que otros slo podrn obtenerse usando R.
- Tenga o no S una teora de gran generalidad T, contendr por lo general una clase L de
leyes experimentales.
- Se considerar a L perteneciente al mbito de S.
- Aunque L es determinable, en principio, sin ambigedad, frecuentemente aumenta con
los progresos de la investigacin.
- No existe demarcacin establecida de manera permanente entre las leyes experimentales
L que se agrupan como pertenecientes a una rama de S y las leyes que son consideradas
de una rama diferente.
- La justificacin de clasificar leyes experimentales en diferentes disciplinas cientficas se
basa a menudo en el mbito de explicacin de las teoras vigentes.

2.1.c. Enunciados de observacin

- Toda ciencia positiva contiene una gran clase de enunciados singulares que formulan
los resultados de observaciones de los fenmenos que caen dentro del mbito de esa
ciencia, o bien describen procedimientos concretos establecidos para realizar
investigaciones concretas dentro de la disciplina.
- No deben identificarse con enunciados acerca de datos sensoriales ( objetos
exclusivos de la experiencia directa)
- Pueden formular las condiciones iniciales y los lmites de una teora o ley.
- Pueden emplearse para confirmar o refutar teoras y leyes.

2.1.d. Leyes prestadas

- Leyes concernientes a mbitos distintos del mbito generalmente reconocido de S y que
pueden no ser explicadas por ninguna teora de S.
- Normalmente estn implicadas por los enunciados de observacin de S. Ejemplo:
enunciados de observacin de S describen el ordenamiento y la conducta de aparatos
necesarios para realizar experimentos en S, y su afirmacin implica el uso de leyes
concernientes a caractersticas de los aparatos de medida, leyes no pertenecientes a S.
- Distinciones y leyes, en resumen, tomadas de otras disciplinas especiales ajenas a la
disciplina en que se aplican.

La mayora de las ciencias contienen tambin enunciados de los que puede demostrarse que son
lgicamente verdaderos, como los de la lgica y la matemtica.


2.2. Anlisis de los enunciados

- Todo enunciado de una ciencia S puede ser analizado como una estructura lingstica,
compuesta de expresiones elementales de acuerdo con reglas de construccin tcitas o
explcitas.
- Esas expresiones, aunque pueden ser vagas en diversos grados, son empleadas sin
ambigedad en S, con significados establecidos por el uso corriente o por reglas
formuladas explcitamente.
- Algunas sern locuciones de la lgica, la aritmtica y otras ramas del anlisis
matemtico.
- Otras sern las llamadas expresiones descriptivas
- Las expresiones descriptivas se refieren a objetos, caractersticas, relaciones o
procesos considerados generalmente empricos y no entidades puramente formales o
lgicas.
- Las expresiones descriptivas conforman una clase D de expresiones que no figuran en
las leyes prestadas de S.
- Muchas expresiones de D estn tomadas del lenguaje comn y conservan sus
significados cotidianos.
- Otras pueden ser especficas de una ciencia dada, tener un uso restringido a contextos
tcnicos muy especializados y tener asignados, por esta ciencia, significados que les
impide describir cuestiones identificadas por la observacin directa o indirecta.
- Se puede, a menudo, elucidar el significado de una expresin de D con ayuda de otras
expresiones de D complementadas con expresiones lgicas.
- Tales elucidaciones pueden darse, a veces, en forma de definiciones convencionales
explcitas.
- Al conjunto de expresiones de D que bastan para elucidar los significados de todas las
otras expresiones de D se le denomina expresiones primitivas de S.
- Siempre habr al menos un conjunto P de expresiones primitivas.
- Puede haber ms de un conjunto P, ya que expresiones primitivas en un contexto
pueden no serlo en otro.
- Si S tiene una teora general, enunciados de observacin y leyes experimentales, la
elucidacin de una expresin descriptiva puede realizarse en dos direcciones:

2.2.1. Elucidacin a travs de expresiones de observacin

- Muchas elucidaciones tratan de especificar los significados de expresiones descriptivas
de D en trminos de expresiones observables, tomando estas por aquellas expresiones
de D que se refieren a cosas, propiedades, relaciones y procesos que pueden ser
observados, y a pesar de que la distincin entre expresiones de observacin y
expresiones descriptivas es vaga.
- Tambin se intenta fijar el significado de algunos trminos dando las definiciones
operacionales de Bridgman y Pierce.
- Al conjunto P1 de expresiones observacionales requerido para elucidar el mayor
nmero posible de expresiones de D lo llamaremos expresiones observacionales
primitivas.

2.2.2. Elucidacin a travs de expresiones tericas

- Muchas elucidaciones tratan de especificar los significados de expresiones descriptivas
de D en trminos de expresiones tericas, tomando estas expresiones como las
expresiones descriptivas utilizadas en los postulados tericos de S y los teoremas
formalmente deducibles de S.
- Al conjunto P2 de expresiones tericas necesarias para elucidar el mayor nmero
posible de expresiones de D lo llamaremos expresiones tericas primitivas.










2.3. Enunciados comunes y no comunes

- Las ciencias primaria y secundaria implicadas en una reduccin generalmente tienen en
comn un gran nmero de expresiones( incluso enunciados) que estn asociados a los
mismos significados en ambas ciencias.
- Las ciencias poseen tambin expresiones caractersticas cuyos significados estn
determinados por sus propios procedimientos de elucidacin.
- Las expresiones caractersticas de una ciencia son inteligibles en trminos de las reglas
o hbitos de uso de esta rama de la investigacin.
- A veces, el significado de una expresin caracterstica de una ciencia puede ser
elucidado mediante las expresiones primitivas( tericas u observacionales) de ella u otra
ciencia, lo que no significa que todas las expresiones caractersticas puedan ser
elucidadas en virtud de expresiones primitivas de otra disciplina.

2.4. Conclusin: Requisitos formales

- En virtud de lo expuesto en lo apartados anteriores, se efecta una reduccin cuando se
demuestra que las leyes experimentales de la ciencia secundaria son consecuencias
lgicas de las suposiciones tericas de la ciencia primaria.
- Si las leyes de la ciencia secundaria contienen trminos que no aparecen en las
suposiciones tericas de la ciencia primaria la derivacin lgica de la primera a partir de
la segunda es, en principio, imposible( afirmacin basada en la regla lgica por la cual en la
conclusin de una demostracin formal no puede aparecer ningn trmino que no aparezca
tambin en las premisas, y que a pesar de tener objeciones, estas son, en principio salvables)
- As, cuando las leyes de la ciencia secundaria contienen algn trmino A ausente de las
suposiciones tericas de la ciencia primaria hay dos condiciones formales para reducir
la primera a la segunda:

2.4.1. Condicin de conectabilidad

- Deben introducirse algn tipo de suposiciones que postulen relaciones entre lo
significado por A y caractersticas indicadas en trminos tericos ya presentes en la
ciencia primaria.
- Parece haber tres posibilidades en cuanto a la naturaleza de estos vnculos postulados
por las suposiciones adicionales:

2.4.1.a. Conexiones lgicas
A est lgicamente relacionado con alguna expresin terica B de la ciencia primaria.
As, el significado de A de la ciencia secundaria ser elucidado en trminos de los
significados establecidos para las expresiones tericas de la ciencia primaria.
2.4.1.b. Convenciones( definiciones coordinadoras)
Los vnculos han sido creados deliberadamente. Las suposiciones son, entonces,
definiciones coordinadoras que establecen una correspondencia entre A y una cierta
expresin terica primitiva o alguna expresin construida a partir de expresiones
primitivas de la ciencia primaria.
2.4.2.c. Vnculo fctico o material( hiptesis fsicas)
Las suposiciones son hiptesis fsicas que afirman que la aparicin del estado
significado por una expresin terica B de la ciencia primaria es una condicin
suficiente del estado designado por A.
El significado de A no est relacionado analticamente con el de B, por lo que no puede
certificarse que las suposiciones adicionales son verdaderas sin apoyar la hiptesis que
formulan con elementos de juicio empricos independientes.


2.4.2. Condicin de deducibilidad

- Con ayuda de las citadas suposiciones adicionales, todas las leyes de la ciencia
secundaria, inclusive las que contienen el trmino A, deben ser lgicamente deducibles
delas premisas tericas y de las definiciones coordinadoras asociadas con ellas en la
disciplina primaria.

En la teora cintica de gases podemos encontrar un tipo de vnculo u otro dependiendo del
enfoque desde el que se plantee el estudio.
Esas alternativas ilustran un hecho ahora familiar: El status cognoscitivo de una suposicin
depende a menudo del modo adoptado para articular una teora en un contexto particular.
Usando como ejemplo para exponer lo explicado la reduccin de la termodinmica a la
mecnica, podemos decir que para efectuar tal reduccin es menester introducir un
postulado que vincule la temperatura y la energa cintica media de las molculas de un gas
y no es posible fundamentar este postulado elucidando simplemente los significados de las
expresiones que contiene( no es posible decidir si el postulado que ha de unir temperatura y
energa cintica media es una definicin coordinadora o una suposicin fctica).



3. CONDICIONES NO FORMALES DE LA REDUCCIN( Apartado III.
CONDICIONES NO FORMALES DE LA REDUCCIN)

3.1. Requisitos no formales relacionados con las leyes
experimentales

- Parece razonable imponer como requisito no formal general que las suposiciones
tericas de la ciencia primaria reciban apoyo de elementos de juicio empricos que
posean algn grado de fuerza probatoria.
- Pero, en particular, hay dos series de consideraciones( condiciones a imponer)
relacionadas entre s que hacen de la reduccin un logro importante:

3.1.1. Deduccin de nuevas leyes o mejora en la explicacin de las leyes previas

- Deben deducirse de la teora leyes experimentales que no haban sido halladas
previamente o que se ajustan mejor a una amplia gama de hechos que las leyes
anteriormente aceptadas( Ejemplo: en la teora cintica de gases, utilizando unas
suposiciones ms complejas que las de los gases ideales, es posible deducir la ley de
van der Waals para gases no ideales).

3.1.2. Relaciones de dependencia entre leyes experimentales

- Es deseable que se establezcan relaciones de dependencia entre diversas leyes
experimentales que conforman la teora, leyes antes aceptadas sobre la base de
elementos de juicio independientes y que, como consecuencia de la reduccin, llegan a
ser deducibles de la teora integrada( Ejemplo: el segundo principio de la
termodinmica y la ley de Boyle- Charles son deducibles de la mecnica estadstica
mientras que en termodinmica clsica eran suposiciones primitivas independientes)
- La reduccin debe integrar las leyes de la disciplina anterior de modo que elementos de
juicio de unas de ellas puedan servir como elementos de juicio indirectos de otras, de
modo que estos elementos de juicio sustenten acumulativamente diversos postulados
tericos de la ciencia primaria.


3.2. Requisito referente a la conveniencia temporal de la reduccin

- No debe reducirse una ciencia a otra a no ser que el contexto temporal de las ciencias
primaria y secundaria permita obtener un beneficio de dicha reduccin.
- Las teoras no permanecen inmutables con los avances de la investigacin, y la historia
de la ciencia suministra muchos ejemplos de ramas del conocimiento que se reorganizan
alrededor de nuevas teoras.
- An cuando una disciplina contine manteniendo los postulados ms generales, los
menos generales suelen ser modificados a la luz de nuevos descubrimientos.
- La cuestin sobre si la reducibilidad de una ciencia ser o no provechosa debe
resolverse dando a esta un carcter definido especificando el contexto establecido en un
perodo determinado.
- Existe la posibilidad de que las ciencias primaria y secundaria no sean compatibles en
ese contexto temporal( Ejemplo: la termodinmica no era reducible a la mecnica de
1700 pero lo fue a la mecnica estadstica de 1866)
- Existe la posibilidad de obtener poca o ninguna ganancia de la reduccin de una ciencia
a otra en ciertos perodos de su desarrollo, por grandes que sean las ventajas potenciales
de la reduccin en algn perodo posterior.
- Debe considerarse, ante la posibilidad de reducir una disciplina, si la disciplina a reducir
se encuentra en un estado de desarrollo adecuado para la reduccin.

3.3. Requisito de no concepcin de la reduccin como simple
deduccin de unas propiedades a partir de otras

- Concebir la reduccin como la deduccin de propiedades a partir de otras propiedades
es potencialmente engaoso y genera problemas espurios.
- Dicha concepcin es engaosa porque:
a) sugiere que las cuestiones relativas a si una ciencia es o no reducible a otra deben
ser resueltas inspeccionando las propiedades presuntas de las cosas, y no investigando
las consecuencias lgicas de ciertas teoras formuladas por sistemas de enunciados.
b) pasa por alto que las propiedades o naturalezas presuntas de las cosas, y en
particular sus constituyentes elementales no son accesibles a la inspeccin directa y
no se puede determinar qu implican o no implican por simple inspeccin.
- Ese tipo de suposicin transforma una cuestin que es eminentemente lgica y emprica
en una cuestin especulativa irremediablemente sin solucin.
- En general, que un conjunto de propiedades de objetos macroscpicos pueda ser
explicado por las propiedades de tomos y molculas, o reducido a estas, depende de
la teora que se adopte para especificar las naturalezas de estos elementos.
- La explicacin obtenida en este ltimo sentido ser esencialmente del mismo tipo que
las que se obtengan en otros dominios de la ciencia positiva.















Dudas y comentarios

Sera adecuado definir la teora cintica de gases como un conjunto de enunciados
tericos que haciendo uso de los axiomas de la mecnica newtoniana( introduciendo
una suposicin de tipo estadstico para las posiciones y cantidades de movimiento
de las molculas) explican las leyes experimentales de la termodinmica, quedando
esta ltima reducida de este modo a la mecnica?
Cual es exactamente la diferencia entre los enunciados de observacin y las
expresiones descriptivas? estas ltimas s estn referidas a datos sensoriales?
Pgina 323. El texto dice: [...] las expresiones caractersticas de una ciencia(
como la palabra temperatura en la ciencia del calor) son inteligibles en trminos
de las reglas o hbitos de uso de esta rama de la investigacin;[...]
Me recuerda a las definiciones operacionales de Bridgman, cuando propona hasta
una docena de conceptos de corriente elctrica.
Una de las objeciones a la regla lgica por la cual en la conclusin de una
demostracin formal no puede aparecer ningn trmino que no aparezca tambin en
las premisas es la de que se reconocen como vlidos argumentos que violan dicho
canon como Juan es primo de Mara se considera derivable de el to de Juan
es el padre de Mara, o la camisa de Prez es de color es derivable de la
camisa de Prez es roja.
Segn el texto, estos ejemplos son inferencias entimemticas, con una suposicin
tcita en la forma de definicin explcita o de algn otro tipo de enunciado a priori.
Cuando se hacen explcitas estas suposiciones, los ejemplos ya no parecen ser
excepciones al canon lgico...
Estas suposiciones, son algo as como escribir un enunciado del tipo: Para todo
x, si x es hijo de mi to, entonces x es mi primo en el primer caso o Rojo es un
color en el segundo?
Pgina 331. El texto dice: Un tipo ms sorprendente y til de dependencia[.....] es
el que se establece cuando se demuestra que una constante numrica[...] es una
funcin definida de parmetros tericos de la disciplina primaria[...]
A pesar de que existe un tipo de funcin que es constante( f(x) = k) no tengo la
impresin, por la explicacin posterior de que se est refiriendo a esto, a que una
constante acta como funcin de parmetros, sino de que los parmetros tericos
estn expresados en funcin de la constante, convirtindose simplemente en un
factor multiplicativo en la expresin matemtica de los parmetros tericos.
No termino de tener claro si lo que se pretenda transmitir era esto ltimo o alguna
otra cosa que no alcanzo a ver.
Me parece reseable que an hoy en da se estudian termodinmica clsica y
mecnica estadstica separadamente. Esto se debe a que los mbitos de aplicacin
de cada disciplina son diferentes y cada una aporta o bien perspectiva o bien
facilidades diferentes en el estudio de determinados fenmenos.
A pesar de las grandes ventajas de la reducibilidad de la termodinmica a la
mecnica estadstica, la termodinmica clsica juega una baza que, de momento, no
puede jugar la termodinmica estadstica, que, expresada en palabras de Einstein,
es:
Una teora es tanto ms grandiosa cuanto mayor es la sencillez de sus premisas, cuanto
ms variadas las cuestiones que relaciona, y cuanto ms amplio su mbito de aplicacin.
De ah la profunda impresin que produjo en m la Termodinmica clsica. Es la nica
teora fsica, universal por su contenido, de la que, dentro del esquema de aplicacin de sus
conceptos fundamentales, estoy seguro que jams ser desechada
( Albert Einstein: Notas autobiogrficas. Cita recogida en Termodinmica qumica de
Klotz & Rosenberg. Citado por Pedro Ruiperez en Conceptos generales de
Termodinmica )
El hecho de que el que sea posible y provechosa la reduccin de una ciencia a otra
depende del contexto temporal, no es un hecho que repercuta slo en la posibilidad
o el aprovechamiento, sino que tambin puede afectar la vida del creador o los
creadores de la teora. En este sentido, puede decirse que la teora cintica de gases
lleg demasiado pronto ya que su aplicacin en aquel momento era escasa, y esto le
procur la mala acogida por parte de la comunidad cientfica de la poca, y acab
llevando a Boltzmann al suicidio.