Overview

William Craig (November 13, 1918 – January 13, 2016) was a German-born scholar who spent most of his career as a professor of Philosophy and logic in the United States. He became an influential figure at the University of California, Berkeley, combining rigorous tools from mathematical logic with questions from the philosophy of science. A native of Germany, Craig later became an American academic and taught and wrote on topics that connected formal methods to philosophical problems.

Life and academic formation

Craig earned his doctorate from Harvard University in 1951 and subsequently joined the Berkeley faculty. Over a long career he supervised students, taught courses in logic and the philosophy of science, and published work that was studied by logicians, philosophers, and computer scientists. He died in Berkeley, California in 2016 at the age of 97.

Main contributions

Craig is most widely remembered for the Craig interpolation theorem, a fundamental result in formal logic. Informally, the theorem says that when a formula A implies a formula B, there exists an intermediate formula C — called an interpolant — written only with the nonlogical vocabulary common to A and B, such that A implies C and C implies B. This idea has become a standard tool in proof theory, model theory, and applications such as automated reasoning and program verification.

Other work and influence

Beyond interpolation, Craig's research touched on technical methods in recursive and axiomatic theories; some procedures that arose from this line of work are sometimes referred to in the literature under his name. His contributions helped tighten the connections between abstract logical results and problems in the philosophy of science, for example by clarifying how language and inference relate to explanation and theory comparison.

Selected themes and legacy

  • Bridging formal logic and philosophical questions about scientific theories.
  • Providing tools (like interpolation) that are widely used in logic, computer science, and verification.
  • Training generations of students within a major philosophy department.

For further reading on Craig's theorem and its applications, see general introductions to mathematical logic and works on automated reasoning; archival and departmental pages often record his teaching and publications — for departmental context, see links to university and subject pages such as birthplace information and institutional records at Berkeley. Additional bibliographic material and discussions of interpolation and related techniques appear in surveys of logic and the philosophy of science (mathematical logic, philosophy of science).