|
Edinburgh Research Archive >
Philosophy, Psychology and Language Sciences, School of >
Philosophy >
Philosophy research publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1842/1346
|
| Title: | Craig’s Theorem |
| Authors: | Ketland, Jeffrey |
| Issue Date: | 2005 |
| Citation: | In D. Borchert (ed.), Macmillan Encyclopedia of Philosophy. 2005. Macmillan Reference USA |
| Publisher: | Macmillan Reference USA |
| Abstract: | In mathematical logic, Craig’s Theorem (not to be confused with Craig’s
Interpolation Theorem) states that any recursively enumerable theory is recursively
axiomatizable. Its epistemological interest concerns its possible use as a method of
eliminating “theoretical content” from scientific theories. |
| Keywords: | philosophy
Craig’s Theorem |
| URI: | http://hdl.handle.net/1842/1346 |
| ISBN: | 0-02-865780-2 |
| Appears in Collections: | Philosophy research publications
|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.
|
