Craig's theorem

Craig's theorem In mathematical logic, Craig's theorem states that any recursively enumerable set of well-formed formulas of a first-order language is (primitively) recursively axiomatizable. This result is not related to the well-known Craig interpolation theorem, although both results are named after the same logician, William Craig.

Contenuti 1 Recursive axiomatization 2 Primitive recursive axiomatizations 3 Philosophical implications 4 References Recursive axiomatization Let {stile di visualizzazione A_{1},UN_{2},punti } be an enumeration of the axioms of a recursively enumerable set T of first-order formulas. Construct another set T* consisting of {displaystyle underbrace {UN_{io}land dots land A_{io}} _{io}} for each positive integer i. The deductive closures of T* and T are thus equivalent; the proof will show that T* is a recursive set. A decision procedure for T* lends itself according to the following informal reasoning. Each member of T* is either {stile di visualizzazione A_{1}} or of the form {displaystyle underbrace {B_{j}land dots land B_{j}} _{j}.} Since each formula has finite length, it is checkable whether or not it is {stile di visualizzazione A_{1}} or of the said form. If it is of the said form and consists of j conjuncts, it is in T* if the (reoccurring) conjunct is {stile di visualizzazione A_{j}} ; otherwise it is not in T*. Ancora, it is checkable whether the conjunct is in fact {stile di visualizzazione A_{n}} by going through the enumeration of the axioms of T and then checking symbol-for-symbol whether the expressions are identical.

Primitive recursive axiomatizations The proof above shows that for each recursively enumerable set of axioms there is a recursive set of axioms with the same deductive closure. A set of axioms is primitive recursive if there is a primitive recursive function that decides membership in the set. To obtain a primitive recursive aximatization, instead of replacing a formula {stile di visualizzazione A_{io}} insieme a {displaystyle underbrace {UN_{io}land dots land A_{io}} _{io}} one instead replaces it with {displaystyle underbrace {UN_{io}land dots land A_{io}} _{f(io)}} (*) where f(X) is a function that, given i, returns a computation history showing that {stile di visualizzazione A_{io}} is in the original recursively enumerable set of axioms. It is possible for a primitive recursive function to parse an expression of form (*) to obtain {stile di visualizzazione A_{io}} and j. Quindi, because Kleene's T predicate is primitive recursive, it is possible for a primitive recursive function to verify that j is indeed a computation history as required.

Philosophical implications If {stile di visualizzazione T} is a recursively axiomatizable theory and we divide its predicates into two disjoint sets {stile di visualizzazione V_{UN}} e {stile di visualizzazione V_{B}} , then those theorems of {stile di visualizzazione T} that are in the vocabulary {stile di visualizzazione V_{UN}} are recursively enumerable, e quindi, based on Craig's theorem, axiomatizable. Carl G. Hempel argued based on this that since all science's predictions are in the vocabulary of observation terms, the theoretical vocabulary of science is in principle eliminable. He himself raised two objections to this argument: 1) the new axioms of science are practically unmanageable, e 2) science uses inductive reasoning and eliminating theoretical terms may alter the inductive relations between observational sentences. Hilary Putnam argues that this argument is based on a misconception that the sole aim of science is successful prediction. He proposes that the main reason we need theoretical terms is that we wish to talk about theoretical entities (such as viruses, radio stars, and elementary particles).

References William Craig. "On Axiomatizability Within a System", Il diario della logica simbolica, vol. 18, No. 1 (1953), pp. 30-32. Hilary Putnam. "Craig's Theorem", The Journal of Philosophy, vol. 62, No. 10 (1965), pp. 251.260. Categorie: Computability theoryTheorems in the foundations of mathematics

Se vuoi conoscere altri articoli simili a Craig's theorem puoi visitare la categoria Computability theory.

lascia un commento

L'indirizzo email non verrà pubblicato.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni