M. En C. Eduardo Bustos Faras 2 Introduccin a la Filosofa de la Ciencia Definiciones y objetivos Ciencias formales Lgica Matemtica Ciencias fcticas Racionalismo y empirismo Mtodo inductivo Positivismo Reduccionismo Falsacionismo Determinismo Paradigmas y rupturas Metodologa de los programas de investigacin Adis a la epistemologa 3 Definiciones y objetivos Epistemologa o Gnoseologa Es la teora del conocimiento. Estudia la produccin de conocimientos cientficos bajo todos sus aspectos: lgicos, lingsticos, histricos, ideolgicos,... Algunas escuelas dan un sentido ms restringido y dicha doctrina se ocupara de las condiciones de validacin del conocimiento cientfico, esto es, de determinar en que condiciones (lgicas y empricas) una teora puede ser aceptada. Segn la epistemologa las ciencias forman dos grupos: Ciencias formales: como la lgica y la matemtica, que no tienen relacin con la realidad salvo a travs de su lenguaje. Ciencias fcticas: que se ocupan de procesos, hechos y de sus relaciones. Sus propiedades se refieren a la realidad emprica y dependen de lo que diga la experiencia. A su vez este grupo se puede desglosar en dos: ciencias naturales y ciencias sociales. 4 Ciencias formales Son ciencias del conocimiento a priori. No necesitan ir a la experiencia, a la realidad sensible para justificar la realidad de sus afirmaciones. sta depende de sus relaciones lgicas, es decir, de la coherencia. Utilizan una estructura deductiva. Manejan agrupamientos de palabras denominadas proposiciones, que son enunciados que pueden ser verdaderos o falsos. Establecen las reglas a partir de las cuales se considera que un razonamiento es vlido segn se rija la conclusin, necesariamente o no, a partir de las premisas. 5 Lgica Es la ciencia que tiene por objeto enunciar los procedimientos deductivos, estableciendo mtodos para distinguir los razonamientos vlidos de los no vlidos, segn su forma y estructura. La lgica nos garantiza que si un razonamiento es vlido y se parte de premisas verdaderas, la conclusin sea necesariamente verdadera. La lgica es el pegamento que mantiene unidas a las matemticas, lo que hace que partiendo de hechos conocidos terminemos con hechos nuevos. Los enunciados o afirmaciones suelen ser bastante inocentes salvo los enunciados autoreferenciales, los que se refieren a s mismos. Este enunciado es falso!. La supuesta afirmacin de Epimnides, el cretense, todos los cretenses son unos mentirosos, es otro ejemplo. Los enunciados autoreferenciales no se consideran enunciados propiamente dichos. 6 Matemtica (I) Desde Platn la matemtica fue vista como la disciplina a partir de la cual se poda llegar a conocimientos eternamente verdaderos. Detrs de esta idea estaba el ideal tambin platnico de conocimiento absoluto, no sujeto a los avatares histricos-subjetivos-empricos. La primera realizacin histrica de ese ideal se reserva a los Elementos de Euclides (300 aos a.C.). En esta obra se conforma el sistema deductivo de la matemtica que pretende seguir la idea de ciencia demostrativa, es decir, un conjunto organizado de relaciones y encadenamientos de proposiciones donde algunas de ellas se obtienen como conclusiones deducidas de las otras, de las premisas de partida. Estas premisas de partida se denominan principios evidentes, cuya verdad es absolutamente independiente de la experiencia sensible y que permite obtener otras proposiciones por medio de las reglas lgicas. Estas premisas verdaderas en matemticas se denominan Axiomas o Postulados. Las proposiciones deducidas se denominan Teoremas. 7 Matemtica (II) Los axiomas o postulados son especficos de cada ciencia. Los sistemas deductivos deben cumplir las siguientes propiedades: Consistencia y coherencia: Dentro de un mismo sistema no se puede demostrar un teorema y su negacin. Independencia de los axiomas: Ningn postulado puede deducirse como teorema a partir de los otros. Completitud: Es completo cuando todas las frmulas verdaderas son teoremas del sistema. En el siglo XIX Gauss, Bolyai, Lobachevsky, Riemann,...el sistema axiomtico se acepta por pura convencin, sin interesar la verdad del mismo. Debido a esto, las verdades son relativas, en el sentido que estn sujetas al sistema axiomtico de referencia. Axiomas o postulados Teoremas 8 Matemtica (III) Los teoremas de Gdel en 1931 y Church en 1934 acaban con la autofundamentacin de la matemtica. El primero demuestra la incompletitud de la aritmtica y el segundo la indecibilidad de la lgica, esto es, que la operacin deductiva de la razn no es totalmente mecanizable. Con estas limitaciones, la matemtica muestra, que es incapaz de fundamentare a s misma. Durante casi 2000 aos, el ideal de conocimiento absoluto de Platn, junto con la idea de ciencia demostrativa de Aristteles, fueron las mayores influencias para definir la ciencia racional perfecta. Se construy as un edificio lgico matemtico que pretendi acceder a verdades no sujetas a opinin, absolutas y eternas. La historia de las matemticas destruy este ideal y hoy puede decirse que la nica verdad absoluta es que todas la teoras cientficas y tcnicas estn sujetas al devenir histrico. 9 Matemtica (IV) El matemtico britnico Alan Turing, mediante un proceso extraordinariamente simple del proceso computacional conocido como mquina de Turing, demostr que nadie podra encontrar un mtodo infalible para decidir si un programa finalizara o no. Indecibilidad!; es decir, puede haber problemas matemticos irresolubles en un nmero finito de pasos!. Gdel demostr que las matemticas eran lgicamente inconsistentes ya que conducan a enunciados autocontradictorios. 10 Matemtica (V) Definicin: Es la ciencia de las pautas o patrones, son la forma en que los detectamos, analizamos y clasificamos patrones regulares. Las matemticas son una construccin de la mente humana; pueden modelar la realidad pero no son lo mismo que la realidad. Las matemticas hacen uso de idealizaciones tales como infinito, que no tienen correspondencias evidentes en el mundo real. El gran matemtico alemn David Hilbert, dio una charla en la que present resumidamente 23 problemas no resueltos. Finaliz con una nota de optimismo: Debemos saber; sabremos. 11 Ciencias fcticas Son ciencias del conocimiento a posteriori. Necesitan ir a la experiencia, a la realidad sensible para justificar la realidad de sus afirmaciones. Estas depende tanto de sus relaciones lgicas como de su contraste con la experiencia. Utilizan una estructura tanto deductiva como inductiva. Manejan agrupamientos de palabras denominadas proposiciones, que son enunciados que pueden ser verdaderos o falsos. Adems utilizan instrumentos materiales para realizar observaciones y constatar hechos. Establecen las reglas a partir de las cuales se considera que un razonamiento es vlido segn se rija la conclusin, necesariamente o no, a partir de las observaciones o resultados experimentales y de las premisas o hiptesis de partida. 12 Racionalismo y empirismo Racionalismo: Doctrina filosfica que considera la razn como nico modo de conocer la naturaleza, prescindiendo de factores histricos y vitales. Creencia en el poder ilimitado de la razn. Actitud filosfica que pretende explicar racionalmente el mundo, partiendo de la analoga entre la razn humana y la divina que ha formado todas las cosas. Empirismo: Sistema filosfico que toma la experiencia como nica base de los conocimientos humanos. En su forma ms general, el empirismo, niega que podamos obtener a priori el conocimiento de ningn tipo de entidad. 13 Mtodo inductivo (I) Inductivismo: El mtodo de inferencia inductiva tiene como particularidad que parte de enunciados particulares y llega a una conclusin con un nivel de generalidad mayor. Caractersticas: La conclusin no se deriva de las premisas. Efecta un salto lgico o salto inductivo al efectuar el paso de los casos particulares a la generalidad. Desde el punto de vista lgico no es legtimo pues puede suceder que partiendo de premisas verdaderas lleguemos a conclusiones falsas. Da por hecho el principio de regularidad de la naturaleza, un principio que afirma que la naturaleza se va a comportar siempre de la misma forma. 14 Mtodo inductivo (II) El origen del mtodo se debe a Francis Bacon (1561-1621), quien lo expuso en su obra Novum Organon, en plena revolucin cientfica. Bacon se vio seducido por la objetividad que garantiza la naturaleza emprica del comienzo del mtodo lo que elimina errores, prejuicios, fantasas,... Personajes tan ilustrados como J ohn Locke (1632-1704) y David Hume (1711-1776) se mostraron entusiastas del mtodo inductivo. Newton era un gran defensor de dicho mtodo y deca (carta a Oldenbourg 1672): El sabio produce su teora no deducindola de una refutacin de suposiciones contrarias, sino derivndola de experiencias de donde ella se deduce positiva y directamente. Yo no hago hiptesis dir tambin Newton. Charles Darwin en su autobiografa asever: Trabaj sobre slidos principios baconianos, y sin plantearme teora alguna recog datos a gran escala. 15 Mtodo inductivo (III) Problemas del mtodo: No hay fundamentacin lgica para el salto inductivo. No se puede fundamentar el mtodo por la eficacia mostrada en el pasado debido al problema anterior. No se pueden reunir todos los hechos. Cualquier seleccin de datos descubre una hiptesis para evaluar la relevancia de los mismos. No existen los datos puros sin hiptesis previas. Se empieza a abandonar a finales del siglo XVIII principios del XIX, admitiendo que las teoras no tienen por qu limitarse a las afirmaciones sobre entidades y procesos observables. Se retoma por los positivistas 16 Mtodo inductivo (II) Leyes y teoras Induccin Deduccin Predicciones y explicaciones Hechos adquiridos a travs de la observacin Baconiano Cartesiano 17 Positivismo (I) El Positivismo adquiere significado en las primeras dcadas del siglo XIX, con Augusto Comte como figura ms relevante. Dicho autor empleaba la palabra positivo para designar lo real, lo fctico, lo observable y cuantificable. Para Augusto Comte la organizacin social estaba regulada por un orden que respondera a leyes naturales. Existen por lo tanto desigualdades y subordinaciones naturales. Segn l, la verdadera libertad consistira en la aceptacin racional de las leyes naturales, proclamando el peligro de la libertad de conciencia. El espritu cientfico se manifestara en la bsqueda de estas leyes naturales. 18 Positivismo (II) Los elementos centrales de Comte eran: La recurrencia a lo emprico, a lo observable como nico origen legtimo y tribunal del conocimiento. Creencia de que en el orden social existe una legalidad natural que el hombre debe descubrir. La metodologa sera la misma que en las ciencias naturales. Creencia en alcanzar el progreso a travs de la utilizacin de la razn. Caractersticas generales (se han deducido a partir de los anlisis del crculo de Viena/positivismo lgico, empirismo lgico o neopositivismo) Empirismo-nominalismo: slo podemos registrar aquello que se manifiesta a nuestra experiencia sensible. Negacin del valor cognoscitivo de enunciados normativos y valorativos. Unidad metodolgica: los modos de acceder al conocimiento son los mismos para todo tipo de saber. 19 Positivismo (III) Crculo de Viena Lo funda Moritz Schlick en 1924 aunque la figura ms representativa es Rudolf Carnap. En 1929 publican el manifiesto del Crculo de Viena donde exponen sus objetivos principales, que eran la unificacin de las ciencias abarcando todos los conocimientos cientfico-tcnicos, con el uso a fondo del anlisis lgico de los enunciados cientficos. No se ocupa de la gnesis del conocimiento. Tan slo les preocupa la validez y justificacin de las hiptesis a travs de dos instancias: el control emprico y la validez lgica. La condicin bsica del conocimiento cientfico es la objetividad del saber, objetividad que se sustenta en la autonoma y la neutralidad. Creen posible la bsqueda de la verdad de modo independiente de los intereses humanos. 20 Positivismo (IV) Dividen el mbito de incumbencia del quehacer cientfico en tres contextos. Contexto del descubrimiento Contexto de justificacin Contexto de aplicacin Carnap acepta el dualismo epistemolgico al admitir tanto los enunciados analticos de la lgica como los enunciados sintticos. Otra de sus tesis fundamentales es la del criterio verificacionista del significado. Segn este criterio las nicas proposiciones que pueden formar parte de la ciencia son aquellas que pueden verificarse experimentalmente. 21 Positivismo (V) El sentido de una proposicin consiste en el mtodo de su verificacin. El sentido de las proposiciones dependen de la posibilidad de reducirlas a contenidos que versan sobre las propiedades y comportamientos de los cuerpos fsicos. Esta tesis se muestra pronto insuficiente ya que hay enunciados que no pueden ser confirmados a la luz de la experiencia revelante. Flexibilizan su postura proponiendo evaluar los enunciados cientficos a partir de la capacidad tcnica de ser verificados, al menos en principio. Postulan el mtodo inductivista como el mtodo de las ciencias fcticas. 22 Positivismo/Reduccionismo Consecuencias: La razn se reduce a la ciencia y a la tecnologa. Todo saber es reducible en ltima instancia a la fsica. Reduccionismo ontolgico Todos los fenmenos de un mbito o disciplina A pueden ser reducidos a una disciplina o teora B que podemos denominar bsica. Todo es fsica. El hombre est completamente descrito es sus genes. El reduccionismo generalizado afirma que la vida es fsica. Esta propuesta esta relacionada con la postura positivista de unificar todas las ciencias y saberes tcnicos en mbitos de explicacin cada vez mas abarcativos y unificados. Popper est a favor y Kuhn afirma todo lo contrario; este ltimo afirma que con el devenir de los aos hay una tendencia hacia una especializacin creciente. 23 El falsacionismo (I) El falsacionismo como criterio de demarcacin cientfica: Karl Popper. Representa un punto de inflexin desde puntos de vista ms empiristas, como los defendidos por la corriente positivista, hacia posiciones donde la carga terica sera el punto de partida de todo conocimiento cientfico-tcnico. Esta postura es compartida por Thomas Kuhn. Se propuso buscar un criterio que diferenciara que es ciencia/tecnologa de aquello que no lo es, es decir, un criterio de demarcacin. Reza como sigue (1919): Podrn formar parte del cuerpo de la ciencia slo aquellas afirmaciones plausibles de refutacin o ser falsables. 24 El falsacionismo (II) Otra diferencia es que Popper sostiene que el conocimiento no comienza con la observacin sino con una conjetura o hiptesis. Las experiencia actuar como control de nuestra especulaciones, descartando aquellas que no concuerden con los hechos empricos. Sin embargo las experiencias juegan un papel asimtrico. Si bien pueden refutar cualquier teora, no puede demostrar por el contrario que son verdaderas. Ningn nmero finito de experiencias de hechos u observaciones singulares puede demostrar la verdad universal de una teora. Hay una fuerte asimetra entre la falsedad de una hiptesis y la determinacin de una verdad. Para Popper el falsacionismo adquiere categora de honestidad cientfica, ya que el investigador tiene que tratar de refutar constante y honestamente su teora. Este proceso de prueba de una teora se conoce como contrastacin. La teora se acepta por la comunidad cuando se decide que se ha contrastado lo suficiente. 25 Mtodo falsacionista (III) Hiptesis fundamental Clusula ceteris paribus Datos observacionales Condiciones iniciales Hiptesis acerca del material de trabajo, teoras interpretativas experimentales Experimento u observacin Hiptesis derivadas Clusula ceteris paribus o hiptesis factorial: No hay ningn factor extrao y desconocido que influya de manera relevante en la observacin , ya sea en el diseo de la experiencia como en las hiptesis supuestas. 26 El falsacionismo (IV) El problema de las hiptesis ad hoc: Suele ocurrir que una hiptesis o teora sea refutada. A lo largo de la historia ha ocurrido que el establecimiento de una hiptesis adicional pueda salvar la teora haciendo desaparecer la refutacin. Tal fue el caso del descubrimiento del planeta Neptuno a partir de las irregularidades observadas en Urano. Son admisibles nicamente cuando conducen a predicciones falsables. En el caso anterior condujeron al descubrimiento de Neptuno. 27 Determinismo Se da el nombre de determinismo a la teora en que se afirma la condicionabilidad causal y universal de todos los fenmenos. En la actualidad, el carcter determinista de la mecnica clsica se considera secundario y basado en ltima instancia en la naturaleza estocstica del mundo cuntico. Aunque , la teora cuntica no es probabilista en esencia!. La ecuacin de Schrdinger es determinista. El lenguaje probabilista surge para superar la falta de adecuacin de nuestras preguntas a la naturaleza, al mundo cuntico. Las dificultades del determinismo: Poincar y otros haban advertido que cuando los sistemas estudiados son ms elaborados, an permaneciendo lejos de la complejidad de la realidad, deja de poderse garantizar la estabilidad del nivel de incertidumbre. Por el contrario, la incertidumbre del estado del sistema crece exponencialmente con el tiempo, de tal forma que en seguida desaparece la posibilidad, incluso cualitativa, de prever su comportamiento. 28 Paradigmas y rupturas (I) La historia de la ciencia y la tecnologa no se presenta como un camino de logros continuos guiados por un mtodo infalible sino que se manifiesta por fases de una profunda ruptura con el pensamiento anterior. Son los descubrimientos ms el resultado de la investigacin sistemtica que del azar o al contrario?. Es el desarrollo cientfico-tecnolgico irracional en su progreso, imposible de predecir?. En 1962 Thomas Kuhn publica La estructura de las revoluciones cientficas donde da cuenta de este debate. La ciencia y la tecnologa tienen una historia Dicha historia surge del trabajo colectivo y no de meras individualidades. 29 Paradigmas y rupturas (II) Para ello define la comunidad cientfico-tcnica: Grupo constituido por cientficos y tcnicos de una determinada disciplina que han compartido un aprendizaje, que tienen formas similares de entender y resolver los problemas que la investigacin diaria les plantea y a los que un lenguaje comn les permite comunicarse entre s sin miedo a ser malentendidos. Estos grupos suelen ser bastante dogmticos y conservadores. Paradigmas y ciencia normal: El paradigma es la forma actual que tiene la comunidad de ver el mundo, es decir, tanto el modelo actual de la naturaleza como el mtodo de investigacin empleado para indagar y aplicar los resultados. Cuando el paradigma est vigente hablamos de periodos de ciencia normal. La actividad de la investigacin se desarrolla en el marco del paradigma vigente. 30 Paradigmas y rupturas (III) Progreso y revoluciones Progreso es cuando se profundiza en el conocimiento y las aplicaciones derivadas del paradigma vigente. Se complejiza ms lo conocido y se va completando el rompecabezas. Tarde o temprano se encuentran anomalas, es decir, enigmas que el paradigma actual no puede resolver. A veces se encuentra solucin para algunas pero otras veces no, y los problemas sin resolver se van acumulando. Esto trae consigo que el consenso alrededor del modelo empiece a romperse. Entonces el paradigma entra en crisis y se proponen nuevos modelos, modelos alternativos que explican las anomalas observadas. La aparicin de un descubrimiento o experimento concluyente fortalece una de las teoras en discusin. Se inicia el periodo de conversin de la comunidad hacia el nuevo modelo. El periodo revolucionario abarca desde la aparicin de anomalas hasta la aceptacin del nuevo paradigma. 31 Paradigmas y rupturas (IV) Progreso y revoluciones El surgimiento de un nuevo paradigma es el resultado de una revolucin cientfica. Las revoluciones tiene carcter holstico ya que implican una redefinicin de la conexin entre trminos del lenguaje y de la naturaleza. Los paradigmas son inconmensurables ya que utilizan diferentes lenguajes. Hay un cambio en la visin del mundo ; los hechos ya no son los mismos. Propone, a diferencia de los neopositivistas, entender el desarrollo de las ciencias y la tecnologa no como una aproximacin asinttica hacia la verdad, sino como un proceso desde lo que conocemos. 32 La metodologa de los programas de investigacin (I) Su impulsor es Imre Lakatos, pseudnimo de Samuel Lipschitz quien en 1970 publica su obra principal El falsacionismo y la metodologa de los programas de investigacin cientfica. Se le suele ver como un sintetizador de las ideas de Kuhn y Popper. Establece el concepto de programa de investigacin en el que engloba la teora primitiva ms las sucesivas modificaciones despus de haber introducido sucesivas hiptesis ad-hoc. Esta unidad de anlisis incluye adems la instancia de decisin de la comunidad cientfica. La decisin no implica slo la aceptacin del programa sino el compromiso a trabajar an con contradicciones y refutaciones siempre y cuando las hiptesis bsicas no se hallen refutadas. 33 La metodologa de los programas de investigacin (II) Elementos de los programas de investigacin Ncleo duro: Es el formado por las hiptesis irrefutables por decisin de la comunidad (decisin provisional) y son convencionalmente aceptadas. La aparicin de un nuevo paradigma no se debe a que estas hiptesis sean refutadas sino al convencimiento de la comunidad de que hay otro programa con un contenido emprico adicional que parece ms prometedor. En ese momento se abandona el programa anterior. El ncleo duro esta rodeado por un cinturn protector de hiptesis auxiliares. Estas hiptesis protegen al ncleo de refutaciones e indican el camino a seguir en las investigaciones. Constituyen la heurstica positiva, es decir, el arte del descubrimiento. La heurstica negativa la constituyen las acciones que pueden hacer peligrar el centro firme del programa o ncleo duro. 34 La metodologa de los programas de investigacin (III) Los programas son ms flexibles ya que permiten el descarte de hiptesis y la aceptacin de otras nuevas sin que peligre el paradigma o el periodo de ciencia normal. El programa en un ente ms dinmico. Un programa ser progresivo si lleva a descubrir nuevos hechos merced a su heurstica positiva y ser degenerativo si las hiptesis ad-hoc no son corroboradas por la comunidad en el curso de sus investigaciones. Para Lakatos puede haber varios programas en conflicto, en contraposicin con la posicin hegemnica del paradigma de Kuhn. La dialctica de competencia de los programas conduce a las revoluciones cientficas. Es cuando un programa entra en fase progresiva y otro en fase degenerativa. Adems Lakatos entiende que la filosofa de la ciencia debe servir para reconstruir la historia de la ciencia. Las metodologas modernas deben dar criterios para evaluar teoras ya elaboradas. 35 La metodologa de los programas de investigacin (IV) Niega la existencia de experimentos cruciales. Defiende que los experimentos cruciales son ttulos honorficos otorgados a experimentos mucho despus de realizarse, cuando un programa ha sido reemplazado por otro. La ciencia y la tecnologa se pueden considerar como un enorme programa de investigacin dotado de la suprema regla heurstica de Popper disea conjeturas que tengan ms contenido emprico que sus predecesoras. El centro firme del programa sera: La ciencia y la tecnologa son empresas racionales. 36 Adis a la epistemologa (I) Feyerabend naci en Viena en 1924. Segn l no hay metodologa en el campo de la epistemologa que haya brindado slidos lineamientos a la prctica cientfica concreta. Ms an, segn l, los grandes desarrollos cientfico-tcnicos van asociados a violaciones reiteradas a las axiologas epistemolgicas oficiales. La nica metodologa vlida en el desarrollo cientfico, en proporcionar criterios vlidos a los cientficos es la preceptiva todo vale. Postula la imposibilidad manifiesta de cualquier metodologa de brindar principios cientficos, inalterables y absolutamente obligatorios que rijan los asuntos cientficos. Tal postura se ha denominado Teora anarquista del conocimiento. Feyerabend se concentra en dos principios: Condicin de consistencia. Las nuevas hiptesis deben concordar con la teoras aceptadas. Rechazo sistemtico de la presunta objetividad de los hechos como criterio evaluador de las teoras cientficas. 37 Adis a la epistemologa (II) Niega a la ciencia el status de saber superior a otras formas de conocimiento. No hay vestigios en su prctica que la conviertan en paradigma de la racionalidad y medida objetiva. La ciencia no es superior a la brujera o a la magia. Su status actual se debe al espectculo montado a su alrededor. Est en contra de la institucionalizacin de la ciencia y contra su establecimiento como norma de ponderacin e idea regulativa a partir de la cual se estima el valor de toda otra prctica. Hay que liberar a la sociedad del dogal de una ciencia ideolgicamente petrificada, del mismo modo que nuestros antepasados nos liberaron del dogal de la nica religin verdadera. (Nota del profesor: ver para creer!)