Ciencias empiricas y ciencias formales

La ciencias formales y el metodo axiomatico: consistente en postular un conjunto de enunciados que guardan entre ellos una relacion de deductibilidad.Este conjunto se denomina un sistema axiomatico-deductivo:a partir de unas premisas iniciales, que se admiten de partida como verdaderas y se llaman axiomas, se derivan los otros componentes de la cadena deductiva, denominados teoremas, mediante la aplicacion de una serie de reglas de inferencia. La verdad de los teoremas de puede demostrar, en tanto que podemos probar que derivan deductivamente de los axiomas. La verdad de los axiomas no se puede demostrar, porque son las premisas de partida, que se toman como evidencias o primeras verdaderas en las que se basan el resto de enunciados.Estos axiomas pueden cambiarse dando lugar a otros sistemas axiomatico-deductivos.Las ciencias empiricas naturales y el metodo hipotetico-deductivo: tratan de los objetos de experiencia y no entraron por el camino de la ciencia hasta la revolucion cientifica del s.xvii, cuando se inicio su separacion de la filosofia con la aparicion del nuevo metodo hipotetico-deductivo.Este metodo consta de :1.formulacion de la hipotesis :ante un problema, el cientifico formula una explicacion provisional que se denomina hipotesis. 2.deduccion de consecuencias a partir de la hipotesis: se deducen unas consecuancias que deberan poder ser observables; son predicciones sobre que hechos se deberian producir si la hipotesis fuera verdadera, ya que resultan implicados por ella. 3.contrastacion:se trata de comparar las consecuencias de la hipotesis con la experiencia mediante la observacion o la experimentacion, para comprobar si los hechos se producen tal como se habia previsto.Las ciencias empiricas intentan descubrir regularidades entre los fenomenos que puedan servir para explicarlos.Los intentos de explicacion sobre estas regularidades o sobre sus causas son las hipotesis cientificas.Se piensa que la hipotesis cientificas lo son porque se formulan en base  a una exhaustiva observacion empirica.Filosofos: Francis Bacon, Galileo y Descartes.La mayoria de las hipotesis cientificas no derivan de los hechos observados sino que se inventan para explicarlos,son resultado de la imaginacion creativa del cientifico. La deduccion de consecuencias: para que una hipotesis sea cientifica se han de poder derivar de ella consecuencias obseravables, lo que se llama implicaciones contrastadoras de la hipotesis: ciertas predicciones sobre los hechos que se espera que se produzcan en el cado de que la hipotesis sea verdadera.  Si la hipotesis (H) es verdadera, entonces lo sera tambien la implicacion contrastadora (I) H-I. Si se dan una condiciones (C) entonces se producira un determinado acontecimiento observable (E). I=C-E POR TANTO:H-(C-E).Experimento:realizacion practica de la implicacion contrastadora derivada de una hipotesis.Se trata de crear o buscar determinadas condiciones para ver si se producen los hechos que hemos predicho que han de ocurrir suponiendo que la hipotesis fuera verdadera.El experimento no es una experiencia ya que controlamos las condiciones y hemos predicho el hecho que se dara. Eso permite contrastar la hipotesis, comparar sus consecuencias con los hechos.Puede dar 2 resultados:1.los experimentos no confirman las consecuencias de la hipotesis: bajo las condiciones establecidas no se dan los hechos predichos a partir de ella, asi la hipotesis queda falsa o refutada: debera ser rechazada y buscar otra nueva. 2.Los experimentos confirman las consecuencias derivadas de la hipotesis,cuando los hechos experimentales se han producido tal y como se habian predicho, la hipotesis se considera confirmada pero de una forma provisional.Una hipotesis es cientifica porque esa demostrada , pero las demostraciones son posibles solo en las ciencias formales.Las hipotesis cientificas tienen un caracter deductivo y ya que la confirmacion a diferencia de la refutacion no es deductivamente valida ni definitiva lo unico que podemos hacer para avanzar en el conocimiento cientifico es refutar las hipotesis que no funcionan, eliminar errores.Karlo Popper en su teoria llamada falsacionismo ha destacado la importancia de la refutacion o falsacion de las hipotesis.Segun el para que una hipotesis sea cientifica debe satisfacer el requisito de falsacion o refutabilidad. La ciencia no se diferencia de la pseudociencia porque sus enunciados esten verificados, sino porque son refutables.Para que una hipotesis sea cientifica sera necesario que de ella deriven implicaciones contrastadoras, si no derivan consecuencias observables sera pseudociencia.Si de una hipotesis cientifica derivan implicaciones contrastadoras se expondra a ser refutada: si sus predicciones no se cumplen experimentalmente habra que revisarla o rechazarla.Si pase lo que pase podemos seguir manteniendo una hipotesis, si ningun hecho puede refutarla esa hipotesis no sera cientifica.El falsacionismo de Popper comporta la creencia en un progreso de la ciencia eliminando los errores.