William Craig (philosopher)

William Craig (November 13, 1918^[1] – January 13, 2016) was an American academic, logician and philosopher, who taught at the University of California, Berkeley, in Berkeley, California. His research interests included mathematical logic, and the philosophy of science,^[2] and he is best known for the Craig interpolation theorem.

William Craig
William Craig, UC Berkeley Logic Group picnic 1977.
Born	(1918-11-13)November 13, 1918 Nuremberg, German Empire
Died	January 13, 2016(2016-01-13) (aged 97) Berkeley, California, U.S.
Occupation(s)	Philosopher, academic

Biography

William Craig was born in Nuremberg, Weimar Republic, on November 13, 1918. He graduated from Harvard University with a Ph.D. in 1951. He married Julia Rebecca Dwight Wilson and had four children: Ruth, Walter, Sarah, and Deborah. In 1959, he moved to UC Berkeley. He died on January 13, 2016, at the age of 97.

Achievements

Craig is particularly remembered in two theorems that bear his name:

• the Craig interpolation theorem, and
• Craig's theorem, also known as Craig's axiomatization theorem or Craig's reaxiomatization theorem.

See also

• American philosophy
• List of American philosophers