Department of Philosophy
314 Moses Hall #2390
University of California
Berkeley, CA 94720-2390

Phone: 510-642-2722
Fax: 510-642-4164

Events this week

Mon Feb 8, 2016
Howison Library — 4 pm
Philosophy Colloquium
Jennifer Marusic (Brandeis University)
Locke on Knowledge and the Grounds of Probability
Thu Feb 11, 2016
Howison Library — 4 pm
Philosophy Colloquium
Kristin Primus (Georgetown University)
The Roles of Inadequate Ideas in Adequate Cognition
Fri Feb 12, 2016
5101 Tolman Hall — 11 am
Institute of Cognitive and Brain Sciences
Tyler Burge (UCLA)
Do Apes and Very Young Children Attribute Mental States
Fri Feb 12, 2016
295 Simon (Warren Room) — 12 pm
Workshop in Law, Philosophy, and Political Theory
Aziz Rana (Cornell Law)


William Craig

It is with great sadness that we announce that our colleague William Craig died in the early hours of January 13, 2016. Professor Craig was an internationally renowned logician whose name is attached to one of the key results in the field, Craig’s Interpolation Theorem, which he proved in 1957.

Craig's Interpolation Theorem

Craig was also responsible for showing, in 1953, that every recursively enumerable theory is recursively axiomatizable. This result, which came to be called Craig’s Theorem, played an important role in philosophical debates about theoretical terms in scientific theories.

Bill Craig at the

Professor Craig was born on November 13, 1918 in Nuremberg. There he attended a grammar school and a humanistic gymnasium until 1937. In July 1937 he emigrated to the United States and attended Cornell University where he earned, in 1940, a B.A. with major in philosophy and physics. He served in the U.S. Army from 1941 to 1945 and in the following years spent time at UC Berkeley (1940–1941), Harvard (1946–1948), the Swiss Federal Institute of Technology (1948–1949), Princeton (1949–1950), and again Harvard (1950–1951), where he obtained his Ph.D. in philosophy with a dissertation supervised by Quine.

He became mathematics instructor at Pennsylvania State University in 1951 and there he rose through the ranks, first as Assistant Professor of Mathematics (1952–1957) and then as Associate Professor (1957–1961). In 1960–1961 he spent a year of leave at UC Berkeley, and that led to his move to Berkeley as Professor of Philosophy in 1961. He was President of the Association of Symbolic Logic in 1959–1961 and President of the Pacific Division of the American Philosophical Association in 1978–9. He played an immense role in the development of logic at UC Berkeley, which he generously supported, and he remained an active presence in the logical community even after his retirement in 1989, until the end of his life.

His main contributions to logic were at the intersection of proof theory, model theory, and algebraic logic. In addition to the two fundamental articles on the interpolation theorem published in 1957 in the Journal of Symbolic Logic, Professor Craig was the author of many articles in mathematical logic and of two books: Logic in algebraic form: Three languages and theories (North Holland, 1974) and Semi-Groups underlying first-order logic (American Mathematical Society, 2006).

In 2007, the Philosophy Department at UC Berkeley and the Group in Logic and the Methodology of Science celebrated Professor Craig’s achievements with a conference titled “Interpolations”. A special issue of Synthese, containing the papers read at the conference and additional contributions, was published in 2008.

Janet Broughton wins Divisional Service Award

Photo of Janet Broughton

Congratulations to Janet Broughton, who has won the Arts and Humanities Divisional Service Award for her long and distinguished record of service to the campus. Broughton, a specialist in the history of modern philosophy, has been Vice Provost for the Faculty since 2010; before that, she served as Dean of Arts and Humanities (2006-2010), Chair of the Budget Committee, and Chair of the Philosophy Department. She will be honored, together with the winners of divisional teaching awards, in a reception in Durant Hall Atrium on February 3, from 4-6 PM.