Captulo 4

Captulo 4. Las ciencias formales.4.1. La matemtica: constructos formales y realidad. Una demostracin es una prueba lgica, no una prueba emprica ni afirma ni niega nada acerca de la realidad. En lgica, la verdad de las proposiciones no se demuestra mediante ningn mtodo experimental, sino mediante un argumento cuyas premisas son los axiomas o postulados (indemostrables) y la conclusin es la conjuncin de teoremas (demostrables) deducidos.>Popper dice que la aplicabilidad de las ciencias formales en la realidad es insostenible (slo se pueden usar nmeros naturales), porque la aplicacin no es real sino aparente.>La metodologa en Aristteles, destaca tres supuestos fundamentales:a. Supuesto de deducibilidad. La ciencia demostrativa debe partir de ciertos principios indefinibles que servirn para definir otro trmino, y tambin debe partir de axiomas para demostrar todas las verdades de esa ciencia mediante el empleo de reglas. Es decir, que todo teorema debe deducirse de los axiomas.b. Supuesto de evidencia. Exige que los axiomas puedan ser aceptados como verdaderos sin demostracin. Deben ser principios simples no cuestionables, autoevidentes.c. Supuesto de realidad. Ciencia es siempre ciencia de la realidad. Los axiomas deben tener contenido emprico. Axioma: proposicin dada, de carcter general. No se cuestiona, es el punto de partida y deben ser evidentes. Postulado: punto de partida especfico de cada ciencia. Tanto como los axiomas, son considerados verdades evidentes que no necesitan demostracin. Teorema: conjunto de proposiciones deducidas de axiomas. Demostracin: conjunto finito de enunciados donde cada uno de ellos es un axioma o una consecuencia lgica de otros enunciados>La lgica puede ser formal sin haber sido todava formalizada. Est formalizada cuando se enumeran los signos no definidos, se especifica las condiciones de la frmula en el sistema, se enumeran los axiomas como premisas y las reglas de inferencia consideradas como aceptables.4.2. Sistemas axiomticos. No cualquier razonamiento es un sistema axiomtico, es un conjunto con cierto orden. Sus componentes son:1. Trminos primitivos. No se definen pero sirven para definir otros trminos.2. Definiciones.3. Axiomas.4. Reglas.5. Teoremas. ltimo paso de una demostracin.>Pasos para el sistema axiomtico:1) Lista de todos los trminos sin definicin.2) Establecer una relacin de todos los axiomas, preferentemente se parte del menor nmero.3) Desarrollar el sistema, deducir las consecuencias lgicas mediante reglas de inferencia y obtener teoremas del sistema.4.2. Propiedades de los sistemas axiomticos. El sistema de axiomas se elige por conveniencia y debe ser:a) Consistente: no se puede derivar una frmula y su negacin. No encontrar un caso de inconsistencia en el sistema axiomtico no significa que el sistema sea consistente. Es decir, el axioma no es contradictorio puesto que debe tener coherencia interna.b) Independiente: los axiomas deben ser independientes entre s, no deben derivarse de otros. Si se intenta derivarlo y no se logra no significa que sea independiente.c) Completo: permite derivar de los axiomas todas las leyes del sistema. Una ley no derivable hace inconsistente al sistema.>Tarski establece que es consistente falta de contradiccin- una disciplina deductiva y al sistema de axiomas cuando no hay dos enunciados que se contradigan mutuamente (o de dos enunciados contradictorios al menos uno no pueda demostrarse); y es completa cuando de dos proposiciones al menos una puede demostrarse.4.3. Interpretacin y modelo de los sistemas axiomticos. El mtodo axiomtico es un instrumento de abstraccin que puede ser realizado por mquinas. Se interpreta un concepto primitivo cuando se le atribuye un sentido, y se obtiene un modelo de un sistema axiomtico cada vez que cada uno de esos conceptos se ha interpretado de manera que son ciertas las proposiciones que resultan de los axiomas.Captulo 5. La cuestin del mtodo en las ciencias fcticas.5.1. El lenguaje de una teora fctica. Una teora es un sistema de enunciados, que son oraciones declarativas que vinculan trminos. Existen tres tipos de trminos en una teora fctica:Teora Fctica

Trminos:Enunciados:

a. Trminos lgicos: vocabulario formal, son enlaces sintcticos.a. Enunciados tericos: vocabulario descriptivo nicamente en trminos tericos. (los genes tienen alelos)

b. Trminos observacionales: vocabulario que refiere a entidades, propiedades y relaciones observables (predicados como azul, fro, pesado)b. Enunciados observacionales: vocabulario descriptivo nicamente en trminos observacionales. (el papel tornasolado vir a rojo)

c. Trminos tericos: refiere a entidades, propiedades y relaciones no observables (electrn, gen, campo elctrico)c. Enunciados mixtos: contienen tanto trminos tericos como observacionales, conectndolos entre s mediante la carga de interpretacin emprica.

Los enunciados construidos en la teora contienen tanto trminos lgicos como trminos no lgicos (trminos descriptivos o designativos: tericos y observacionales)Los enunciados se estructuran como un sistema que incluye diferentes estratos.

Esquema de una teora por niveles

Nivel 1: Enunciados empricos bsicos.a) Todos los trminos son empricos y no tericos.b) Son enunciados singulares: se habla de una sola entidad o de un conjunto finito. (ej.: el papel)

Nivel 2: Generalizaciones empricas.a) No incluye trminos tericos.b) Afirmaciones generales que establecen regularidades en conjuntos amplios (los cuerpos se dilatan al calor).

Nivel 3: Enunciados tericos.a) Debe contener al menos un trmino terico.A este nivel pertenecen las hiptesis tericas puras fundamentales.

Una hiptesis cientfica es un enunciado conjetural cuyo valor de verdad se ignora5.2. Estructura de las teoras empricas. >Condicin formal: las teoras empricas pueden caracterizarse como clculos interpretados. Una teora axiomtica formal puede tener diversas interpretaciones (modelos), siempre que los enunciados que resultan de los axiomas sean verdaderos. >Condicin emprica: vinculacin con el mundo emprico. Segn la imagen dual de la Concepcin Heredada (el ser como lgico y emprico), es un clculo axiomtico empricamente interpretado. Popper sostena que los sistemas tericos deben tender a la forma de un sistema axiomatizado. El sistema axiomtico es un sistema de hiptesis, por lo que no deben considerarse a los axiomas como verdaderos a priori.>Un sistema terico debe ser consistente e independiente; y respecto a la relacin del sistema con el conjunto de la teora, los axiomas deben ser suficientes y necesarios.Estructura de una teora empricaHiptesis fundamental --> Hiptesis Derivadas - Parten de la hiptesis fundamental --> Consecuencias observacionales - Se sometern a contrastacin Hay tres condiciones que deben cumplirse en la estructura del clculo interpretado:a) No puede haber tautologas entre las hiptesis. No aportan informacin alguna.b) No puede haber contradicciones en las hiptesis. Tanto en hiptesis fundamentales y derivadas, la teora se volvera inconsistente.c) La teora debe ser contrastable. Deben tener consecuencias observacionales confrontables con los hechos. Las teoras empricas:1. Son entidades complejas que evolucionan con el tiempo.2. No pueden calificarse en su totalidad como verdaderas o falsas aunque tengan enunciados empricos V o F.3. Tienen una parte formal y otra emprica.4. La parte del ncleo es intocable por razones metodolgicas. Contexto de teoras:- Contexto del descubrimiento de hiptesis: cmo se accede a la informacin, cmo se formula la teora. - Contexto de justificacin. Popper sostiene que el contexto de descubrimiento es irrelevante y que la ciencia slo debe atender el de justificacin. Empirismo: el conocimiento se funda en la realidad. La experiencia da el saber, por lo que el conocimiento proviene de los hechos.5.3. Concepto de mtodo cientfico en ciencias fcticas. La nota comn en todo mtodo cientfico es la aspiracin a la bsqueda persistente de la verdad. Cualquier mtodo cientfico es plausible si desarrolla las dudas todo lo posible, adquiriendo as un grado de aceptabilidad aunque sea provisionalmente; otra nota de cientificidad es el riesgo que corren al enfrentarse con la realidad.Se admite que un conocimiento cientfico es correcto cuando lo avala una metodologa, sin que sea necesario ningn tipo de autoridad. Los mtodos cientficos se presentan como procedimientos destinados a producir un conocimiento nuevo o revalidar uno ya aceptado. Llamamos cientfico a un conocimiento que se distingue por su rigor metodolgico.Algunos epistemlogos sostienen que el mtodo cientfico debe quedar confinado al contexto de justificacin. Popper establece que en el contexto de descubrimiento todo est permitido, el problema est en justificar estas hiptesis. Kuhn rechaza la distincin entre contextos y propone eliminarlas, argumentando que en la prctica real de la ciencia es imposible separar los procesos de justificacin de los que gestaron una hiptesis.5.4. Estrategias metodolgicas bsicas de las ciencias fcticas. La investigacin cientfica puede agruparse en dos grandes ramas: las ciencias formales y las ciencias fcticas (que tienen contenido emprico).Las ciencias fcticas se distinguen segn el mtodo que utilizan para probar sus enunciados, y se dividen en ciencias de la naturaleza y ciencias humanas. Para algunos epistemlogos, las ciencias sociales carecen de objetividad.Segn Schuster, una clasificacin posible de las ciencias nos permite referirnos a las ciencias formales, naturales y sociales o humanas.Desde distintas concepciones de la ciencia se ha tratado de reivindicar un monismo metodolgico, afirmando el mtodo hipottico-deductivo o el mtodo dialctico. El pluralismo metodolgico sostiene la independencia, as como la necesidad de evaluar cada mtodo por separado, y admite que se puedan utilizar mtodos en distintos momentos y situaciones diferentes.Para Schuster, se debe evitar el monismo metodolgico cuando atenta contra la autonoma de los distintos campos de investigacin, especialmente en el caso de las ciencias sociales.5.5. Mtodo inductivo: el inductivismo estrecho e inductivismo sofisticado. El gran prestigio adquirido por las ciencias naturales se debe en parte por la contribucin exitosa de la tecnologa. Los logros alcanzados por la epistemologa actual se deben a la influencia del Inductivismo, perspectiva que identifica a la ciencia como una forma de conocimiento que alcanza un alto grado de objetividad, neutralidad y progreso. La observacin cuidadosa y desprejuiciada est al comienzo de todo proceso cognitivo. El Inductivismo culmin con el intento de la Ciencia Unificada del Crculo de Viena, englobando todas las corrientes que sostienen las siguientes tesis:1. Solamente es til el conocimiento emprico.2. La certeza est dada por las ciencias experimentales.3. El contacto con la experiencia y el rechazo a cualquier forma previa a sta es la manera de evitar el verbalismo y el error.La induccin es el razonamiento donde las premisas contienen la informacin acerca de algunos miembros de una clase, de la cual se produce un salto a una generalizacin de toda la clase. Admite que la experiencia es el lugar seguro donde captar la realidad, y es el primer mtodo cientfico.Mill realiz la descripcin clsica de los mtodos de la induccin cientfica:a) Mtodo de concordancia: Si dos o ms casos del fenmeno que se investiga tienen solamente una circunstancia en comn, esa circunstancia en la que concuerdan es la causa o el efecto del fenmeno.b) Mtodo de la diferencia: si un caso en el cual el fenmeno que se investiga se presenta y un caso en el cual no se presenta tienen todas las circunstancias comunes excepto una, presentndose sta solamente en el primer caso, la circunstancia nica en la cual difieren los dos casos es el efecto, o la causa, o una parte indispensable de la causa de dicho fenmeno.Tanto el mtodo de la concordancia como el de la diferencia, tomados en sentido estricto, son impracticables si no suponemos hiptesis previas acerca de cules son las variables pertinentes para mantener constantes o no.c) Mtodo conjunto de la concordancia y la diferencia: resulta de una combinacin de los dos mtodos anteriores.d) Mtodo de los residuos: restad a un fenmeno la parte de la cual se sabe, por inducciones anteriores, que es el efecto de ciertos antecedentes y el residuo del fenmeno es el efecto de los antecedentes restantes.Los cuatro mtodos anteriores son eliminatorios. Hay situaciones donde no es posible eliminar ciertas variables. Un fenmeno que vara de cualquier manera siempre que otro fenmeno vara de la misma manera es, o una causa, o un efecto de este fenmeno, o est conectado con l por algn hecho de causalidad. Segn Mill, sus mtodos sirven para descubrir tanto como para demostrar conexiones causales.>En el esquema tradicional del mtodo cientfico, aparece expuesta la secuencia a seguir del investigador (Inductivismo estrecho):1) Observar y registrar hechos.2) Anlisis y clasificacin.3) Derivacin inductiva de generalizaciones> enunciados generales a partir de particulares.4) Contrastacin emprica.Crticas: paso 1 y 2 no son excluyentes sobre quin las formula. Hempel sostiene que estos dos pasos deben ser suprimidos, puesto que las hiptesis se inventan: slo propone el paso de la hiptesis y el de la contrastacin.Este esquema es denominado por Hempel como concepcin inductivista estrecha de la investigacin cientfica. Establece que es impracticable, puesto que el primer paso se autorrefuta: la idea de que es la observacin sin ninguna teora o idea previa es imposible porque no determina los hechos relevantes a observar. El problema de la induccin se ubica en el contexto de la justificacin.Para aceptar la induccin hay que aceptar un principio de uniformidad de la naturaleza: los casos de los que no hemos tenido experiencia son semejantes a los casos de los que hemos tenido experiencia; confiamos en la regularidad de ciertos fenmenos. Lo que distingue a la induccin de la deduccin es que las predicciones nunca se garantizan totalmente sino que tienen un grado de probabilidad.Hume critica al Inductivismo sosteniendo que utilizaramos una inferencia inductiva para justificar el principio de induccin, que hay una inclinacin psicolgica como hbito a creer en ste y que se basa en la creencia de que la naturaleza es constante. Es decir, que Hume demuestra la imposibilidad ontolgica del principio de induccin. Se reconoce a Carnap y a Hempel la autora de la versin ms sofisticada del inductivismo, identificada como confirmacionismo.5.6. Mtodo hipottico-deductivo. El mtodo de la fundamentacin de las generalizaciones tericas, adoptadas como hiptesis, con ayuda de la deduccin de consecuencias empricas comprobadas, recibe la denominacin de mtodo hipottico-deductivo. Consiste en tratar de contrastas hiptesis mediante consecuencias observacionales y de esa manera establecer concluyentemente la falsedad de su proposicin, pero no su verdad. Se presenta en la secuencia de:1) Hiptesis fundamentales: intentan responder a un problema.2) Hiptesis derivadas: deducidas de las anteriores.3) Consecuencias observacionales: estas afirmaciones particulares se confrontan con la experiencia. Llamamos verificacin a la prueba de un enunciado verdadero y refutacin a la prueba de que es falso, y por lo tanto tambin existe una asimetra entre la verificacin y refutacin de hiptesis. El Modus Tollens funciona como regla lgica vlida en el caso de la refutacin, pero si la consecuencia observacional fuera verdadera, se formula una Falacia de afirmacin del consecuente. Esto significa que la hiptesis no puede ser considerada como verificada, pero s como corroborada o confirmada. Si la corroboracin es numerosa, se puede sostener que la hiptesis tiene un alto grado de probabilidad. Esta postura se denomina confirmacionismo (Carnap y Hempel). La corriente epistemolgica llamada refutacionismo, liderada por Popper, resalta la asimetra entre la verificacin y la refutacin. Parte del rechazo a la induccin como mtodo cientfico y al inductivismo en cualquiera de sus versiones; propona que la ciencia se caracterizara por el mtodo hipottico deductivo, considerando a la falsabilidad el camino para segregar a la ciencia de la metafsica. Popper sostiene que no se busca confirmar la hiptesis, porque sera caer en la falacia, por lo que utiliza enunciados de deduccin con la estructura de M. Tollens. La hiptesis debe estar sometida en sistemticos intentos de refutacin, y si la hiptesis resiste, aceptarla provisionalmente.Las hiptesis deben responder a un problema y ser falsables, es decir, que tengan contenido emprico. La hiptesis puede ser falsada o corroborada; y existen a su vez grados de falsabilidad. Ser ms falsable cuando el sujeto sea ms universal respecto a otra y su predicado ms preciso.No son falsables los enunciados probabilsticos, las tautologas, ni los enunciados problemticos (quizs). Cuando se intentan derivar consecuencias observacionales a partir de hiptesis fundamentales, es necesario hacer uso de suposiciones adicionales: las hiptesis fundamentales no son suficientes por s solas y requieren una conjuncin de otras hiptesis auxiliares, que deben ser:a. Falsables.b. Contrastadas con anterioridad y/o con independencia de la hiptesis fundamental.Si un enunciado que se presenta cumpliendo el papel de hiptesis auxiliar no cumple con estas condiciones, se trata de una hiptesis ad hoc. Puede ser una conjetura audaz, algo que se especula que debera ocurrir para que se cumpla la hiptesis principal.Holismo de la contrastacin: Se refuta todo el conjunto de H y Ha, puesto que H no se contrasta de manera aislada. Contrastacin indirecta.Verificacin: prueba concluyente de la verdad del enunciado. Segn Hempel, el enunciado queda parcialmente confirmado (en la falacia) por el apoyo gradual de los hechos. Hempel es un inductivista sofisticado. Asimetra de la contrastacin. Refuta al 100% y cuando no, no es un apoyo total. Lakatos le da una nueva interpretacin al falsacionismo intentando asimilar al historicismo de Kuhn: el problema epistemolgico no se centra en la falsacin de teoras, sino en los criterios de evaluacin. El falsacionista sofisticado sostiene que la teora es cientfica si tiene mayor contenido emprico corroborado que su rival y que la teora puede ser falsada slo por otra teora y no por la observacin. Es decir, no hay falsacin sin la emergenca de una teora mejor.Intenta sintetizar la teora del falsacionismo de Popper con el cambio de paradigma de Kuhn respecto a las teoras; pero con la diferencia de que sta puede ser reemplazada por cualquiera sino que por aquella que incluya los mismos elementos pero que la supere al realizar predicciones exitosas.5.7. Mtodos estadsticos en ciencias naturales y ciencias sociales. La teora clsica sobre la probabilidad admite que ella mide el grado de creencia racional. Cuando la conviccin de que algo ocurre es firme, se le da el valor 1; y cuando no, el valor 0. La creencia racional es un valor entre 0 y 1.La probabilidad es siempre el resultado de un conocimiento parcial, an cuando se encuentres regularidades, el nmero de factores que intervienen puede ser grande. Es decir, que es posible obtener tendencias muy generales que sobre la base de clculos estadsticos arriesgan un pronstico. El promedio estadstico:1. Da una representacin sinptica de un grupo de datos.2. Compara diferentes grupos de datos.3. Caracteriza a todo un grupo sobre la base de muestras tomadas.Los promedios indican caractersticas grupales, no de ningn individuo del grupo. El objeto de los estudios estadsticos es el descubrimiento de relaciones significativas dentro de un campo de estudio. La precisin que resulta de un clculo numrico es ficticia, a menos que las observaciones posean el mismo grado de exactitud. Fallas del clculo estadstico:a) Proporcionan informacin sobre caractersticas de un grupo, no de individuos del grupo.b) Sin un estudio adicional, no se pueden interpretar los resultados de los clculos estadsticos.c) Puede inducir a error la adjudicacin de causalidad entre fenmenos por el hecho de que se presentan con cierta frecuencia juntos.d) Cuando se sacan conclusiones sobre la base de muestras suelen cometerse muchas falacias, puesto que las muestras no son imparciales.Captulo 6. Explicacin y prediccin en las ciencias fcticas.6.1. Qu significa explicar?. La polisemia parcial es frecuente en gran parte de las expresiones del lenguaje natural, pero la ciencia debe tratar de ganar precisin lingstica y conceptual.6.2. Concepto de explicacin cientfica. Es necesario diferencias entre describir y explicar. Describir responde a la pregunta de cmo es algo y explicar responde a la pregunta de por qu algo es como es. Se llama explanandum a aquello que requiere una explicacin y explanans a aquello que proporciona la explicacin. No slo se caracterizan estos conceptos con esta denominacin, sino que tambin se explicita la relacin explicativa entre ambos. El que la explicacin exija un anlisis independiente se inicia con un trabajo de Hempel.6.3. Modelos de explicacin cientfica. 1) Explicacin nomolgica-deductiva: el explanans (explicacin) del explanandum (enunciado -E-), est integrado por dos tipos de enunciados:- Condiciones antecedentes. Describen circunstancias particulares en las que se produce el E. (Cn)- Leyes generales. Explican E. (Ln)C y L funcionan como premisas cuya inferencia deductiva da como conclusin a EEl explanandum debe ser consecuencia lgica del explanans.

b. El explanans debe contener leyes generales.c. El explanans debe tener contenido emprico.d. Los enunciados que componen el explanans deben ser verdaderos.Esta explicacin es la fundamental para Hempel y Neger, las otras sern pertinentes en la medida en que se aproximen a ella o que se puedan reducir a ella.2) Explicacin estadstica-inductiva: La conclusin no se deduce de las premisas, el explanans no implica lgicamente al explanandum, slo le otorga una cierta probabilidad. Se diferencia a la explicacin nomolgica deductiva en dos aspectos:a. Las leyes no son generales de universalidad sino generalizaciones estadsticas.b. La doble lnea indica que las premisas apoyan a la conclusin con una probabilidad. Se puede afirmar que la probabilidad es muy probable, poco probable, etc.3) Explicacin gentica: Consiste en explicar un hecho histrico sealando una sucesin de hechos anteriores, encadenndolos de modo que integren un proceso que termina en el hecho de explicar. No se registran todos los hechos sino slo los que tienen relevancia causal. Hempel cancel la autonoma de esta explicacin y la redujo a las explicaciones legaliformes: cada eslabn del proceso es una explicacin deductiva o inductiva. Es decir, destaca antecedentes pero no como estrictamente causales.Brown seala que la explicacin gentica puede explicar el hecho por enunciados particulares que describen hechos y situaciones que se pueden fechar. Winch sostiene que la explicacin histrica es la bsqueda de relaciones particulares internas.4) Explicacin teleolgica: La primer versin estableca una relacin explicativa intenciones-fines, lo que implica sostener al menos tres afirmaciones:a. Se explica un hecho presente por lo que ocurrir en el futuro.b. Se puede interpretar como causa final aristotlica por lo que la relacin medios-fin se vuelve causal.c. La explicacin teleolgica se puede reducir a una legaliforme.Wright sostiene que estas posiciones no responden a esta modalidad. 1. Se explica un hecho presente por algo que ocurre en el presente, puesto que los medios se implementan a partir de las intenciones. 2. La relacin intenciones-fines no es asimilable a la de causa-efecto (no siempre se consigue el efecto deseado).3. El silogismo prctico responde a la explicacin teleolgica, aunque no en trminos de validez lgica:a. La premisa mayor del silogismo menciona al finb. La premisa menor presenta un medio dirigido al finc. La conclusin consiste en el empleo del medio para conseguir el fin.->Seala finalidad, se predice para explicar y se fundamenta en el futuro. Puede adoptar el silogismo prctico (razonamiento, para obtener lo que se desea se elige un medio) Requisitos para explicaciones cientficas:- Relevancia de fenmenos- Contrastabilidad6.4. Elster: Intencionalidad y explicacin por mecanismos. La explicacin teleolgica es considerada por Elster como el tipo de explicacin por excelencia de las ciencias sociales. La unidad elemental de la explicacin social es la accin individual guiada por alguna intencin. No explica la accin en trminos de un estado futuro porque el explanandum no puede preceder al explanans y porque el futuro deseado puede no producirse. La conducta intencional est relacionada con el futuro en una meta ausente, an no realizada. El requisito de que el actor acta por una razn implica que la razn es causalmente eficiente para producir la accin y que la razn causa la accin de modo que excluye la causalidad. Se interesa en la explicacin por mecanismos, en el cual el punto de partida es la conviccin de que no existen explicaciones legaliformes en las ciencias sociales. La idea de mecanismo es la forma de escapar a una polarizacin que hara de las ciencias sociales una mera descripcin y enfoque narrativo. Elster sostiene que no propone esta explicacin como ideal o norma, funciona en la medida en que estemos en condiciones de identificar una pauta causal particular reconocible en diferentes situaciones que proporcione una respuesta razonable a la pregunta por qu se hizo eso.6.5. Dimensin explicativa y dimensin predictiva. En la explicacin disponemos de un explanandum y buscamos un explanans; mientras que en la prediccin anticipamos deductivamente el explanandum. La prediccin se proyecta al futuro, predecimos hechos que an no han sucedido. Si identifico un fundamento nomolgico-deductivo, podra afirmar que siempre que se d el explanans se va a dar el explanandum. En cambio, en la explicacin estadstica, los hechos se explican luego de ocurridos y no pueden predecirse.Captulo 7. Corrientes epistemolgicas contemporneas.7.1. La epistemologa del siglo XX: problemas fundamentales. La problemtica central de la epistemologa es la naturaleza o estructura de las teoras cientficas. La concepcin heredada propone considerar a las teoras cientficas como clculos axiomticos con los que se interpreta parcialmente el material emprico por medio de la correspondencia. En estos aos 20, se buscaba el mtodo cientfico nico y universal para demarcar el mbito de la ciencia.Desde los aos 50 el problema deja del mtodo queda al margen y se acenta el inters por la historia de la ciencia (historicismo).7.2. La concepcin epistemolgica del positivismo lgico. La concepcin heredada es considerada un producto del Positivismo lgico, escuela que surgi del Crculo de Viena y de la Escuela de Reichenbach. El positivismo lgico le daba especial importancia a la observacin y se comprometa con el fenomenalismo, segn el cual todas las ciencias pueden reducirse al estudio de las sensaciones.>La concepcin heredada buscaba un medio para evitar las entidades metafsicas en la ciencia. Dividan las proposiciones en dos tipos: las formales y las fcticas. Los positivistas lgicos advierten la imposibilidad de aventurarse en el conocimiento ms all de los lmites de la experiencia sensible.>Los positivistas lgicos buscaron como punto de partida absoluto desde lo epistemolgico y surgieron as las proposiciones protocolares que constituyen las descripciones inmediatas de las sensaciones. La propuesta positivista consisti en afirmar que el lenguaje protocolar debera ser un lenguaje fisicalista en el que se hablara de cosas materiales a las que se adjuntaran propiedades observables. El positivismo lgico busc formular la forma lgica de las afirmaciones cientficas antes que su contenido, clarificar la estructura lgica de todas las afirmaciones que pretendieran ser leyes cientficas.7.3. Las perspectivas falsacionistas: Popper y Lakatos. Popper no cree en el inductivismo como mtodo cientfico porque el mtodo por el que aprendemos de la experiencia es por conjeturas y refutaciones. Primero se conjetura libremente hiptesis generales sobre el mundo, luego se someten a pruebas rigurosas. De las hiptesis y el conocimiento inferimos consecuencias observacionales contrastables con la experiencia. La hiptesis ser refutada o aceptada provisionalmente.El mtodo cientfico es un mtodo de contrastacin de hiptesis, pero mediante la contrastacin la ciencia no pretende verificar sus hiptesis sino refutarlas

En los procesos de puesta a prueba puede haber eliminacin de errores y reformulacin del problema que dar lugar a nuevas teoras tentativas.

>No hay ms lgica que la deductiva y por tanto no hay ms inferencia posible que el modus tollens, la refutacin. La lgica slo permite refutar hiptesis, nunca confirmarlas. Popper admite la nocin de grado de corroboracin, que tiene como base el apoyo evidencial que no debe entenderse desde un punto probabilstico.>Popper insisti en que mediante contrastaciones severas los cientficos llevan a cabo un proceso racional de aproximacin a la verdad y los experimentos cruciales desempean un papel fundamental en el progreso de la ciencia.>Los enunciados observacionales dependen de la teora, por lo que stas no se pueden falsar de modo concluyente.>Popper propone la distincin entre mundos. El primero es el de los objetos fsicos, el segundo de los estados de conciencia, y el tercero el mundo de los contenidos objetivos del pensamiento. El tercer mundo es el de la ciencia, que est ligado a su propuesta de una epistemologa sin sujeto.>Para Popper la ciencia es un objeto social y surge a partir de la cooperacin y la competicin institucionalizada por los cientficos. Propuesta de Lakatos.>Falsacionismo refinado. La caracterstica definitoria de un programa de investigacin es su ncleo central, el que est formado por hiptesis tericas muy generales que constituyen la base del programa. El ncleo central de un programa es infalsable por la voluntad de la comunidad cientfica. Este ncleo duro est protegido de la falsacin mediante un cinturn protector de hiptesis auxiliares, supuestos subyacentes y enunciados observacionales.>La heurstica es un componente del programa de investigacin. Consiste en instrucciones amplias que se sugieren para realizar un acto. Los programas de investigacin tienen una negativa y una positiva.- Heurstica negativa: consiste que durante el desarrollo del programa el ncleo duro no se modifique.- Heurstica positiva: indica a los cientficos qu deben hacer, cmo modificar al cinturn protector.Los investigadores no slo pueden construir escudos protectores contra las anomalas sino que tambin pueden ignorar los casos que refutan a la teora principal. Hay que darle una oportunidad al programa para que demuestre su potencial. Se espera que el programa tenga xitos que determinan el carcter progresivo, cuando esto no sucede se torna degenerativo. Para Lakatos, la ciencia progresa a travs de la competencia entre programas de investigacin. Un programa es mejor que otro si es ms progresista.>Un rasgo comn entre los inductivistas (grado de probabilidad) y falsacionistas (grado de falsabilidad) es el esfuerzo por encontrar un criterio universal y ahistrico para juzgar los mritos entre teoras rivales.7.4. La ruptura: del racionalismo de justificacin al anlisis de la historia de la ciencia. La transicin de la concepcin heredada (racionalismo) a la nueva epistemologa (historicismo) implic un cambio radical en la manera de concebir la naturaleza epistemolgica y en una visin diferente de la ciencia emprica.Concepcin heredadaHistoricismo

1. Ciencia como una empresa racional.1. La teora es un consenso racional de la comunidad cientfica

2. Racionalidad entendida como algoritmo lgico deductivo.2. Los enunciados mixtos no pueden resolverse en enunciados formales.

3. Lo cientfico es el contexto de justificacin y no el de descubrimiento.3. El objetivo no es el anlisis de los modos de justificacin sino el examen del proceso histrico del conocimiento cientfico.

4. Visin axiomtica de la ciencia.4. Ciencia como una actividad dinmica con elementos histrico-sociales decisivos.

5. La justificacin de la teora remite a una base emprica externa e independiente a ella que acta como tribunal supremo de legitimacin.Los hechos son comprendidos dentro del contexto terico, puesto que la observacin no es neutra.

6. Bsqueda de la verdad: mtodos para diferenciar enunciados V o F.La ciencia ya no comprende un proceso de aproximacin progresiva a la verdad

7.5. El pensamiento de Kuhn en perspectiva. Kuhn desarrolla el problema de la naturaleza del cambio cientfico. Identifica dos modalidades de produccin cientfica que se desarrollan histricamente. (Modo normal y modo no-normal o extraordinario)1) Modo normal. Etapa de la ciencia normal. Los cientficos comparten teoras y metodologas que les permiten dedicarse a la resolucin de enigmas. Consiste en perfeccionar la aplicacin del aparato terico al de la experiencia. No se cuestionan los supuestos, la ciencia normal no tiende hacia novedades fcticas o tericas.Determinados enigmas se relacionan con anomalas, experiencias que se resisten a subsumirse en el aparato terico. Cuando estas anomalas no se resuelven y hace a los cientficos escpticos sobre la posibilidad efectiva de encontrar una solucin, sobreviene una crisis. En esta etapa se cuestionan los supuestos-gua y se comienzan a discutir los fundamentos. An perdida la confianza en los supuestos, la ausencia de alternativas, puede dar como resultado la perduracin del programa que entr en crisis. Luego que se acepta una nueva perspectiva que hace abandonar la anterior, se consum una revolucin cientfica que da inicio a otro perodo de ciencia normal. Paradigma: conjunto de supuestos compartidos por una comunidad cientfica que guan la investigacin normal. La ciencia normal procede dentro de un paradigma. Est integrado por dos sentidos principales:1. Matriz disciplinar: la ciencia normal es desarrollada por comunidades que comparten una matriz disciplinar comn, que se adquiere en forma implcita a travs del proceso por el que alguien se convierte en cientfico. Est compuesta por leyes (simblicas, sin aplicacin emprica), modelos, valores y principios metafsicos.2. Ejemplar: la parte de la matriz disciplinar que puede ser explcitamente formulada est constituida por los ejemplares, componentes especficos de la matriz. Son aplicaciones empricas especficas del aparato formal que sirven de modelo-gua, soluciones a problemas concretos; son modelos de aplicacin de la teora a los fenmenos, por los que se cargan de contenido emprico los trminos de las generalizaciones que constituyen el formalismo abstracto de la matriz.Kuhn afirm que la expresin matriz disciplinar debera reemplazar a la de paradigma porque resulta ms precisa. La ciencia normal es la ciencia que posee en comn una matriz disciplinar basada en un stock de ejemplares compartidos. El cambio revolucionario se produce como consecuencia de la aceptacin de una nueva matriz, que implica un cambio conceptual. Existe adems, una inconmensurabilidad de las teoras, que por la profunda diferencia entre estructuras conceptuales de ellas son incomparables. Para Kuhn, el progreso no tiene que ver con la verdad, sino con una superior capacidad de una teora sobre otra para resolver enigmas.PAGE 16