Frege's Theorem
URL: http://plato.stanford.edu/entries/frege-logic/index.html
Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Philosophy: Philosophy of Logic: Frege's Theorem
Detailed Traffic Statistic From Alexa
Description:
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.