Completar el cuadro comparativo entre las ciencias formales y las ciencias fácticas según los criterios: objeto de estudio, métodos, proposiciones y tipo de verdad.
Objeto de estudio
- Las ciencias formales estudian objetos ideales o abstractos, construidos por el propio pensamiento (números, figuras geométricas, sistemas lógicos), que no existen en el espacio-tiempo.
- Las ciencias fácticas estudian hechos o fenómenos observables del mundo natural y social, que ocurren en la realidad y pueden constatarse empíricamente.
| Criterio | Ciencias formales | Ciencias fácticas |
|---|---|---|
| Objeto de estudio | Objetos ideales/abstractos (números, figuras, estructuras lógicas) creados por el pensamiento | Hechos y fenómenos observables de la realidad natural y social |
Métodos
- Las ciencias formales usan el método deductivo a partir de axiomas y definiciones: parten de principios indemostrables y deducen teoremas mediante razonamiento lógico.
- Las ciencias fácticas usan el método hipotético-deductivo con verificación empírica: formulan hipótesis, las contrastan con observación y experimentación.
| Criterio | Ciencias formales | Ciencias fácticas |
|---|---|---|
| Métodos | Deducción a partir de axiomas y definiciones; demostración lógica | Método hipotético-deductivo; observación, experimentación y verificación empírica |
Proposiciones
- Las ciencias formales elaboran proposiciones analíticas: su verdad depende de la relación lógica entre los términos (no requieren comprobación empírica).
- Las ciencias fácticas elaboran proposiciones sintéticas o empíricas: su contenido añade información sobre el mundo y debe contrastarse con la experiencia.
| Criterio | Ciencias formales | Ciencias fácticas |
|---|---|---|
| Proposiciones | Analíticas: la verdad se sigue de la lógica del enunciado; necesarias y universales | Sintéticas/empíricas: se verifican con datos de la experiencia; contingentes |
Tipo de verdad
- Las ciencias fácticas alcanzan una verdad correspondencial: la proposición es verdadera si corresponde a los hechos constatados, por lo que es provisional y falible.
- Las ciencias formales alcanzan una verdad por coherencia y necesidad lógica: válida en todos los mundos posibles mientras no se contradigan los axiomas.
Respuesta final (cuadro completo):
| CRITERIO | CIENCIAS FORMALES | CIENCIAS FÁCTICAS |
|---|---|---|
| OBJETO DE ESTUDIO | Objetos ideales y abstractos (números, figuras, estructuras lógicas) creados por el pensamiento | Hechos y fenómenos observables del mundo natural y social |
| MÉTODOS | Deducción a partir de axiomas y definiciones; demostración puramente lógica | Método hipotético-deductivo con observación, experimentación y contrastación empírica |
| PROPOSICIONES | Analíticas: necesarias y universales; su verdad no depende de la experiencia | Sintéticas o empíricas: contingentes; su verdad exige contrastación con la experiencia |
| TIPO DE VERDAD | Verdad por coherencia lógica: necesaria, absoluta, a priori | Verdad por correspondencia con los hechos: provisional, falible, a posteriori |
| Criterio | Ciencias formales | Ciencias fácticas |
|---|---|---|
| Tipo de verdad | Verdad por coherencia lógica; necesaria, absoluta y a priori | Verdad por correspondencia con los hechos; empírica, provisional y falible |








