Los empiristas lgicos trazan una diferencia entre ciencias fcticas y formales. Las formales se caracterizan por ser conocimientos a priori, de naturaleza analtica. Las fcticas en cambio estn compuestas por conocimientos a posteriori que dependen de la experiencia sensible. Esta corriente deja fuera la metafsica ya que considera que no se ajusta a ninguno de los perfiles anteriores. Para esta corriente es importante que los conocimientos puedan verificarse, de ello depende su validez, y es necesario que se ajuste a alguno de los sistemas ya mencionados. Ante la imposibilidad de la de definir algunos enunciados tericos a partir de trminos observacionales se plantean alternativas de anlisis para poder llegar a un resultado valido. para esto parten de la idea de que las ciencias fcticas son sistemas de hiptesis organizados y es posible deducir a partir de ellos, con el auxilio de ciertas reglas que conectan los enunciados tericos con los resultados observacionales. Se utiliza el criterio indicativita para determinar que hiptesis son validas, por el cual se evala en que medida un conocimiento esta sustentado por evidencias observables. Los empiristas lgicos se abocaron a formar una lgica que demuestre que los cientficos usan procedimientos racionales cuando crean hiptesis que forzosamente tienen elementos incompletos o indirectos. As cuando existen una serie de casos prcticos en los que se manifiesta la teora de una hiptesis, si bien no es condicin suficiente para validarla como universal si brindan cierto grado de confirmacin de la misma Popper toma las ideas de los empiristas lgicos y propone algunas variantes a sus teoras. Ya que una hiptesis no puede ser confirmada universalmente dado que depende del respaldo de un numero de casos finitos y el hecho de que no se haya presentado ningn caso que la contradiga, tampoco es suficiente (ya que aun sigue existiendo la posibilidad de que suceda), Popper propone que la tarea de los cientficos es un continuo proceso de, tesis, anttesis y sntesis, es decir, que se propondrn hiptesis de carcter universal, para luego ser refutadas y generar nuevas hiptesis, ...lo que llamara falsacionismo, de esta manera la ciencia lograra ir avanzado en su camino de descubrimiento. Tambin introduce la idea de que hay enunciados que adems de ser contrastados con la experiencia sensible, pueden ser sostenidos por otros enunciados tericos, que en ultima instancia son el resultado de convenciones cientficas. Thomas Kuhn propone un modelo de tres etapas en las que se da el progreso de la ciencia: Presencia, Ciencia Normal, Crisis -Revolucin, Nueva Ciencia Normal, Nueva Crisis Introduce la nocin de Paradigma, el cual est constituido por supuestos tericos, leyes y tcnicas de aplicacin que debern adoptar los cientficos que se mueven dentro de una determinada comunidad cientfica. Los que trabajan dentro de un paradigma, ponen en prctica la ciencia normal. Es probable que al trabajar en ella, que desarrollar el paradigma en su intento por explicar el comportamiento de aspectos del mundo, resulten dificultades. Si estas dificultades se hacen inmanejables, se desarrollar un estado de crisis. sta se resolver con el surgimiento de un paradigma totalmente nuevo, el cual cobrar cada vez mayor adhesin por parte de la comunidad cientfica, hasta que finalmente se abandone el paradigma original. Este cambio discontinuo entre paradigmas constituye una revolucin cientfica. El nuevo paradigma enmarcar la nueva actividad cientfica normal, hasta que choque con dificultades y se produzca una nueva crisis y una nueva revolucin.