14 sites in Philosophy of Logic
Frege's Theorem
Save
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.
http://plato.stanford.edu/entries/fre...
The Troublesome Paradox
Save
Online version of book seeking publication by Per Lundgren. Author attempts to argue that a consequence of Goedel's incompleteness theorem is that we should overturn our current approach to scientific method.
http://www.yesgoyes.com/
See also
The category Philosophy of Logicin other languages