La posmodernidad o la tambin llamada poca contempornea se apertura en el Siglo XX
con la formacin del Circulo de Viena, por parte de un grupo de filsofos y cientficos (en Viena, Alemania) que buscaban la instauracin de una filosofa cientfica, es decir, un pensamiento basado en el mtodo cientfico. Sin embargo, su tesis principal fue el enfoque en los fenmenos, esto es, las cosas tal cual como son, las cosas tal cual las percibimos. Que en otras palabras es el conocer por medio de la experiencia, es decir, el empirismo, pero no el empirismo de Hume o Locke sino un empirismo cientfico, un empirismo ms trascendental. Recordar que en aquel tiempo la filosofa tiende a reducirse a la lgica para buscar una fundamentacin tangible. De ah la idea que todo lo que se niegue de la realidad es porque no ha sido comprobado empricamente o todo lo que se compruebe es porque previamente ha sido experimentado. Por tal motivo proponan el giro ideolgico del olvido de la metafsica, esa que se haba desarrollado en los siglos anteriores, con filsofos como Descartes o Kant. La sntesis o mescolanza que resulto del empirismo y del positivismo fue el empirismo lgico o positivismo lgico. Su idea principal se puede resumir as: tomar el empirismo clsico y agregarle el positivismo (mtodo cientfico) y la lgica simblica, para que se realice una verificacin de algn fenmeno se tiene que tener una validacin emprica y comprobar dicho evento por medio de las demostraciones lgicas. Es en esa primera mitad del siglo XX que Carl Hempel desarrolla su filosofa, teniendo como buen integrante del circulo de Viena, en su estructura al positivismo lgico. Uno de sus manuscritos ms importantes es la Filosofa de la Ciencia Natural, el cual puede considerarse como el ejemplo de la filosofa que seguan en el Crculo de Viena. Esa que versa en la comprobacin emprica de los eventos. Porque se sigue la filosofa que estriba en si un enunciado no es comprobado empricamente, es un enunciado sin sentido. Los enunciados que se validan empricamente pasan de ser llamados suposiciones o hiptesis a tesis, las hiptesis que no pueden ser comprobados porque se demuestra su falacia pasan a llamarse simplemente enunciados. Las hiptesis se infieren a partir de las circunstancias de la investigacin cientfica. Pero Qu es una hiptesis para Hempel? Un enunciado que est sometido a contrastacin, con independencia de si se propone describir algn hecho o evento concreto o expresar una ley general o alguna otra proposicin ms compleja (Hempel: 1978). Una hiptesis en su etapa de demostracin puede ampliarse, reducirse, negarse o validarse. Por medio de contrastaciones con otras hiptesis que versan sobre el mismo tema de investigacin, ese es un estilo directo, esto es, se contraponen 2 hiptesis distintas para ver cul es la ms verdadera. Pero no solo las hiptesis se pueden contrastar sino tambin las premisas que componen a la hiptesis (Hempel les llama implicaciones contrastadoras). Pero que una o varias premisas resulten ser verdaderas no implica que la hiptesis sea correcta porque la hiptesis tambin se debe comprobar. Esos problemas son muy comunes en el campo de la lgica en donde se puede comprobar como falso o como verdadero cierto problema pero el resultado es distinto cuando se aplica en la realidad. Las contrastaciones entre una premisa u otra se llaman condicionales o implicaciones y he aqu otra de las herencias de la lgica para la filosofa de la ciencia. Si la premisa es verdadera la conclusin tambin lo es porque es una implicacin. En la investigacin cientfica la induccin y la deduccin juegan un papel muy importante para la verificacin de las hiptesis y sus implicaciones. Porque una hiptesis es un supuesto que se pretende comprobar ya sea de una manera observacional o racional. Pero no derivan o se formulan basndose de hechos observados sino que son invenciones que parten de eventos concretos. La inferencia inductiva se compone de premisas o juicios particulares y concluyen en una premisa general. Por otra parte, la inferencia deductiva va de lo general a lo particular. Pero como hemos mencionado con anterioridad la verdad de las premisas no garantiza la verdad de la conclusin. (Hempel: 1978). De los 2 tipos de inferencia, es la deductiva quien tiene ms peso, es decir, ms grado de probabilidad de certeza. Las hiptesis no solo estn fundamentadas por las premisas sino tambin por otro tipo de hiptesis, las llamadas hiptesis auxiliares. Las cuales son el complemento de la hiptesis para la contrastacin ya sea como premisa o como una hiptesis. El tipo ms comn son las llamadas hiptesis Ad Hoc. Pero Qu es una hiptesis Ad Hoc? Es una hiptesis auxiliar particular que tiene como objetivo blindar y salvar a la hiptesis principal. Teniendo como caracterstica principal que es una hiptesis irrefutable y seguir el principio de falsabilidad, es decir, refutar con un contraejemplo. Otro tipo de hiptesis son las pseudo hiptesis, pero son simplemente hiptesis en apariencia porque no llegan a implicaciones contrastantes ni tampoco son verdaderas o falsas.