Talk:Craig interpolation

From Wikipedia, the free encyclopedia

Hey,

I'm not sure about this, but is Craig Interpolation in mathematical logic the same as Craig's Theorem in philosophical logic? If not wouldn't a page be useful explaining this; rather than a redirector? When looking for help on Craig's theorem this confused me! From what I can understand, the philosophical Craig's Theorem was posited by William Craig, in a paper from the Journal of Symbolic Logic, Vol. 18 (1953), in a paper called "On Axiomatisation within a System" and essentially talks about the possibility of replacing a formal language with theoretical and observational terms with a language with just observational terms. Apologies for wasting time if the two are one-and-the-same. If I end up reading more into Craig's Theorem (philosophical) and it does turn out to be different; I'll write an article. Thanks,

Ed —Preceding unsigned comment added by 131.111.228.48 (talk • contribs)