positivismo logico

la positivismo logico fue utilizado por primera vez por el filosofo y matematico frances del siglo XIX Augusto Comte.¿Cómo y por qué la Naturaleza en la experiencia se somete a las «reglas lógicas de la razón» y a las matemáticas?
Los matemáticos se dividieron en intuicionistas y logicistas.
Los intuicionistas consideraban la matemática un producto humano y consideraban que la existencia de unobjeto es equivalente a la posibilidad de su construcción, por lo que no admitían el axioma del tertio excluso.24 El argumento A \lor \lnot A; \lnot \lnot A \vdash A no puede ser tomado como lógica y formalmente válido sin restricción. Todo objeto lógico ha de poder ser previamente construido, lo que plantea especiales problemas lógicos para la negación. ¿Qué objeto es \lnot A?a 9 Por elloconsideraron las verdades de la ciencia probabilísticas, algo así como: «hay razones para considerar verdadero»... Rechazando algunos teoremas y métodos de Georg Cantor.11 El empirismo de David Hume mantiene su vigencia en la no-realidad de los universales ahora matemáticamente tratados como conjuntos.
Por su parte los formalistas pretendieron construir la traducción posible de los contenidos de laciencia a un lenguaje lógico uniforme y universal que, como «método unificado de cálculo» hiciera de la ciencia un logicismo perfecto.25 Tal venía a ser el programa de Hilbert: formalización perfecta de la lógica-matemática, capaz de figurar la realidad mundana debidamente formalizada en un sistema perfecto.a 10


Concepto de distancia en el espacio de Euclides
El programa de Hilbert se vinodefinitivamente al traste cuando Kurt Gödel (1931) demostró los teoremas de incompletitud, haciendo patente la imposibilidad de un sistema lógico perfecto.a 11
Por otro lado la mecánica cuántica en su expresión matemática abre una brecha entre espacio-tiempo y materia y salva el tradicional abismo entre el observador y la realidad por caminos que traen conturbados a los científicos y han sumido alos filósofos en una gran confusión.11 En definitiva:
Matemáticamente: Si un sistema es completo no es decidible. Si es decidible, no es completo.
Físicamente: La energía aparece como discontinua; las partículas se manifiestan fenoménicamente, según circunstancias, como tales partículas o como ondas. El espacio y el tiempo pierden el carácter de absoluto de la mecánica clásica de Newton; etc.Concepto de distancia en el espacio de Minkoski
El propio progreso de las ciencias muestra evidencias claras de que las regularidades de la naturaleza están llenas de excepciones.a 12 La creencia en leyes necesarias y la creencia en el determinismo de la Naturaleza, que inspiró tanto a los griegos como a la Ciencia Moderna hasta el siglo XX, así como el hecho de que la observación se justifica apartir de la experiencia, se ponen seriamente en cuestión.;;11 a 13 a 14
En 1934 Karl Popper publica La lógica de la investigación científica, que pone en cuestión los fundamentos del inductivismo científico, proponiendo un nuevo criterio de demarcación de la ciencia así como una nueva idea de verificación por medio de la falsación de teorías y una aproximación asintótica de la verdad científicacon la realidad.
En 1962 Kuhn propone un nuevo modo de concebir la construcción de la ciencia bajo el concepto de «cambio de paradigma científico», que hiciera posible el no tener que considerar necesariamente falsas todas las teorías obsoletas de la ciencia anterior.
En 1975 Feyerabend publica un polémico libro, CONTRA EL MÉTODO: Esquema de una teoría anarquista del conocimiento. Tras analizarcríticamente el proceso seguido por Galileo en su método resolutivo-compositivo, rompe el «paradigma» del método hipotético-deductivo considerado como el fundamento del método científico como tal.
Posmodernidad[editar · editar código]
La cuestión entre realismo y empirismo ../.. sigue tan viva como siempre..../... [Los investigadores] estudian eventos particulares, realizan entrevistas,...