Búsqueda por
palabras:
  • Paraula 1
  • Paraula 2
  • Paraula 3
  • Paraula 4
 Palabra exacta
Filtrar por
temas:
Filtrar por
autores:

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 susci­tado interés entre algunos filósofos de la cien­cia, y en este supuesto presentamos algunos de sus rasgos.

Dado un sistema formal, S, pueden divi­dirse 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 úni­camente 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

Este web utiliza "cookies" propias y de terceros para ofrecerle un mejor servicio, al navegar el usuario acepta su uso Más info
ACCEPTAR