•  115
    Plural Logicism
    Erkenntnis 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
  •  101
    Plural Grundgesetze
    Studia 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
  •  100
    On the Consistency of a Plural Theory of Frege’s Grundgesetze
    Studia 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.
  •  93
    Structuralist Neologicism†
    with Jack Woods
    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
  •  78
    Frege meets Belnap: Basic Law V in a Relevant Logic
    with Shay Logan
    In 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
  •  53
    Frege’s Theory of Real Numbers: A Consistent Rendering
    Review 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.
  •  34
    Minimal Logicism
    Philosophia 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
  •  30
    Objectivity, 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
  •  24
    Abstractionism. Essays in the Philosophy of Mathematics
    History 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...
  •  22
    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
  •  21
    Several natural languages such as English contain prima facie different kinds of referential and quantificational expressions. In particular, natural languages
  •  10
    Plural Frege Arithmetic
    Philosophia 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
  •  7
    Plural Frege Arithmetic
    Philosophia 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
  • Origins and Varieties of Logicism (edited book)
    with A. Sereni
    Routledge. 2022.
  • Book Review (review)
    Epistemologia 34 166-168. 2011.
  • Mathematics and Cognition: Some Objections to a Cognitive Foundation for Mathematics
    The Baltic International Yearbook of Cognition, Logic and Communication 2. 2006.