Filosofa de la Ciencia

Licenciatura de Filosofa Universidad Complutense de Madrid

Curso 2011/2012

Iaki San Pedro

Departamento de Lgica y Filosofa de la Ciencia Universidad Complutense de Madrid inaki.sanpedro@los.ucm.es

ndice de contenidos
Tema 1. Races de la Metodologa Cientca Racionalidad cientca en el Crculo de Viena . . . . . . . . . Distincin analtico/sinttico en el empirismo lgico . . . . . Contexto de descubrimiento y contexto de justicacin . . . El criterio empirista de signicado y criterio de demarcacin Tema 2. Inductivismo, Conrmacin y Verdad El inductivismo clsico . . . . . . . . . . . . . . . . . . . . . . Inductivismo positivista . . . . . . . . . . . . . . . . . . . . . Conrmacin . . . . . . . . . . . . . . . . . . . . . . . . . . . Antiinductivismo Popperiano . . . . . . . . . . . . . . . . . . Tema 3. Crticas a la Concepcin Heredada (I) Crtica a la distincin analtico/sinttico . . . . . . . . . . . . La crtica instrumentalista . . . . . . . . . . . . . . . . . . . . Carga terica y contexto de descubrimiento . . . . . . . . . . Tema 4. Crticas a la Concepcin Heredada (II) El historicismo Kuhn . . . . . . . . . . . . . . . . . . . . . El anarquismo metodolgico Feyerabend . . . . . . . . . . 5 5 6 7 8 14 14 17 21 26 33 33 35 36 39 39 44

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

is ::

FiloCien 2011/2012 ::::

::::

3/44 ::

is ::

FiloCien 2011/2012 ::::

::::

4/44 ::

N OTAS Tema 1. Races de la Metodologa Cientca

Racionalidad cientca en el Crculo de Viena

Antecedentes
Empirismo positivista: - Retoma el programa positivista de Auguste Compte (inspirador del neopositivismo de Ernst Mach); - Negacin de los conceptos a priori dentro de la ciencia emprica rechazo del sinttico a priori; - Reduccin de todas las ciencias a ciencias positivas (y en particular a la fsica) unicacin de la ciencia sicalismo. Lgica matemtica [ Russell & Whitehead (1905), Principia Mathematica].

Miembros principales grupos de Viena, Berln y Praga

Grupo de Viena: Moritz Schlick, Otto Neurath, Olga Neurath, Hans Hann; Grupo de Berln: Hans Reichenbach; Grupo de Praga: Rudolf Carnap, Philip Frank.

Postura comn
Manifesto del Crculo de Viena: La Concepcin Cientca de Mundo (1929) rmado por Carnap, Neurath y Hann: (i) Distincin entre contexto de descubrimiento y contexto de justicacin; (ii) Distincin analtico/sinttico (y rechazo del sinttico a priori); (iii) Rechazo (eliminacin) de la metafsica; (iv) Empirismo positivista lenguaje fenomenalista/sicalista; (v) Racionalidad aplicacin del anlisis lgico (enunciados analticos) y de la induccin (enunciados sintticos); (vi) Programam unicacin de la ciencia reduccionismo; cientco.

is ::

FiloCien 2011/2012 ::::

::::

5/44 ::

Tema 1. Races de la Metodologa Cientca

N OTAS

Distincin analtico/sinttico en el empirismo lgico

Kant
[ Kant (1781), Crtica de la Razn Pura] Distincin analtico/sinttico Distincin entre enunciados en funcin de cmo predican la verdad: Juicios analticos: valor de verdad en funcin del signicado de sus trminos no dicen nada acerca del mundo. Ej.: Todos los cuerpos son extensos. Todos los hombres solteros son hombres no casados. Juicios sintticos: su (valor de) verdad depende de cmo es el mundo hablan del mundo. Distincin a priori/a posteriori Distincin relativa a la forma en cmo se conocen los enunciados: Juicios a priori: son cognoscibles por un puro ejercicio de la razn necesarios (no pueden no suceder). Juicios a posteriori: cognoscibles en relacin al mundo contingentes (en funcin de cmo es el mundo). Kant admite juicios sintticos a priori (p. ej. en las matemticas).

Empirismo lgico
Mantiene la distincin analtico/sinttico . . . . . . pero rechaza la existencia de juicios sintticos a priori! - Todos los juicios sintticos son a posteriori. - Rechazo explcito (eliminacin) de la metafsica [ Carnap (1932) La superacin de la metafsica mediante un anlisis lgico del lenguaje]. is :: FiloCien 2011/2012 :::: :::: 6/44 ::

Tema 1. Races de la Metodologa Cientca

N OTAS

Racionalidad: - Enunciados analticos anlisis lgico. - Enunciados sintticos induccin.

Contexto de descubrimiento y contexto de justicacin

[ Reichenbach (1938), Experience and Prediction]: Contexto de descubrimiento: - Comprende los procesos que han resultado en el descubrimiento cientco: Procesos subjetivos pueden incluir elementos irracionales, intuiciones, creencias metafsicas, procesos sociolgicos, histricos, psicolgicos, etc. Ej.: El modelo planetario de Kepler se inspira en la Santsima Trinidad. Contexto de justicacin: - Incluye todos los procesos racionales en virtud de los cuales se establece la validez de un enunciado cientco: procesos objetivos y racionales experimentos (contrastacin emprica), argumentos lgicos, demostraciones, etc. Ej.: El modelo de Kepler como descripcin del movimiento planetario. Slo el contexto de justicacin es relevante: - El empirismo lgico rechaza que la losofa deba ocuparse del contexto de descubrimiento. - La epistemologa/metodologa cientca slo es posible a partir de los resultados nales de la investigacin cientca . . . . . . y cmo se llega a stos es materia de estudio de la historia de la ciencia, la psicologa o sociologa de la ciencia, etc.

is ::

FiloCien 2011/2012 ::::

::::

7/44 ::

Tema 1. Races de la Metodologa Cientca

N OTAS

El criterio empirista de signicado y criterio de demarcacin

Criterios de demarcacin: ciencia y pseudociencia
Pretenden separar lo que es ciencia de lo que no lo es. (Fundamentales si pretendemos denir qu es ciencia.) Por ejemplo, podemos denir la ciencia como producto de la una actividad, i.e.: - Ciencia Mtodo cientco Permite el consenso/objetividad. Aplicacin (estricta) de una metodologa determinada: observacinhiptesiscontrastacin. Contrastacin emprica! Pero no es suciente (para demarcar la ciencia)!

Demarcacin en el empirismo lgico

El criterio de signicado constituye el criterio de demarcacin: - Proporciona la distincin entre ciencia y pseudo-ciencia como lo que tiene sentido frente a lo que no lo tiene. Demarcacin a partir del signicado emprico de las proposiciones (contenidas en un cuerpo de conocimiento). Criterio de signicado inicialmente basado en la vericabilidad y ms adelante en la conrmabilidad.

Criterio empirista de signicado

Primera versin: CS 1. Una oracin S tiene signicado emprico sii es posible indicar un conjunto nito de oraciones de observacin O1 , O2 , . . . On tales que, si son verdaderas, S tambin es necesariamente verdadera. Dos inconvenientes: (i) CS1 depende de las propiedades del condicional lgico: Toda proposicin analtica satisface trivialmente el criterio ya que una proposicin analtica

is ::

FiloCien 2011/2012 ::::

::::

8/44 ::

Tema 1. Races de la Metodologa Cientca

N OTAS

siempre es necesariamente verdadera. (ii) Un conjunto O1 , O2 , . . . On (arbitrario) puede contener oraciones contradictorias, y an as permitir que el criterio se satisfaga. Segunda versin: CS 2. Una oracin S tiene signicado emprico sii no es analtica y se sigue lgicamente de alguna clase de oraciones observacionales nita y lgicamente coherente. CS2 excluye los enunciados analticos de lo que es empricamente signicativo. CS2 restringe O1 , O2 , . . . On a un conjunto coherente de proposiciones observacionales. Consecuencias: (i) Separacin radical de ciencias formales y ciencias reales. (ii) Las ciencias empricas deben incorporar el aparato formal de la lgica matemtica ( Principia Mathematica de Russell & Whitehead). (iii) CS2 establece la vericabilidad como referencia ltima para el signicado inuencia del 1.er Wittgenstein, y por tanto par la demarcacin. - Vericabilidad en principio, i.e. basta la mera posibilidad lgica de vericar. Problemas: (i) Vericabilidad excluye leyes universales: - No existe un conjunto nito de oraciones/enunciados capaces de vericar una ley general ( problema de la induccin). Ej.: Todos los cuervos son negros. Para cualquier substancia, existe un solvente. CS2 demasiado estricto! (ii) Disyunciones de oraciones con y sin signicado resultan signicativas, bajo CS2. Ej.: S1 El absoluto es perfecto no es signicativa bajo CS2; S2 El agua disuelve la sal es signicativa bajo CS2; is :: FiloCien 2011/2012 :::: :::: 9/44 ::

Tema 1. Races de la Metodologa Cientca

N OTAS

S S1 S2 es signicativa! CS2 demasiado amplio! (iii) Negaciones (lgicas) de oraciones signicativas pueden resultar ser no signicativas, segn CS2. Ej.: Existe un cuervo negro: c Nc; (c Nc) c Nc. (De entre todos los cuervos, no hay un cuervo negro.) Si tomamos CS2 como referencia estamos comprometidos a decir que las proposiciones empricamente signicativas son aquellas de las que podemos decir que son verdaderas o falsas. Dilema: (d1) o bien rechazamos que c Nc es la negacin lgica de c Nc; (d2) o rechazamos el principio lgico fundamental de que si una proposicin es verdadera/falsa, su negacin es falsa/verdadera. Alternativas: Intentar adecuar el criterio a los casos problemticos concretos; Modicar la nocin de vericacin vericacin en sentido dbil [ Ayer]; Rechazar la vericacin como idea central (gua) del criterio de signicado traducibilidad, lenguajescosa [ Hempel, Carnap]; Rechazar por completo el inductivismo. Tercera versin: (Ayer hiptesis subsidiarias) CS 3. S tiene signicado emprico si de ella, y en conjuncin con una serie de hiptesis subsidiarias, es posible derivar enunciados observacionales que no son derivables de las hiptesis subsidiarias por s solas. CS3 demasiado amplio, i.e. atribuye signicado emprico a virtualmente cualquier proposicin (signicativa o no)! is :: FiloCien 2011/2012 :::: :::: 10/44 ::

Tema 1. Races de la Metodologa Cientca Ej.: Sea S: El absoluto es perfecto; Hiptesis subsidiaria h: Si el absoluto es perfecto, esta manzana es roja; La conjuncin S h Esta manzana es roja, es una oracin observacional (signicativa) no derivable slo a partir de h. Conclusin: S tiene signicado emprico (bajo CS3)! Conclusin (para CS1, CS2 y CS3) Es intil intentar ofrecer un criterio de signicado para enunciados individuales basado en sus relaciones lgicas con enunciados observacionales como es el caso en CS1, CS2 y CS3, ya que este tipo de criterio siempre resultar bien demasiado amplio o demasiado restrictivo, o ambas cosas [ Hempel (1950), Problems and changes in the empiricist criterion of meaning]. Se hace necesario un nuevo enfoque traducibilidad. Cuarta versin: (Hempel/Carnap traducibilidad a lenguajes-cosa) CS 4. Una proposicin tiene signicado cognoscitivo sii es traducible a un lenguaje empirista (lenguaje-cosa). Lenguaje emprico/lenguaje-cosa [ Carnap (1937), Testability and Meaning]. - Caracterizado por su vocabulario y las reglas que determinan su lgica las reglas sintcticas de acuerdo con las que se construyen proposiciones a partir del vocabulario. El lenguaje cosa permite que CS4 supere los problemas planteados a los anteriores: - La caracterizacin de L proporciona trminos como todo, para todo, etc., presentes en enunciados universales; - Enunciados tales como El absoluto es perfecto quedan excludos por denicin; - Si una expresin existencial se puede construir en L, entonces tambin su negacin es construible. (Esto est garantizado por la estructura del sistema lgico.)

N OTAS

is ::

FiloCien 2011/2012 ::::

::::

11/44 ::

Tema 1. Races de la Metodologa Cientca

N OTAS

Tres observaciones: (i) El criterio de traducibilidad se enfoca en las proposiciones en s mismas ms que en los hechos: cambio del foco de atencin, de hechos a lenguaje. (ii) CS4 toma los enunciados universales de las teoras cientcas (leyes cientcas) como hiptesis que necesitan ser conrmadas. (iii) El criterio de traducibilidad, al igual que el de Ayer (CS3), pero a diferencia del los dos anteriores (CS1 y CS2) tiene como gua para el signicado emprico la idea de conrmabilidad (o vericabilidad en sentido dbil. Problemas (y posibles soluciones): (i) Trminos disposicionales: [Def.: Trminos que expresan la disposicin de un objeto a reaccionar de una determinada manera bajo ciertas condiciones. Ej.: fragilidad, temperatura, etc.] Problema: El objeto X tiene una temperatura de c grados centgrados i.e. T ( X ) = c puede traducirse como sigue: T ( X ) = c sii Si se pone en contacto un termmetro con X, entonces registrar c grados en su escala. - Bajo una interpretacin material del condicional la denicin T ( X ) = c sii . . . es verdadera incluso en cuando el objeto no est en contacto con un termmetro! Dos posibles soluciones: (a) No interpretar el condicional como un condicional material (sino como un condicional contrafctico), i.e. si . . . entonces . . . si fuera el caso que . . . entonces . . . Ej.: Si se diera el caso que el objeto X se encontrara en contacto con un termmetro, entonces ste registrara c grados en su escala. (b) Carnap Oraciones de reduccin (reductive sentences). Ej.: Si un termmetro est en contacto con un objeto X , entonces T ( X ) = c sii el termmetro

is ::

FiloCien 2011/2012 ::::

::::

12/44 ::

Tema 1. Races de la Metodologa Cientca

N OTAS

registra c grados. (El signicado de un trmino disposicional e.g. temperatura se obtiene mediante sucesivas reducciones de este tipo.) (ii) Trminos tericos: Problema: Los trminos tericos no pueden ser traducidos a un lenguaje empirista. Ej.: entropa, temperatura absoluta, campo electromagntico, etc. Solucin: Oraciones de reduccin + reglas de correspondencia Lenguaje-cosa en sentido amplio. Comentarios nales: CS4 asume (y explicita) la distincin terico/observacional. Funcionamiento de las reglas de correspondencia no completamente entendido. El criterio de traducibilidad, al igual que las versiones anteriores, no es capaz de decidir si su enunciado es signicativo en s mismo.

is ::

FiloCien 2011/2012 ::::

::::

13/44 ::

N OTAS Tema 2. Inductivismo, Conrmacin y Verdad

El inductivismo clsico
Francis Bacon
[ Bacon (1620), Novum Organum (parte II del Magna Instauratio)] Rasgos generales Induccin como mtodo cientco. Induccin perfecta y verdadera, necesaria para la interpretacin de la naturaleza. Rechazo de los silogismos. Rechazo de la induccin por enumeracin: [Procede en una sola vez de los particulares a las proposiciones ms generales para volver, por medio del mtodo deductivo, a proposiciones intermedias.] - Problemtica por dos motivos (i) Si los axiomas generales no son verdaderos, entonces las proposiciones intermedias tampoco lo son. (ii) Es suciente con encontrar un slo contraejemplo para que todo el sistema caiga por su propio peso. Propuesta inductiva de Bacon Induccin procede regular y gradualmente de una proposicin a otra, de forma que las ms generales se alcanzan slo al nal del proceso. Cada proposicin intermedia conrmada se toma como la base de una verdad ms general (con las verdades ms generales al nal del proceso) ladder of intellect. Cada peldao de la escalera viene precedido de un trabajo minucioso y detallado de observacin y experimentacin, que nos permite justicar/conrmar la verdad de la proposicin correspondiente. El mtodo resulta en un sistema estable de conocimiento, a diferencia de las estructuras inductivas por

is ::

FiloCien 2011/2012 ::::

::::

14/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad enumeracin, que pueden colapsar con facilidad. Elementos metodolgicos: Pasar de los sensible a lo real requiere una correccin en los sentidos, las tablas de historia natural, la abstraccin de proposiciones y la induccin de nociones. Esto es llevar a cabo plenamente el mtodo inductivo. - Bacon no identica experiencia con la experiencia de datos sensibles (sense-data) sino que presupone que el mtodo corrige y extiende estos datos sensibles a hechos, i.e. experiencia = hechos. - Mtodo: trabajo minucioso y detallado de observacin y prediccin tablas de presencia y ausencia, de comparacin o grados (grados de presencia y/o ausencia) y de contraejemplos. - Induccin por eliminacin: permite al cientco no perseguir lineas de investigacin falsas.

N OTAS

John Stuart Mill

[ J. S. Mill (1843), A System of Logic] Mtodo cientco rasgos generales Crtica al intuicionismo: - Rechaza la existencia de entidades especiales ms all de los hechos empricos. - Crtica a la losofa de William Hamilton [ Mill (1865), Examination of Sir William Hamiltons Philosophy]. Naturalismo y causalidad: - Nuestros mejores mtodos para explicar el mundo son los de las ciencias naturales. - Todo lo que podemos saber proviene de su tratamiento como parte del orden causal que la ciencia investiga y no de entidades especiales que se encuentran fuera de ella crtica al intuicionismo. Mtodo cientco basado en la induccin (inferencias ampliativas): - Induccin por eliminacin;

is ::

FiloCien 2011/2012 ::::

::::

15/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

- No rechaza los silogismos por completo la inferencia deductiva es til como medida de consistencia. Empirismo: - Relatividad del conocimiento relacionada con el lenguaje papel fundamental del lenguaje: Los atributos a los que los trminos primitivos del lenguaje estn asociados se nos presentan en la experiencia ordinaria. - El pensamiento es proposicional el lenguaje tiene como objeto establecer hechos (materiales) en relacin al mundo: El lenguaje dene los lmites del pensamiento. - El conocimiento es relativo a nosotros mismos, a nuestra consciencia . . . . . . pero desde el punto de vista ontolgico nuestra experiencia no es necesaria para la existencia de los objetos: independencia lgica entre los trminos del lenguaje y la realidad de los objetos. Entidades no observadas e induccin Qu ocurre con aquellas entidades de que no somos conscientes?podemos tener conocimiento de ellas? Ej.: Partes del mundo que no hemos experimentado; Partes de objetos demasiado pequeas como para ser observadas (sin ayudas a nuestros sentidos); Partes demasiado lejanas (o no accesibles a nuestra percepcin en el espacio); Partes ocultas (como el interior de una naranja sin pelar) que a las que podemos acceder mediante manipulaciones (pelando la naranja, por ejemplo).

La experiencia directa no ayuda en estos casos; Es necesario poner en marcha un mtodo de inferencia a partir de la experiencia directa: inferencia ampliativa induccin!

is ::

FiloCien 2011/2012 ::::

::::

16/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

Inductivismo positivista
Rudolf Carnap (Induccin probabilstica)
[ R. Carnap (1950), The Logical Foundations of Probability] Representa el abandono del concepto de vericabilidad concluyente y la adopcin de la vericabilidad parcial o grado de conrmacin Idea general El problema de la induccin es un problema puramente lgico: - Es posible generalizar la lgica deductiva para dar cuenta de las inferencias inductivas probabilidad; grado de conrmacin. - Las armaciones sobre el grado de conrmacin de una hiptesis h a partir de la evidencia e dependen nicamente de las relaciones lgicas entre h y e. Crtica a Bacon y Mill: - Bacon y Mill no atacan el problema de la induccin desde el punto de vista lgico, y por ello sus propuestas no constituyen ms que una simple metodologa inductiva en contraste con la induccin lgica propiamente dicha. Respuesta de von Wright: - Bacon y Mill (sobre todo este ltimo) construyen su metodologa inductiva en referencia a un cierto razonamiento lgico inferencia por eliminacin: La eliminacin de hiptesis se hace como consecuencia lgica de la falsacin de h: si dada la evidencia e, la hiptesis h es falsada, entonces e h. Conclusin: La crtica de Carnap a Bacon y Mill no es del todo justa; Carnap presta poca atencin a los casos de leyes universales.

is ::

FiloCien 2011/2012 ::::

::::

17/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

Induccin Probabilstica Se trata de generalizar el mtodo deductivo (para incluir inferencias inductivas): - Generalizacin, en concreto, de los conectores lgicos para incluir la idea de posibilidad, i.e. A entonces B

A entonces posiblemente B.

(En lugar de una implicacin (lgica) hablamos ahora un grado de implicacin.) - La generalizacin de los conectores lgicos se consigue por medio de una descripccin probabilstica, i.e. funciones de conrmacin grado de conrmacin. (La probabilidad se concibe bajo la llamada interpretacin lgica de la probabilidad, que permite expresar nuestras proposiciones en un lenguaje jado y bien denido.) Grado de conrmacin (probabilista) Def.: El grado de conrmacin c de una hiptesis h viene dado por la probabilidad condicional de h dada la evidencia e: c = p ( h | e ). - El grado de conrmacin c proporciona un criterio numrico, y no slo cuantitativo, para la eleccin de unas hiptesis sobre otras ante un mismo cuerpo de evidencia, i.e. si p(h1 |e) > p(h2 |e), entonces elegiremos h1 sobre h2 . Problema: Leyes generales H : - La evidencia E necesaria para poder conrmarlas es innita . . . . . . y como slo disponemos de cuerpos de evidencia e nitos, el grado de conrmacin asociado a una ley universal H ser nulo, i.e. c = p( H |e) = 0! Solucin: Carnap intenta solucionar estos problemas eliminando la necesidad de este tipo de leyes: - Las predicciones se hacen de forma directa, y sin pasar por una ley universal H , mediante inferencias predictivas . . . is :: FiloCien 2011/2012 :::: :::: 18/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

. . . por tanto la ley universal H es completamente prescindible!

Tipos de Inferencias Inductivas (i) (ii) (iii) (iv) (v) Inferencia directa Inferencia predictiva Inferencia por analoga Inferencia inversa Inferencia universal

Hans Reichenbach
[ H. Reichenbach (1935), The Theory of Probability] Teora de la Probabilidad El objeto de la teora de la probabilidad de Reichenbach es al igual que en [ Carnap (1950)] generalizar los conceptos de la lgica deductiva . . . . . . pero no se trata ahora de generalizar los conectores lgicos. (El concepto a generalizar se corresponde originalmente a el lenguaje objeto formado/basado en los eventos y sus propiedades.) Generalizamos las proposiciones que contienen implicaciones lgicas a proposiciones basadas en la idea de implicaciones probabilsticas. Igual que en la lgica inductiva de Carnap, las probabilidades condicionales proporcionan la medida de los grados de implicacin implicacin probabilstica. Diferencias con Carnap: Las diferencias fundamentales entre la induccin probabilstica de Carnap y la de Reichenbach estn en el objeto mismo de la generalizacin, as como en la interpretacin de la probabilidad de cada uno: En ambos casos atribumos grados de conrmacin en funcin del valor de la probabilidad de una hiptesis dada una cierta evidencia . . .

is ::

FiloCien 2011/2012 ::::

::::

19/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

. . . pero para Reichenbach el grado de conrmacin no tiene el mismo signicado/interpretacin que para Carnap. Carnap: El grado de conrmacin, como conclusin de una induccin, es una asercin sobre el valor de verdad de la hiptesis. Interpretacin lgica de la probabilidad. Reichenbach: El grado de conrmacin, igualmente resultado/conclusin de una induccin, es slo un postulado (posit)! Una proposicin que tratamos como verdadera, aunque su valor de verdad sea desconocido. [ Reichenbach (1935), The Theory of Probability] Interpretacin frecuentista de la probabilidad! En la teora de Reichenbach podemos dar sentido a las generalizaciones leyes universales, ya que se puede asignar a stas grados de conrmacin sin problema, siempre y cuando se entiendan como postulados (posits), i.e. sin asignarles un valor de verdad. Problemas: Los problemas para Reichenbach vienen de la mano de la interpretacin frecuentista de la probabilidad, i.e. asignacin de probabilidades para casos singulares, existencia de series (de eventos) innitas, etc. Tipos de induccin en Reichenbach (i) (ii) (iii) (iv) Induccin por enumeracin Inferencia explicativa Induccin cruzada Concatenacin

is ::

FiloCien 2011/2012 ::::

::::

20/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

Conrmacin
Intro
Hiptesis: Enunciados cientcos no deducibles directamente de un conjunto de enunciados singulares. - Deben ser nalmente corroboradas o no a partir de observaciones empricas conrmacin de hiptesis. Las hiptesis/teoras deben encontrar experiencias/casos que las corroboren . . . Y en la medida en que crece el nmero de tales experiencias/casos, crece el grado de conrmacin de la teora/hiptesis i.e. ms se aproxima sta a la verdad. (El grado de conrmacin mide adems el poder predictivo de las teoras.)

Conrmacin de hiptesis
Mtodo inductivo Criterio de Nicod (induccin por enumeracin): Una hiptesis de la forma Todos los X son a queda conrmada por sus casos especcos positivos, es decir por los casos de X que tambin son a. Induccin probabilstica Carnap [ Carnap (1950), The Logical foundations of probability] Aplicacin de la probabilidad a la conrmacin de hiptesis: p(h) probabilidad de una hiptesis i.e. de que h sea verdadera.

p(h) proporciona el grado de conrmacin de la hiptesis h . . . . . . que para una hiptesis verdadera debe aumentar a medida que recabamos mayor evidencia e, i.e. p ( h | e ) > p ( h ).

is ::

FiloCien 2011/2012 ::::

::::

21/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

Mtodo hipottico deductivo [ Hempel (1965), Studies of logic and conrmation] Una hiptesis, o teora, queda conrmada si, junto con una serie de enunciados auxiliares, implica lgicamente, y de forma deductiva, un dato u observacin emprica. Hiptesis h consecuencias lgicas contrastacin emprica conrmacin.

Teora clsica de la conrmacin Hempel

[ Hempel (1965), Studies of logic and conrmation] Se centra en enunciados expresados mediante condicionales materiales que contienen cuanticadores universales, i.e. leyes generales: Ej.: x, Cx Nx Todos los cuervos son negros. Se trata de evaluar las condiciones bajo las cuales una generalizacin emprica estara conrmada (o refutada) por los casos particulares (o la ausencia de ellos) de sus antecedentes y sus consecuentes. Elementos bsicos (axiomas/premisas) de la teora clsica de la conrmacin (i) El grado de conrmacin de una hiptesis/teora es lgicamente independiente de su valor de verdad: - Una teora falsa puede tener un alto grado de conrmacin en un momento determinado . . . . . . y una teora verdadera tener en cambio un grado de conrmacin bajo. (ii) La relacin entre la teora/hiptesis y la evidencia a su favor (o en su contra) se entiende como la relacin entre dos tipos de enunciados: (a) enunciados tericos (que incluyen, al menos, una ley). (b) enunciados observacionales (que describen hechos particulares o regularidades fenomenolgicas). (iii) Postulado de la instancia (basado en el Criterio de Nicod):

is ::

FiloCien 2011/2012 ::::

::::

22/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

Una generalizacin siempre recibe conrmacin si se establece que una de sus instancias (casos particulares) es cierta, y refutacin si es falsa. (iv) Condicin de equivalencia lgica: Cualquier enunciado observacional que constituye evidencia, positiva o negativa, para una determinada hiptesis/teora h, constituye el mismo tipo de evidencia, positiva o negativa, para una hiptesis/teora h lgicamente equivalente a la primera. (v) Condicin de la consecuencia lgica: Si un enunciado observacional O es una consecuencia lgica de una teora/hiptesis h, el establecimiento de la verdad de O constituye evidencia en favor de h; y su falsedad constituye evidencia nal en contra de sta (la refuta). (vi) Condicin de consecuencia especial: Si un enunciado observacional O constituye evidencia en favor (o en contra) de una teora/hiptesis h, y si un cierto enunciado terico t es consecuencia lgica de h, entonces O tambin constituye evidencia en favor (o en contra) de t. Paradojas de la conrmacin Bsicamente dos: (i) La Paradoja de los cuervos Sean T1 y T2 dos teoras de forma que: T1 contiene una sola ley, L1 : Todos los cuervos son negros, i.e. x, Cx Nx. T2 contiene igualmente una sola ley, L2 : Todas las cosas que no son negras no son cuervos, i.e. x, Nx Cx. (En ambos casos las leyes L1 y L2 estn expresadas en trminos de una implicacin material.) Es fcil ver que T1 y T2 son teoras lgicamente equivalentes L2 es la contraposicin lgica de L1 ,

is ::

FiloCien 2011/2012 ::::

::::

23/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad i.e. ambas leyes expresan lo mismo! Consideremos ahora el siguiente enunciado observacional: O: Esta nube es blanca. De acuerdo con el postulado de la instancia axioma (iii) tenemos que O conrma T2 (ya que es un caso particular positivo de la generalizacin que L2 expresa). Por otro lado de acuerdo con el axioma (iv) de la teora de Hempel la condicin de equivalencia lgica O conrma igualmente T1 (ya que T1 y T2 son teoras lgicamente equivalentes). Conclusin: La observacin del color de esta nube conrma nuestra hiptesis/teora sobre el color (negro) de los cuervos! (A partir de axiomas/premisas intuitivamente correctas, llegamos a una conclusin poco plausible, si no totalmente incorrecta.) Qu no funciona? No parece fcil culpar a (iv) de la paradoja ya que se sustenta en un principio lgico fundamental. Qu pasa entonces con (iii)? Culpar al postulado de la instancia equivaldra a desplazar todo el peso de la paradoja al problema de la induccin . . . Podemos, por ejemplo: - Argumentar que no todos los enunciados son capaces de recibir conrmacin i.e. slo es posible conrmar algunos enunciados, con unas caractersticas concretas [ N. Goodman (1955) Fact, Fiction and Forecast (The new riddle of induction)]. Podramos entonces argumentar que L1 es un enunciado capaz de recibir conrmacin, mientras que L2 no lo es . . . . . . pero esto realmente no funciona! (Este tipo de argumento es aplicable a teoras/hiptesis que son empricamente equivalentes pero no lgicamente equivalentes!) Conclusin: No parece que la induccin est en el origen de la paradoja! es la premisa (iv) is :: FiloCien 2011/2012 ::::

N OTAS

::::

24/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

la equivalencia lgica la que parece responsable de ella! Posible solucin: - Podemos sugerir que no todos los casos particulares (instancias) conrman en la misma medida una hiptesis. . . (En el caso de los cuervos, podemos decir que el hecho de que existan muchos ms objetos nonegros que negros implica que la evidencia conrmadora que implica la observacin de objetos no-negros debe ser menor que la que implica la observacin de objetos negros.)

(ii) La Paradoja de la hiptesis aadida Sea T una teora que tiene como consecuencia lgica el enunciado observacional O, conrmado empricamente: T O. Consideremos adems un enunciado declarativo S cualquiera. Puesto que T implica lgicamente la observacin O, entonces la conjuncin de T y S, i.e. la teora ( T S), tambin debe hacerlo: ( T S) O. Por lo tanto, la teora ( T S) estar igualmente conrmada por la misma evidencia emprica que conrma T . Por otro lado, S es tambin obviamente una consecuencia lgica de ( T S) . . . Por tanto, y segn la condicin de la consecuencia especial (v), tenemos que la evidencia en favor de la oracin observacional O conrma S! Conclusin: Cualquier enunciado elegido de forma arbitraria S puede quedar conrmado a partir de enunciados observacionales que conrman una teora T !

is ::

FiloCien 2011/2012 ::::

::::

25/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

Antiinductivismo Popperiano
Intro
Karl Popper (19041992). Inuencias tempranas: Positivismo lgico del Crculo de Viena. Teora de la Relatividad de Einstein. Marxismo. Psicoanlisis Freudiano y Teora del Individuo de Adler Obras ms signicativas Logik der Forschung, 1934/ The Logic of Scientic Discovery, 1959; The Open Society and its Enemies, 1945; Conjectures and Refutations: The Growth of Scientic Knowledge, 1965; (Unended Quest; An Intellectual Autobiography, 1976)

Demarcacin, induccin y falsacionismo

Antiinductivismo [ Popper (1934/1959), The Logic of Scientic Discovery] El mtodo cientco no consiste en/no es caracterizable mediante/no es identicable con un mtodo inductivo: - Contra el inductivismo clsico: Bacon, Mill; - Contra las tesis del Crculo de Viena/positivismo lgico, i.e. contra las ideas de vericabilidad o conrmabilidad. La induccin est sujeta a la crtica Humeana ( problema de la induccin). Resumidamente: Un conjunto de enunciados singulares, por extenso que sea, nunca puede justicar lgicamente la verdad de un

is ::

FiloCien 2011/2012 ::::

::::

26/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad enunciado universal. La induccin, por tanto, no es un mtodo aceptable/adecuado, desde un punto de vista lgico . . . . . . lo que nos lleva, segn Hume, no tanto a rechazarla completamente como a tomar una actitud escptica frente a nuestro conocimiento del mundo. Popper no acepta la conclusin escptica de Hume: - La alternativa Popperiana al escepticismo Humeano pasa por rechazar por completo la induccin antiinductivismo! - Caracterizacin del mtodo cientco mediante principios/enunciados que se ajusten exclusivamente a la lgica hipottico-deductiva falsabilidad ( demarcacin de la ciencia). Falsabilidad como criterio de demarcacin [ Popper (1934/1959), The Logic of Scientic Discovery] Los enunciados universales jams son deducibles de enunciados singulares, pero s pueden entrar en contradiccin con estos ltimos. En consecuencia, por medio de inferencias puramente deductivas valindonos del modus tollens de la lgica clsica es posible argir, de la verdad de enunciados singulares, la falsedad de enunciados universales. Ej.: En la teora gravitatoria de Newton encontramos el siguiente enunciado: S: Dos cuerpos cualquiera se atraen entre s con una fuerza que es directamente proporcional al producto de sus masas e inversamente proporcional al cuadrado de la distancia que los separa, i.e. F m1 m2 . r2

N OTAS

No es posible vericar, o conrmar, el enunciado anterior, i.e. no es posible deducirlo a partir de enunciados singulares acerca del comportamiento observado de un conjunto de cuerpos masivos. Pero sera suciente con encontrar un slo caso en que dos cuerpos no se comportaran como requiere la ley para que sta quede refutada i.e. falsada!

is ::

FiloCien 2011/2012 ::::

::::

27/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

Criterio de Demarcacin 1.a versin: Una teora es cientca sii es susceptible de refutacin/falsacin emprica. Las proposiciones que no pueden ser falsadas porque no hay observaciones empricas que lo permitan no pertenecen a la ciencia, i.e. no son cientcas. - Claro compromiso con la observacin emprica empirismo . . . . . . pero la idea de falsacin/refutacin es slo falsacin en principio falsabilidad. Este es un criterio de demarcacin pero no de signicado como ocurra en los criterios basados en la vericabilidad/conrmabilidad: - No tiene por qu ser falsable en s mismo. - Es simplemente una propuesta metodolgica y tiene sentido!. Consecuencias: La ciencia se distingue por su capacidad para deshacerse de las teoras errneas mediante una crtica rigurosa dirigida a la refutacin/falsacin de las teoras a partir de la experiencia. - La actitud cientca es una actitud crtica que busca refutar, sin reservas, los propios puntos de vista del cientco para cambiarlos cuanto antes si son errneos. - Actitud crtica de la ciencia frente a la actitud dogmtica de la no-ciencia. La ciencia no es ms que un sistema de conjeturas o hiptesis . . . y progreso cientco se da en la medida en que es posible dar con casos que refuten nuestras hiptesis/teoras, lo que implicara que stas fueran substituidas por otras hiptesis/teoras mejores. Grado de Corroboracin de una Teora No es posible armar que una teora es verdadera . . . . . . pero es posible decir que una teora est corroborada cuando ha pasado, con xito, los diversos intentos

is ::

FiloCien 2011/2012 ::::

::::

28/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad de falsarla. Cuanto mayor sea el nmero de intentos para falsarla y mejores (ms rigurosos) sean stos, la teora estar mejor/ms corroborada: el grado de corroboracin es el grado en que una teora ha resistido los intentos de falsacin. Corroboracin de una teora = Verdad de una teora, i.e. - Grado de corroboracin = grado de conrmacin. Ms consecuencias y problemas de la falsabilidad Leyes Universales Todo enunciado universal puede/debe ser refutado por un enunciado particular que lo contradiga. Interpretacin correcta de las leyes: - Deben ser entendidas, no como armaciones sobre eventos que suceden en el mundo, sino como prohibiciones de ciertos eventos. - Una ley queda refutada cuando aceptamos un enunciado singular que infringe, o contradice, esa prohibicin. Dos consecuencias: (i) Los enunciados existenciales no son falsables, pues no pueden ser contradichos por ningn otro enunciado singular acerca de un evento observado, por tanto . . . . . . los enunciados existenciales no pueden ser cientcos! Solucin de Popper: - Esta consecuencia se sigue slo para enunciados existenciales aislados. - Los enunciados existenciales que forman parte de una teora, en tanto que pertenecen al cuerpo conceptual de sta, que es falsable, son tambin susceptibles de refutacin: Ej.: P : Existen un elemento atmico con nmero 6.

N OTAS

P es un enunciado particular que pertenece a la teora atmica, que es falsable . . . . . . por tanto el enunciado P tambin es falsable! (El contexto terico al que el enunciado existencial P hace que ste sea falsable).

is ::

FiloCien 2011/2012 ::::

::::

29/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

(ii) Cuanto mayor es el rango de prohibicin, mayor es la informacin que proporciona un enunciado . . . . . . y por tanto, mayores las posibilidades de que sea falsado: - Una hiptesis poco falsable es una hiptesis que dice muy poco! Ej.: Este es el caso del psicoanlisis. Problema de la base emprica Son los enunciados particulares con base emprica los que falsan las hiptesis: Enunciados particulares con base emprica: Enunciados bsicos enunciados singulares acerca de la ocurrencia de un evento observable. Pero, en base a qu, cmo y por qu debemos aceptar los enunciados bsicos?, i.e. basta con hacer referencia a la observacin emprica, i.e. apoyarnos en la experiencia, para resolver esta cuestin? . . . O de otra forma: Podemos justicar los enunciados bsicos simplemente haciendo referencia a lo observado? Respuesta de Popper: (En pocas palabras: No!) - Aunque los enunciados bsicos son contrastables a partir de la experiencia/observacin, es necesario distinguir: (i) La justicacin (lgica) de los enunciados bsicos. (ii) La aceptacin (personal) de los enunciados bsicos motivada por diversas circunstancias de carcter principalmente psicolgico. Hecha la distincin: Podemos justicar la aceptacin (personal/subjetiva) de los enunciados bsicos a partir de la experiencia . . . . . . pero sta no nos permite justicarlos de forma lgica! De lo contrario, deberamos dejar a un lado la idea de objetividad cientca ya que la experiencia is :: FiloCien 2011/2012 :::: :::: 30/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad

N OTAS

est formada fundamentalmente por nuestras percepciones, que son subjetivas. Conclusin: No hay justicacin (lgica) de los enunciados bsicos a partir de la experiencia, i.e. La experiencia no juega un papel epistemolgico! Por otro lado: - Los enunciados bsicos que son necesarios para la falsacin deben ser tomados como enunciados cientcos en s mismos, i.e. deben poder ser falsados (por otros enunciados bsicos) . . . . . . lo que resulta en una regresin innita en busca de enunciados bsicos que falsen los inmediatamente anteriores! Solucin: Son los mismos cientcos los que deciden dnde/cundo parar la regresin: Los cientcos mismos deciden qu enunciados bsicos son aceptados! Consecuencias: La base emprica de la ciencia es algo revisable y provisional que se establece por convencin! La experiencia no juega un papel epistemolgico, sino tan slo psicolgico! - Pero el convencionalismo es problemtico en tanto que nos aleja del realismo cientco. Ms problemas y crticas Crtica general: El falsacionismo no funciona como criterio de demarcacin, ya que . . . . . . no traza una linea clara entre lo que es ciencia y lo que no lo es, como Popper pretenda. Tres crticas especcas: (i) Si los enunciados bsicos son, al igual que las teoras, falibles . . . Entonces, Por qu mantener un enunciado bsico usado para falsar una teora a costa de sta?

is ::

FiloCien 2011/2012 ::::

::::

31/44 ::

Tema 2. Inductivismo, Conrmacin y Verdad (ii) Introduccin de hiptesis ad hoc para proteger las teoras. (iii) Tesis Quine-Duhem: En ocasiones, las contradicciones no aparecen en relacin al cuerpo principal de la teora sino en relacin a las hiptesis auxiliares utilizadas para su contrastacin: Respuestas de Popper: - Hiptesis ad hoc: Popper ya haba contemplado el uso de las hiptesis ad hoc [ C. Popper (1934), La lgica de la investigacin cientca]. La diferencia es que Popper acepta el uso de hiptesis ad hoc siempre y cuando el cientco que las use lo haga con el espritu crtico caracterstico de la ciencia. El cientco debe ser crtico y honesto, y slo usar hiptesis ad hoc cuando stas llevan a una mayor falsabilidad potencial de las teoras Decisin metodolgica! - Tesis Quine-Duhem: Popper admite que las teoras slo se pueden falsar al completo, i.e. la falsacin slo afecta a sistemas tericos al completo! - Enunciados bsicos: Los cientcos aceptan la refutacin de las teoras a partir de un enunciado bsico como una conjetura ms, sujeta, en s misma a falsacin.

N OTAS

is ::

FiloCien 2011/2012 ::::

::::

32/44 ::

N OTAS Tema 3. Crticas a la Concepcin Heredada (I)

Crtica a la distincin analtico/sinttico

Distincin analtico/sinttico revisin
Distincin Kantiana [ I. Kant (1781), Crtica de la Razn Pura]: - Distincin relativa a cmo los juicios/enunciados predican la verdad: Juicios analticos: valor de verdad determinado por el signicado de sus trminos necesarios (mismo valor de verdad en todos los mundos posibles). Juicios sintticos: valor de verdad depende de cmo es el mundo contingentes. - Existen juicios sintticos a priori i.e. juicios que cuyo valor de verdad, a pesar de depender de cmo es el mundo, se puede determinar sin necesidad de recurrir al ste. Ej.: Juicios/enunciados que pertenecen a las matemticas (excluyendo los puramente lgicos). Positivismo lgico Crculo de Viena: - No existen juicios sintticos a priori: El valor de verdad de todos los enunciados sintticos se decide a partir de la experiencia observacin emprica, i.e. todos los juicios sintticos son a posteriori! (Todos los enunciados de las matemticas son para el positivismo lgico enunciados analticos.)

Crticas a la distincin: Quine y Putnam

Quine [ W. O. Quine (1951), Dos Dogmas del Empirismo] Cr tica a la distincin en s misma: - La distincin es insostenible y debe ser abandonada por completo! - La distincin no tiene ninguna utilidad para la ciencia.

is ::

FiloCien 2011/2012 ::::

::::

33/44 ::

Tema 3. Crticas a la Concepcin Heredada (I) Primer dogma: [L]a creencia en cierta distincin fundamental entre verdades que son analticas, basadas en signicaciones, con independencia de consideraciones fcticas, y verdades que son sintticas, basadas en los hechos. [ Quine (1951)] La distincin es insostenible: - Hay varios tipos de enunciados analticos: (i) Lgicamente verdaderos Ej.: Ningn hombre no casado es un hombre casado Los enunciados de este tipo son simplemente vacuos! (ii) Analticos por sinonimia Ej.: Ningn soltero es un hombre casado Los enunciados de este tipo no son vacuos, pero la sinonimia es problemtica . . . . . . ya que no est bien entendida! Conclusin: La analiticidad es inservible en la ciencia la distincin analtico/sinttico es insostenible! Segundo dogma: [E]l reduccionismo, la creencia en que todo enunciado que tenga sentido es equivalente a alguna construccin lgica basada en trminos que reeren a la experiencia inmediata. [ Quine (1951)] Quine: - Las teoras cientcas se confrontan a la evidencia emprica como un todo, y no de forma atmica visin holista de las teoras cientcas. - El dogma reduccionista equivale en ltima instancia al primer dogma . . . . . . ya que la analiticidad es el lmite de la vericabilidad

N OTAS

is ::

FiloCien 2011/2012 ::::

::::

34/44 ::

Tema 3. Crticas a la Concepcin Heredada (I)

N OTAS

Empirismo sin dogmas: - Abandono de la distincin analtico/sinttico. - Naturalizacin de la epistemologa. Putnam [ H. Putnam (1962/1975), The Analytic and the Synthetic]: Crtica a la distincin, pero con matices: - Tan errneo es negar la existencia de enunciados analticos/sintticos como sobrevalorarla! - Hay enunciados analticos y sintticos pero no todos los enunciados cientcos son de una de estas dos clases. Ej.: Energa es un concepto cuya identidad se determina mediante un grupo de leyes que, en cambio, no lo denen. La distincin es, por tanto, intil, en estos casos! (La crtica de Putnam a la distincin desemboca en un ataque a la distincin terico/observacional del empirismo lgico).

La crtica instrumentalista
Stephen Toulmin Intro [ Toulmin (1953), The Philosophy of Science] [ Toulmin (1961), Foresight and Understanding] Crtica instrumentalista a las tesis del positivismo lgico, especialmente a la distincin entre contexto de descubrimiento y contexto de justicacin. Origen de la crtica en el instrumentalismo de Duhem [ P. Duhem (1954), The Aim and Structure of the Physical Theory]: - Las teoras no son ni verdaderas ni falsas . . . . . . son meras herramientas conceptuales. is :: FiloCien 2011/2012 :::: :::: 35/44 ::

Tema 3. Crticas a la Concepcin Heredada (I)

N OTAS

- El progreso cientco no se alcanza por acumulacin! Crtica a la concepcin heredada en 4 preguntas [ S. Toulmin (1974), Postscriptum: La estructura de las teoras cientcas] (i) Existe algn simbolismo estndar y obligatorio para analizar la estructura axiomtica de una teora cientca dada, cualquiera? Crtica a la necesidad del uso de lenguajes sicalistas. (ii) Es la forma axiomtica la nica estructura lgica legtima para la ciencia, o puede haber otras formas lgicas dentro de las que pueda ser analizado el contenido de las teoras cientcas? Crtica a la axiomatizacin de las teoras. (iii) Cul es la naturaleza de la correspondencia por la que los elementos formales de una teora cientca adquieren relevancia o interpretacin emprica? Crtica a las reglas de correspondencia y la distincin entre contexto de descubrimiento y contexto de justicacin. (iv) Puede el contenido actual de la ciencia en un momento histrico determinado ser expresado como una red sistemtica de relaciones lgicas? Crtica a la distincin entre contexto de descubrimiento y contexto de justicacin.

Carga terica y contexto de descubrimiento

Hanson y la observacin cientca [ N. R. Hanson (1958), Patterns of Discovery] Principal crtica: La losofa de la ciencia no debe restringirse nicamente al contexto de justicacin.

is ::

FiloCien 2011/2012 ::::

::::

36/44 ::

Tema 3. Crticas a la Concepcin Heredada (I)

N OTAS

Los lsofos desguran las teoras cientcas no haciendo referencia, salvo en muy pocos casos, a conceptos que realmente utilizan los cientcos: - Consideran paradigmas de la investigacin cientca sistemas completamente desarrollados Ej.: Mecnica celeste; Termodinmica; ptica; Electromagnetismo; pero no las ciencias no acabadas o en proceso de bsqueda Ej.: Microfsica. La falta de contacto de los lsofos con la investigacin real la que se da con las ciencias en desarrollo ha fosilizado las nociones de observacin, hecho, hiptesis, teora, ley, etc. Observacin cientca: Las observaciones que efectan los cientcos en los laboratorios no son nunca observaciones puras e inmediatas! - Requieren conocimientos previos, i.e. estn mediadas por la teora carga terica! - Teoras diferentes conllevan observaciones diferentes: Ej.: El caso de Johannes Kepler y Tycho Brahe ante la salida del sol. Ven Kepler y Tycho la misma cosa en el Este, al amanecer? (Para Hanson la respuesta a esta pregunta es negativa las observaciones de Kepler por un lado, y Tycho por otro, parten de cargas tericas diferentes . . . y por tanto son en s mismas diferentes.) Hanson rechaza la existencia de una base comn sensorial y observacional de las percepciones: - Slo puede ser mantenida y slamente se aplica en referencia a teoras ya construidas y aceptadas! - En las fases de descubrimiento la tesis de la base comn no es aplicable! Teora de la observacin cientca de Hanson: (i) La visin observacin est cargada de teora. (ii) La observacin est moldeada por un conocimiento previo. is :: FiloCien 2011/2012 :::: :::: 37/44 ::

Tema 3. Crticas a la Concepcin Heredada (I)

N OTAS

(iii) El lenguaje usado para expresar el conocimiento inuye tambin en las observaciones. (iv) El lenguaje que usamos para expresar lo que conocemos es fundamental para reconocer este mismo conocimiento. Rechazo explcito de la distincin terico/observacional. Lenguaje observacional: El lenguaje observacional no se reduce exclusivamente a imgenes y sensaciones . . . . . . sino que est cargado tericamente: - La propia eleccin del los trminos del lenguaje condicionar la investigacin cientca, i.e. el lenguaje juega un papel metodolgico. Del lenguaje a la explicacin cientca (y la causalidad): Lenguaje es fundamental para expresar conocimiento: - Necesario para la explicacin cientca . . . explicacin cargada de teora! Explicacin - Consiste en insertar un fenmeno X en un sistema conceptual, en cuyo marco cobra sentido y signicado.

is ::

FiloCien 2011/2012 ::::

::::

38/44 ::

N OTAS Tema 4. Crticas a la Concepcin Heredada (II)

El historicismo Kuhn
Intro
[ T. Kuhn (1962), La estructura de las revoluciones cientcas; y su Postdata de 1969] Cambio de perspectiva: - Kuhn no habla de demarcacin de la ciencia, sino de progreso y desarrollo cientco! Ideas centrales: (i) Ciencia no acumulativa. (ii) Crtica al racionalismo de la concepcin heredada. (iii) La ciencia avanza a partir de crisis y rupturas que conllevan cambios radicales en la concepcin del mundo Revoluciones cientcas Cambios de paradigma cientco!

Paradigmas cientcos, ciencia inmadura y ciencia madura

Paradigma cientco De forma un tanto imprecisa: Paradigma es un modelo o patrn aceptado por los cientcos de una determinada poca [ Kuhn (1962)]. Ej.: - Mecnica de Newton; - Qumica de Lavoisier; - Electromagnetismo Maxwell. (Los libros de texto empleados para la formacin de nuevos cientcos suelen constituir expresiones de los paradigmas.)

is ::

FiloCien 2011/2012 ::::

::::

39/44 ::

Tema 4. Crticas a la Concepcin Heredada (II)

N OTAS

Fases del desarrollo cientco: Ciencia inmadura y ciencia madura Las fases de desarrollo cientco son inicialmente dos: (i) Periodo de ciencia inmadura - No hay paradigma establecido. - No hay consenso bsico, lo que diculta el progreso cientco. Ej.: - Historias Naturales de Bacon - Teora de la electricidad de principios del siglo XVIII

(ii) Periodo de ciencia madura - Adopcin por parte de la comunidad de cientcos de un paradigma comn. - La adopcin de un paradigma comn facilita el progreso cientco, . . . . . . ya que constituye el fundamento para la prctica posterior. - La ciencia madura se caracteriza por la alternancia contnua de dos fases en el desarrollo cientco: Ciencia normal, Ciencia extraordinaria. Paradigma y matriz disciplinar Qu es exactamente un paradigma? [ Kuhn (1962)] es bastante impreciso al respecto, i.e. paradigma como modelo o patrn aceptado. Algo ms preciso en [ Kuhn (1969)]: - Dos sentidos de paradigma: (i) Aspecto sociolgico sentido amplio: Creencias, valores, tcnicas, etc. compartidos por la comunidad matriz disciplinar. (ii) Aspecto ms losco sentido restringido: Modelo-ejemplo ilustrativo.

is ::

FiloCien 2011/2012 ::::

::::

40/44 ::

Tema 4. Crticas a la Concepcin Heredada (II) Matriz disciplinar ( paradigma en sentido amplio) [ Kuhn (1969)] Cuatro componentes: (i) Generalizaciones simblicas; (ii) Modelos; (iii) Ejemplares; (iv) Valores. Inconmensurabilidad de los paradigmas Cada paradigma interpreta los hechos de forma completamente diferente, y constituye una visin del mundo diferente: - Los paradigmas son inconmensurables!

N OTAS

Ciencia normal y ciencia extraordinaria

Ciencia normal En periodos de ciencia normal: Los cientcos no tratan de encontrar nuevas teoras o fenmenos . . . . . . sino de dotar de mayor coherencia a lo ya conocido. Los cientcos se dedican a: - Determinar con precisin los hechos signicativos dentro del paradigma; - Encajar los hechos con la teora; - Consolidar/articular la teora misma; El progreso cientco es acumulativo. No es necesario que el paradigma d cuenta de todos los hechos bajo su dominio . . . . . . pero esto hace que surjan anomalas. Las anomalas dan lugar a periodos de crisis . . . . . . que en algunos casos desembocan en revoluciones ciencia extraordinaria.

is ::

FiloCien 2011/2012 ::::

::::

41/44 ::

Tema 4. Crticas a la Concepcin Heredada (II)

N OTAS

Revoluciones cientcas y ciencia extraordinaria Acumulacin de anomalas periodo de crisis. - La comunidad cientca debilita su conanza en el paradigma; - Proliferacin de teoras; - Consenso se debilita; - Divisin en la comunidad cientca. Dos posibles salidas a los periodos de crisis: (i) El paradigma es capaz, despus de todo, de explicar las anomalas el paradigma se mantiene. (ii) Las anomalas persisten revolucin cientca. Revoluciones cientcas: - El paradigma no puede explicar las anomalas y los cientcos no pueden ignorarlas. - Resultan en la adopcin de un nuevo paradigma . . . . . . mediante una discontinuidad radical. - Las revoluciones constituyen cambios en la visin del mundo.

Progreso cientco
El progreso se da de dos formas: (i) Acumulativo en los periodos de ciencia normal; (ii) No acumulativo cambio revolucionario verdadero avance cientco! El progreso no consiste en un acercamiento a la verdad: - Se da en tanto que los cientcos perciben una cierta superioridad del nuevo paradigma; - Pero la percepcin de superioridad no es objetiva . . . . . . por tanto, no es posible hablar de progreso cientco de forma objetiva! - Slo es posible hablar de progreso desde el punto de vista del paradigma triunfante!

is ::

FiloCien 2011/2012 ::::

::::

42/44 ::

Tema 4. Crticas a la Concepcin Heredada (II)

N OTAS

Problemas y crticas
Irracionalidad La propuesta de Kuhn se tacha de irracional por varios motivos: No hay meta para la ciencia como podra ser la verdad, por ejemplo. Carencia de criterios objetivos y neutrales para evaluar las teoras rivales El progreso cientco es un acuerdo de la comunidad! Ciencia normal conservadora Popper, Feyerabend: - La ciencia normal es conservadora y dogmtica! Inconmensurabilidad Tres aspectos/dimensiones de la inconmensurabilidad [ Kuhn (1962)]: (i) Inconmensurabilidad semntica - Relativa al vocabulario de las teoras No hay lenguaje observacional comn a teoras rivales ( carga terica)! (ii) Inconmensurabilidad metodolgica - Se reere al cambio en las normas para la seleccin y evaluacin de problemas, i.e. ausencia de normas comunes para juzgar los paradigmas rivales. (iii) Inconmensurabilidad ontolgica - Los paradigmas rivales se reeren a mundos diferentes, i.e. no hay correspondencia entre las entidades que cada paradigma postula. Las crticas a la inconmensurabilidad tienen su origen, en buena medida, en los sentidos metodolgico y ontolgico de sta: - No hay forma de juzgar/evaluar ms all de los paradigmas, i.e. las valoraciones/evaluaciones son siempre relativas al paradigma adoptado relativismo!.

is ::

FiloCien 2011/2012 ::::

::::

43/44 ::

Tema 4. Crticas a la Concepcin Heredada (II)

N OTAS

El anarquismo metodolgico Feyerabend

[ Feyerabend (1962), Explicacin, reduccin y empirismo]: Revoluciones cientcas; Inconmensurabilidad: - Substancialmente diferente a la de Kuhn. - Aplicada slo al lenguaje inconmensurabilidad semntica i.e., ausencia de conexiones deductivas entre dos teoras generales irreducibilidad de una sobre otra. [ Feyerabend (1975), Tratado contra el mtodo]: No hay mtodo cientco! - No existe un conjunto de normas que sean seguidas universalmente por los cientcos, i.e. todo conjunto de normas metodolgicas ha sido incumplido en algn momento de la historia de la ciencia. - Gracias a la violacin de las normas metodolgicas se ha producido avance cientco. - Si tiene que haber una norma general, sta debera ser: Todo vale. - Todo vale no signica que cualquier cosa es ciencia, o que no hay reglas . . . Los cientcos son oportunistas metodolgicos; Pluralismo metodolgico. Proliferacin de teoras: - La unanimidad de opinin no es adecuada para la ciencia; - La proliferacin de teoras, la variedad de opinin, es una necesidad para la ciencia y, por consiguiente, para la losofa!

end

is ::

FiloCien 2011/2012 ::::

::::

44/44 ::