CRAIG (TEOREMA DE)
Se llama así a una prueba presentada por William Craig en «On Axiomatizability Within a System», Journal of Symbolic Logic, 18 (1953), 30-32, y expuesta por el propio autor en «Replacement of Auxiliary Expressions», Philosophical Review, 65 (1956), 38-55.
El llamado «teorema de Craig» ha suscitado interés entre algunos filósofos de la ciencia, y en este supuesto presentamos algunos de sus rasgos.
Dado un sistema formal, S, pueden dividirse sus símbolos primitivos no lógicos en dos conjuntos: un conjunto que consiste en símbolos llamados «preferidos» y un conjunto que consiste en todos los símbolos restantes, considerados «no preferidos». La cuestión es ver si de S puede derivarse un sistema formal, S’, que tenga como símbolos primitivos únicamente los símbolos preferidos de S y cuyos teoremas sean los teoremas preferidos de S.
En principio, cabe disponer las pruebas de S de modo que cada vez que se encuentre una fórmula