Switch to: References

Citations of:

Frege’s Theory of Real Numbers: A Consistent Rendering

Francesca Boccuni & Marco Panza

Review of Symbolic Logic:1-44 (forthcoming)

Add citations

You must login to add citations.

Linnebo's Abstractionism and the Bad Company Problem.J. P. Studd - 2023 - Theoria 89 (3):366-392.details In Thin Objects: An Abstractionist Account, Linnebo offers what he describes as a “simple and definitive” solution to the bad company problem facing abstractionist accounts of mathematics. “Bad” abstraction principles can be rendered “good” by taking abstraction to have a predicative character. But the resulting predicative axioms are too weak to recover substantial portions of mathematics. Linnebo pursues two quite different strategies to overcome this weakness in the case of set theory and arithmetic. I argue that neither infinitely iterated abstraction (...) Download Export citation Bookmark
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project.Matthias Schirn - 2023 - Notre Dame Journal of Formal Logic 64 (4):495-544.details In this article, I first analyze and assess the epistemological and semantic status of canonical value-range equations in the formal language of Frege’s Grundgesetze der Arithmetik. I subsequently scrutinize the relation between (a) his informal, metalinguistic stipulation in Grundgesetze I, Section 3, and (b) its formal counterpart, which is Basic Law V. One point I argue for is that the stipulation in Section 3 was designed not only to fix the references of value-range names, but that it was probably also (...) Download Export citation Bookmark 1 citation
Frege on the introduction of real and complex numbers by abstraction and cross-sortal identity claims.Matthias Schirn - 2023 - Synthese 201 (6):1-18.details In this article, I try to shed new light on Frege’s envisaged definitional introduction of real and complex numbers in _Die Grundlagen der Arithmetik_ (1884) and the status of cross-sortal identity claims with side glances at _Grundgesetze der Arithmetik_ (vol. I 1893, vol. II 1903). As far as I can see, this topic has not yet been discussed in the context of _Grundlagen_. I show why Frege’s strategy in the case of the projected definitions of real and complex numbers in (...) Download Export citation Bookmark 1 citation
Plural Frege Arithmetic.Francesca Boccuni - 2022 - Philosophia Scientiae 26:189-206.details In [Boccuni 2010], a predicative fragment of Frege’s blv augmented with Boolos’ unrestricted plural quantification is shown to interpret pa2. The main disadvantage of that axiomatisation is that it does not recover Frege Arithmetic fa because of the restrictions imposed on the axioms. The aim of the present article is to show how [Boccuni 2010] can be consistently extended so as to interpret fa and consequently pa2 in a way that parallels Frege’s. In that way, the presented system will be (...) Download Export citation Bookmark

1