FILOSOFIA DE LAS CIENCIAS -Filosofa occidental: importante desarrollo con los griegos. -Filosofa de las ciencias-> Referente-> Aristteles.

Se ocup esencialmente del pensamiento cientfico. Marco histrico: Conocimientos en desarrollo en distintas partes del mundo, que confluyeron en Grecia (por ej.: por el comercio con Arabia). Tal vez tenan mucho acceso a la sabidura de otros pueblos por su carcter martimo. *Los griegos tuvieron apego al conocimiento y le dieron un giro particular -> MILAGRO GRIEGO: Inters por el conocimiento por el conocimiento per se. Pasaron de un uso instrumental del conocimiento a un uso intelectual/ cultural. ARISTTELES CIENCIAS PRCTICAS (dirigidas a acciones) Ej.: poltica, tica, economa

TERICAS No persiguen otra finalidad ms Que el conocimiento mismo. Rasgo distintivo: preguntarse Cosas que no sirven para alguna Actividad prctica.

PRODUCTIVAS/POITICAS Para producir objetos tiles o hermosos. Ej.: poesa arquitectura.

Ciencias tericas: expresado por medio de afirmaciones (proposiciones). Proposiciones: contenido informativo que tienen las frmulas/ oraciones de los lenguajes. Tienen valor de verdad. Las proposiciones no son una coleccin de datos. Tienen jerarqua (orden en forma piramidal): Principios 1eras conclusiones 2das conclusiones Etc. Las proposiciones tendrn que ser necesariamente verdaderas (no pueden ser de otra forma) -Un conjunto de proposiciones se integra a una disciplina porque se refieren a un determinado gnero de objetos (objeto especfico). Tambin tienen trminos especficos. Dentro del vocabulario especfico hay: * Trminos primitivos (o no-definidos): hay que conocerlos de antemano. * Trminos definidos: introducidos por medio de definiciones. *Principios: a) Principios propios y especficos de la disciplina. b) Principios compartidos por varias disciplinas (axiomas). A partir de estos se obtienen secuencias lgicas. -Griegos: desarrollo matemtico (particularmente en el campo de la geometra) -Platn: Cosas atemporales (ideas, mundo inteligible) diferentes de cosas temporales (materiales) Otra clasificacin de las ciencias de Aristteles. Ciencias que se ocupan de: 1) Entidades sujetas al cambio: se ocupan de objetos naturales (physis). Sentido filosfico: transformacin hasta que dejan de ser lo que eran. (Ej.: corrupcin) 2) Propiedades matemticas: en la realidad estn sometidas a cambios/ movimientos, pero cuando se las estudia, no se tienen en cuenta (abstraigo el movimiento/cambio) 3) Objetos no sometidos a cambios/movimientos: ni en el pensamiento ni en la realidad (ms tarde llamado metafsica, no por Aristteles). Estudia entes inmutables, el ser en cuanto al ser, que es sin cambio, o en qu consiste existir. -El modelo propuesto por Aristteles se mantiene con ligeros cambios hasta ahora. -Dos maneras de conocer:

SENTIDOS Experiencia/ empirie -> A posteriori

RAZN A priori

*Aristteles no le niega valor al conocimiento emprico; los sentidos son una va hacia el conocimiento intelectual, pero hay que trascenderla. SISTEMAS AXIOMTICOS Euclides: Elementos de Geometra Geometra planteada de manera similar a Aristteles. Planteada como un sistema. Es un esfuerzo por reducir la geometra a un conjunto mnimo del cual se puedan desprender las otras proposiciones. Las proposiciones son teoremas y principios que sirven como punto de partida. Euclides las llama nociones comunes, axiomas. Se pueden referir a otros mbitos que no sean la geometra. *PRINCIPIOS: axiomas y postulados (no hay ms elementales para probarlas). *TEOREMAS: son la consecuencia lgica de los anteriores. *DEFINICIONES: son aclaraciones. Son similares a las definiciones nominales de Aristteles. Tambin hay definiciones especficas de la geometra (Ej.: un punto es lo que no tiene partes) -Demostracin directa: encadenamiento de frmulas que constituyen un razonamiento a partir de premisas. Las conclusiones deductivas que se obtienen son teoremas. -Demostraciones indirectas/ por el absurdo: Tomo una proposicin A, sus premisas y su negacin, y deduzco hasta encontrar contradicciones. Nueva clasificacin de las ciencias: Ciencias formales: Matemtica, lgica, lingstica (). No dicen nada de la realidad social/ natural, sino que brindan estructuras (forma). Ciencias empricas: a) Naturales (fsica, qumica, biologa, etc.) b) Sociales (sociologa, psicologa, economa, etc.). Muestran un aspecto de la realidad. *Kant: Crtica a la Razn Pura: Critica la manera de enfrentar el conocimiento cientfico. Elabora una clasificacin (donde los juicios se asemejan a las proposiciones) Kant plantea que los juicios son: * Analticos (no necesitan informacin de los sentidos) A priori *Sintticos (se aprenden mediante la experiencia a travs de los sentidos) A posteriori -La ventaja de los juicios analticos es que son verdaderos; es imposible que sean falsos (conocimiento cierto). La desventaja es que no brindan ninguna informacin til. -Cuanto ms informacin, mas posibilidad de error. -La ventaja de los juicios sintticos es que brindan ms informacin. La desventaja es que tiene mayor incertidumbre. Kant propone que hay juicios que son al mismo tiempo sintticos y a priori, lo cual conlleva dos aspectos: el contenido de los sentidos y la forma en que se vuelca este contenido. Entonces son las formas puras aportadas por el conocimiento humano. Por ejemplo, la matemtica y la lgica son conocimientos sintticos a priori: brindan informacin rica, pero nunca van a poder ser desmentidas por la experiencia. -La percepcin del mundo depende de la representacin mental que cada humano tenga. Kant propone que no podemos conocer las cosas en s, sino de la manera que las representamos. A fines del S.XIX, un matemtico y lgico (Frege) plante una alternativa a Kant. Lo siguieron otros como Russel y Whitehead. Escribieron una obra llamada Principio Matemtico siguiendo la idea iniciada por Frege: la aritmtica se reduce, es una parte de la lgica. Las verdades aritmticas se podran expresar como verdades lgicas.

-Paradoja de Russel: Supongamos un conjunto que consta de elementos que no son miembros de s mismos. Un ejemplo descrito es el que supone un conjunto que consta de "ideas abstractas". Dicho conjunto es miembro de s mismo porque el propio conjunto es una idea abstracta, mientras que un conjunto que consta de "libros" no es miembro de s mismo porque el conjunto en s no es un libro. Russell preguntaba (en carta escrita a Frege en 1902), si el conjunto de los conjuntos que no forman parte de s mismos (es decir, aquel conjunto que engloba a todos aquellos conjuntos que no estn incluidos en s mismos, como el de "libros" en el ejemplo anterior) forma parte de s mismo. La paradoja consiste en que si no forma parte de s mismo, pertenece al tipo de conjuntos que no forman parte de s mismos y por lo tanto forma parte de s mismo. Es decir, formar parte de s mismo slo si no forma parte de s mismo. Intuicionismo Una opcin para resolver la paradoja (que el conjunto de todos los conjuntos es miembro de s mismo si y slo si no es miembro) fue el intuicionismo: P o no P No P P Una de ellas tiene que ser verdadera. Este es el principio del tercero excluido: no puede haber una tercera posibilidad. Si se elimina este principio (lgica debilitada) coincidira con la lgica estndar de los casos en que no sea necesario utilizar el principio del tercero excluido. Pero algunas cosas no podran ser demostradas (como la demostracin del absurdo): No noP P (no es imposible es posible) -Otras opciones propuestas: Hilbert (intento de concentrar toda la matemtica en un sistema axiomtico); Gidel (metateoremas. No toda la matemtica puede axiomatizarse) -Kant: Juicios Analticos a priori (el concepto del predicado est incluido en el sujeto, se desprende del sujeto) Sintticos a posteriori (el concepto del predicado no est incluido en el sujeto) Sintticos a priori (matemticas) Esta clasificacin fue discutida por varios matemticos. Kant Seres humanos: cuerpo (mundo de necesidad. Es el nico que puede ser conocido desde la ciencia) + otra entidad (mundo de libertad. Decide nuestros actos libres. Metafsica. No puede ser conocido desde el punto de vista cientfico) Hegel Metafsica desenfrenada. La realidad es una idea que puede ser modificada, y se puede contradecir a s misma (generar naturaleza). Esa naturaleza crea a los seres humanos, los cuales captan esa idea y la hacen consciente Empiristas lgicos: Inspirados en esta discusin e influidos por Russell y los formalistas, redefinieron el concepto de analiticidad y el de enunciado sinttico. Propusieron: a) En lugar de juicios, hablar de proposiciones o enunciados. b) Introducen la nocin de significado de tal manera que un enunciado analtico es aqul que resulta verdadero en virtud del significado de las palabras que lo componen. Grupo de filsofos responsables de la orientacin de la filosofa de las ciencias que surge en los pases de habla alemana (que seguan el idealismo alemn). Surgen de la duda de si estaban equivocados o no los kantianos. Surgen dos grupos: a) Berln liderado por Reichembach. Empiristas lgicos. b) Viena M. Schlick. Crculo de Viena. Positivistas lgicos (tambin Carnap) EMPIRISMO LGICO -Posicin un poco menos extrema. -Adoptaron un vocabulario de las cosas que se pueden percibir corrientemente. -Fisicalismo: base emprica de todo conocimiento del mundo formada por ciertas propiedades de los objetos. Reemplaza al fenomenalismo. -Enunciado protocolario: describe ciertas caractersticas. POSITIVISMO LGICO -Intentaban encontrar una adecuada caracterizacin del conocimiento cientfico. -Datos sensibles: cada uno tiene su propio dato sensible, y a eso se reduce lo que tenemos presente en la realidad (como que los objetos son construcciones de datos sensibles). Los datos sensibles no pueden ser errneos. Erramos al describirlos con palabras.

-Carnap *Presenta la filosofa como una teora de esclarecimiento del conocimiento cientfico. Se produce una confusin entre 2 maneras de formular las cuestiones: 1)MODO FORMAL DEL LENGUAJE: Utilizacin del lenguaje cuando se habla directamente de las cosas. 2)MODO FORMAL DEL LENGUAJE: Utilizacin del lenguaje para referirse al mismo (metalenguaje) Filosofa. Considera que el conocimiento se expresa a travs de un framework (sistema articulado de ideas). Uno elige el cuadro. -Evolucion al empirismo. La filosofa no tiene por objeto contestar preguntas que tienen respuesta. POPPER Se form en el crculo de Viena, pero no se integr a l. JAMS fue positivista, s empirista. Fue uno de los crticos ms duros de la poca positivista del crculo de Viena. -Introdujo los enunciados bsicos, caracterizados por su forma lgica y porque cumplen con cierto requisito material, con los predicados que tienen que ser observacionales. -Forma lgica: existencia singular. Enunciados: a) Generales: todos los cuervos son negros (universales); algn perro es negro (particulares/existenciales) b) Particulares: Se hace alusin a algo por medio de una descripcin definida o un nombre propio. Popper inventa una nomenclatura especial: (Cx.Nx.Hx) cuervo, negro, tiempo y espacio. Esta es la forma del enunciado bsico. Los enunciados bsicos se caracterizan por servir para contrastar las teoras cientficas, no forman parte de ellas. -Las teoras cientficas se caracterizan por constituir un conjunto de enunciados universales (hiptesis) y estn compuestos por cierto nmero de hiptesis fundamentales, que son aquellas que no se deducen de otras. A partir de las hiptesis fundamentales se deducen otras llamadas derivadas, y se puede formar una cadena deductiva.

-TEORA: sistema de hiptesis fundamentales ms aquellas que se deducen de estas sistema hipottico-deductivo. *Para Popper no es relevante cmo se le ocurre a un cientfico una teora desde el punto de vista filosfico, sino que lo relevante es cmo se puede justificar. *Se ocupa de la denominacin de lo que es ciencia y lo que no lo es, pensando en las ciencias fcticas. Estas se caracterizan porque las teoras que se desarrollan en su marco tienen la propiedad de ser refutables (criterio de demarcacin entre lo que es conocimiento fctico y lo que no lo es). Una teora fctica es considerada cientfica si est formulada de manera tal que con respecto a ella hay enunciados bsicos capaces de contradecirla (que en principio sean refutables). -Popper elige la refutabilidad porque si buscramos la confirmabilidad, las teoras menos informativas seran las ms confimables. Una teora es ms confirmable cuanto ms riesgo corra. Consider que la teora de Darwin no es cientfica. -El proceso de investigacin cientfica siempre nace porque un cientfico se encuentra ante un problema y lo plantea. El problema suscita la formulacin de hiptesis, las cuales se tienen que contrastar. - Si la prediccin no se cumple, la teora queda refutada. Si se cumple, la teora queda corroborada. No fall, pero no aument su grado de confirmacin. -Popper rechaza la induccin. El razonamiento inductivo tiene la particularidad de que las premisas no garantizan la conclusin. -Principio de regularidad de la naturaleza: aceptado por los inductivistas. Estas regularidades pueden no ser fciles de encontrar. Popper sostiene que este principio no es sinttico a priori, por lo que tiene que ser a posteriori, pero en este caso est basado en la experiencia y se convierte en singular. -Popper est en contra porque entiende que la probabilidad se puede entender con la siguiente frmula: Probabilidad= Ncasos favorables N casos posibles A medida que aumenta el denominador, disminuye la probabilidad. Si se divide un nmero finito por uno infinito, el resultado tiende a cero. El grado de confirmacin de cualquier hiptesis es cero. -Descartada la induccin, el nico criterio que sirve es la refutabilidad. -Los enunciados bsicos incompatibles con una hiptesis son falsadores potenciales. En caso de ser verdaderos, refutan la hiptesis. *Cmo se puede justificar la aceptacin de un enunciado bsico? Slo por medio de otros enunciados (teorema de Fries) a)Puedo aceptar un enunciado porque es autoevidente. Se acepta por s mismo (A=A) DOGMATISMO. Si dudo de un enunciado bsico, puedo buscar enunciados ms bsicos, hasta que se llegue a un enunciado tan bsico que todos estn de acuerdo (una convencin no-arbitraria) b)Puedo aceptar un enunciado a partir de un segundo enunciado, y este a partir de un tercero REGRESO AL INFINITO c) puedo aceptar un enunciado porque lo justifica la percepcinEMPIRISMO sin embargo, la observacin es falible. Popper rechaza las tres, pero le da un poco de lugar a cada una. -Qu pasa cuando surge una nueva teora cientfica: 1. Anlisis lgico: si la teora tiene o no contenido fctico, si no es una tautologa, si no es contradictoria, o si no es sinttica. 2.Si es sinttica, ver que no sea metafsica. 3.Ver si hay un avance con respecto a teoras anteriores.

4.Someterla a contrastacin emprica, tratando de buscar aquellos experimentos en los cuales los resultados puedan ser desfavorables (contrastaciones rigurosas). Si esto pasa, la teora est corroborada (hasta ahora no fall), pero NUNCA confirmada. Popper es: *Realista cientfico: acepta que las teoras tienen valor de verdad. *Falibilista: dice que las teoras de hecho sern verdaderas o falsas, pero nunca lo podremos saber. Nunca se va a tener la certeza de que sean verdaderas. La verdad es un objetivo que, aunque lo alcanzramos, nunca vamos a poder estar seguros de que lo hicimos. -Para Popper, el cientfico constantemente formula conjeturas y luego las refuta. El proceso no es para aproximarse a la verdad, sino para descartar lo falso. -Naturalistas: pretende descubrir las leyes de la evolucin histrica (que no es cientfica porque se basa en formulaciones prediccionistas) -Antinaturalistas: tipo de relativismo que dice que cada perodo histrico tiene sus propias leyes, y que no hay leyes comunes que puedan servir de un perodo a otro. En este caso tampoco habra ciencia, porque esta abarca dominios universales. Si no tiene alcance universal, no es cientfico.