-
159Frege meets Belnap: Basic Law V in a Relevant LogicIn Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic, Springer. pp. 381-404. forthcoming.Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting …Read more
-
56Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics (edited book)Springer International Publishing. 2016.This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied math…Read more
-
28Salvatore Florio* and Øystein Linnebo**. The Many and the One. A Philosophical Study of Plural LogicPhilosophia Mathematica 30 (3): 369-381. 2022.Several natural languages such as English contain prima facie different kinds of referential and quantificational expressions. In particular, natural languages
-
24Plural Frege ArithmeticPhilosophia Scientiae 189-206. 2022.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 compar…Read more
-
18Plural Frege ArithmeticPhilosophia Scientiae 26 189-206. 2022.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 compar…Read more
-
29Origins and Varieties of Logicism: On the Logico-Philosophical Foundations of Logicism (edited book)Routledge. 2021.This book offers a plurality of perspectives on the historical origins of logicism and on contemporary developments of logicist insights in philosophy of mathematics. It uniquely provides up-to-date research and novel interpretations on a variety of intertwined themes and historical figures related to different versions of logicism. The essays, written by prominent scholars, are divided into three thematic sections. The first section focuses on major authors like Frege, Dedekind, and Russell, pr…Read more
-
65Frege’s Theory of Real Numbers: A Consistent RenderingReview of Symbolic Logic 1-44. forthcoming.Frege's definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege's ill-fated Basic Law V. We restate Frege's definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege's own indications is possible at all.
-
Frege’s Grundgesetze and a Reassessment of PredicativityIn Giorgio Venturi, Marco Panza & Gabriele Lolli (eds.), From Logic to Practice: Italian Studies in the Philosophy of Mathematics, Springer International Publishing. 2014.
-
117Structuralist Neologicism†Philosophia Mathematica 28 (3): 296-316. 2020.Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit def…Read more
-
31Abstractionism. Essays in the Philosophy of MathematicsHistory and Philosophy of Logic 40 (1): 100-103. 2018.ionism as a foundational programme in the philosophy of mathematics traditionally originates with Gottlob Frege. According to it, significant portions of mathematics (arithmetic, possibly r...
-
127Plural LogicismErkenntnis 78 (5): 1051-1067. 2013.PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predic…Read more
-
Mathematics and Cognition: Some Objections to a Cognitive Foundation for MathematicsThe Baltic International Yearbook of Cognition, Logic and Communication 2. 2006.
-
39Minimal LogicismPhilosophia Scientiae 18 81-94. 2014.PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a first-order formulation of Frege's infamous Basic Law V. George Boolos' plural semantics is replaced with Enrico Martino's Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. ACS provides a form of logicism which is radically alternative to Frege's and which is gr…Read more
-
112On the Consistency of a Plural Theory of Frege’s GrundgesetzeStudia Logica 97 (3): 329-345. 2011.PG (Plural Grundgesetze) is a predicative monadic second-order system which is aimed to derive second-order Peano arithmetic. It exploits the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. In this paper, a model-theoretical consistency proof for the system PG is provided.
-
61Plural GrundgesetzeStudia Logica 96 (2): 315-330. 2010.PG (Plural Grundgesetze) is a predicative monadic second-order system which exploits the notion of plural quantification and a few Fregean devices, among which a formulation of the infamous Basic Law V. It is shown that second-order Peano arithmetic can be derived in PG. I also investigate the philosophical issue of predicativism connected to PG. In particular, as predicativism about concepts seems rather un-Fregean, I analyse whether there is a way to make predicativism compatible with Frege’s …Read more
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Mathematics |