Filosofa de la Ciencia 5 curso de Filosofa

Profesor: Carlos Muoz Gutirrez

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Filosofa o Epistemologa o Teora o Metodologa (Clsica) de la Ciencia Introduccin De qu sean, de cmo desarrollar, de cundo modificar y de cmo probar las teoras cientficas es una preocupacin que aparece histricamente asociada al quehacer cientfico desde donde coloquemos el nacimiento de la ciencia. Sin embargo, esta preocupacin, que en los griegos se encontraba en gran medida latente, va apareciendo poco a poco en los textos de los cientficos, especialmente cuando las preocupaciones epistemolgicas desplazan de alguna manera la reflexin metafsica en la filosofa. Descartes, autntico creador de la distincin conocimiento / realidad, avanza ya nociones de criterio de conocimiento y delimita un mtodo ms o menos reglamentado para proceder hasta alcanzar la verdad o certeza. A partir de aqu encontramos, ya desde el mbito cientfico -sin olvidar las aportaciones de Bacon y Galileo- una constante preocupacin por los aspectos epistemolgicos de las teoras cientficas. Esta preocupacin va ms all de las convicciones ontolgicas y gnoseolgicas del cientfico al hacer ciencia, para ir ocupando un mbito de conocimiento perfectamente establecido y delimitado a comienzos del siglo XX, siendo hoy una de las principales reas de trabajo de los filsofos y cientficos dentro de la Filosofa. Hoy la epistemologa de la ciencia adquiere normalmente los nombres de filosofa o teora de la ciencia y se ocupa de las cuestiones que conciernen a los aspectos lgico, semntico, metodolgico y epistemolgico de las ciencias empricas.

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Problemas Tradicionales de la Filosofa de la Ciencia

1. Problema de la demarcacin: Qu tipo de conocimientos pueden ser calificados de cientficos? 2. De qu medios se sirve la ciencia para conocer y explicar el mundo? 3. Problema de la eleccin: Existe una justificacin lgica de nuestros conocimientos cientficos? 4. Son tales conocimientos estrictamente verificables, slo confirmables en un determinado grado o simplemente corroborables de modo provisional? 5. Cmo se construye el lenguaje cientfico? 6. Cul es la estructura lgica de las teoras cientficas? 7. Son las teoras cientficas inmunes a potenciales falsadores o son susceptibles de revisin? 8. El Cambio Cientfico: Existe progreso en la ciencia, qu tipos de progreso es apreciable, y cmo funciona la dinmica de las teoras? 9. Progresa la ciencia segn un estricto modelo lgico? 10. Avanza la ciencia hasta "la Verdad" 11. Pueden considerarse a las teoras cientficas resultado de una Razn Universal o deben verse en el contexto social, histrico y econmico en donde se producen? 12. Cmo se descubren las verdades y cmo se justifican las teoras?

Punto de Partida
La filosofa de la Ciencia como un mbito doctrinal e institucional comienza a desarrollarse al lado, pero al margen de la actividad de los cientficos, a comienzos del siglo XX. En ese momento encontramos tres tendencias tradicionales en Filosofa: Materialismo Mecanicista Neokantismo Neopositivismo

Filosofa de la Ciencia

Carlos Muoz Gutirrez

A la vez nuevas teora Fsicas: Relatividad Mecnica Cuntica

Rompen con las teoras, y sus filosofas, tradicionales. Se ve una necesidad de generar una nueva filosofa de la ciencia capaz de imponer criterios normativos para reconducir el panorama cientfico tan agitado del momento. Aparecen los programas logicistas y los trabajos de fundamentacin de la matemtica de Frege, Cantor, Russell, etc, que estimulan a ofrecer desde formalismos fundamentos tambin a las ciencias empricas. De todo esto encontramos dos grupos bajo una misma tendencia, El Positivismo Lgico , que intentan ofrecer una nueva filosofa para la nueva fsica: La Escuela de Reichenbach en Berln El Crculo de Viena de Moritz Schlick

Estas escuelas concretarn en este tiempo una teora de la estructura de las teoras cientficas que gira alrededor del Principio de Verificabilidad (ya adelantado por E. Mach): Los enunciados deben ser verificables empricamente. Este principio se convierte a la vez en un criterio de significacin para los conceptos tericos. El Resultado de este trabajo se denomina, siguiendo a Putnam, La Concepcin Heredada.

Filosofa de la Ciencia

Carlos Muoz Gutirrez

El Positivismo Lgico I Surge contra los excesos metafsicos de Hegel y los neohegelianos (MacTaggar, Bradley, etc.), que intentaron explicar la realidad en trminos de entidades metafsicas abstractas que no admitan especificacin emprica. Sin embargo el propsito principal fue tratar de resolver problemas fundamentales de naturaleza filosfica inherentes a la ciencia. Es un movimiento alemn que se produce dentro de las peculiares caractersticas de la Universidad alemana, que se organizaba alrededor de la figura del catedrtico que centralizaba y diriga los departamentos de forma dictatorial. Entre 1850 y 1880 la ciencia alemana estuvo dominada por el materialismo mecanicista. Segn Ludwig Bchner, el principal portavoz: "La ciencia... establece gradualmente el hecho de que la existencia macrocsmica y microcsmica obedece en su origen, vida y decadencia, a las leyes mecnicas inherentes a las cosas mismas, descartando todo tipo de sobrenaturalismo e idealismo en la exploracin de los sucesos naturales. No hay fuerza sin materia, ni materia sin fuerza." (Bchner, 1855, Kraft und Stoff) Segn el Materialismo Mecanicista: La Ciencia puede dar una explicacin del mundo con la sola investigacin emprica pues: La materia es primaria. Existe un mundo real independiente del sujeto que lo percibe. La ciencia descubre los mecanismos del mundo objetivo y formula leyes mecanicistas que rigen la vida y el mundo. La observacin del mundo es inmediata, no hay a priori o mediacin conceptual en la obtencin del conocimiento observacional. La observacin es suficiente para alcanzar un conocimiento de la naturaleza mecanicista del mundo.

Filosofa de la Ciencia

Carlos Muoz Gutirrez

El Positivismo Lgico II

Hacia 1870 el materialismo mecanicista comienza a recibir crticas a raz de las investigaciones en fisiologa y psicologa. Helmholtz: Una filosofa adecuada debe prever la actividad del sujeto pensante en el desarrollo del conocimiento cientfico. La mediacin de los sentidos en la aprehensin del mundo resulta incompatible con el materialismo mecanicista.

El Materialismo mecanicista va a ir cediendo el paso a la filosofa neokantiana desarrollada por Helmholtz, Hermann Cohen y su escuela de Marburgo y por E. Cassirer. Segn Cohen: La Ciencia debe descubrir las formas generales o estructuras de las sensaciones. El conocimiento del "mundo externo" se contempla como una red de relaciones lgicas que no son dadas, sino ejemplificadas en la experiencia sensorial. Estas estructuras o relaciones son estructuras de fenmenos, no de las cosas-en-s. La Ciencia, pues, debe descubrir la estructura de los fenmenos. En 1900, la filosofa neokantiana domina ya en la comunidad cientfica alemana. Otra reaccin contra el materialismo mecanicista fue la representada por el Neopositivismo de Ernst Mach. Segn Mach: La ciencia no es ms que una reflexin conceptual acerca de hechos, cuyos elementos son contenidos de conciencia que se nos dan por la sensacin. Los enunciados cientficos deben ser verificables empricamente, es decir, todo enunciado terico que aparezca en una teora cientfica debe ser capaz de ser reducido a enunciados acerca de sensaciones.
6

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Mach (1886) intenta -con poco xito- desarrollar esta idea en un anlisis que interprete los principios de la ciencia con descripciones abreviadas de sensaciones. Pero las descripciones abreviadas de sensaciones no pueden reducir las relaciones matemticas contenidas en los principios cientficos.

Clifford (1885), Pearson (1892) y Hertz (1894) o Poincar y Duhem (1902) intentaron remediar este problema aceptando elementos apriorsticos como elementos conceptuales sin ningn contenido fctico.

En 1905, Einstein publica la teora especial de la relatividad y ms adelante surgira la mecnica cuntica. Estas teoras, desarrolladas deductivamente con un aparato matemtico y sin apenas base experimental, parecan no encajar en las filosofas de la ciencia al uso en el momento.

Mecanicistas y neokantianos se opusieron con fuerza a las nuevas teoras fsicas, slo el positivismo de Mach simpatizaba con ellas, pero entonces haba que abandonar tesis significativas del neopositivismo.

Conclusin: Con la aceptacin de la nueva fsica se produjo una crisis filosfica. La nueva fsica era incompatible con las nociones de sentido comn sobre las que se asentaban las filosofas de la ciencia del momento: Cul es la naturaleza de la empresa cientfica? Qu nueva filosofa de la ciencia haba que adoptar? Dos intentos: Cassirer (1910): Modificar el neokantismo. Adoptar una versin debilitada del neopositivismo de Mach.

Filosofa de la Ciencia

Carlos Muoz Gutirrez

El Convencionalismo de H. Poincar como elemento mediador Para Poincar las leyes cientficas, a menudo, no son ms que convenciones acerca de hechos cientficos. Esta observacin abri el camino ala introduccin de las matemticas. Segn Mach: el objeto de una teora cientfica es la regularidad fenomnica. Esta regularidad se caracteriza mediante trminos tericos. Poincar: Estos trminos tericos no son otra cosa que meras convenciones usadas para referirse a los fenmenos, en el sentido de que cualquier afirmacin que haga uso de ellos, puede hacerse tambin en un lenguaje fenomnico. Dicho de otro modo: Los trminos tericos deben ser definidos explcitamente en trminos de fenmenos (o lenguaje fenomnico) y no son ms que abreviaciones de tales descripciones fenomnicas. Ejemplo: 'Masa' puede ser definido en trminos de una cantidad numrica obtenida de un proceso de medicin. Esto va a constituir el elemento clave de la Concepcin Heredada. Estas ideas (Mach + Poincar) sern elaboradas por: La Escuela de Reinchenbach en Berln. El Crculo de Viena.

Finalmente:

Filosofa de la Ciencia

Carlos Muoz Gutirrez

El Papel de la Lgica y la Fundamentacin Matemtica Entre finales del siglo XIX e inicios del XX, se realizan por parte de Frege, Cantor, Russell y otros un importante trabajo de fundamentacin de la matemtica usando la lgica formal. Los Principia Mathematica de Russell y Whitehead (1910-13) fueron n desarrollo coherente de la lgica matemtica que tambin axiomatizaba gran parte de la matemtica. Esto se adopt como un testimonio convincente de que toda la matemtica puede expresarse en trminos de lgica. Si la lgica es la esencia de la matemtica, entonces los enunciados matemticos de las leyes cientficas y tambin las definiciones de trminos tericos podran ofrecerse en trminos lgico-matemticos. Sobre esto, el Crculo de Viena procedi a modificar sus sntesis de las ideas de Mach y Poincar.

El Resultado: La Versin Inicial de la Concepcin Heredada La Concepcin Heredada se propuso como una norma respecto a lo que deba ser una teora cientfica y de cmo deba establecerse y verificarse.

Filosofa de la Ciencia

Carlos Muoz Gutirrez

La Versin Inicial de la Concepcin Heredada

(1)

Una teora cientfica debe de ser axiomatizada segn la lgica matemtica (clculo de predicados de primer orden ms identidad). Los trminos de la axiomatizacin lgica deben dividirse en tres clases: (a) (b) (c) Trminos lgicos y matemticos, Trminos tericos, Trminos observacionales a los que se da una interpretacin fenomnica u observacional.

(2)

(3)

Los axiomas de la teora son formulaciones de leyes cientficas y especifican relaciones mantenidas entre los trminos tericos. Los trminos tericos son meramente abreviaturas de descripciones fenomnicas (es decir, descripciones que usan nicamente trminos observacionales).

(4)

(5)

Por tanto, las axiomatizaciones deben incluir varias definiciones explcitas de los trminos tericos de la forma: Tx Ox

donde T es un trmino terico, O un trmino observacional. Tales definiciones explcitas se llaman reglas de correspondencia porque coordinan trminos tericos con las combinaciones correspondientes de trminos observacionales. Los trminos observacionales se supone que se refieren a fenmenos especficos o a propiedades fenomnicas, y la nica interpretacin dada de los trminos tericos es su definicin explcita por medio de reglas de correspondencia. La primera versin publicada de la Concepcin Heredada parece ser la de Carnap (1923).

10

Filosofa de la Ciencia

Carlos Muoz Gutirrez

El Crculo de Viena
Se Constituye en 1922 en torno a la ctedra de Filosofa de las ciencias inductivas que ocupaba Moritz Schlick. En 1929, tras la publicacin del primer manifiesto terico (Carnap Neurath y Hahn) adquiro consistencia y se le reconoci como escuela filosfica. Tendencia: Positivismo Lgico. Miembros: K. Menger, Hans Hahn, P. Frank o K. Gdel, Schlick, Carnap, Neurath, Feigl, Kraft, Waismann Hitos: 1923. Der logische Aufbau der Welt de Carnap 1926. se crea la Sociedad Ernst Mach. 1929. Primer manifiesto, La Sociedad pasa a denominarse Crculo de Viena y con ellos confluyen la escuela de Berln de Reichenbach, von Misses y Hempel 1930. Aparece la revista Erkenntnis, dirigida por Carnap y Reichenbach El ascenso del nazismo disperso al grupo, pero produjo una concentracin de ellos en Estados Unidos en donde seguirn trabajando y en donde consolidarn la filosofa americana del siglo XX. Neurath, en La Haya, continu la tarea de Erkenntnis con el ttulo de The Journal of Unified Sciencie. Carnap, en EEUU, edita la International Enciclopedy for the Unified Sciencie.

11

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Propsitos y Presupuestos Tericos del Crculo de Viena

(1)

La Unificacin de las Ciencias.

El programa positivista de Comte deba ser culminado, y tomando como modelo las matemticas (la lgica) y la fsica, haba que convertir en ciencias positivas todas las dems, biologa, psicologa, sociologa, etc.

En la Convocatoria de la Preconferencia de Praga de 1934, que tena como objetivo preparar el primer Congreso Internacional sobre Ciencia Unificada, se sealaba: "Hay que tratar sobre los fundamentos lgicos de todos los mbitos cientficos, y no slo de la matemtica y de la fsica" (Erkenntnis 5 (1935), p.1)

Se convocaba a cientficos de diversas disciplinas a reflexionar sobre la unidad de la ciencia y de cmo lograrla. mbitos de trabajo del Congreso fueron: Problemas lgico-sintcticos. Problemas con la induccin y la probabilidad La aplicacin y generalizacin de la lgica La Sociologa Cientfica. La Historia de la Ciencia.

(2)

Doctrina General de la Significacin Cognitiva

La Concepcin heredada proporcionaba un medio para evitar las entidades metafsicas. Como las entidades metafsicas no son entidades fenomnicas o de observacin, los trminos usados tendrn que ser tericos. Como slo se aceptan trminos tericos a los que se pueda dotar de reglas de correspondencia, aquellas entidades metafsicas que no pasen este proceso de traduccin no pueden ser utilizadas en teoras cientficas.
12

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Influido por las doctrinas de Wittgenstein acerca del lenguaje lgicamente perfecto: Por qu no extender estos resultados a todo tipo de discurso?

De esta manera, la Concepcin Heredada se convirti en una doctrina general de la significacin cognitiva: El nico discurso significativo era el que empleara: Cuestiones de hecho Trminos de lenguaje fenomnico. Trminos que fueran abreviaturas de expresiones del lenguaje fenomnico. Todo lo dems era un sinsentido metafsico.

Esta doctrina se resumi: "El significado de un trmino estriba en su mtodo de verificacin".

As, la doctrina de la significacin emprica se convirti en un criterio de verificacin de las aserciones en funcin de los trminos usados en ellas.

(3)

La teora verificacionista del significado.

Las teoras del Tractatus de Wittgenstein ofrecan una dimensin teraputica de la filosofa que asumi el Crculo de Viena: El lenguaje ordinario no se usaba de acuerdo con la teora verificacionista y en consecuencia muchos usos carecan de significacin cognitiva y encubran entidades metafsicas que haba que desenmascarar. Como medio para evitar malentendidos lingsticos se intent desarrollar un lenguaje lgicamente perfecto.

Todo discurso cognitivamente significativo acerca del mundo debe ser empricamente verificable, es decir, reducible a aserciones en el lenguaje observacional acerca de fenmenos.

13

Filosofa de la Ciencia

Carlos Muoz Gutirrez

(4)

El Fisicalismo.

Al extender la Concepcin Heredada al lenguaje en general, todas las aserciones fcticas sern reducibles a aserciones en un lenguaje protocolario acerca de la experiencia fenomnica.

El problema de la verificacin se reduce a cmo deben ser verificadas las aserciones del lenguaje observacional y del lenguaje protocolario. Hay dos casos: La verificacin de oraciones particulares. La verificacin de generalizaciones acerca de la experiencia. Esto terminar exigiendo un desarrollo de una lgica inductiva .

En la verificacin de oraciones particulares hubo una primera aproximacin fenomenalista. El lenguaje observacional o protocolario sera un lenguaje de datos sensoriales que proporcionara una caracterizacin fenomenalista de la experiencia.

La otra propuesta fue emplear un lenguaje fisicalista. El lenguaje fisicalista es un lenguaje-objeto que slo habla de cosas materiales a las que se les adscriben propiedades observables. De esta manera, el lenguaje fisicalista es intersubjetivo y no habr problemas al determinar la verdad de las oraciones. No hay ms que observar y ver si las cosas tienen la propiedad pretendida, si la tienen la oracin resulta verificada, si no, falsada. Triunfara esta aproximacin, de suerte que la Concepcin Heredada incorpora el fisicalismo como doctrina del conocimiento perceptual.

14

Filosofa de la Ciencia

Carlos Muoz Gutirrez

(5)

La Induccin como mtodo de la Ciencia Emprica.

La Concepcin Heredada empez a verse en una dimensin histrica, presentndose como un anlisis del proceso por el cual los seres humanos adquieren el lenguaje: Se adquiere un vocabulario observacional, aprendido por definicin ostensiva El vocabulario no observacional se introduce por definicin.

Igualmente, la Concepcin Heredada se interpreta como la manera en que la ciencia se desarrolla La Ciencia consta de generalizaciones empricas, formuladas empleando trminos observacionales. Conforme avanza, se introducen trminos tericos por definicin y las leyes tericas o generalizaciones se formulan en funcin de estos trminos.

Es decir, la Ciencia procede "hacia arriba" desde hechos particulares a generalizaciones tericas acerca de los fenmenos siguiendo un proceso inductivo.

Carnap (1950) y (1952) y Reichenbach (1938) intentaron desarrollar una lgica inductiva.

Referencias
A. J. Ayer (1959), El Positivismo Lgico. F.C.E., Mxico, 1965. V. Kraft. El Crculo de Viena. Taurus, Madrid, 1966. J. R. Weinberg. Examen del positivismo lgico. Aguilar, Madrid, 1959. Rivadulla. Filosofa Actual de la Ciencia. Editora Nacional, 1984. Reimpreso en Tecnos. F. Suppe. La estructura de las teora cientficas. Editora Nacional, 1979. Reimpreso en ?

15

Filosofa de la Ciencia

Carlos Muoz Gutirrez

El Desarrollo de la Concepcin Heredada

La versin Inicial de la Concepcin Heredada termin siendo, incluso para el Crculo de Viena, demasiado ingenua. Conforme se desarrolla el trabajo de investigacin y depuracin de la versin inicial se detectan problemas y dificultad que harn modificar los trminos del planteamiento inicial en varios sentido. a) Reglas de Correspondencia y Significacin Cognitiva Las reglas de Correspondencia tienen tres funciones: a) Definen trminos tericos. b) Garantizan el significado cognitivo de los trminos tericos. c) Especifican los procedimientos experimentales admisibles para aplicar una teora a los fenmenos. La modificaciones ms significativas realizadas fueron respecto a las formas aceptables de reglas de correspondencia. Pero, como se ve, estos cambios supusieron a la vez cambios en el criterio de significado cognitivo y en los cnones de la metodologa experimental. Razones de los cambios:

Carnap (en Testability and Meaning, 1936-37, Philosophy of Science, 3 y 4)

advierte que los trminos disposicionales no admiten definiciones explcitas en trminos observacionales y, sin embargo, son cognitivamente significativos. (Ej.: Frgil) (1) P.W. Bridgman propuso que la definicin de las reglas se diera en operacionalmente. "El concepto es sinnimo de la serie de operaciones correspondientes" (Ej.: Longitud). Esta sugerencia encontrara los mismos problemas que los trminos disposicionales, pues las definiciones operacionales son claramente disposicionales, ya que se expresarn en trminos de lo que resultara de llevar a cabo las operaciones en cuestin. (Hempel, 1954, "A logical Apprasial of Operationalism, Scientific Monthly, 79). Incluso esta aproximacin
16

Filosofa de la Ciencia

Carlos Muoz Gutirrez

tiene ms problemas que los que comparte con las definiciones explcitas: A menudo, hay ms de un procedimiento experimental usado para determinar un concepto. Pero si los conceptos se identifican con una nica combinacin de operaciones, cada diferente procedimiento experimental definira un concepto diferente. Luego la definicin operacional no es adecuada como anlisis del significado, (ni de la significacin cognitiva), de los trminos tericos.

Esto nos permite generalizar el problema de la definicin explcita u

operacional de las reglas de correspondencia: (1) Los trminos tericos disposicionales no son explcitamente definibles si la teora ha de axiomatizarse en un clculo de predicados de 1er orden con identidad. (2) Los procedimientos experimentales alternativos posibles para medir la misma propiedad terica hacen que sea poco razonable identificarla con el procedimiento

Soluciones:
(1) Para el problema de los trminos disposicionales se podra haber utilizado una lgica modal para la axiomatizacin de la teora, pero en aquellas fechas no explcitamente. (2) Para el segundo problema, las reglas de correspondencia slo necesitan proporcionar las condiciones observacionales suficientes para la aplicabilidad de los trminos tericos. haba ninguna disponible. Se concedi, finalmente, que las disposiciones no tuvieran que ser definidas

Carnap (1936-37) integra estas reflexiones y agrega el requisito:

(1) Las reglas de correspondencia han de ser enunciados de reduccin que "definan parcialmente" los trminos tericos. Un enunciado de reduccin para un trmino terico Q3 es un enunciado universal de la forma: Q1 (Q2 Q3). Como x ( Q1x) no es vlido, entonces: (2) Las reglas de correspondencia deben ser enunciados de reduccin bilateral tales que 'Q3' sea un trmino del vocabulario terico, Vt, y

17

Filosofa de la Ciencia

Carlos Muoz Gutirrez

'Q1' y 'Q2' sean trminos del Vocabulario observacional, Vo o combinaciones lgicas de tales trminos. Hacia 1936, el punto (5) de la Concepcin inicial se remplaz por (5') (5') Ha de darse a cada uno de los trminos de Vt una interpretacin parcial en trminos de Vo mediante enunciados de reduccin. La modificacin de (5) en trminos de (5') supuso tambin un cambio en el criterio de significacin cognitiva: Todo trmino con significado emprico debe ser susceptible de ser introducido, sobre la base de los trminos de observacin, mediante cadenas de enunciados de reduccin verdaderos. Estos enunciados de reduccin se pensaban que eran enunciados analticos. Hempel (1952, Fundamentals of Concept Formation in Empirical Science, University of Chicago Press) Observa que la mayora de los trminos tericos no se introducen mediante cadenas de enunciados de reduccin basadas en observables, es ms, no se introducen mediante ningn proceso analtico consistente en asignarles significado individualmente. Ms bien se establece un sistema terico formulado en sus propios trminos y dando a este sistema una interpretacin experimental, que es lo que confiere significado emprico a las construcciones tericas. A raz de esta crtica se debilit an ms (5) reemplazando (5') por (5'') (5'') Las reglas de correspondencia C constituyen un sistema

interpretativo que satisface las siguientes condiciones: a) El Conjunto C de reglas debe ser finito. b) El conjunto de reglas C debe ser lgicamente compatible con los postulados tericos (axiomas) de la teora c) C no contienen trminos no lgicos que no pertenezcan ni a Vo ni a Vt. d) Cada regla C debe contener significativamente al menos un trmino de Vo y al menos otro de Vt. e) Las reglas de C deben ser tales que TC (leyes tericas + reglas de correspondencia) sea cognitivamente significativa.
18

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Lo que esconde (5'') es que la teora como unidad tienen consecuencias observables que la hacen comprobable, pero estas consecuencias no definen trmino terico alguno, son slo manifestaciones empricas de entidades tericas relacionadas segn expresan las leyes.

Problema: Cmo especificar el punto e) de (5'')? Diversos intentos de lograr un criterio de significacin cognitivo de las teoras no lograron ningn xito. Y el resultado fue suprimir la condicin e) de la formulacin de (5'') Esto supuso importante consecuencias que debilitaban los propsitos iniciales del Crculo de Viena: Abandono de la distincin analtico-sinttica No mantener que las reglas de Correspondencia sean verdades analticas Finalmente: Las Reglas de correspondencia pueden concebirse como la suma total de los procedimientos experimentales admisibles para aplicar la teora a los fenmenos observables. Las Reglas de Correspondencia en conjuncin con los postulados tericos, interpretan parcialmente los trminos de Vt especificando su contenido observacional. Los trminos de Vt no reciben otra interpretacin observacional, aparte de la dada por TC

19

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Ejemplo: Reglas de Correspondencia y trminos disposicionales: Frgil: Un objeto x es frgil sii, dado un instante t del tiempo, si x recibe un golpe seco en t, entonces x se romper en t. Fx (t) (Sxt Bxt) donde 'F' es "frgil", 'S' es "recibe un golpe seco" y 'B' es "se rompe". Problema: (Sxt Bxt) ser cierto de cualquier objeto que nunca sea golpeado. Es decir, todo objeto que nunca sea golpeado ser frgil, pero eso no es cierto. Reglas de correspondencia como enunciados de reduccin bilateral (x) (t) (Sxt (Bxt Fx)) Si un objeto es golpeado en t entonces, sii se rompe en t, es frgil. Esto elimina el problema de la definicin explcita pero slo dota de una definicin parcial al trmino disposicional o terico. Porque tambin valdran: (x) (t) (Txt (Bxt Fx)) (x) (t) (Pxt (Bxt Fx)) donde T: "se le hace girar bruscamente" y P: "se le somete a sonidos de alta frecuencia"

20

Filosofa de la Ciencia

Carlos Muoz Gutirrez

b) Interpretacin de las Teoras: El papel de lo trminos tericos El debilitamiento producido en los requisitos de las reglas de correspondencia culmina con el siguiente esquema de lo que es una teora cientfica: Una teora Cientfica TC es un sistema axiomatizado donde T son los postulados tericos o leyes bsicas de la teora formulada en un lenguaje terico, Lt, y C son las reglas de correspondencia que especifican aplicaciones admisibles de T a los fenmenos observables. Este esquema: Iguala Explicacin con Prediccin. (ley de Cobertura) Una TC sirve para establecer regularidades de carcter legal entre fenmenos observables, que seran las predicciones de TC, lo que ocurre al permitir la deduccin de un determinado nmero de afirmaciones Vo de la forma: O1 O2 ...On O' donde O1, O2,..., On pertenecen a Vo . Sea To la clase de todos los enunciados de observacin que son consecuencia vlidas de TC. Para que TC sea empricamente verdadera es necesario que todos los enunciados de To se correspondan verdaderamente con el mundo. Pero adems la verdad de TC depende del status emprico atribuido a T y por lo tanto a los trminos de Vt.

21

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Cmo interpretar a los trminos de Vt? a) Interpretacin realista de las teoras: Los trminos de Vt se refieren a entidades fsicas o a sus atributos reales, pero no observables. En este caso la verdad de los enunciados de To es una condicin necesaria, pero no suficiente para que Tc sea empricamente verdadera. Adems, las leyes de T deben ser generalizaciones empricamente verdaderas sobre el comportamiento de las entidades no observable a las que se refieren los trminos de Vt. Esta interpretacin contiene un problema: Cmo dar cuenta de las entidades y los significados a las que se refieren los trminos de Vt? Las reglas de correspondencia vienen a solucionar este problema. Pero las reglas de correspondencia aportan slo una interpretacin parcial de los trminos. De dnde procede el resto del significado de los trminos de Vt? Como el significado de los trminos tericos no es slo observacional, un TC no puede especificarlo por completo, necesitaramos un metalenguaje ms rico. b) Interpretacin Instrumentalista de las teoras: Los trminos de Vt no se refieren a entidad real alguna. Entonces, los enunciados en los que aparecen trminos de Vt no sern ni verdaderos ni falsos y, por lo tanto, TC tampoco ser empricamente ni verdadera ni falsa. TC es un conjunto de reglas para hacer predicciones observables. En este caso el problema consiste en saber si TC es adecuada, en el sentido de que To contiene todos y slo aquellos enunciados Vo que son empricamente verdaderos. Esta interpretacin contiene un problema: Por qu son necesarios los trminos tericos? por qu no especificar To directamente sin recurrir a TC? Por que la Ciencia sigue usando teoras cientficas? Hempel formula estas preocupaciones en su conocido dilema del terico.

22

Filosofa de la Ciencia

Carlos Muoz Gutirrez

El Dilema del Terico: Si los trminos y principios de una teora sirven para su propsito, son innecesarios, y si no sirven para su propsito, entonces, sin duda, son innecesarios. Dada una teora, sus trminos y principios sirven para su propsito o no. Luego los trminos y principios de cualquier teora son innecesarios. El dilema ser vlido si efectivamente podemos definir To sin recurrir a TC. Diversas estrategias no han tenido xito en probar esta posibilidad o al menos manteniendo la economa sistemtica y la fertilidad heurstica que una teora conviene que tenga. Por tanto el dilema es un pseudo-dilema.

c) La Lgica del Condicional La clausula (1) de la Concepcin Heredada requiere que las leyes deductivas de una teora cientfica se axiomaticen en una lgica de 1er orden con identidad. Como esta lgica es extensional, las leyes cientficas tambin habrn de ser extensionales. Pero: Las dificultades para definir disposicionales en el modo indicativo El hecho de que las leyes cientficas contienen disposicionales, Las dificultades para caracterizar las leyes cientficas extensionalmente. pusieron en tela de juicio este requisito. Pareca necesario una modificacin de (1)

Las leyes cientficas no slo describen lo que ha ocurrido o lo que ocurrir,

sino tambin lo que ocurrira bajo ciertas circunstancias. Emplean condicionales contrafcticos o condicionales subjuntivos.

La implicacin material de la lgica clsica hace verdadero a la vez a las

siguientes proposiciones: (1) Si se cayera este cristal frgil, se rompera. (2) Si este cristal frgil se cayera, no se rompera. Si el cristal no se cae, (1) es verdadero, pero (2) sera falso. El hecho de que podamos especificar los disposicionales mediante enunciados de reduccin y de que stos slo emplean mtodos
23

Filosofa de la Ciencia

Carlos Muoz Gutirrez

extensionales significa que los contrafctico se pueden especificar en trminos del implicador material. Pero Chisholm (The Contrary to Fact Conditional, Mind, 55, 1946) demostr que los enunciados de reduccin no sirven para especificar el condicional contrafctico. Un enunciado de reduccin Q1 (Q2 Q3) del termino disposicional Q3 slo especifica una condicin suficiente para ser Q3 , y si estas condiciones suficientes no se satisfacen, no especifica qu es ser Q3 . Habr una "regin de indeterminacin" en la que el trmino Q3 no tendr significado. Este hecho, y la opcin por los enunciados de reduccin, hecha precisamente porque incorpora modalidades causales, sugieren que el condicional contrafctico es una relacin causal, y sera sta la caracterstica de las leyes cientficas. N. Goodman (The problem of Counterfactual Conditionals, Journal of Philosophy, 44, 1947) Investiga la idea de que los contrafcticos pueden especificarse en trminos de leyes cientficas. En el contrafctico existe una conexin entre el antecedente y el consecuente, pero la sola lgica no basta para agotar la conexin. Implcitas quedan unas condiciones relevantes ("Ceteris Paribus") . Pero incluyndolas, el consecuente tampoco se seguira por la mera lgica, slo en virtud de una ley natural que establece la conexin entre las condiciones y el efecto, el condicional adquiere sentido. Goodman va a intentar proporcionar una explicacin extensional del contrafctico imponiendo restricciones a la conjuncin de las condiciones relevantes y del antecedente del contrafctico. Un contrafctico tiene la forma A S C donde A es el antecedente, S las condiciones relevantes y C el consecuente y entre A y S deben darse unas condiciones que a la postre van a resultar contrafcticas, lo que no slleva a una regresin al infinito. Luego, slo en trminos de leyes naturales que sancionen la inferencia de 'A S' a 'C', podremos especificar a los contrafcticos.

24

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Goodman intenta, entonces, especificar la forma general de las leyes naturales. Un contrafctico es verdadero sii hay una ley cientfica verdadera que lo avale. Ejemplo: "Toda cerilla que se rasque, bien hecha, lo suficientemente seca, con oxgeno suficiente, etc, se enciende". Avala al contrafctico: Si rasco esta cerrilla se encender. Sin embargo: "Todo lo que llevo en el bolsillo es oro" no sanciona el contrafctico: "Si P hubiera estado en el bolsillo sera oro". Luego: Una ley cientfica debe ser una generalizacin emprica legaliforme, que es la que permite hacer predicciones. Pero: Por qu pueden predecir? pueden predecir si son susceptibles de confirmacin inductiva, en donde la confirmacin depende de la determinacin de un caso no particular de la generalizacin.

Conclusin: Cualquier intento de especificar contrafcticos debe suponer o la nocin de dependencia recproca o la nocin de generalizacin legaliforme. Pero la primera nocin no puede especificarse sin caer en una regresin al infinito, y la segunda requiere desarrollos de la teora de la confirmacin que no se han logrado an.

Conclusin Final: Las nociones de ley cientfica y de condicional contrafctico son fundamentalmente no extensionales, y pueden especificarse slo usando lgicas no extensionales. Como adems estas nociones son fundamentalmente causales requieren una lgica modal causal.

En 1956, Carnap, cambia la clusula (1) de la versin inicial por la siguiente: (1') La teora se formula en una lgica matemtica de 1er orden con identidad, L, a la que se pueden aadir operadores modales.

25

Filosofa de la Ciencia

Carlos Muoz Gutirrez

d) La Distincin Terico-Observacional La clusula (4) de la versin inicial estipula que los trminos del vocabulario observacional Vo se interpretan como referidos a objetos fsicos, o a atributos de stos, directamente observables. Cuando el Crculo de Viena opt mayoritariamente por una interpretacin fisicalista de los trminos de Vo, se dedic una atencin muy pequea al desarrollo posterior o especificacin de la nocin de ser directamente observable. Carnap (1936-37) ofreci una especificacin notable de lo directamente observable que recibi un sorprendente consenso y aceptacin. En esta especificacin Carnap advierte un continuo de grados observables (directamente observable por los sentidos, a travs de aparatos de medicin, de distinta complejidad...). Aunque no fuera cuestionada esta distincin (aunque s matizada en la versin final de la Concepcin Heredada) esconda una serie de presuposiciones que fueron sometidas posteriormente a duras crticas y que llevaron al positivismo lgico a la quiebra. Estas presuposiciones pueden resumirse en: (1) La clusula (4) afirma implcitamente la existencia de dos dicotomas. Una se refiere a los objetos y sus atributos y otra a los trminos del lenguaje cientfico. Estas dicotomas son coextensivas. El que se pueda realizar estas dicotomas parece una afirmacin emprica de la que el Crculo de Viena no dio ningn apoyo o evidencia. (2) La clusula (4) contiene afirmaciones implcitas sobre el conocimiento perceptivo que producen que, ante afirmaciones observacionales, existe un consenso intersubjetivo no problemtico. Dicho de otro modo, Toda afirmacin que contenga exclusivamente trminos de Vo como nicos trminos no lgicos son cientficas y tericamente neutrales. Si recopilamos las modificaciones que se han mostrado obtenemos la Versin Final de la Concepcin Heredada, que en su formulacin cannica es la siguiente:

26

Filosofa de la Ciencia

Carlos Muoz Gutirrez

Versin Final de la Concepcin Heredada

(1) Existe un lenguaje de primer orden, L (susceptible de ampliacin con operadores modales) en trminos del cual se formula la teora, y un clculo lgico K, definido en trminos de L. (2) Las constantes primitivas, no lgicas o descriptivas (esto es, los Vo, que contiene slo los trminos de observacin; Vt, que contiene los trminos no-observacionales o tericos; Vo debe contener al menos una constante individual. (3) El lenguaje L se divide en los siguientes sublenguajes, y el calculo K se divide en los siguientes subclculos: a) El lenguaje de observacin, Lo, es un sublenguaje de L que no contiene cuantificadores ni operadores modales, y contiene trminos de Vo, pero ninguno de Vt. El clculo asociado Ko es la restriccin de K a Lo y debe ser tal que todo trmino no-Vo (esto es, no primitivo) de Lo est explcitamente definido en Ko; adems de esto, Ko debe admitir al menos un modelo finito. b) El lenguaje de observacin ampliado lgicamente, Lo', no contiene trminos Vt y puede considerarse que est formado a partir de Lo, aadindole los cuantificadores, operadores, etc., de L. Su clculo asociado Ko es la restriccin de K a Lo. c) El lenguaje terico, Lt, es el sublenguaje de L que no contiene trminos Vo; su clculo asociado Kt, es la restriccin de K a Lt. Estos sublenguajes juntos no agotan a L, porque L tambin contiene enunciados mixtos esto es, aquellos en los que al menos aparece un trmino Vt y otro Vo. Adems se supone que cada uno de los sublenguajes anteriores tiene su propio stock de predicados y/o de variables funcionales y que Lo y Lo tienen el mismo stock, el cual es distinto del de Lt.

trminos) de L, se dividen en dos clases disjuntas:

27

Filosofa de la Ciencia

Carlos Muoz Gutirrez

(4) Lo y sus clculos asociados reciben una interpretacin semntica que satisface las siguientes condiciones: a) El dominio de interpretacin consta de acontecimientos, cosas, o momentos concretos y observables; las relaciones y propiedades de la interpretacin deben ser directamente observables. b) El valor de cada variable de Lo debe designarse mediante una expresin de Lo. De aqu se sigue que cualquiera de estas interpretaciones de Lo y Ko, ampliada mediante apropiadas reglas adicionales de verdad, se convertir en una interpretacin de Lo y Ko. Se pueden concebir las interpretaciones de Lo y Ko como interpretaciones semnticas parciales de L y K, y se requiere adems que no se d ninguna interpretacin semntica observacional de L y K distinta de las dadas por tales interpretaciones. (5) Una interpretacin parcial de los trminos tericos y de los enunciados de L que los contienen se consigue mediante las dos clases de postulados siguientes: los postulados tericos T (esto es, los axiomas de la teora) en que slo aparecen los trminos de Vt, y las reglas de correspondencia o postulados C, que son enunciados mixtos. Las reglas de correspondencia C deben satisfacer las siguientes condiciones: a) El conjunto de reglas C debe ser finito. b) C debe ser lgicamente compatible con T. c) C no contiene trminos extralgicos que no pertenezcan a Vo o Vt. d) Cada regla de C debe contener, esencial o no vacuamente, al menos un trmino Vo y al menos otro Vt. Sea T la suma de los postulados tericos y C la de las reglas de correspondencia. Entonces la teora cientfica, basada en L, T y C, consiste en la suma de T y C y es designada por TC.

28