Talk:William Craig (disambiguation)
From Wikipedia, the free encyclopedia
There is also a well-known logician and philospher named William Craig, who received his Ph.D. from Harvard in 1951 and is currently a Professor Emeritus at Berkeley. This William Craig is best known for the "Craig Interpolation Theorem", the simplest version of which says that if a sentence A implies another sentence B, then there is a sentence C containing only terms common to A and B, such that A implies C and C implies B. -- Joseph Shipman
