Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Cadet et al. (2015) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: