# Craig's theorem

﻿
Craig's theorem
A theorem in mathematical logic, held to have implications in the philosophy of science. The logician William Craig at Berkeley showed how, if we partition the vocabulary of a formal system (say, into the T or theoretical terms, and the O or observational terms), then if there is a fully formalized system T with some set S of consequences containing only O terms, there is also a system O containing only the O vocabulary but strong enough to give the same set S of consequences. The theorem is a purely formal one, in that T and O simply separate formulae into the preferred ones, containing as non-logical terms only one kind of vocabulary, and the others. The theorem might encourage the thought that the theoretical terms of a scientific theory are in principle dispensable, since the same consequences can be derived without them. However, Craig's actual procedure gives no effective way of dispensing with theoretical terms in advance, i.e. in the actual process of thinking about and designing the premises from which the set S follows. In this sense O remains parasitic upon its parent T .

Philosophy dictionary. . 2011.

### Look at other dictionaries:

• 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… …   Wikipedia

• Craig interpolation — In mathematical logic, Craig s interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem says that if a formula φ implies a formula ψ then there is a third formula ρ, called an… …   Wikipedia

• Craig Glenday — Kind mit Seifenblasen Jean Siméon Chardin: Seifenbläser, 18. Jh …   Deutsch Wikipedia

• William Craig (logician) — William Craig (born 1918) is Emeritus professor of Philosophy at University of California, Berkeley in Berkeley, California. His interests include mathematical logic, and philosophy of science. He is mostly known for the Craig interpolation… …   Wikipedia

• William Lane Craig — Infobox Philosopher region = Western Philosophy era = 21st century philosophy color = #B0C4DE name = William Lane Craig image size = 150px birth = birth date and age|1949|8|23 Peoria, Illinois death = school tradition = Christian philosophy main… …   Wikipedia

• 2π theorem — In mathematics, the 2π theorem of Gromov and Thurston states a sufficient condition for Dehn filling on a cusped hyperbolic 3 manifold to result in a negatively curved 3 manifold. Let M be a cusped hyperbolic 3 manifold. Disjoint horoball… …   Wikipedia

• Robinson's joint consistency theorem — is an important theorem of mathematical logic. It is related to Craig interpolation and Beth definability.The classical formulation of Robinson s joint consistency theorem is as follows:Let T 1 and T 2 be first order theories. If T 1 and T 2 are… …   Wikipedia

• List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

• List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… …   Wikipedia

• Theoretischer Begriff — Mit Theoretischer Begriff oder auch Theoretischer Term wird in der Wissenschaftstheorie ein Begriff verstanden, welcher der theoretischen Sprache einer empirischen Wissenschaft angehört. Die Analyse der Rolle dieser Begriffe innerhalb von… …   Deutsch Wikipedia