Top
: Society
: Philosophy
: Philosophy of Logic
: Semantics of Logic
Frege's Theorem
-
Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin Wright that Frege's work of the Grundgesetze can be carried out in second-order logic with Hume's principle.
Copyright 2005 www.linksboom.com. Privacy Policy | Contact Us