Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Pablo Lorenzano
Universidad Nacional de Quilmes (UNQ)/Consejo Nacional de Investigaciones
Cientficas y Tcnicas (CONICET)
E-mail: pablol@unq.edu.ar
0. Introduccin
El objetivo del presente trabajo es proponer una caracterizacin de principio-gua y ley
fundamental en el marco de la metateora estructuralista, a partir de, entre otros
anlisis, la propuesta realizada por C. Ulises Moulines en su texto ya clsico de 1978
Cuantificadores existenciales y principios-gua en las teoras fsicas (Moulines
1978/1982)1 acerca de la caracterizacin de los principios-gua y del anlisis
presentado en Pluralidad y recursin (Moulines 1991) sobre las leyes fundamentales.
Para ello, en primer lugar, presentaremos sucintamente la problemtica filosfica del
anlisis de las leyes, mencionando la relevancia que sta ha tenido en las distintas fases
de la filosofa de la ciencia profesionalizada e institucionalizada clsica, historicista y
modelstica contempornea, introduciendo luego la distincin entre leyes naturales, o
de la naturaleza, por un lado, y leyes cientficas, o de la ciencia, por el otro, y las
distintas posiciones generales que se han sostenido acerca de la naturaleza de las leyes
regularitivismo humeano, regularitivismo realista y necesitativismo (o universalismo)
despus.
En segundo lugar, presentaremos la propuesta de elucidacin estructuralista del
concepto de ley. Sin embargo, primero expondremos el anlisis que lleva a cabo
Moulines de los que denomina principios-gua. A continuacin, pasaremos revista a
las condiciones necesarias, condiciones necesarias dbiles o sntomas que han
sido planteados en la tradicin estructuralista para que un enunciado sea considerado
como una ley (cientfica) fundamental de una teora. Seguidamente, vincularemos el
anlisis de los principios-gua con el de las leyes fundamentales, pudiendo concebir a
aqullos como un tipo especial de leyes fundamentales. Luego, abordaremos
brevemente la problemtica de la naturaleza de las leyes a la luz de la elucidacin
estructuralista de los conceptos de ley fundamental y de principio-gua propuesta. Y,
por ltimo, en las observaciones finales, discutiremos los lmites aparentes o reales
en la aplicacin de dichas nociones.
Este trabajo, realizado con la ayuda de los proyectos de investigacin FFI2012-37354 /CONSOLIDER
INGENIO CSD2009-0056 (Espaa), FFI2013-41415-P (Espaa), PICT-2012 No. 2662 (ANPCyT,
Argentina) y PIP No. 112-201101-01135 (CONICET, Argentina), expande las ideas presentadas ms
brevemente en Lorenzano (por aparecer).
1
Ver bibliografa al final.
Para esta distincin en fases de desarrollo de la filosofa de la ciencia, ver Moulines (2008).
Para la elucidacin clsica del concepto de ley cientfica, ver Hempel (1942, 1958, 1965a, b), Hempel &
Oppenheim (1948), Goodman (1947), Popper (1935), Nagel (1961), Carnap (1947, 1956, 1966),
Reichenbach (1947), entre otros. Ver Stegmller (1983) y Salmon (1989) para un anlisis de las
dificultades con las que se enfrenta dicha elucidacin.
4
A dicha familia pertenecen, entre otras, las versiones de Suppes (1957, 1962, 1969, 1970, 1993, 2002,
Ferrario & Schiaffonati 2012), van Fraassen (1970, 1972, 1980, 1987, 1989, 2008), Suppe (1967, 1972,
1989), Giere (1979, 1988), y el estructuralismo metaterico de Sneed (1971), Stegmller (1973, 1979b,
1986), Balzer (1978, 1982, 1985), Moulines (1975, 1982, 1991), Balzer & Moulines (1996) y Balzer,
Moulines & Sneed (1987, 2000), por slo mencionar algunas de sus obras. Para una caracterizacin
general de esta familia, y una discusin del lugar del estructuralismo metacientfico dentro de ella, ver
Lorenzano (2013).
5
Para ello, ver p.e. Cartwright, Shomar & Surez (1995), Morgan & Morrison (1999) y Morrison (1999).
6
Ver Cartwright (1983, 2005), Giere (1995) y van Fraassen (1989) para posiciones escpticas acerca de
cualquier nocin de ley y la sustitucin del trmino ley por otros, tales como ecuaciones
3
que tampoco hay necesidad de discutir el tema de las leyes. Sin embargo, hay que tener
presente que, de todos modos, habra que identificar los modelos de alguna manera y
que sta suele ser, en la(s) concepcin(es) semntica(s), a travs de las leyes o
principios o ecuaciones (cmo se los llame es lo de menos) de la teora a la cual ellos
pertenecen (por lo que, as, los modelos terminaran constituyendo la contraparte
modeloterica de tales leyes o principios o ecuaciones). Por otro lado, y aun cuando
para las concepciones modelsticas los modelos no formen parte, y/o sean
independientes o autnomos respecto, de teoras (en algn sentido usual, abarcador
del trmino), stos tambin se representaran, o contendran, o se identificaran,
mediante ecuaciones o leyes, aunque no fundamentales, e.e. con distinto grado de
generalidad, pero eventualmente con las dems caractersticas que suelen atribursele a
las leyes de la naturaleza o a las leyes (o principios o ecuaciones) fundamentales de la
ciencia. Es por ello que, en la fase modelstica, se ponen de relieve las consecuencias
que la prctica de construccin de modelos tiene para otras cuestiones filosficas, tales
como la ya mencionada explicacin cientfica (van Fraassen 1980, Cartwright 1983,
Bartelborth 1996a, 1996b, 1999, 2002, Dez 2002a, 2014, Forge 1999, 2002, Elgin &
Sober 2002, Woodward 2003, Moulines 2005, Lorenzano 2005, Bokulich 2008, 2009) y
tambin, ms importante an, las leyes de la naturaleza y de la ciencia (Cartwright
1983, 1999, 2005, Giere 1999, van Fraassen 1989, Forge 1999, 2002, Lorenzano 2006,
2007, 2008a, 2011a, b, Dez & Lorenzano 2013, por aparecer).
A continuacin, caracterizaremos la recientemente mencionada distincin entre leyes
naturales (o de la naturaleza) y leyes cientficas (o de la ciencia), para luego pasar a
mencionar algunas de las posiciones generales que se han sostenido acerca de la
naturaleza de las leyes.
aquellas regularidades del mundo natural que son conocidas por nosotros y que han
sido puestas en apropiadas formas lingsticas (enunciados). Otro modo de plantear la
relacin existente entre leyes naturales (o de la naturaleza) y leyes cientficas (o de la
ciencia) es considerar a estas ltimas como las formulaciones lingsticas mismas,
enunciadas, afirmadas o aseveradas por los cientficos en un momento determinado y a
las leyes naturales (o de la naturaleza) como a los hechos referidos o a las proposiciones
expresadas por aqullas. Algunos filsofos han sostenido que un tratamiento filosfico
de las leyes debe ser dado slo para las leyes de la naturaleza y no para las leyes de la
ciencia. Mientras que otros consideran ms apropiado referirse a las leyes de la ciencia
que (slo) a las leyes de la naturaleza, debido a que, en todo caso, son las leyes de la
ciencia las que proporcionaran importantes claves para la comprensin de lo que es una
ley de la naturaleza.
Para un estudio ms detallado se puede consultar, p.e., Armstrong (1983) y van Fraassen (1989).
Ver Balzer, Moulines & Sneed (1987) para una presentacin completa, y Dez & Lorenzano (2002) o
Moulines (2002) para una presentacin sucinta de esta concepcin metaterica.
10
Ver p.e. Balzer (1979a), Balzer, Moulines & Sneed (1987), Bartelborth (1988), Falguera (2012),
Lorenzano (2006, 2007, 2011), Moulines (1978/1982, 1991), Sneed (1971), Stegmller (1973, 1978,
1979a, 1979b, 1986).
11
Las expresiones ley fundamental y ley especial no se utilizan aqu en el sentido de Fodor (1974,
1991), como refirindose a leyes pertenecientes a distintos tipos de ciencias, fundamental o bsica las
primeras y especiales la segunda, sino en el sentido de la concepcin estructuralista, es decir, como
denotando distintos tipos de leyes, con distinto grado de generalidad, de una y la misma teora. La
expresin ley fundamental tampoco es usada en el sentido de la elucidacin clsica.
12
Excepto en aquellos sitios en donde sealamos diferencias entre la versin de 1978 y la de 1982,
citaremos de la ltima.
13
Adems, creeramos que entre uno y otro hay una conexin histrico-conceptual, susceptible de ser
constatada a travs de lo siguiente: 1) la teora de las descripciones definidas, en donde se utilizan
cuantificadores existenciales, inspir el anlisis de Ramsey sobre la manera de representar el contenido
emprico de las teoras mediante la utilizacin de enunciados cuantificados existencialmente, conocidos
luego como enunciados de Ramsey; 2) la concepcin estructuralista en sus inicios (Sneed 1971) fue
caracterizada como una modificacin de la concepcin de Ramsey (an emendation of the Ramsey
view, Sneed 1971, pp. ix, 65) o como la concepcin de Ramsey modificada (the Ramsey view
emended, Sneed 1971, Ch. IV) aun cuando esta descripcin pueda resultar confundente o, en el mejor
Elaborando el anlisis avanzado por Nagel (1961) del Segundo Principio de Newton
ley fundamental/principio-gua de la mecnica (newtoniana) clsica de partculas,
Moulines seala dos caractersticas que ste posee: (1) que haya involucrados
cuantificadores existenciales y (2) que al menos uno de los trminos T-tericos que all
ocurren a saber: fuerza sea una funcin de funciones (o funcional) y no
simplemente una funcin, lo cual obliga a que la cuantificacin existencial sobre l sea
de segundo orden.14 Si consideramos al Segundo Principio de Newton, segn Nagel,
ste afirma que hay determinantes (o fuerzas) de cierto tipo para todo cambio en las
cantidades de movimiento de los cuerpos (Nagel 1961, p. 201), y, de acuerdo con la
elaboracin propuesta por Moulines, la forma que ste adquiere es, en trminos
informales, la siguiente:
Dado un sistema P durante un intervalo T, puede encontrarse un conjunto de funcionales
vectoriales que son funciones de funciones de partculas de P e instantes de T, tales que la
suma vectorial de los funcionales es igual al producto de la masa por la aceleracin de cada
partcula considerada en cada instante considerado. (Moulines 1982, p. 99)
y ms formalmente:
(SPN)
de los casos, se refiera a un aspecto de su concepcin, a saber: la utilizacin del enunciado de Ramsey
o, mejor dicho, del enunciado de Ramsey triplemente modificado, tambin conocido con el nombre de
enunciado Ramsey-Sneed, por parte del estructuralismo en sus primeras formulaciones, o de la nocin,
deudora de aqul, de contendido emprico, en sus formulaciones posteriores, para poder caracterizar
con su ayuda las afirmaciones empricas de las teoras cientficas, que le permite escapar del peligro
autojustificacionista; y 3) la utilizacin de cuantificadores existenciales por parte de Moulines en el
anlisis de los principios-gua (aunque, como veremos, no slo de cuantificadores existenciales, en lnea
con lo sealado por Nagel: En una gran proporcin, las leyes cuantitativas, especialmente en la fsica
terica, contienen varios cuantificadores, a menudo de diversos tipos. Sin embargo, parece improbable
que un enunciado pueda ser considerado normalmente como una ley si no contiene, al menos, un
cuantificador universal, habitualmente como prefijo inicial, Nagel 1961, n. 1, p. 48).
14
Esto lleva a que, si bien el Segundo Principio puede ser formalizado en lgica de primer orden, dicha
formalizacin distorsionara su verdadera forma lgica (Moulines 1982, p. 97), debindolo hacerse,
mejor, en al menos una lgica de segundo orden (Moulines 1982, p. 97). En la primera versin del
artculo, de 1978, se aade que, en rigor, se requiere incluso una lgica de tercer orden (Moulines 1978,
p. 73), formalizacin a la que Moulines renuncia, porque [una formalizacin completa de este enunciado
en una lgica de tercer orden], ms que aclarar, oscurecera la estructura del principio (Moulines 1978,
p. 75).
Adems, este anlisis le permite a Moulines terciar en la discusin de larga data acerca
del estatus de dicho Principio se trata de una definicin o de un autntico enunciado
de hecho? y de la naturaleza del concepto de fuerza se trata de un concepto
metafsicamente sospechoso?. Debido a su forma lgica de cuantificacin mixta,
con un cuantificador universal como prefijo inicial, seguido de un cuantificador
existencial el Segundo Principio es empricamente irrefutable y, por ello, parecera
ser una definicin en vez de un enunciado de hecho (que tradicionalmente se asumen
como empricamente refutables); situacin que se agrava an ms en este caso, ya que
la cuantificacin existencial no corre sobre variables individuales de un dominio
potencialmente infinito (y que constituira lo que Moulines llama irrefutabilidad de
primer orden), sino sobre una variable de segundo orden, el funcional fuerza
(tratndose as de una irrefutabilidad de segundo orden (para mximo escndalo a la
vez de falsacionistas popperianos y de inductivistas carnapianos), Moulines 1982, p.
101).15 Y es justamente esta estructura implcita peculiar de ser una funcin de
funciones, un funcional, una variable de segundo orden,16 del concepto de fuerza (ms
abstracto as que los otros conceptos que all ocurren, tales como los de espacio,
tiempo y masa) y de ocurrir esencialmente en un enunciado empricamente
irrefutable, con una irrefutabilidad de segundo orden, lo que lo convirti en un
concepto metafsicamente sospechoso,17 al mismo tiempo que al Segundo Principio
en una ley fundamental/principio-gua y a la mecnica clsica de partculas en una
teora tan fecunda, habiendo servido dicho principio de gua para la confeccin de una
gran cantidad de leyes especiales que s se aplicaron a una multiplicidad casos concretos
heterogneos.18
Luego, considerando al Segundo Principio de Newton un paradigma de
paradigmas, en el doble sentido de jugar el papel ms esencial (el ms
paradigmtico, si se quiere) de la mecnica clsica, por un lado, y de que el anlisis
de la forma y funcin del Segundo Principio puede resultar metodolgicamente
15
En la versin de 1978 se lee: Se trata de una irrefutabilidad de segundo y tercer orden (para mximo
escndalo a la vez de falsacionistas popperianos y de inductivistas carnapianos) (Moulines 1978, p. 77).
16
En la versin de 1978 se dice que se cuantifica existencialmente sobre variables de segundo y tercer
orden (Moulines 1978, p. 77). Asimismo, en la versin de 1982 se afirma que El uso generalizado de
cuantificadores existenciales, y en particular la cuantificacin de un funcional de segundo orden
(Moulines 1982, p. 105), si esos cuantificadores se aplican adems a variables de segundo orden
(Moulines 1982, p. 106) y la bsqueda de constantes que substituyan adecuadamente las variables
funcionales de segundo orden (Moulines 1982, p. 106), en la de 1978 se lee: El uso generalizado de
cuantificadores existenciales, y en particular la cuantificacin de un funcional de tercer orden (Moulines
1978, p. 83), si esos cuantificadores se aplican adems a variables de segundo y tercer orden (Moulines
1978, p. 84) y la bsqueda de constantes que substituyan adecuadamente las variables funcionales de
segundo y tercer orden (Moulines 1978, p. 85), respectivamente.
17
Moulines propone la denominacin empricamente irrestrictos (Moulines 1982, p. 96) para este tipo
de enunciados que, por un lado, son irrefutables (y, por ello, tradicionalmente considerados como
empricamente vacuos), pero que, por otro lado, lo son en un sentido distinto a los ejemplos
paradigmticos de enunciados analticos, tales como Todos los solteros son no casados.
18
La referencia a las variables de tercer orden, as como a las consiguientes eventuales irrefutabilidad de
tercer orden y formalizacin en lgica de tercer orden, no fueron eliminadas del todo en la segunda
versin del artculo, de 1982, pues all se afirma, no slo, y como ya lo sealamos, que si queremos
formalizar necesitamos al menos una lgica de segundo orden (Moulines 1982, p. 97, subrayado
nuestro), sino tambin que la idea general de fuerza resume un nmero indeterminado de funcionales o,
mejor dicho, de variables de tercer orden para funcionales de distinta forma y contenido (Moulines
1982, p. 101).
19
Mientras que en 1982 se sostiene que el funcional f kS es una variable de segundo orden cuantificada
existencialmente (Moulines 1982, p. 103), en 1978 se sostena que es una variable de tercer orden
cuantificada existencialmente (Moulines 1978, p. 81).
tambin que sean una promesa de futuros xitos y que den lugar a la actividad que Kuhn
denomina resolucin de rompecabezas.
En cuanto a lo primero, la promesa implcita en los principios-gua es que se nos
asegura que si adoptamos el esquema conceptual general por el principio-gua, a la
larga, y con la suficiente paciencia y habilidad, obtendremos los resultados empricos
apetecidos (Moulines 1982, p. 106). Si bien esa promesa es, limitada al principiogua, muy vaga e indeterminada [,] define la estructura general dentro de la que hay
que buscar los parmetros y funcionales requeridos para tratar cualquier caso
particular (Moulines 1982, p. 106).
Mientras que, en cuanto a lo segundo, es justamente la bsqueda de esos parmetros
y funcionales (es decir, desde el punto de vista lgico, la bsqueda de constantes que
substituyan adecuadamente las variables funcionales de segundo orden20) [] la
actividad que Kuhn llama resolucin de rompecabezas (Moulines 1982, p. 106).
20
Junto a los criterios anteriores, en Lorenzano (2006, 2007, 2011a, b) y en Dez &
Lorenzano (2013, por aparecer), se seala tambin un criterio adicional: 5) el de poseer
fuerza modal.
Pero veamos ahora estas condiciones necesarias, condiciones necesarias dbiles o
sntomas con mayor detenimiento.
2.2.1. Carcter arracimado o sinptico21
Como ya sealamos, este criterio ha recibido distintas formulaciones, siendo algunas
ms fuertes y otras ms dbiles. De acuerdo con la ms fuerte de ellas, cualquier
formulacin correcta de la ley debera incluir necesariamente todos los trminos
relacionales (e implcitamente tambin todos los conjuntos bsicos) y, por tanto, en
definitiva, todos los conceptos fundamentales que caracterizan dicha teora (Moulines
1991, p. 234).22 Planteado de este modo, sin embargo, este rasgo, como reconoce el
propio Moulines (1991, pp. 233-234), no es posedo por todos los probables candidatos
a leyes fundamentales por ejemplo, por las leyes fundamentales de la mecnica
relativista del continuo y de la electrodinmica, que, de acuerdo con la reconstruccin
ofrecida por Bartelborth (1988) y la discusin que ste efecta de dicho rasgo
(Bartelborth 1988, pp. 19ss., 45s., 53), no parecen poder reformularse como leyes
sinpticas de manera plausible y natural (Moulines 1991, p. 234), aunque s por una
gran clase de leyes fundamentales detectadas hasta ahora, convirtindose as en un
[s]ntoma frecuente (Moulines 1991, p. 235).
En las formulaciones de este criterio ms dbiles que la proporcionada por Moulines,
y Stegmller previamente, no se exige que en las leyes fundamentales ocurran todos los
conceptos fundamentales, sino slo varias de las magnitudes (Stegmller 1986, p. 23),
diversas funciones (Stegmller 1986, p. 93), posiblemente muchos conceptos
tericos y no-tericos (Stegmller 1986, p. 386), casi todos (Balzer, Moulines &
Sneed 1987, p. 19) o al menos dos (Stegmller 1986, p. 151). De este modo, pueden
ser consideradas leyes fundamentales proposiciones que quedaban excluidas mediante
la formulacin ms fuerte del criterio y que probablemente hubiera que tomar como
tales, diferencindose por otro lado de las meras caracterizaciones de los conceptos
individuales (o inclusive de posibles leyes especiales), en las que ocurren los trminos
de manera aislada.23
21
Stegmller introduce el trmino ley arracimada [o sinptica] (clawster law) como el dual del
trmino que, hasta dnde s, fue usado primero por H. Putnam, a saber concepto arracimado [o
sinptico] [clawster concept] (Stegmller 1979a, p. 121).
22
Siguiendo Moulines en esto las formulaciones iniciales de Stegmller: Por una ley arracimada
[sinptica] entiendo una ley que relaciona todos los conceptos tericos y no-tericos importantes de la
teora en cuestin, formando por as decirlo una unin o un nudo entre estos conceptos (Stegmller
1979a, p. 121); me refer a una ley que conectara todas las funciones T-tericas y T-no-tericas como a
una ley arracimada [sinptica] (Stegmller 1979b, p. 54).
23
Est claro que la consideracin que se haga de este criterio, en cualquiera de sus versiones, tiene que
tomar en cuenta que ste es fuertemente dependiente del respectivo lenguaje utilizado, e.e. de la
respectiva formulacin de una teora, pues slo en relacin con ella es que un trmino puede ser
considerado primitivo, bsico o fundamental. Por otro lado, es interesante notar una diferencia en este
criterio entre la concepcin clsica de las leyes y las teoras y la metateora estructuralista. De acuerdo
con la primera, los conceptos descriptivos (no lgico-matemticos) que ocurren en las leyes, en tanto
axiomas o postulados de un sistema axiomtico formal (hilbertiano o tipo Frege-Hilbert), son,
tpicamente, conceptos tericos (en el sentido clsico) y, de este modo, las leyes fundamentales son leyes
tericas, formuladas mediante enunciados tericos puros, que slo contienen trminos (o conceptos)
tericos. En tanto que aqu, tpicamente, aunque no necesariamente como vimos en el caso de la
nombre de especializacin. Dicho proceso, por medio del cual se obtienen las leyes
ms especficas, llamadas especiales,28 a partir de una(s pocas) ley(es)
fundamental(es) de una teora, consiste en la introduccin de ulteriores restricciones,
constricciones o especificaciones a (algunos de los componentes de) dicha(s) ley(es), de
forma tal de irse concretando progresivamente en direcciones diversas, hasta desembocar
finalmente en las llamadas especializaciones terminales, en donde todos sus
componentes se encuentran especificados.29 Este carcter cuasi-vacuo de las leyes
fundamentales ha seguramente contribuido a que algunos autores hayan dudado de su
naturaleza emprica y hayan propuesto considerarlas como no-empricas, reglas (de
inferencia), instrucciones (para la formulacin de enunciados), analticas, a
priori, estipulaciones tautolgicas, meras convenciones o meras definiciones de
al menos alguno de los trminos T-tericos que all figuran. Como vimos, Moulines
propone la denominacin de empricamente irrestrictos (Moulines 1982, p. 96) para
este tipo de enunciados que, por un lado, son irrefutables o empricamente vacuos, pero
que, por otro lado, lo son en un sentido distinto a los ejemplos paradigmticos de
enunciados analticos. Estos enunciados son irrefutables o empricamente vacuos debido
a que su estructura es tal que, si no se consideran restricciones ulteriores, e.e. si se los
considera aislada e independientemente, cualquier sistema emprico formulado en el
vocabulario no-terico (anterior, previamente disponible o independiente) de la teora
puede ser extendido o completado trivialmente mediante la adicin de los
trminos T-tericos hasta transformarse en un modelo completo (terico) de la teora
en cuestin, satisfaciendo por tanto su(s) ley(es) fundamental(es). Son, adems, distintos
de los enunciados tradicionalmente considerados analticos, pues si bien hay una
relacin estrecha entre los trminos T-tericos y las leyes fundamentales mediante los
cuales son introducidos a saber: que su extensin slo puede ser determinada
presuponiendo lgicamente la validez de dichas leyes y, en ese sentido, que las leyes
fundamentales de una teora T son constitutivas, adems de las teoras en las que
ocurren,30 del significado slo de los trminos T-tericos31 y no de todos los trminos
que ocurren en dicha teora, en una suerte de holismo semntico moderado (Moulines
1991, p. 196), pues no lo son de los trminos T-no-tericos, stas no definen en
sentido estricto a los trminos T-tericos (sino slo en el sentido que, desde Schlick
1918, se suele asociar a la expresin implcitamente, o en el que a veces se habla de
definicin fsica u operacional, haciendo referencia a la determinacin de la
extensin medicin de tales trminos ver p.e. Balzer 1979b), ya que violan los
28
Para acentuar que, a diferencia de lo que sucede de acuerdo con el anlisis clsico, la relacin entre las
leyes ms generales las fundamentales y las ms especficas no es de deduccin, sino justamente de
especializacin que es una relacin reflexiva, anti-simtrica y transitiva, y que, en todo caso, no cumple
con la condicin de monotonicidad, es que las ltimas son denominadas leyes especiales en lugar de
leyes derivadas.
29
Es a las leyes especiales terminales (o, dicho ms propiamente en terminologa estructuralista, a las
aserciones empricas asociadas a ellas) a las que en todo caso se puede dirigir la flecha del modus
tollens (Lakatos 1970, p. 102). Si stas salen airosas de la contrastacin, e.e. si las especificaciones
introducidas resulten ser las apropiadas (aun cuando slo aproximadamente, pero dentro de un rango
aceptable contextualmente), se dice que las aplicaciones pretendidas devienen exitosas y de este manera
que los sistemas empricos devienen modelos de la teora.
30
Idea metaterica que est presente en (casi) toda variante de las distintas concepciones que ha habido
acerca de las teoras cientficas: ya sea la concepcin clsica (Carnap 1956, Popper 1935), la histrica
(Kuhn 1970a, Lakatos 1970, Laudan 1977) o la semntica (Sneed 1971, Giere 1979, Suppe 1989, Suppes
1970, van Fraassen 1970).
31
Para un tratamiento ms extenso del modo en que las leyes fundamentales de una teora T son
constitutivas del significado (o contenido) de los conceptos T-tericos, ver Dez (2002b).
Lo que all se denomina el poder sistemtico de una teora, que consiste en la funcin [que tienen las
leyes y teoras cientficas] de establecer conexiones sistemticas entre los datos de nuestra experiencia, de
modo de hacer posible la derivacin de algunos de esos datos a partir de otros (Hempel & Oppenheim
1948, p. 164).
33
En esta ltima se afirma que: [] generalizaciones [como f = ma] no son tanto generalizaciones como
esquemas de generalizaciones, formas esquemticas cuya expresin simblica detallada vara de una
aplicacin a otra. En el problema de la cada libre, f = ma se convierte en mg = md2s/dt2. En el del pndulo
simple, se convierte en mgSen = md2s/dt2. En el de los osciladores armnicos acoplados, se convierte
en dos ecuaciones, de las cuales la primera puede escribirse m1d2s1/dt2 + k1s1 = k2(d + s2 s1). Problemas
mecnicos ms importantes, por ejemplo, el movimiento del girscopo, todava presentarn mayor
disparidad entre f = ma y la efectiva generalizacin simblica a la que se aplican la lgica y la
matemtica (Kuhn 1974, p. 465).
34
La idea kuhniana presentada en la cita anterior, de acuerdo con la cual en teoras con gran poder
sistematizador, o altamente unificadas, hay algunas generalizaciones las llamadas generalizaciones
adicionales: que en l ocurra esencialmente al menos un trmino T-terico que sea una
funcin de funciones (o funcional) y que se cuantifique existencialmente sobre l.
Consideramos que, de estas dos caractersticas o condiciones, la menos problemtica
en su establecimiento es la referida al tipo de concepto involucrado de funcional, ya
que el anlisis de los principios-gua en funcin de su forma lgica como toda otra
caracterstica, condicin o criterio sintctico tiene que enfrentarse al problema de la
existencia de equivalentes lgicos, e.e. de enunciados lgicamente equivalentes con las
formulaciones escogidas de los principios-gua pero con forma lgica distinta, adems
de, obviamente, ser relativo a la lgica utilizada en general. Sin embargo, no
consideramos que esto constituya un obstculo insalvable, ya que: a) uno podra
reformular la condicin de poseer carcter existencial de la siguiente manera: o bien las
leyes fundamentales/principios-gua mismos son enunciados de carcter existencial, o
bien, haciendo referencia a equivalencias lgicas, se considera, en una primera
posibilidad, que todos los enunciados lgicamente equivalentes con ellos deben poseer
carcter existencial o, en una segunda posibilidad, que las leyes fundamentales/
principios-gua deben ser enunciados lgicamente equivalentes con un enunciado
existencial, y b) aun considerando que la lgica clsica no constituye un (el) lenguaje
universal, y que no hay algo as como la forma lgica (ideal o perfecta), habra que
mostrar que con otras lgicas (o anlisis alternativos) se pueden obtener resultados
epistemolgicos igualmente o ms satisfactorios o relevantes que los obtenidos a travs
del anlisis propuesto.
Por otro lado, como ya sealamos, no toda ley fundamental es principio-gua en el
sentido indicado. Hay leyes fundamentales con diferente forma lgica, as como
tambin con trminos T-tericos que son dominios de objetos como en el caso de los
factores alelos o genes, que ocurren en la ley de concordancia de la gentica clsica
(Lorenzano 2000), relaciones como la satisfaccin en la ley fundamental del
psicoanlisis de Freud (Balzer & Marcou 1989) o funciones tal como la masa en la
ley de la conservacin del momento, ley fundamental de la mecnica clsica del choque
(Balzer & Mhlhlzer 1982),35 y no funcionales. Pero esta situacin no evita que
dichas leyes fundamentales hayan igualmente servido de gua para la elaboracin de
leyes especiales que se aplicaron a casos particulares, aun cuando sin ser ellas, y las
teoras en las que son fundamentales, tan fructferas lo cual parecera plausible al
menos respecto del psicoanlisis de Freud y de la mecnica clsica del choque como
aquellas, y las respectivas teoras, en las que ocurren esencialmente trminos T-tericos
que son funcionales.
3. Observaciones finales
En este trabajo, se propuso una caracterizacin de ley fundamental, y de principio-gua,
en el marco de la metateora estructuralista. Con tal finalidad, se presentaron primero
de manera concisa la problemtica filosfica del anlisis de las leyes con referencia a su
historia reciente en la filosofa de la ciencia, as como tambin la distincin entre leyes
naturales (o de la naturaleza) y leyes cientficas (o de la ciencia) y las principales
posiciones contemporneas sobre la naturaleza de las leyes. Luego, comenzando con la
exposicin del anlisis de Moulines de los principios-gua, se llev a cabo una revisin
del concepto de ley fundamental propuesto en el marco de la metateora estructuralista,
sealando cinco condiciones necesarias, condiciones necesarias dbiles o
37
Para una discusin de la naturaleza de las leyes en el marco de la metateora estructuralista que muestra
ciertas coincidencias con la presente, adems de un anlisis de las leyes naturales, ver Forge (1986, 1999).
38
Y, eventualmente, con una posicin similar a la aqu presentada, pero desarrollada como una
concepcin sobre las leyes naturales, del tipo de la denominada Mill-Ramsey-Lewis (por Mill 1847,
Ramsey 1928 y Lewis 1973a, b), que considera a stas como enunciados que, adems de satisfacer ciertas
condiciones, estn tpicamente integradas en teoras (si bien concebidas como sistemas deductivos). Aqu,
sin embargo, no se llevar a cabo una comparacin pormenorizada entre la concepcin propuesta de ley
cientfica fundamental/principio-gua y la concepcin Mill-Ramsey-Lewis sobre las leyes naturales.
sntomas que debe satisfacer o mostrar un enunciado para que sea considerado como
una ley fundamental de una teora 1) poseer carcter arracimado o sinptico, 2) valer
en todas las aplicaciones intencionales, 3) ser cuasi-vacuo (empricamente irrestricto
o, si se prefiere, sinttico a priori o incluso analtico a posteriori), 4) cumplir con un
papel sistematizador y 5) poseer fuerza modal, se caracteriz despus a los principiosgua como leyes fundamentales de un tipo peculiar a saber, como leyes fundamentales
que poseen las siguientes caractersticas adicionales: contar con al menos un
funcional dentro de sus trminos T-tericos y cuantificar existencialmente sobre l y
se concluy relacionando la elucidacin propuesta de ley fundamental y de principiogua con la problemtica acerca de la naturaleza de las leyes.
Antes de finalizar, quisiramos comentar dos situaciones, de distinto tipo, sealadas
en la literatura, en donde no parecera plausible aplicar los conceptos de ley
fundamental o de principio-gua. Una de ellas se vincula con la constatacin de que, si
bien existen ciertos mbitos en donde aparecen las leyes fundamentales/principios-gua
(aunque quizs con otra denominacin, tales como principios bsicos o ecuaciones
fundamentales) explcitamente formulados en trminos lingsticos, y aun a veces de
forma axiomtica o cuasi-axiomtica, hay otros mbitos en los que no, ya sea porque no
los encontramos u observamos formulados en toda su generalidad, abstraccin y
esquematizacin aunque haya acuerdo acerca de que all hay (una) ley(es)
fundamental(es)/principio(s)-gua y discusin acerca de su(s) correcta(s)
identificacin(es) y conveniente(s) formulacin(es) o porque no encontramos u
observamos en lo absoluto nada que posea los condiciones o sntomas sealados y
que as pueda ser plausiblemente considerado ley fundamental/principio-gua. Sin
embargo, en dichos mbitos podran llegar a explicitarse las leyes
fundamentales/principios-gua (en contra de un empirismo restringido en metateora),
mostrando el carcter unificador terico-conceptual (la unidad terico-conceptual
profunda) de dicho mbito y dotando de sentido a la prctica que se lleva a cabo en
l.39 Ejemplo de ley fundamental/principio-gua explcitamente formulado en trminos
lingsticos en la literatura cientfica, aun de forma axiomtica desde su primera
aparicin pblica, con la primera edicin de los Principia (Newton 1687), lo es el
mencionado Segundo Principio de Newton. Mientras que, ejemplo de ley
fundamental/principio-gua no encontrado en toda su generalidad y esquematismo, pero
sin discusin acerca de la existencia ah de un principio, lo sera la ley
fundamental/principio-gua de la teora de la evolucin por seleccin natural de Darwin
(1859), el llamado Principio de Seleccin Natural. En tanto que ejemplo de no
encontrar u observar en lo absoluto nada que posea los condiciones o sntomas
mencionadas y que as pueda ser considerado ley fundamental/principio-gua, lo sera el
mbito de la gentica clsica. Sin embargo, todos esos mbitos han sido plausiblemente
39
Esta propuesta de anlisis bien pudiera ser considerada como un modelo explicativo (en el sentido de
Hintikka 1968, en el contexto de la lgica epistmica, y de Stegmller 1979, en el de la filosofa de la
ciencia), modelo explicativo que, a su vez, puede ser pensado como sacando a la luz, o explicitando, la
lgica profunda (Hintikka 1968), la estructura profunda (Chomsky 1957, 1965) o la estructura
comn que subyace a un grupo de soluciones a problemas (Kitcher 1984), mediante las nociones
estructuralistas de ley fundamental/principio-gua, de especializacin y de red terica, y en trminos de
los cuales puede ser entendido mejor dicho grupo de soluciones a problemas y (algunas de) las diversas
prcticas cientficas, tanto lingsticas como no lingsticas, y que involucran, entonces, no slo al
conocimiento terico, proposicional (saber qu), expresado lingsticamente, sino tambin al
conocimiento prctico (saber cmo), no lingsticamente articulado, pero susceptible de ser
(lingsticamente) analizado y explicitado.
Ver Balzer & Moulines (1981) y Balzer, Moulines & Sneed (1987), entre otros, para detalles en
relacin con la mecnica (newtoniana) clsica, Ginnobili (2010), en relacin con la teora de la evolucin
por seleccin natural, y Balzer & Dawe (1990), Balzer & Lorenzano (2000), Lorenzano (1995, 2000,
2002), en relacin con la gentica clsica.
41
Para un tratamiento sistemtico de este concepto metacientfico menos conocido, ver Moulines (2011,
2014).
Referencias bibliogrficas
Armstrong, D. (1983), What is a Law of Nature?, Cambridge: Cambridge University
Press.
Ayer, A.J. (1956), What Is a Law of Nature?, Revue International de Philosophie 36:
144-165.
Balzer, W. (1978), Empirische Geometrie und Raum-Zeit-Theorie in mengentheoretischer Darstellung, Kronberg: Scriptor.
Balzer, W. (1982), Empirische Theorien: ModelleStrukturenBeispiele, Braunschweig:
Vieweg. Traduccin castellana revisada: Teoras empricas: modelos, estructuras y
ejemplos, Madrid: Alianza, 1997.
Balzer, W. (1985), Theorie und Messung, Berlin: Springer.
Balzer, W. (1996), Theoretical Terms: Recent Developments, en Balzer, W. y C.U.
Moulines (eds.), Structuralist Theory of Science. Focal Issues, New Results, Berlin:
de Gruyter, 1996, pp. 139-166.
Balzer, W. y C.M. Dawe (1990), Models for Genetics, Mnchen: Institut fr
Philosophie, Logik und Wissenschaftstheorie.
Balzer, W. y P. Lorenzano (2000), The Logical Structure of Classical Genetics,
Zeitschrift fr allgemeine Wissenschaftstheorie 31: 243-266.
Balzer, W. y P. Marcou (1989), A Reconstruction of Sigmund Freuds Early Theory of
the Unconscious, en Westmeyer, H. (ed.), Psychological Theories from a
Structuralist Point of View, Berlin: Springer, 1989, pp. 13-31.
Balzer, W. y C.U. Moulines (1981), Die Grundstruktur der klassischen
Partikelmechanik und ihre Spezialisierungen, Zeitschrift fr Naturforschung 36a:
600-608.
Balzer, W. y C.U. Moulines (eds.)(1996), Structuralist Theory of Science. Focal Issues,
New Results, Berlin: de Gruyter.
Balzer, W. y F. Mhlhlzer (1982), Klassische Stomechanik, Zeitschrift fiir
allgemeine Wissenschaftstheorie 13(1): 22-39.
Balzer, W. y J.D. Sneed (1977/1978), Generalized Net Structures of Empirical
Theories I & II, Studia Logica 36: 195-211, & 37: 167-194.
Balzer, W., Moulines, C.U. y J.D. Sneed (1987), An Architectonic for Science. The
Structuralist Program, Dordrecht: Reidel.
Balzer, W., Moulines, C.U. y J.D. Sneed (eds.)(2000), Structuralist Knowledge
Representation: Paradigmatic Examples, Amsterdam: Rodopi.
Bartelborth, T. (1988), Eine logische Rekonstruktion der klassischen Elektrodynamik,
Frankfurt am Main: Peter Lang.
Bartelborth, T. (1996a), Begrndungsstrategien. Ein Weg durch die analytische
Erkenntnistheorie, Berlin: Akademie Verlag.
Bartelborth, T. (1996b), Scientific Explanation, en Balzer, W. y Moulines, C.U.
(eds.), Structuralist Theory of Science. Focal Issues, New Results, Berlin/New York:
Walter de Gruyter, 1996, pp. 23-43.
Bartelborth, T. (1999), Coherence and Explanation, Erkenntnis 50: 209-224.
Lorenzano, P. (2006), Fundamental Laws and Laws of Biology, en Ernst, G. und K.G. Niebergall (eds.), Philosophie der Wissenschaft Wissenschaft der Philosophie.
Festschrift fr C.Ulises Moulines zum 60. Geburstag, Paderborn: Mentis-Verlag,
2006, pp. 129-155.
Lorenzano, P. (2007), Leyes fundamentales y leyes de la biologa, Scientiae Studia.
Revista Latino-Americana de Filosofa e Histria da Cincia 5(2): 185-214.
Lorenzano, P. (2008a), Lo a priori constitutivo y las leyes (y teoras) cientficas,
Revista de Filosofa 33(2): 21-48.
Lorenzano, P. (2008b), Bas van Fraassen y la ley de Hardy-Weinberg: una discusin y
desarrollo de su diagnstico, Principia 12(2): 121-154.
Lorenzano, P. (2011a), Leis e teorias em biologia, en Abrantes, P.C. (ed.), Filosofia
da Biologia, Porto Alegre: Artmed, 2011, pp. 53-82.
Lorenzano, P. (2011b), Racionalidad, leyes fundamentales y leyes de la biologa, en
Prez Ransanz, A.R. y A. Velasco (eds.), Racionalidad en ciencia y tecnologa.
Nuevas perspectivas iberoamericanas, Mxico: UNAM, 2011, pp. 313-326.
Lorenzano, P. (2013), The Semantic Conception and the Structuralist View of
Theories: A Critique of Suppes Criticisms, Studies in History and Philosophy of
Science 44: 600-607.
Lorenzano, P. (2014), What is the Status of the Hardy-Weinberg Law within
Population Genetics?, en Galavotti, M.C., Nemeth, E. y F. Stadler (eds.), European
Philosophy of Science Philosophy of Science in Europe and the Viennese Heritage,
Vienna Circle Institute Yearbook 17, Dordrecht: Springer, 2014, pp. 159-172.
Lorenzano, P. (por aparecer), Leyes fundamentales y principios-gua en la metateora
estructuralista, en Dez, J.A. (ed.), Exploraciones pluralistas, Mxico-Madrid:
UNAM/Biblioteca Nueva.
Mackie, J.L. (1966), The Direction of Causation, Philosophical Review 75: 441-466.
Mitchell, S.D. (1997), Pragmatic Laws, Philosophy of Science 64 (Proceedings):
S468-S479.
Mill, J.S. (1843), A System of Logic, London: John W. Parker.
Morgan, M. y M. Morrison (eds.)(1999), Models as Mediators, Cambridge: Cambridge
University Press.
Morrison, M. (1999), Models and Autonomous Agents, en Morgan, M. y M.
Morrison (eds.), Models as Mediators, Cambridge: Cambridge University Press,
1999, pp. 38-65.
Mostern, J. (1984), Conceptos y teoras en la ciencia, Madrid: Alianza, 2a ed. 1987.
Moulines, C.U. (1975), Zur logischen Rekonstruktion der Thermodynamik (tesis
doctoral), Mnchen: Ludwig-Maximilian-Universitt Mnchen.
Moulines, C.U. (1978), Cuantificadores existenciales y principios-gua en las teoras
fsicas, Crtica 10: 59-88; reimpreso, con ligeras modificaciones, ninguna
sustancial, como Forma y funcin de los principios-gua en las teoras fsicas, en
Moulines, C.U. (1982), Exploraciones metacientficas, Madrid: Alianza, pp. 88-107,
y traducido al ingls como Existential Quantifiers and Guiding Principles in
Physical Theories, en Gracia, J.J.E., Rabossi, E. Villanueva, E. y M. Dascal (eds.),
Philosophical Analysis in Latin America, Dordrecht: Reidel, 1984, pp. 173-198.
Moulines, C.U. (1982), Exploraciones metacientficas, Madrid: Alianza.
Moulines, C.U. (1991), Pluralidad y recursin, Madrid: Alianza.
Moulines, C.U. (2002), Introduction: Structuralism as a Program for Modelling
Theoretical Science, Synthese 130(1): 1-11.
Moulines, C.U. (2005), Explicacin terica y compromisos ontolgicos: un modelo
estructuralista, Enrahonar: quaderns de filosofia 37: 45-53.
Moulines, C.U. (2008), Die Entwicklung der modernen Wissenschaftstheorie (18902000). Eine historische Einfhrung, Hamburg: LIT-Verlag.
Moulines, C.U (2011), Cuatro tipos de desarrollo terico en las ciencias, Metatheoria
1(2): 11-27.
Moulines, C.U (2014), Intertheoretical Relations and the Dynamics of Science,
Erkenntnis 79 (Issue 8 Supplement): 1505-1519.
Nagel, E. (1961), The Structure of Science, New York: Harcourt, Brace & World.
Palmquist, S. (1987a), A Priori Knowledge in Perspective: (II) Naming, Necessity and
the Analytic A Posteriori, The Review of Metaphysics 41(2): 255-282.
Palmquist, S. (1987b), Knowledge and Experience-An Examination of the Four
Reflective Perspectives in Kants Critical Philosophy, Kant-Studien 78(2): 170200.
Popper, K. (1935), Logik der Forschung, Wien: Julius Springer; Tbingen: J.C.B. Mohr
(Paul Siebeck), 1989, 9a ed. ampliada.
Ramsey, F.P. (1928), Universals of Law and of Fact, en Braithwaite, R.B. (ed.), The
Foundations of Mathematics and other Logical Essays, London: Kegan Paul, 1931,
pp. 128-132.
Ramsey, F.P. (1929), Philosophy, en Braithwaite, R.B. (ed.), The Foundations of
Mathematics and other Logical Essays, London: Kegan Paul, 1931, pp. 263-269.
Reichenbach, H. (1947), Elements of Symbolic Logic, New York: MacMiIlan Co.
Reichenbach, H. (1954), Nomological Statements and Admissible Operations,
Amsterdam: North-Holland.
Richardson, A.W. (2002), Narrating the History of Reason Itself: Friedman, Kuhn, and
a Constitutive A Priori for the Twenty-First Century, Perspectives on Science 10(3):
253-274.
Ruby, J.E. (1986), The Origin of Scientific Law, Journal of the History of Ideas
47(3): 341-359.
Russell, B. (1905), On Denoting, Mind 14: 479-493.
Salmon, W.C. (1989), Four Decades of Scientific Explanation, en Kitcher, P. y W.C.
Salmon (eds.), Scientific Explanation. Minnesota Studies in the Philosophy of
Science, vol. 13, Minneapolis: University of Minnesota Press, 1989, pp. 3-219.
Schlick, M. (1918), Allgemeine Erkenntnislehre, Berlin: Julius Springer.
Schlick, M. (1931), Die Kausalitt in der gegenwrtigen Physik, Die
Naturwissenschaften 19(7): 145-162.
Schurz, G. (2009), Normic Laws, Non-monotonic Reasoning, and the Unity of
Science, en Rahman, S., Symons, J., Gabbay, D.V. y J.P. van Bendegem (eds.),
Logic, Epistemology, and the Unity of Science, Dordrecht: Springer, 2009, pp. 181211.
Scriven, M. (1959), The Key Property of Physical Laws Inaccuracy, en Feigl, H. y
G. Maxwell (eds.), Current Issues in the Philosophy of Science Proceedings of
Section L of the American Association for the Advancement of Sciences, 1959, New
York: Holt Rinehart and Winston, 1961, pp. 91-104.
Sneed, J.D. (1971), The Logical Structure of Mathematical Physics, Dordrecht: Reidel,
2 ed. revisada, 1979.
Stegmller, W. (1973), Theorienstrukturen und Theoriendynamik, Heidelberg: Springer.
Stegmller, W. (1978), A Combined Approach to the Dynamics of Theories, Theory
and Decision 9: 29-75.
Stegmller, W. (1979a), The Structuralist View: Survey, Recent Development and
Answers to Some Criticisms, en Niiniluoto, I. y R. Tuomela (eds.), The Logic and