On the consistency of the first-order portion of Frege's logical system

Notre Dame Journal of Formal Logic 28 (1):161-168 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636853

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the consistency of the Δ11-CA fragment of Frege's grundgesetze.Fernando Ferreira & Kai F. Wehmeier - 2002 - Journal of Philosophical Logic 31 (4):301-311.
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.
Does Frege use a truth-predicate in his ‘justification’ of the laws of logic? A comment on Weiner.Dirk Greimann - 2008 - Mind 117 (466):403-425.
Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.
"True" arithmetic can prove its own consistency.Andrew Boucher -
The consistency of arithmetic.Storrs McCall - manuscript
A complete and consistent formal system for sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
Concepts, extensions, and Frege's logicist project.Matthias Schirn - 2006 - Mind 115 (460):983-1006.
Russell's Paradox in Appendix B of the Principles of Mathematics : Was Frege's response adequate?Kevin C. Klement - 2001 - History and Philosophy of Logic 22 (1):13-28.
Syntax in Basic Laws §§29–32.Bryan Pickel - 2010 - Notre Dame Journal of Formal Logic 51 (2):253-277.
A Logic for Frege's Theorem.Richard Heck - 1999 - In Richard G. Heck (ed.), Frege’s Theorem: An Introduction. The Harvard Review of Philosophy.
Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.
A temporal logic for sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.

Analytics

Added to PP
2010-08-24

Downloads
44 (#350,505)

6 months
12 (#198,566)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Terence Parsons
University of California, Los Angeles

Citations of this work

Neo-Fregeanism: An Embarrassment of Riches.Alan Weir - 2003 - Notre Dame Journal of Formal Logic 44 (1):13-48.
Modality and Paradox.Gabriel Uzquiano - 2015 - Philosophy Compass 10 (4):284-300.

View all 30 citations / Add more citations

References found in this work

No references found.

Add more references