The Logical System of Frege's Grundgesetze: A Rational Reconstruction

Méven Cadet (1) , Marco Panza (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

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.

Mots clés: Begriffsschrift; Grundgesetze

Mots clés: Frege's system of Logic; Frege; Second-order Logic

Domaines: Histoire, Philosophie et Sociologie des sciences

Méven Cadet, Marco Panza. The Logical System of Frege's Grundgesetze: A Rational Reconstruction. 2014. ⟨halshs-01104530⟩