Switch to: Citations

References in:

First-order Frege theory is undecidable

Warren Goldfarb

Journal of Philosophical Logic 30 (6):613-616 (2001)

Add references

You must login to add references.

On the consistency of the first-order portion of Frege's logical system.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.details Frege: Abstraction Principles in 20th Century Philosophy Frege: Grundgesetze in 20th Century Philosophy History of Logic, Misc in Logic and Philosophy of Logic Mathematical Logic in Philosophy of Mathematics Predicate Logic in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 35 citations
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik.Richard G. Heck - 1996 - History and Philosophy of Logic 17 (1-2):209-220.details As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ... Frege: Grundgesetze in 20th Century Philosophy Logics, Misc in Logic and Philosophy of Logic Mathematical Neo-Fregeanism in Philosophy of Mathematics Predicativism in Mathematics in Philosophy of Mathematics Russell's Paradox in Philosophy of Mathematics Direct download (6 more) Export citation Bookmark 59 citations

1