Filosofa de la Ciencia y de Tcnica

Mara Isabel Benz

Problema Cientfico de la Ciencia

Se presenta como Teora General de la ciencia.

Se ocupa del fundamento de las distintas ciencias particulares y de la delimitacin de sus respectivos objetivos. Examinaremos los problemas, mtodos, tcnica, estructura lgica y resultados generales de las misma. Se aplica usando diferentes saberes para solucionarlos.

Saberes

Saber Humano: Manifiesta por conocer el mundo tiene capacidad de asombro y la bsqueda de universalidad.

El asombro en el hombre surge de un fin determinado: halla una explicacin del fenmeno observado, intenta explicarlo y comprenderlo en funcin de lo que ya sabe.

La vida del hombre se desarrolla siempre en una circunstancia determinada, en un lugar, tiempo y situacin que le ofrece distintas posibilidades y le presentan dificultades.

El ente Sujeto Conocimiento tiene tres factores El ente objeto

El ente conocimiento

En sntesis el sujeto y objeto existen pues de dos maneras: como entes de un cierto estrato ontolgico y como sujeto cognoscente y objeto conocido. Son en ambos casos, trascendentes entre s.

Todo Conocimiento Humano

Es una actividad vital. Es una relacin entre un sujeto cognoscente y un objeto conocido. Es una unin intencional. Es vital activo: es decir que siempre puede adquirir nuevos datos de una realidad conocida. Los hombres abordan la tarea de entender y mejorar el mundo, que va acumulando experiencias y conocimientos que constituyen el saber humano. El saber vulgar es una cualidad bsica del hombre, que la educacin puede perfeccionar pero que no crea. Podemos diferenciar dos actitudes diferentes: Un saber primario toma contacto con el mundo tratando de distinguir estructuras ms o menos universales. Un sentido comn comprende otro saber que puede llamarse primitivo. Comprende los primeros materiales, a los que se referir la investigacin cientfica.

Tipos de Conocimiento:
Cotidiano:
Cronolgicamente es la primera etapa, tanto en la vida de cada uno de nosotros como de los pueblos.

El conocimiento paracientfico o vulgar, el hombre lo posee aunque no haya adquirido ni ciencia ni filosofa.
Precede al conocimiento cientfico. Surge de situaciones concretas que encontramos en nuestros sentidos y experiencia. Es a-metdico, espontneo, se va adquiriendo poco a poco. Surge de un saber desinteresado que cada uno de nosotros tenemos, que surge de las necesidades cotidianas que se nos van presentado. Es ingenuo, dogmtico y acrtico. Se lo conoce de un modo aislado y fragmentario.

Tipos de Conocimiento:
Religioso:
Tiene por objeto a Dios y secundariamente a todos los dems seres en relacin con l.

Puede ser:
Natural: si conoce a Dios por la razn humana.

Sobrenatural: si lo conoce por revelacin de Dios mismo al hombre, directa o indirectamente. Conocimiento Religioso vulgar: viene del ejercicio espontneo de la razn. Tiene su origen en la conciencia moral, en la cual es fcil ver como refleja la voluntad divina.

Conocimiento Religioso Filosfico: nace de una aplicacin de la razn al

campo religioso. Conocimiento Religioso Teolgico: sobrenatural de Dios.

Tipos de Conocimiento:
Cientfico:
Es metdica, buscando ordenadamente de acuerdo a un plan.

Es crtico pero se le considera problemtico, es decir una hiptesis que se puede modificar.
La razn gua nuestra experiencia. Es un saber de lo general: las ciencias se ocupan de mltiples hechos, se nutren de conocimientos generales. de lo social y legal: estn hechas por el hombre y se componen de conocimientos que vamos acumulando.

Se preocupa por comprender la realidad , para luego explicarla.

La explicacin requiere la enumeracin y comprobacin de leyes, que pueden trascender el presente remontndose al pasado y dirigindose hacia el futuro.

Responde al deseo del hombre de conocer y comprender racionalmente el mundo que lo rodea y los fenmenos relacionados con l. El deseo de conocer lo lleva a investigar cientficamente y su producto resultante es lo que llamamos ciencia

C I E N C I A

MOTIVACI N

ACTIVIDA D

PRODUCT O

Consiste en el ansia de conocimiento

Comprende la investigacin cientfica

Conocimientos cientficos construidos o elaborados

Clasificacin de la Ciencia

Las clasificaciones son infinitas desde que Aristteles sealo esa clasificacin de las Ciencias se han sucedido varios intentos de clasificacin. En nuestros das una caracterizacin que nos parece apropiada por su objetividad y utilidad, es la que efecta una divisin entre ciencia formales y fcticas, segn los objetos de los que se ocupan, los enunciados que la componen, su modo de verificacin y criterio que utiliza.

Cuadro Comparativo de la Ciencia Formales y Fctica

Ciencia Formal

Ciencia Fcticas

Formada
Fuente Objeto Enunciados Modos de verificacin

Lgica , aritmtica y matemticas.

Razonamiento. Ideales (no existen como tales en la realidad). Atemporales. Relaciones entre signos sin referentes reales. Demostracin.

Psicologa, Historia, geologa, zoologa y Fsica.

Experiencia. Reales: hechos o fenmenos temporales. Relaciones entre signos y referentes reales. Observacin y/o experimentacin. (busca ser confirmada o refutadas)

Criterio de verdad

Coherencia entre proposiciones.

Correspondencia entre proposiciones y estados de cosas en la realidad.

Las Ciencias Formales auxiliaran a las Ciencia Fctica, de lo vital de importancia en el momento de estudiar cualquier rea de la Ciencia.

Ciencias Formales

oEran aquellas que no necesitaban recurrir a la experiencia para justificar sus enunciados. oUn enunciado matemtico es verdadero o no lo es, no necesita recurrir a la confrontacin con la observacin o el experimento. oLa lgica suministrar los elementos , ya que por medio de la deduccin determinamos la validez o invalidez de los enunciados.

Ciencias Formales
La lgica y la Deduccin: Tanto la Matemtica como la lgica deben probar sus enunciados y para ello emplean un mtodo preciso y riguroso, que se conoce con el mtodo deductivo. La lgica es la Ciencia que tiene por objeto estudiar los procedimientos deductivo. La deduccin debemos tener en cuenta:

Razonamiento e Inferencia: el razonamiento se construyen con proposiciones o enunciados. Algunos de estos enunciados ser llamado premisa, que ser el punto de partida para una conclusin.
Los razonamientos no son ni verdaderos ni falsos sino validos o invlidos, correctos o incorrectos.

Una forma de razonamiento es valida cuando no puede haber ningn razonamiento de esa forma que tenga premisas verdaderas conclusin falsa.
La lgica puede garantizarle a la Matemtica que si parte de enunciados verdaderos su conclusin ser verdadera.

Ciencias Formales
Sistema Axiomtico: Es un conjunto de enunciado llamados axiomas o postulados, se toman como punto de partida supuestamente verdaderos y no se demuestran.

De esas proposiciones se deducen otros llamados teoremas, mediante la aplicacin de reglas de inferencia las cuales garantizan que si los axiomas son verdaderos, entonces los teoremas lo sern.
Algunos enunciados para evitar caer en ciclo infinito o vicioso, no requiere demostracin y se supone son verdaderos. Los dems enunciados se derivan de estos mediante reglas de inferencia, conservando la verdad. El teorema es ltimo enunciado de esta demostracin. Un sistema axiomtico tiene los siguientes componentes: Trminos primitivos o no definidos: son aquellos que se toman sin definicin en el sistema. Trminos definidos: definidos por el sistema. Axiomas: preposicionales que sirven de punto de partida y se las admiten sin pretender que sean verdaderas. Reglas lgicas: deducciones. son prescripciones que deben seguirse al efectuar

Teorema: son forma proposicionales deducidas de los axiomas por aplicaciones de las reglas lgicas.

Ciencias Formales
Euclides le cabe haber organizado todos los conocimientos geomtricos en un sistema axiomtico.

Sistema axiomtico de Euclides

La geometra euclidiana es aquella que estudia las propiedades del plano y el espacio tridimensional. En ocasiones los matemticos usan el trmino para englobar geometras de dimensiones superiores con propiedades similares. Sin embargo, con frecuencia, geometra euclidiana es sinnimo de geometra plana. Euclides plante cinco postulados son: 1. Dados dos puntos se puede trazar una y slo una recta que los une.
2. Cualquier segmento puede prolongarse de forma continua en cualquier sentido. 3. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio. 4. Todos los ngulos rectos son iguales. 5. Si una recta al cortar a otras dos formas ngulos internos menores a un ngulo recto, esas dos rectas prolongadas indefinidamente se cortan del lado en el que estn los ngulos menores que dos rectos.

Ciencias Formales
Este ltimo postulado, que es conocido como el postulado de las paralelas, fue reformulado como: Por un punto exterior a una recta, se puede trazar una nica paralela a la recta dada. Este postulado parece menos obvio que los otros cuatro, y muchos gemetras, incluido el propio Euclides, han intentado deducirlo de los anteriores. Los Elementos de Euclides tienen en general una estructura Lgica aristotlica. Cuando intentaron reducirlo al absurdo negndolo, surgieron dos nuevas geometras: la elptica, tambin llamada geometra de Riemann (dada una recta y un punto exterior a ella, no existe ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperblica (existen varias rectas paralelas que pasen por un punto exterior a una dada). Intent demostrar el quinto postulado por reduccin al absurdo, es decir, partiendo de los cuatro primeros postulados y la negacin del quinto se puede llegar a una contradiccin. Su intento fue importante aunque no tuvo xito, ya que al hacer demostraciones a partir de sistemas de axiomas de un conjunto distinto al euclidiano, estaba construyendo la primera geometra no euclidiana.

Sistema axiomtico de Euclides

Ciencias Formales

Sistema Axiomtico Formal: la geometra no euclidiana llev a una revisin y axiomatizacin de la geometra de Euclides en el sentido del termino. El trabajo ms importante fue el realizado por Pash y culminado por Hilbert en sus Fundamentos de la Geometra. La matemtica fue considerada por Hilbert un sistema formal ya que puede ser interpretada a base de smbolos, axiomas y reglas de produccin. Kurt Gdel demostr que la coherencia y la completitud no podan ser ciertos a la vez en las matemticas, o al menos en los nmeros enteros esto se denomina el teorema de la incompletitud del Gdel.

La construccin axiomtica formal de un sistema consiste en la presentacin de un grupo de expresiones llamados axiomas o postulados que se toman como punto de partida y que no necesitan demostracin.
De los axiomas podemos deducir los teoremas. As si se aceptan los axiomas podrn aceptarse los teoremas.

Ciencias Formales
Resumiendo un sistema formal o un sistema axiomtico es un artificio matemtico compuesto de smbolos que se unen entre s formando cadenas que a su vez pueden ser manipuladas segn reglas para producir otras cadenas. De esta manera, el sistema formal es capaz de representar cierto aspecto de la realidad.
El objetivo es sealar como vlidas determinadas cadenas, esto se denomina teoremas. Para obtener los teoremas se emplean las reglas de produccin que convierten una cadena en otra. Hay ciertos teoremas iniciales que no se obtienen de ninguna regla, stos son los axiomas que se suponen vlidos por definicin y se convierten en el germen de produccin de teoremas. Los sistemas formales presentan las siguientes propiedades: Coherencia: si cada teorema al ser interpretado no corresponde a una decisin verdadera. Completitud: si cada proposicin verdadera puede ser representada mediante un teorema. Es incompleto si alguna verdad no puede expresarse.

Decidibilidad: si existe un algoritmo que diga en tiempo finito si una cadena cualquiera es un teorema o no lo es.

Ciencias Formales

Sistema Axiomtico Interpretados: Se puede diferenciar entre dos sistemas axiomticos: los interpretados o fcticos. Es un sistema formal donde sus trminos primitivos carecen de significados, de manera tal que los axiomas y teoremas son frmulas vacas de contenidos de las cuales no se puede predicar su verdad y falsedad.

Podemos inferir que dado un sistema axiomtico formal pueden existir varias interpretaciones que hagan verdaderos los axiomas, es decir, pueden existir varios modelos.
Los enunciados son susceptibles de ser contrastados empricamente para reconocer la verdad o falsedad de los mismos. La estructura es la misma aunque parezcan diferentes entre s. Por ejemplo: p Mario estudia La expresin dada resulta: Mario estudia o no estudia

Ciencias Fcticas

Se caracterizan por emplear smbolos interpretados. Exigirn que los enunciados sean verificables en la experiencia por distintas vas sea directa o indirectamente. La hiptesis ser probablemente adecuada, pero podr suceder que otra hiptesis nos demuestre que estamos equivocados. Bunge sealara que los rasgo esenciales de este tipo de conocimiento sern: La racionalidad: un conocimiento racional esta formado por juicios y raciocinios. La objetividad: el conocimiento cientfico es objetivo, ya que concuerda con su objeto, verificando que sus ideas tengan un correlato sensible.

Ciencias Fcticas
En su libro la ciencia, su mtodo y su filosofa Bunge formula un inventario de las ciencias fcticas:

Ciencias Fcticas

Las Ciencias Sociales o Blanda

Se plantean mltiples problemas. Un problema a abordar es su cientificidad. Algunos autores les han negado este caracter cientfico de las Ciencias Sociales, negando que puedan establecer o formular leyes, teoras o enunciados universalmente validos. Las Ciencias Sociales estn sujetas a una mayor revisin que las Ciencias Naturales. Otros autores sealan que son ciencias de lo singular que ofrecen una comprensin de las motivaciones de las acciones humanas involucradas en los fenmenos humanos y sociales.

Ciencias Fcticas
Mtodo Cientfico

Es el mtodo que consiste en formularse interrogantes sobre esa realidad, con base en la teora ya existente, tratando de hallar soluciones a los problemas planteados. El objetivo es establecer criterios seguros que nos permitan distinguir entre lo que es ciencia y lo que se presenta como cientfico sin serlo. El conocimiento cientfico se caracteriza por el mtodo adoptado. Se establecen una serie de momentos y reglas que deben seguirse en cada caso. El mtodo hipottico - deductivo posibilita el ordenamiento coherente de conocimientos al aplicar la racionalidad a los pasos lgicos que conducen a este objetivo. La comprobacin emprica hay que poner una serie de mtodos particulares que nos determinen unos procedimientos de observacin adecuados que hagan posible una correcta recopilacin de datos que, junto a la clasificacin de los mismos nos conduzcan a unas conclusiones. stas harn posible verificar o no aquellas consecuencias derivadas de las teoras (hiptesis), de tal manera que cuando son verificadas las hiptesis pasan a ser consideradas como leyes y se introducen en el sistema (teora).

Ciencias Fcticas
Mtodo Cientfico

El mtodo cientfico deber cumplir las siguientes fases: Enunciar preguntas bien formuladas. Establecer conjeturas, fundadas y contrastables con la experiencia, para dar respuesta a las preguntas (leyes y teoras). Derivar consecuencias lgicas de las conjeturas. Arbitrar tcnicas para someterlas a contrastacin. Someter, a su vez, las tcnicas a prueba para comprobar su relevancia e idoneidad.

Llevar a cabo el contraste e interpretacin de los resultados.

Estimar la verdad Determinar los dominios en los que valen las conjeturas y las tcnicas y formular los nuevos problemas originados por la investigacin.

Ciencias Fcticas
Concepcin Inductivista de la Ciencia
La ciencia se inicia con la observacin, a travs de los sentidos, de hechos o estados de cosas que suceden en el mundo. Podemos distinguir entre dos tipos de enunciados observacionales: aquellos que denominaremos los singulares: derivado de la observacin de un determinado fenmeno, en un momento y lugar. Estos enunciados singulares son producto de una observacin directa, cuidadosa y sistemtica. Constituyen el punto de partida de los enunciados universales

aquellos que denominaremos generales, que hacen referencia a todos los acontecimientos de un determinado tipo en todos los lugares y en todos los tiempos.
Las leyes y teoras que forman el conocimiento cientfico son enunciados de este tipo, que se llaman universales. El proceso puede expresarse de la siguiente manera:

Hecho obtenidos por observacin

Hiptesis, leyes y teora

Ciencias Fcticas
Ventajas y desventajas del Mtodo Inductivo

Ventajas: permite hallar hiptesis y conjeturas.

permite el contexto de descubrimiento.

es afn con la postura filosfica empirista. puede ser considerado como una estrategia algortmica. presenta inters pedaggico. Desventaja: Determinar cunto es un nmero de enunciados observacionales alto, lo cual es impreciso. Determinar cunto es una amplia variedad de condiciones, lo cual resulta ambiguo, ya que no se indica que condiciones debemos variar.

Los inductivistas tienen una excesiva confianza en la observacin.

Ciencias Fcticas
Mtodo Inductivo

La Observacin depende de la teora Se criticar el estatus y el papel que desempea la propia observacin. El inductivismo ingenuo tiene dos supuestos con relacin a la observacin, ambos falsos:
La ciencia comienza con la observacin. La observacin da una base segura para derivar el conocimiento.

Se sabe que dos personas que observen el mismo objeto desde el mismo lugar y circunstancias no tienen las imgenes que se produzcan en sus retinas. Lo que un observador ve depende en parte de su cultura y su estado general.
Se suma a esto el hecho de que las teoras preceden a los enunciados observacionales, es decir, los enunciados observacionales se hacen en el lenguaje de alguna teora. Por lo tanto, es falso que la ciencia comienza con la observacin.

Los enunciados observacionales son tan falibles como las teoras que presuponen y por lo tanto el hecho de ser base completamente segura sobre la cual edificar leyes y teoras cientficas es errneo.

Ciencias Fcticas
Mtodo Hipottico Deductivo propuesto por Karl Popper

Las ciencias fcticas buscan dar explicaciones de los hechos, y para ello construyen teoras. Las teoras se encuentran compuestas por una parte importante de leyes. Las leyes son proposiciones generales que enuncian ciertas regularidades en los objetos estudiados y que permiten predecir el futuro. Las leyes si bien pueden aludir a entidades aisladas adquieren un inters mayor si forman parte de una teora. Las leyes permiten dar explicaciones que se denominan nomolgico-deductivas ( nomos deriva del griego ley. En general, una teora ha sido refutada cuando no se verifican. En ocasiones dos teoras relativas a un mismo hecho pueden convivir durante un largo periodo porque no encontramos elementos concluyentes para refutar alguna de ellas y cada una logra explicar algn sector de la realidad.

La complejidad reside en que las teoras estn interrelacionadas.

En general, podemos decir que no hay teoras aisladas, peor si hay teoras ms importantes, en el sentido ms bsicas que otras.

Ciencias Fcticas
Mtodo Hipottico Deductivo propuesto por Karl Popper

Lakatos lo llam refutacionismo ingenuo. Popper tiene como un objeto importante es la demarcar lo cientfico de lo que no lo es. Considera la posibilidad de descartar una hiptesis por el slo hecho de que una observacin pertinente se halle en desacuerdo con una consecuencia observacional I obtenida de ella. Si la Hiptesis es falsa, todos los intentos terminaran por refutarla. Descubriendo y eliminando as el error. La hiptesis de nos revelara como fuerte o Slida si no podemos refutarla. Popper seala que los problemas no nacen del vaco, son producto de un encuadre terico. No hay problemas sin teoras previas. La solucin que el cientfico propone al problema planteado ser un enunciado cuya verdad o falsedad se desconoce inicialmente. Habitualmente se trata de una enunciado general, de una ley que se supone verdadera, que consiste en intentar corroborarla o refutarla. Las reglas de juego son las que fija la lgica deductiva.

Ciencias Fcticas
Mtodo Hipottico Deductivo

Tiene varios pasos esenciales: La observacin del fenmeno a estudiar, La notacin recopilacin de datos.

Creacin de una hiptesis para explicar dicho fenmeno,

Deduccin de consecuencias o proposiciones ms elementales que la propia hiptesis, Experimentacin de hiptesis. Verificacin o comprobacin de la verdad de los enunciados deducidos comparndolos con la experiencia.

Falsacionismo hacer contrario hiptesis,

Cuadro Comparativo entre Paradigmas de kuhn y Falsacionismo de Popper

Paradigma KUHN
Expresa su idea acerca del progreso de la ciencia por medio del siguiente esquema abierto: presciencia -ciencia normal- crisisrevolucin- nueva ciencia normal- nueva crisis. supuestos tericos, leyes y tcnicas de aplicacin que debern ser usadas. Los cientficos cuya investigacin se lleva a cabo dentro de un paradigma, en su intento por explicar el comportamiento de aspectos del mundo, resulten dificultades (por ejemplo, se encuentren con aparentes falsaciones). El nuevo paradigma enmarcar la nueva actividad cientfica normal, hasta que choque con dificultades y se produzca una nueva crisis y una nueva revolucin.

Falsacionismo POPPER
La teora gua es las corroboradas por la observacin y la experimentacin. De no pasar la prueba, habr que refutarlas y reemplazarlas por otras. La ciencia avanza en virtud de conjeturas y refutaciones. hiptesis -que debern ser probadas- para explicar o describir aspectos del mundo. Una hiptesis es falsable si existe un enunciado observacional o un conjunto de ellos lgicamente posibles que sean incompatibles con ella, es decir, que en caso de ser verdaderos, falsaran la hiptesis. Para el falsacionista, las hiptesis cientficas deben ser falsables, adems de informativas, dando cuenta de cmo el mundo se comporta en ciertas circunstancias y no cmo posiblemente (lgicamente) podra hacerlo pero no lo hace-.

Introduce los Paradigma, son construidos por La Ciencia es considerada como un conjunto de

Cuadro Comparativo entre Paradigmas de kuhn y Falsacionismo de Popper

Paradigma KUHN
Los paradigmas estn compuestos por: 1. leyes explcitamente establecidas 2. supuestos tericos 3. maneras normales de aplicacin de las leyes, instrumental 4. tcnicas instrumentales, prescripciones metodolgicas muy generales 5. algunos principios metafsicos muy generales. El paradigma deber proveer los medios para solucionar los problemas que en l se formulan. Existen paradigmas que proporcionan modelos de investigacin durante largos periodos de ciencia normal e indican la madurez de una ciencia. Llamaremos anomalas a algunos problemas que no pueden ser solucionados y como fracasos del cientfico, ms que como falsaciones e insuficiencias del paradigma.

Falsacionismo POPPER
Cuanto ms falsable es una teora, mejor es.Estas hiptesis debern ser criticadas y comprobadas. Aqullas hiptesis rechazadas o falsadas tras superar varias pruebas rigurosas, vendrn a plantear un nuevo problema el cual est alejado del problema original ya resuelto. Este nuevo problema surgido exige la formulacin de nuevas hiptesis que requieren a su vez probarse, y as indefinidamente se da el proceso de construccin de la ciencia.

Cuadro Comparativo entre Paradigmas de kuhn y Falsacionismo de Popper

Paradigma KUHN
El nuevo paradigma ser distinto e incompatible con su predecesor; constituyen pticas diferentes del mundo y ser adoptado no por un solo cientfico en particular sino por la comunidad cientfica en su totalidad. En el lenguaje de Kuhn, consiste en algn aspecto de la investigacin que no puede ser articulado con el paradigma, aunque su naturaleza puede ser muy diversa. La existencia de problemas sin resolver dentro de un paradigma no constituye en s una crisis. Se sabe que en los paradigmas siempre habr anomalas. Las teoras son marcos conceptuales que guan la Una teora muy buena ser aqulla que: investigacin, y que conocen por un periodo de hace afirmaciones de muy amplio alcance, esplendor y expansin. por lo tanto es sumamente falsable que resista la falsacin cada vez que se la someta a prueba (es decir, no se la pueda refutar).

Falsacionismo POPPER

Cuadro Comparativo entre Paradigmas de kuhn y Falsacionismo de Popper

Paradigma KUHN Falsacionismo POPPER
Si bien nunca se puede decir que una teora sea verdadera pese a haber superado mltiples pruebas- s se puede decir que sea superior a otras, en virtud de haber superado pruebas que las teoras predecesoras falsaron. Se debe tener en cuenta que los problemas que se plantean, siempre se hacen a la luz de alguna teora, y no de la observacin como sostienen los inductivistas. Demuestra que no es posible sealar fechas ni Es falsacionismo nombres exacto. En sntesis, Kuhn afirma que no se puede hablar de progreso cientfico en trminos absolutos, como indicacin de que la Ciencia avanza en cierta direccin privilegiada hacia un mayor conocimiento del mundo