Тipos propiamente científicos: las proposiciones analíticas o contradictorias y las que pueden ser confirmadas por la experiencia

tipos propiamente científicos: las proposiciones analíticas o contradictorias y las que pueden ser confirmadas por la experiencia.

Las primeras recogen los enunciados de las matemáticas, de la lógica y, en general, de las ciencias formales. El positivismo lógico considera que ninguna de esas ciencias es empírica. Su verdad depende exclusivamente de las reglas sintácticas que rigen el sistema formal correspondiente. Los enunciados de las ciencias formales no aportan información alguna sobre el mundo, y por ello, hablando en términos kantianos, han de ser considerados como enunciados analíticos. En cuanto a las ciencias que poseen un contenido empírico, todos y cada uno de los enunciados han de ser confirmables, al menos en principio, por la experiencia.

Por tanto, la verificabilidad pasa a ser el criterio para distinguir las ciencias empíricas de otros tipos de saber. Un enunciado es científico si es verificable, y para ello sus términos han de tener significado empírico. Posteriormente, este criterio de significación empírica sufrió algunas modificaciones.

El Círculo de Viena osciló entre la verificación y la simple confirmación de dichos enunciados. En su primera época, aún creía en la posibilidad de una verificación concluyente de los enunciados científicos a partir de las proposiciones elementales. La verificabilidad experimental de sus predicciones distingue a la ciencia de otros tipos de saber humano.

...