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 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

  • Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… …   Wikipedia

  • Student's t-distribution — Probability distribution name =Student s t type =density pdf cdf parameters = u > 0 degrees of freedom (real) support =x in ( infty; +infty)! pdf =frac{Gamma(frac{ u+1}{2})} {sqrt{ upi},Gamma(frac{ u}{2})} left(1+frac{x^2}{ u} ight)^{ (frac{… …   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

  • 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

  • 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”