animales rapidos

Los intuicionistas consideran la matemática un producto humano y que la existencia de un objeto es equivalente a la posibilidad de su construcción, por lo que no admitían el axioma del tertio excluso.26 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 queplantea especiales problemas lógicos para la negación. ¿Qué objeto es \lnot A?a 9 Por ello consideraron las verdades de la ciencia probabilísticas, algo así como: «hay razones para considerar verdadero»... Rechazando algunos teoremas y métodos de Georg Cantor.13 El empirismo de David Hume mantiene su vigencia en la no-realidad de los universales ahora matemáticamente tratados como conjuntos.

Por suparte los formalistas pretendieron construir la traducción posible de los contenidos de la ciencia a un lenguaje lógico uniforme y universal que, como «método unificado de cálculo» hiciera de la ciencia un logicismo perfecto.27 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.a10


Concepto de distancia en el espacio de Euclides
El programa de Hilbert se vino definitivamente 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 elobservador y la realidad por caminos que traen conturbados a los científicos y han sumido a los filósofos en una gran confusión.28 13 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
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 lafalsación de teorías y una aproximación asintótica de la verdad científica con 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, CONTRAEL MÉTODO: Esquema de una teoría anarquista del conocimiento. Tras analizar crí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.

El propio progreso de las ciencias muestra evidencias claras de que las regularidades de la naturaleza están llenas deexcepciones.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 a partir de la experiencia, se ponen seriamente en cuestión.;;13 29 a 13 a 14

Posmodernidad[editar]
La cuestión entre realismo y empirismo ../.. sigue tan viva comosiempre..../... [Los investigadores] estudian eventos particulares, realizan entrevistas, invaden los laboratorios, desafían a los científicos, examinan sus tecnologías, sus imágenes, sus concepciones, y exploran el gran antagonismo que a menudo existe entre disciplinas, escuelas y grupos de investigación concretos. Resumiendo sus resultados, podemos decir que el problema no es ahora el de cómo...