INNOVACIONES DIDCTICAS

SOBRE LA ESTRUCTURA LGICA DE LA FSICA. UNA PROPUESTA DE TRABAJO

CORNEJO, JORGE, N. Gabinete de Desarrollo de Metodologas de la Enseanza. Facultad de Ingeniera (UBA). Paseo Coln, 850. CP 1063. Buenos Aires. Argentina. E-mail: cornejo@df.uba.ar

SUMMARY In the present work we make a proposal of construction of the fundamental concepts relative to the logical structure of the Physics, by means of the work in a regular course of Elementary Mechanics. The basic theoretical mark corresponds to the one exposed in the main works of Carnap and Hempel. We are operating essentially on the hypotheses, laws and theories, as well as about the particularities that they acquire in the context of scientific education. In synthesis, we intend to work in combined form the theoretical activity, the laboratory practices and the interpretation in logical terms, to the effect of the progressive construction of the latter.

ENSEANZA DE LAS CIENCIAS, 2000, 18 (2), 333-342

333

INNOVACIONES DIDCTICAS INTRODUCCIN

Desde los comienzos de la filosofa moderna nos encontramos con una preocupacin definida por hallar la conexin entre el lenguaje (la palabra hablada articulada sintcticamente) y la estructura lgica del pensamiento. As, por ejemplo, el objetivo filosfico de Ludwig Wittgenstein1(1889-1951) fue la creacin de un lenguaje lgico perfecto, capaz de enunciar cualquier concepto, idea o proposicin con la mxima precisin posible. En su Tractatus logico-philosophicus (1989), publicado originalmente en 1921, Wittgenstein afirm que todo lo pensado tambin poda ser dicho, y que no puede decirse algo que no pueda ser pensado adecuadamente. As, la filosofa podra reducirse a la sintaxis, y el anlisis de los problemas filosficos, al anlisis de las estructuras del lenguaje. Por otra parte, Wittgenstein sostuvo que el mundo consista en hechos simples y que la relacin entre esta multitud de hechos elementales daba lugar a todo lo existente. Es sta una versin lgico-gramatical del atomismo materialista de Demcrito, de ah que se la conozca como atomismo lgico. Ahora bien, por la misma poca, tomaba cuerpo entre los filsofos de la ciencia una idea semejante: la de que el conocimiento cientfico podra ser analizado como una estructura lgica, en forma parecida al anlisis gramatical del lenguaje. Reunidos en el Crculo de Viena, estos positivistas lgicos, fanticamente amigos del anlisis filosfico y fanticamente enemigos de Hegel, editores de la revista Erkenntnis (Conocimiento), se dedicaron a buscar los tomos lgicos constitutivos del discurso cientfico. Se declararon continuadores de, entre otros, Epicuro, Leibniz, Stuart Mill, Spencer, Feuerbach, Marx, Poincar y Hillbert. Su personalidad ms relevante fue Rudolph Carnap (1891-1970). Entre otros de sus integrantes, podemos citar a Schlick, Weissman, Frank, Kraft, Neurath, Gdel, Han, Kaufmann y Feigl. Sus ideas fueron recogidas en otros pases de Europa y en los Estados Unidos, a travs de autores como Reichenbach, Hempel, Lukasiewicz, Tarski y Nagel. A partir de 1936, prcticamente todos los integrantes del Crculo de Viena emigraron a Norteamrica y Erkenntnis comenz a publicarse en ingls, con el ttulo de Journal of Unified Science. Kuhn narra cmo La estructura de las revoluciones cientficas (1971) fue escrita originalmente para constituir un volumen de la International Encyclopedia of Unified Science, y que fueron los editores de esta obra (a la que l califica de precursora) los que le solicitaron la redaccin del ensayo. Lo curioso del caso es que el trabajo de Kuhn fue, precisamente, el libro que puso en entredicho gran parte de las tesis del propio positivismo lgico2. Otros autores, como Karl Popper, si bien no se identificaron con el Crculo de Viena, compartieron varios aspectos de sus tesis. Sin embargo, despus de Kuhn, Feyerabend, Toulmin, Hanson, etc., el empirismo lgico cedi amplio terreno y, tal como ocurri en el plano especficamente filosfico, fue necesario salir del lenguaje para encontrar una forma aceptable de expresar
334

la gnesis y la evolucin del conocimiento cientfico. A pesar de ello, cuando leemos algunas obras de divulgacin o cuando observamos las referencias que en algunos textos de enseanza media se realizan acerca del mtodo cientfico, nos encontramos con posturas que parecen corresponderse con estadios previos a los desarrollos del propio positivismo lgico: versiones que repiten el antiguo esquema observacin-experimentacin-hiptesis-leyes-teoras, sin referencia alguna a las variantes y complicaciones lgicas que se presentan en torno al mismo (Flichman et al., 1998). En otras palabras, puede decirse que el empirismo lgico cay antes de que sus tesis fuesen general y extensamente comprendidas. Por lo tanto, y para contribuir al entendimiento de las mismas, hemos tratado de desarrollar una propuesta que, a partir del trabajo realizado en un curso regular de fsica, permita la construccin de los conceptos fundamentales vinculados a su estructura lgica. Esta propuesta, en el plano terico, se basa fundamentalmente en las obras de Carnap (1985) y Hempel (1970)3. Por otra parte, para su realizacin prctica, hemos tomado como base los temas que se desarrollan habitualmente en un curso de Fsica I de nivel universitario; especficamente, aqullos dictados en el Departamento de Fsica de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. El orden escogido para el desarrollo de los temas est basado en la sucesin de los captulos del texto de Hempel, que parte de las consideraciones lgicas ms elementales y avanza progresivamente hacia las complejidades de leyes y teoras. Correlativamente, los temas de fsica empleados para la construccin de cada concepto siguen el orden habitual de los cursos de esta asignatura. La idea general subyacente, entonces, ha sido la construccin de la lgica de la fsica no como un a priori, sino como el resultado del trabajo mismo en la disciplina. Se han enfatizado esencialmente las cuestiones vinculadas al contexto de justificacin, con alguna referencia al contexto de descubrimiento en el apartado siguiente. En los primeros apartados se expone el trabajo sobre las hiptesis, su invencin, condiciones de cientificidad, clasificacin y formas lgicas de contrastacin. Ms adelante se analizarn las leyes requeridas para una explicacin cientfica, sus requisitos y el esquema lgico de las explicaciones nomolgico-deductivas. El trabajo sobre la construccin de las teoras ser realizado a continuacin, donde nos basaremos en la concepcin clsica, recibiendo aqullas el tratamiento de sistemas axiomticos hillbertianos formales. Por ltimo, expondremos nuestras conclusiones sobre el tema.

DE DNDE SURGE UNA HIPTESIS?

Enfrentado con un problema, con un enigma en el sentido kuhneano, el cientfico debe comenzar elaborando una hiptesis que, an en forma provisional, pueda
ENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

INNOVACIONES DIDCTICAS
servir como explicacin o interpretacin del mismo. Ahora bien, cmo surge, cmo se elabora una hiptesis? En numerosos fsicos parece persistir la impresin de que la ciencia, en general, y la fsica, en particular, contina trabajando segn un modelo baconiano clsico, consistente en registrar y clasificar hechos en forma experimental y en derivar inductivamente generalizaciones de los mismos4. Esto es lo que se conoce como la concepcin inductivista estrecha de la investigacin cientfica. Pero esta concepcin, segn Hempel, es insostenible, porque: a) los hechos experimentales se pueden clasificar de formas muy diferentes; b) dada una masa de datos experimentales, deben seleccionarse los hechos y variables que se consideren relevantes: tales hechos y variables slo se pueden cualificar como lgicamente relevantes o irrelevantes por referencia a una hiptesis dada, y no por referencia a un problema dado. Por otra parte, no se puede conocer jams la totalidad de los hechos; tampoco hay reglas de induccin generalmente aplicables por medio de las cuales se puedan inferir mecnicamente hiptesis o teoras a partir de datos empricos. Por esto, se llega a la elaboracin de una hiptesis por induccin en sentido amplio: se aceptan las hiptesis sobre la base de datos que no las hacen efectivamente concluyentes, sino que slo les proporcionan un apoyo inductivo ms o menos amplio. Las hiptesis o teoras no se derivan de los hechos observados, sino que se inventan para dar cuenta de ellos. Las hiptesis se inventan; las reglas de induccin son cnones de validacin ms que de descubrimiento5. De dnde surge estrictamente una hiptesis es un misterio que, parafraseando a Kuhn, puede nacer en la profundidad de la noche, y por ello estamos ms interesados en el trabajo sobre las hiptesis ya elaboradas, su contrastacin y validacin. Prctica: Las experiencias sencillas de cinemtica sirven para ilustrar este punto. Tomemos, por ejemplo, el conocido experimento consistente en dejar caer verticalmente diversos objetos, que debern atravesar, en su cada, dos sensores que registrarn los tiempos respectivos. Se puede modificar la distancia entre ambos sensores, y se dispone de objetos de diverso peso. Los alumnos conocen la teora general y las ecuaciones correspondientes a MRU y MRUV. Se propone, entonces, que, experimentando libremente con esta prctica, los estudiantes elaboren hiptesis que permitan describir la cada de los cuerpos en el vaco. Durante la puesta en comn que seguir a la realizacin de la prctica, se debern resaltar entonces los siguientes aspectos: a) Las diversas formas en que se han clasificado los datos experimentales. Por ejemplo, algunos grupos inENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

tentarn directamente calcular la aceleracin de la gravedad, asumiendo que la misma es independiente de la masa del objeto que cae; otros tratarn primero de establecer este hecho probando con masas distintas, etc. En otras palabras, debe enfatizarse que los estudiantes estn trabajando y clasificando los hechos experimentales por referencia a determinadas hiptesis previas (la cada de los cuerpos como un MRUV, la independencia de la aceleracin de la gravedad con la masa, etc.), y no (cuando menos esencialmente) por referencia a este problema particular. b) Asimismo, se consultar a los grupos acerca de por qu no tomaron lecturas sobre la temperatura ambiente, presin atmosfrica, etc.; nuevamente, esto permitir trabajar sobre la determinacin de la relevancia de los datos experimentales con referencia a las hiptesis previas. Se resaltar el elemento de decisin presente siempre en la eleccin de los datos. c) Finalmente, se discutir si la experiencia realizada permite inferir una conclusin realmente general sobre el tema en cuestin, establecindose as los lmites de las generalizaciones inductivas y la imposibilidad del conocimento de la totalidad de los hechos concernientes a un fenmeno determinado.

CONDICIONES PARA UNA HIPTESIS

Cualquier hiptesis puede ser calificada como una hiptesis cientfica? Ciertamente que no. Siguiendo las ideas de Hempel6 (1970), una hiptesis cientfica debe satisfacer dos requisitos bsicos: a) La relevancia explicativa: los hechos que se aducen en una hiptesis deben ser relevantes al objeto en cuestin. b) El requisito de contrastabilidad: los enunciados que constituyen una explicacin cientfica deben ser susceptibles de contrastacin emprica. No es necesario que las condiciones de contrastacin estn dadas o sean tecnolgicamente producibles en el momento en que la hiptesis es propuesta o examinada (por eso hablamos de contrastabilidad en principio). Por otra parte, siguiendo a Carnap, deberamos incluir la llamada condicin de significatividad: si bien nuestro veredicto sobre la verdad o falsedad de los enunciados se basa sobre la experiencia real, su significatividad (es decir, el que tengan o no algn significado) se basa sobre la experiencia posible. De ah resulta el principio de verificabilidad, semejante a la contrastabilidad en principio: un enunciado tiene significado solamente si existe alguna experiencia concebible que pudiese tornarlo verdadero. Ms tarde, Carnap modific este principio sustituyndolo por otro ligeramente distinto, denominado de confirmabilidad: los enunciados con significado son aqullos que alguna experiencia concebible puede confirmar (en alguna medida).
335

INNOVACIONES DIDCTICAS
El requisito de contrastabilidad es muy importante. De no cumplirse, la hiptesis propuesta carecera de alcance emprico, y slo sera una pseudohiptesis . Sin embargo, cundo estamos frente a una hiptesis verdadera y cundo frente a una pseudohiptesis es un problema muy difcil de resolver. El requisito de contrastabilidad tiene como consecuencia que toda verdadera hiptesis cientfica dar siempre lugar a una o ms implicaciones contrastadoras o consecuencias observacionales, es decir, razonamientos de la forma: si la hiptesis es verdadera, entonces, debe ocurrir tal o cual cosa. Por ejemplo, supongamos que mi hiptesis es que los cuerpos se atraen con una fuerza directamente proporcional al producto de sus masas e inversamente proporcional al cuadrado de la distancia que los separa; entonces, si tengo dos cuerpos de masas conocidas, separados por una distancia tambin conocida, mi hiptesis implicar que stos debern atraerse con una fuerza de determinado valor: esta implicacin ser contrastada experimentalmente y el resultado favorable o desfavorable de la contrastacin tendr sobre la hiptesis original las consecuencias que veremos ms adelante. Prctica: Hemos referido lo siguiente a la experiencia mencionada en el punto anterior, pero, en realidad, podra ser aplicable a hiptesis elaboradas con motivo de la realizacin de otras experiencias. Se deber tomar nota cuidadosa de las hiptesis con que trabajaron los diversos grupos. A continuacin, para cada una de las mismas, se discutirn estas dos preguntas: a) Son los hechos aducidos en la explicacin relevantes al objeto de la misma? (relevancia explicativa). b) Es posible una contrastacin emprica de la hiptesis aducida? (requisito de contrastabilidad). A partir de la discusin realizada, deber ser posible clasificar las propuestas de los estudiantes en hiptesis y pseudohiptesis, si bien se expresar con claridad la dificultad inherente a una distincin estricta entre las mismas. Por otra parte, algunas propuestas pueden dar ocasin para tratar con mayor detalle el requisito de contrastabilidad. Por ejemplo, es probable que algunos grupos formulen aseveraciones acerca de qu pasara con la experiencia si la misma se realizace en un planeta con gravedad distinta a la terrestre: tales aseveraciones quizs no sean, en las condiciones de nuestros laboratorios, contrastables empricamente; sin embargo, de todos modos satisfacen el requisito de contrastabilidad en principio. De ah podr seguirse lgicamente a la condicin de significatividad y al principio de verificabilidad; el carcter relativo y parcial de toda verificacin se expresar a travs del principio de confirmabilidad.

DISTINTOS TIPOS DE HIPTESIS

En forma muy sencilla, podemos clasificar las hiptesis en: fundamentales, auxiliares y ad hoc. Hiptesis fundamentales: Son aqullas elaboradas para dar respuesta a un problema determinado. Conducen necesariamente a una o varias implicaciones contrastadoras. El paso de las hiptesis fundamentales a estas ltimas suele estar mediado por las hiptesis derivadas, obtenidas a partir de las primeras por deduccin. Hiptesis auxiliares: Constituyen el conjunto de supuestos que acompaan necesariamente a una hiptesis fundamental y particularmente a sus formas de contrastacin: si, por ejemplo, queremos contrastar la ley de gravedad con algn clculo relativo al movimiento planetario, todos los supuestos vinculados a la estructura del sistema solar, el nmero y dimensiones de los planetas, etc., y aun las consideraciones relativas al funcionamiento de nuestros telescopios y otros aparatos de medicin, se contarn entre las hiptesis auxiliares. Hiptesis ad hoc: Son introducidas con el nico propsito de salvar una hiptesis seriamente amenazada por un testimonio adverso; no resultan exigidas especficamente por otros datos y, en general, no conducen a nuevas implicaciones contrastadoras7. Un ejemplo clsico de hiptesis ad hoc es la introducida por Tolomeo para explicar por qu Venus se encuentra siempre en las proximidades del Sol: con la Tierra en el centro del sistema, supone que el centro del epiciclo de Venus se halla siempre sobre la lnea Tierra-Sol. No existe ninguna otra razn para esta suposicin. En el sistema copernicano, por el contrario, con el Sol en el centro, la posicin de Venus resulta naturalmente de su carcter de planeta interior. Algunos autores, como Popper (1973), consideran que las hiptesis ad hoc carecen de valor en la investigacin cientfica; otros, como Klimovsky (1995), reconocen que tales hiptesis pueden jugar un cierto papel en la misma. Prctica: Puede trabajarse nuevamente sobre las hiptesis elaboradas por los estudiantes en la experiencia anterior. En tal sentido, primeramente se har un anlisis de todas las hiptesis auxiliares empleadas en la prctiENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

Cuadro I De las hiptesis fundamentales a las implicaciones contrastadoras.

Hiptesis fundamental

HD1

HD2

HD3

HC1

HC2

HC3

Aqu HD1... HDn son las hiptesis derivadas y HC1 HCn las implicaciones contrastadoras correspondientes.

336

INNOVACIONES DIDCTICAS
ca. Seguidamente, se mostrar como todas las autnticas hiptesis fundamentales ideadas por los distintos grupos conducen necesariamente, por la va de las hiptesis derivadas, a una o varias implicaciones contrastadoras. Para ello, se construir el cuadro I, que hemos adaptado a partir de Klimovsky (1995). Finalmente, en caso de haberlas, se sealarn las hiptesis ad hoc y sus caractersticas especficas. emprico son importantes y otras insubstanciales (qu es cada cosa se basa en los supuestos de fondo que tengamos). Por otra parte, es altamente deseable que una hiptesis cientfica sea confirmada mediante testimonios nuevos (hechos que no eran conocidos o no se tomaban en consideracin cuando se formul la hiptesis). Lo que es notable de una hiptesis es, precisamente, que se acomode a casos nuevos. Finalmente, digamos que el apoyo de una hiptesis no tiene por qu ser absolutamente emprico: tambin puede provenir de hiptesis o teoras ms amplias que implican la hiptesis dada y tengan un apoyo emprico independiente. A la vez, la credibilidad de una hiptesis se ver negativamente afectada si entra en conflicto con teoras o hiptesis que en la poca se aceptan como bien establecidas. Pero esto no debe exagerarse: en tal caso no seran posibles las revoluciones cientficas. A partir del modus tollens, muchas veces se afirma que una contrastacin desfavorable sirve para refutar y descartar definitivamente una hiptesis. Sin embargo, esto no es estrictamente cierto, pues aun cuando se encuentren defectos en una teora, aun cuando diversas contrastaciones hayan dado resultado negativo, se la puede seguir usando bajo ciertas condiciones: en la actualidad, por ejemplo, para velocidades pequeas frente a la velocidad de la luz, continuamos empleando la teora de Newton, aunque sabemos que ha sido superada conceptualmente por la teora de la relatividad. Adems, si tenemos en cuenta la existencia de hiptesis auxiliares, la estructura lgica de una contrastacin se complica ligeramente, en la forma sealada en el cuadro III. Por lo tanto, si un modo concreto de contrastar una hiptesis H presupone unos supuestos auxiliares A1 An, entonces, una implicacin contrastadora negativa nos dice que o bien H es falsa o que se debe introducir una modificacin en el conjunto A o en H si se quiere reajustar el resultado de la contrastacin. Por ejemplo, supongamos que el sistema solar termina en el planeta
Cuadro III Estructura lgica de la contrastacin (modus tollens) modificada con la consideracin de las hiptesis auxiliares. Sean: H: una hiptesis. A: un conjunto de hiptesis auxiliares. I: una implicacin contrastadora de H. 1) Si H es V tambin lo es I. 2) Pero (como se muestra empricamente) I es F. 3) H y A no son ambas V (al menos una es F).

LA CONTRASTACIN DE UNA HIPTESIS

Una vez elaborada, toda hiptesis deber ser contrastada experimentalmente, para establecer su grado de verdad o falsedad. El esquema lgico de una contrastacin responde a la estructura conocida como modus tollens y puede resumirse en la forma indicada en el cuadro II, en el que V significa que la hiptesis es verdadera, F que es falsa.
Cuadro II Estructura lgica de la contrastacin (modus tollens). Sean: H: una hiptesis. I: una consecuencia que se derive necesariamente de la hiptesis. I ser una implicacin contrastadora de H. 1) Si H es V tambin lo es I. 2) Pero (como se muestra empricamente) I es F. 3) H es F. 1 y 2 son las premisas del razonamiento; 3 la conclusin . Falacia de afirmacin consecuente: Si I es V, entonces, no necesariamente H es V. La falacia es decir que si I es V, entonces, H es V. Puede haber muchas implicaciones contrastadoras I1, I2, etc. Aunque todas sean V, H no tiene por qu ser V.

Las implicaciones contrastadoras, por lo tanto, suelen ser de carcter condicional: dicen que, bajo condiciones de contrastacin experimental, se producir un resultado de un determinado tipo. Pueden ser sometidas a contrastacin experimental provocada (en muchos casos de ndole cuantitativa) o de otro tipo (Hempel da el ejemplo de las estrellas denominadas Cefeidas, caracterizadas por ciertas fluctuaciones peridicas en su luminosidad, y cuya aparicin en el cielo hay que esperar antes de poder efectuar una contrastacin). En ausencia de un testimonio desfavorable, se considerar normalmente que la confirmacin de una hiptesis aumenta con el nmero de resultados favorables de la contrastacin. Pero ste no es el nico criterio: tambin es muy importante la variedad de las contrastaciones realizadas (fuerza del apoyo emprico diversificado). De todos modos, algunas formas de diversificar el apoyo
ENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

Urano, y queremos contrastar la ley de gravitacin de Newton. Realizamos las mediciones y vemos que la rbita de Urano no coincide con las predicciones de
337

INNOVACIONES DIDCTICAS
la teora. Hemos refutado la ley de Newton? No, sino la conjuncin de esta ley con la hiptesis auxiliar de que el sistema solar tiene slo siete planetas. Precisamente, este ejemplo constituy en realidad una brillante corroboracin de la mecnica newtoniana, que culmin con la prediccin terica y el posterior hallazgo astronmico del planeta Neptuno. Por lo tanto, contrariamente a una opinin muy difundida, no necesariamente una contrastacin negativa refuta definitivamente una hiptesis. Como consecuencia de esto, debemos ser muy prudentes con las denominadas contrastaciones cruciales, es decir, aqullas que permiten decidir entre dos hiptesis rivales. Nuevamente, las contrastaciones desfavorables no necesariamente refutan las teoras, sino que indican que debe hacerse alguna modificacin en las mismas. Y, en realidad, la situacin es todava ms compleja. Klimovsky (1995), al discutir la versin compleja del mtodo hipottico-deductivo, enumera toda una serie de factores cuya presencia complica substancialmente la corroboracin o refutacin de una hiptesis, y Hempel, englobndolos en la categora general de hiptesis auxilaires, no discrimina. Estos factores son: a) Las hiptesis y teoras presupuestas, que constituyen el marco terico en el que se inserta la hiptesis a contrastar. b) Las hiptesis colaterales, relativas a los instrumentos y el material de trabajo empleados en la investigacin. stas, a su vez, se clasifican en: a) subsidiarias (hiptesis suficientemente corroboradas, que expresan el conocimiento ya obtenido por el investigador acerca del material con que trabaja); y b) auxiliares (en sentido mucho ms restringido que el que propone Hempel, son hiptesis que se aceptan en forma transitoria para poder seguir desarrollando la investigacin). c) datos observacionales, que constituyen el material emprico bsico que interviene en la corroboracin. Por consiguiente, nuestro esquema podra configurarse segn mostramos en el cuadro IV.
Cuadro IV Estructura lgica de la contrastacin (modus tollens) modificada con la consideracin de los distintos factores que intervienen de acuerdo con la versin compleja del mtodo hipotticodeductivo. Sean: H: una hiptesis. P: un conjunto de hiptesis y teoras presupuestas. C: un conjunto de hiptesis colaterales, constituido por los subconjuntos CS (hiptesis subsidiarias) y CA (hiptesis auxiliares). D: un conjunto de datos observacionales. I: una implicacin contrastadora de H. 1) Si H es V tambin lo es I. 2) Pero (como se muestra empricamente) I es F. 3) H, P, C y D no son simultneamente V (al menos una es F).

Prctica: Se propone como hiptesis la relacin dada por la 2a. ley de Newton, para masas constantes; es decir: F = ma . Los distintos grupos debern elaborar, con el material disponible en el laboratorio, implicaciones contrastadoras de esta hiptesis. Previamente a la realizacin de la prctica, el docente aclarar que, en tales condiciones, se estar trabajando en una situacin de contrastacin experimental provocada.

Cuadro V Esquema lgico de una explicacin nomolgico-deductiva.

Fenmeno explanandum: fenmeno a ser explicado. Enunciado explanandum: enunciado que lo describe. Enunciados explanantes: enunciados que especifican la informacin explicativa (se refieren a leyes generales o a hechos concretos). Explanans: conjunto de los enunciados explanantes. Los enunciados explanantes implican el enunciado explanandum. Leyes abarcadoras : leyes invocadas en una explicacin cientfica.

Una vez concluidos los experimentos, se discutirn y aclararn debidamente el marco terico y las hiptesis presupuestas en que aqullas deben encuadrarse. Seguidamente, se confeccionar una tabla donde se detallarn las hiptesis colaterales (subsidiarias y auxiliares) y la base emprica constituida por los datos observacionales utilizados. A continuacin, se realizar otra tabla, en dos columnas, una con las contrastaciones exitosas y otra con las desfavorables, si las hubiera. Con relacin a las primeras, se resaltar el grado de diversificacin que se haya obtenido con el apoyo emprico propuesto. En caso de que, en el transcurso de la experiencia, hubiesen aparecido testimonios de apoyo nuevos, no previstos, los mismos sern discutidos y analizados. Como, en realidad, no se est corroborando la 2a. ley de Newton en su forma original, sino slo un caso particular de la misma (masa constante), se resaltar que el apoyo emprico que posee la ley original refuerza la corroboracin de la hiptesis especfica trabajada. Con respecto a las contrastaciones negativas, se explicarn los efectos de la resistencia del aire, (y otros posibles), debiendo quedar en claro que un resultado desfavorable no implica necesariamente la refutacin de una hiptesis. En cada caso, se sealar en qu tipo de hiptesis (subsidiaria, auxiliar, etc.), se produjo la falla en la contrastacin.

LAS LEYES
Las leyes que se requieren para una explicacin cientfica son enunciados que satisfacen, en general, los dos requisitos siguientes:
ENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

338

INNOVACIONES DIDCTICAS
a) Requisito de universalidad: Las leyes dicen que cuandoquiera y dondequiera que se den unas condiciones de tipo especificado P, entonces, se darn tambin, siempre y sin excepcin, ciertas condiciones de otro tipo Q. b) Requisito de condicionalidad: Una ley debe servir para enunciar condicionales de la forma si fuera A, entonces sera B , que pueden ser contrafcticos (si A no ocurri realmente) o subjuntivos (si se deja en suspenso si A ocurri o no). Las explicaciones cientficas que se apoyan en leyes de la naturaleza se conocen como explicaciones nomolgico -deductivas (nomos = ley). El esquema lgico en que se apoyan tales explicaciones, conocido como el modelo de Carl Hempel, es el que exponemos en el cuadro V. En otras palabras, la idea es deducir el enunciado que describe el hecho (el explanandum) a partir de un conjunto de otros enunciados (el explanans), en los que se incluyen las leyes naturales (Gaeta et al., 1996). Esto se expone en forma grfica en el cuadro VI, mientras que hemos adaptado de Hempel el siguiente ejemplo: 1) Sea el siguiente fenmeno explanandum: la disminucin de la longitud de la columna de mercurio del barmetro de Torricelli cuando el mismo se traslada a una altura sobre el nivel del mar mayor que la que ocupaba originalmente. 2) El explanans se compondr de los siguientes enunciados explanantes: a) La presin que la columna de mercurio que est en la parte cerrada del aparato de Torricelli ejerce sobre el mercurio de la parte inferior es igual a la presin ejercida sobre la superficie del mercurio que est en el recipiente abierto por la columna de aire que se halla sobre l. b) Las presiones ejercidas por las columnas de mercurio y de aire son proporcionales a sus pesos y, cuanto ms cortas son las columnas, tanto menores son sus pesos. c) A medida que se aumenta la altura sobre el nivel del mar, la columna de aire sobre el recipiente abierto se va haciendo ms corta. 3) Y el explanans implicar, entonces, el siguiente enunciado explanandum: (por lo tanto) la columna de mercurio debe hacerse ms corta al aumentar la altura. Prctica: Se plantear a los alumnos el siguiente fenmeno explanandum: la constancia del plano de rotacin de la Tierra alrededor del Sol (caso particular de la conservacin del plano de rotacin de una partcula sometida a una fuerza central). Se pedir a los estudiantes que expliquen el fenmeno exponiendo detalladamente las leyes empleadas en tal explicacin. El docente sistematizar las mismas, apuntando a la construccin lgica del explanans. Por ejemplo, ste podra componerse de los siguientes enunciados explanantes: a) La fuerza de atraccin gravitatoria que el Sol ejerce sobre la Tierra se encuentra siempre sobre la recta que une ambos cuerpos (lo cual remite a la ley universal de gravitacin). b) El torque de esta fuerza con respecto al origen de coordenadas (elegido en el Sol) es, por consiguiente, igual a cero. c) Entonces, el momento angular del sistema se mantiene constante (a partir de la ley de conservacin del momento angular). d) El vector momento angular es perpendicular al plano de rotacin de la Tierra. e) La conservacin del momento angular implica, entonces, la conservacin de dicho plano. Por lo tanto (enunciado explanandum), el plano de rotacin de la Tierra alrededor del Sol se mantiene constante.
Cuadro VII Sistemas axiomticos hillbertianos (SAH).

Un conjunto de enunciados ser un SAH y tales que a) es una clase finita de enunciados formulados en algn lenguaje b) es la clase de todos los enunciados que son consecuencia lgica de c) =

LAS TEORAS
Cuadro VI De las premisas al explanandum.

Premisa 1 . . . Premisa n

La descripcin que sigue corresponde a la denominada concepcin clsica de las teoras, basada en la metamatemtica y el logicismo, y recoge esencialmente conceptos de Carnap (este esquema se conoce, precisamente, como enfoque de Carnap o enfoque formal). La idea de esta concepcin es describir las teoras como sistemas axiomticos hillbertianos, regidos por los principios de la lgica elemental, como podemos ver en el cuadro VII.
339

Conforman el explanandum el explanans

ENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

INNOVACIONES DIDCTICAS
De acuerdo con el mismo, un SAH es un conjunto de enunciados cerrado bajo la deduccin, en el cual corresponde a los axiomas. Cuando se expresa en lenguaje corriente decimos que se trata de un sistema informal; ser formal cuando se lo formule en algn lenguaje formalizado, lenguaje cuyo paradigma es el lenguaje matemtico. La concepcin clsica de las teoras dice que stas son SAH formales en las cuales el lenguaje empleado es la lgica elemental. Segn esto, las teoras cientficas deberan poder reconstruirse bajo la forma de un sistema que consta de: a) un sistema formal especfico, del cual el fundamento es la lgica de primer orden; b) un sistema de reglas semnticas para su interpretacin. Por lo tanto, una dada teora podra interpretarse como un sistema dual de clculo, consistente en: a) el clculo lgico; b) un clculo especfico para la teora concreta bajo consideracin. En otras palabras, desde el punto de vista del vocabulario, una teora se compone de: a) un vocabulario lgico; b) un vocabulario descriptivo, expresado en lenguaje cotidiano. Este ltimo, a su vez, consta de trminos tericos, hechos empricos y reglas de correspondencia o principios puente. Los primeros, tambin denominados principios internos, han sido objeto de innumerables controversias, particularmente en lo concerniente a su estatus como objetos reales. En forma muy elemental, podemos caracterizar los principios internos y los principios puente En la literatura epistemolgica, los ejemplos en este sentido son abundantes. Hemos elegido los tres que se muestran en el cuadro IX, tomados de Hempel. Como se ve en el ltimo ejemplo, los principios puente no siempre conectan inobservables tericos con observables experimentales, pues los fenmenos empricos no tienen por qu ser directamente observables o medibles: pueden caracterizarse en trminos de teoras previamente establecidas, y su observacin o medicin puede suponer los principios de esas teoras. Ahora bien, ms all de las consideraciones lgicas, existe alguna necesidad real para la existencia de trminos tericos? La respuesta a esta pregunta es definitivamente afirmativa, pues las teoras se introducen normalmente cuando estudios anteriormente realizados de una cierta clase de fenmenos han revelado un sistema de uniformidades que se pueden expresar en forma de leyes
Reglas de Trminos tericos Hechos empricos correspondencia

en esta forma: Principios internos: Establecen las entidades y procesos bsicos invocados por la teora y las leyes a las que se supone que se ajustan. Principios puente: Indican cmo se relacionan los procesos internos considerados por la teora con fenmenos empricos con los que ya estamos familiarizados. Podramos, entonces, esquematizar el mecanismo explicativo de una teora en el cuadro VIII.
Cuadro VIII De los hechos empricos a los trminos tericos.

Cuadro IX Ejemplos de trminos tericos y principios puente.

Hecho emprico V de difusin de un gas, dada por la ley de Graham Presin de un gas

Trmino terico Velocidad media de las molculas Lo mismo

Principio puente La V de difusin es prop. a la V media de las molculas. La presin es resultado de los choques de las molculas sobre las paredes del recipiente. Teora de Bohr

Lneas espectrales

Electrn, ncleo, etc.

340

ENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

INNOVACIONES DIDCTICAS
empricas: las teoras intentan, entonces, explicar y comprender estas regularidades, recurriendo a principios tericos que subyacen a las mismas. Para ello, la teora interpreta los fenmenos como manifestaciones de entidades y procesos que estn por detrs o por debajo de ellos, entidades gobernadas por medio de leyes o principios tericos caractersticos, por medio de los cuales se explican las regularidades empricas y se predicen otras nuevas.
Cuadro X La MCP como un SAH.

Es decir, la MCP es un conjunto constituido por cuatro enunciados (las tres leyes de Newton ms la ley de gravitacin universal), cerrado para todas las deducciones lgicas que resultan de las mismas. A continuacin, (se escribir en dos formas diferentes: en lenguaje coloquial (sistema informal) y en lenguaje matemtico (sistema formal). Se resaltar el valor de este ltimo en la realizacin de las deducciones lgicas y la conformacin de , redondendose as la presentacin de la MCP como SAHF. Se pedir a los estudiantes que identifiquen los dos tipos de clculo (lgico y especfico) y de vocabulario (lgico y descriptivo), empleados en la formulacin. A continuacin, se trabajar con los diversos trminos del vocabulario descriptivo (centro de masa, energa, momento, etc.). A tal efecto, se propondr a los estudiantes una serie de experiencias para trabajar con el centro de masa de un sistema de partculas. Al respecto, se podr trabajar con la experiencia de la haltera , mencionada por Ingard y Kraushaard8 (1972), o las experiencias citadas en Alonso y Finn9 (1992), siendo aconsejable que cada grupo realice un experimento diferente. Una vez realizadas las prcticas, los alumnos debern identificar los trminos tericos (en general, los conceptos de centro de masa, cantidad de movimiento angular, etc.), los hechos empricos (aquellas magnitudes que fueron efectivamente medidas) y las reglas de correspondencia o principios puente (los teoremas de conservacin) involucrados en cada una. El docente deber resaltar la importancia de haber explicado diversos hechos empricos empleando la misma teora, con la unificacin acerca de la concepcin de la naturaleza que resulta de ello. El corolario de esta actividad debe consistir, entonces, en la construccin de la idea de que las teoras fsicas (en este caso, la MCP), a travs de los trminos tericos y las reglas de correspondencia, permiten la obtencin de una visin unificada de los fenmenos.

La MCP es un conjunto de enunciados y , tales que: a) son los enunciados de las tres leyes de Newton + la ley universal de gravitacin. b) es la clase de todos los enunciados que son consecuencia lgica de , de los cuales son un ejemplo las leyes de conservacin.

Por otra parte, las entidades y procesos bsicos afirmados por una teora, y las leyes que se presume que los gobiernan, se deben especificar con claridad y precisin; de otro modo, la teora no podra cumplir su misin cientfica. Y finalmente, as como son necesarios los trminos tericos, as tambin son necesarios los principios puente: sin ellos una teora no tendra poder explicativo ni podra ser susceptible de contrastacin. En un campo de investigacin en el que se ha alcanzado ya un cierto grado de comprensin mediante el establecimiento de leyes empricas, una teora har esta conexin ms profunda y ms amplia. Ofrece una versin sistemticamente unificada de fenmenos completamente diversos. Asimismo, permite generalmente ver las limitaciones y el campo de aplicacin de las leyes empricas. Finalmente, tambin predice fenmenos que no se conocan cuando la teora fue formulada (Hempel, 1970). Prctica: Se trabajar con la mecnica clsica de partculas (MCP). Aun cuando, probablemente, ya haban sido mencionadas en clases anteriores, el docente volver a presentar con claridad las tres leyes de Newton de la dinmica. Se pedir a los alumnos que, tomando la 2a. ley, realicen las integrales correspondientes, tanto en posicin como en tiempo, a los efectos de deducir las leyes de conservacin. Una vez cumplida esta actividad, se presentar el cuadro completo, con los axiomas ms las leyes deducidas por integracin, caracterizndolo en la forma que se muestra en el cuadro X.

SNTESIS
La exposicin precedente ha apuntado a la construccin de los conceptos elementales vinculados a la estructura lgica de la fsica, a partir de las actividades regulares de un curso bsico de mecnica elemental. Nuestro propsito ha sido unificar tales conceptos con el quehacer normal del trabajo en fsica, a los efectos de combatir la construccin de una epistemologa excathedra, separada de lo que los cientficos (o, en este caso, los estudiantes de ciencia) hacen realmente. Consideramos que an resta agilizar y completar la propuesta, tornndola viable en el sentido de cubrir el curso completo de la materia y no slo la realizacin de algunas experiencias aisladas.

ENSEANZA DE LAS CIENCIAS, 2000, 18 (2)

341

INNOVACIONES DIDCTICAS
NOTAS
1

Nos referimos aqu slo al primer Wittgenstein, sin considerar sus doctrinas ms tardas.
2

En realidad, la relacin exacta entre Kuhn y el positivismo lgico es todava motivo de controversia. La expuesta en este trabajo es la opinin ms difundida, pero, especialmente en lo relativo a la relacin Carnap-Kuhn, existen algunas visiones alternativas. Al respecto, pueden consultarse Reisch (1991) y Irzik y Grnberg (1995).
3

Este concepto, que hemos tomado de Hempel (1970), ha motivado que aquel autor sea calificado como inductivista en el contexto de justificacin.
6

Estrictamente, Hempel plantea estos requisitos para el esquema completo de una explicacin cientfica, el cual es, naturalmente, ms complejo que una simple hiptesis. Sin embargo, nosotros hemos considerado que ambas condiciones son tambin vlidas para cada hiptesis individual.
7

Debemos aclarar que Hempel no perteneci al Crculo de Viena, sino que conform, con Reichenbach y otros, el denominado Grupo de Berln.
4

Al respecto, el autor de este trabajo se encuentra realizando actualmente una encuesta para pulsar estadsticamente los conocimientos epistemolgicos de los docentes de fsica en general y de los fsicos en particular. Los resultados de esta encuesta sern evaluados en un trabajo futuro.

sta es la postura de Hempel. Otros autores, por ejemplo, Flichman y otros (1998), opinan que tambin las hiptesis ad hoc conducen a consecuencias observacionales.
8

Para el experimento de la haltera, ver la pgina 282. Ver la pgina 261, ejemplo 13.4.

REFERENCIAS BIBLIOGRFICAS ALONSO, M. y FINN, E.J. (1992). Fsica. Mxico: AddisonWesley Iberoamericana. CARNAP, R. (1985). Fundamentacin lgica de la fsica. Barcelona: Hyspamrica. FLICHMAN, E., MIGUEL, H., PARUELO, J., PISSINIS, G., ABELEDO, H., CARSOLIO, S., ALDANONDO, M. DE y ONNA, A. (1998). Las races y los frutos, temas de filosofa de la ciencia. Buenos Aires: EUDEBA. GAETA, R., GENTILE, N., LUCERO, S. y ROBLES, N. (1996). Modelos de explicacin cientfica. Buenos Aires: EUDEBA. HEMPEL, C.G. (1970). Filosofa de la ciencia natural . Madrid: Alianza Editorial. INGARD, U. y KRAUSHAARD, W. (1972). Introduccin al estudio de la mecnica, materia y ondas. Buenos Aires: Revert. IRZIK, G. y GRNBERG, T. (1995). Carnap and Kuhn: Arch Enemies or Close Allies? Brit. J. Phil. Sci., 46, pp. 285-307. KLIMOVSKY, G. (1995). Las desventuras del conocimiento cientfico. Buenos Aires: A-Z Editora. KUHN, T.S. (1971). La estructura de las revoluciones cientficas. Mxico: Fondo de Cultura Econmica. POPPER, K. (1973). La lgica de la investigacin cientfica. Madrid: Tecnos. REISCH, G.A. (1991). Did Kuhn do Logical Empiricism? Philosophy of Science, 58, pp. 264-277. WITTGENSTEIN, L. (1989). Tractatus logico-philosophicus, Madrid: Alianza Editorial.

[Artculo recibido en noviembre de 1998 y aceptado en mayo de 1999.]

342

ENSEANZA DE LAS CIENCIAS, 2000, 18 (2)