| ← Tema 12• | Filosofía de la Ciencia | • Tema 13 por Hempel→ |
“Si los términos y principios de una teoría cumplen su cometido, entonces son innecesarios( porque son dispensables)...; Y si no lo cumplen, entonces son innecesarios, sin duda alguna.”
Craig y Ramsey intentaban resolver este dilema.
Craig: Se puede construir una teoría Tx axiomática que tenga el mismo contenido empírico que T y ningún término teórico para toda teoría T, tal que:
1) T es una teoría axiomática.
2) Es decidible si una regla de deducción de T se aplica. Son decidibles las clases de los axiomas lógicos de T, de los axiomas no lógicos de T y de los enunciados de T.
3) Cada axioma de T es lógico o no lógico y ninguno de los axiomas es las dos cosas.
Ramsey: Definición de oración de una teoría:
- Sea TC, conjunción de los enunciados que contienen al menos un término teórico predicativo. Los no-predicativos pueden ser convertidos en predicativos mediante descripciones.
- La teoría es TC( ti,... tn, ei,..., ei) siendo ti= términos teóricos y ei= términos no teóricos.
- La oración de Ramsey consiste en la cuantificación existencial de tantas variables nuevas como términos t aparecen en la conjunción.
- El teorema de Ramsey dice que la teoría original y su oración de R son equivalentes.
- La formulación de un teorema sólo se entiende en una concepción instrumentalista de los términos teóricos. La respuesta de Hempel está inspirada en el instrumentalismo.
- Tuomela y el teorema de interpolación.
- Hanson y la carga teórica (corriente postpositivista que niega el dilema a través de la carga teórica).