Craig’s Theorem
View/ Open
Date
2005Author
Ketland, Jeffrey
Metadata
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.