The logical system of Frege's grundgestze: A rational reconstruction

&
Manuscrito 38 (1):5-94 (2015)
  Copy   BIBTEX

Abstract

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze. We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

Categories

Keywords

Reprint years

DOI

10.1590/0100-6045.2015.v38n1.mcemp

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

Frege, Russell and Logicism: a Logical Reconstruction.Nino Cocchiarella - 1986 - In L. Haaparanta & J. Hintikka (eds.), Frege Synthesized. D. Reidel Publishing Co.. pp. 197--252.
Essays on Frege's Conception of Truth.Dirk Greimann (ed.) - 2007 - Rodopi.
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.
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.
Frege on Truth, Assertoric Force and the Essence of Logic.Dirk Greimann - 2014 - History and Philosophy of Logic 35 (3):272-288.
Concepts, extensions, and Frege's logicist project.Matthias Schirn - 2006 - Mind 115 (460):983-1006.
Hermeneutics, Logic and Reconstruction.Friedrich Reinmuth - 2014 - History of Philosophy & Logical Analysis 17 (1):152–190.
Proof for the Existence of God in Classical Indian Philosophy.John Vattanky - 2007 - Forum Philosophicum: International Journal for Philosophy 12 (1):1 - 15.
Evidence, judgment and truth.Verena Mayer - 2007 - Grazer Philosophische Studien 75 (1):175-197.
The judgement-stroke as a truth-operator: A new interpretation of the logical form of sentences in Frege's scientific language.D. Greimann - 2000 - Erkenntnis 52 (2):213-238.
Frege, natural numbers, and arithmetic's umbilical cord.Erich Reck - 2003 - Manuscrito 26 (2):427-70.
Logicism and the sense–denotation distinction.Mark Eli Kalderon - unknown
Frege's Judgement Stroke and the Conception of Logic as the Study of Inference not Consequence.Nicholas J. J. Smith - 2009 - Philosophy Compass 4 (4):639-665.
Redressing Frege's Failure to Develop a Logical Calculus for the Theory of Sinn and Bedeutung.Kevin Charles Klement - 2000 - Dissertation, The University of Iowa
On the foundations of Greek arithmetic.Holger A. Leuz - 2009 - History of Philosophy & Logical Analysis 12:13-47.

Analytics

Added to PP
2015-09-04

Downloads
43 (#360,193)

6 months
12 (#203,353)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marco Panza
Centre National de la Recherche Scientifique

Citations of this work

Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.

Add more citations

References found in this work

Frege and the rigorization of analysis.William Demopoulos - 1994 - Journal of Philosophical Logic 23 (3):225 - 245.
Frege's Theory of Real Numbers.Peter M. Simons - 1987 - History and Philosophy of Logic 8 (1):25--44.
Frege's Approach to the Foundations of Analysis (1874–1903).Matthias Schirn - 2013 - History and Philosophy of Logic 34 (3):266-292.

Add more references