Edinburgh Research Archive logo

Edinburgh Research Archive

University of Edinburgh homecrest
View Item 
  •   ERA Home
  • Philosophy, Psychology and Language Sciences, School of
  • Philosophy
  • Philosophy research publications
  • View Item
  •   ERA Home
  • Philosophy, Psychology and Language Sciences, School of
  • Philosophy
  • Philosophy research publications
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Craig’s Theorem

View/Open
KetlandCraig.pdf (13.43Kb)
Date
2005
Author
Ketland, Jeffrey
Metadata
Show full item record
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.
URI
http://hdl.handle.net/1842/1346
Collections
  • Philosophy research publications

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page

 

 

All of ERACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisorsThis CollectionBy Issue DateAuthorsTitlesSubjectsPublication TypeSponsorSupervisors
LoginRegister

Library & University Collections HomeUniversity of Edinburgh Information Services Home
Privacy & Cookies | Takedown Policy | Accessibility | Contact
Privacy & Cookies
Takedown Policy
Accessibility
Contact
feed RSS Feeds

RSS Feed not available for this page