9 found
Order:
See also
Francesca Boccuni
University Vita-Salute San Raffaele
  1.  57
    Structuralist Neologicism†.Francesca Boccuni & Jack Woods - 2020 - Philosophia Mathematica 28 (3):296-316.
    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 definitions determining all properties of the numbers, achieving a key (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  74
    Plural Logicism.Francesca Boccuni - 2013 - Erkenntnis 78 (5):1051-1067.
    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 predicate position. ACS provides a form of logicism which is radically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  93
    On the Consistency of a Plural Theory of Frege’s Grundgesetze.Francesca Boccuni - 2011 - Studia Logica 97 (3):329-345.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  84
    Plural Grundgesetze.Francesca Boccuni - 2010 - Studia Logica 96 (2):315-330.
    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 logicism.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  5. Book Review. [REVIEW]Francesca Boccuni - 2011 - Epistemologia 34:166-168.
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  7
    Frege’s Theory of Real Numbers: A Consistent Rendering.Francesca Boccuni & Marco Panza - forthcoming - Review of Symbolic Logic:1-44.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Mathematics and Cognition: Some Objections to a Cognitive Foundation for Mathematics.Francesca Boccuni - 2006 - The Baltic International Yearbook of Cognition, Logic and Communication 2.
  8.  24
    Minimal Logicism.Francesca Boccuni - 2014 - Philosophia Scientae 18:81-94.
    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 grounded on the existence of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics.Francesca Boccuni & Andrea Sereni (eds.) - 2016 - Springer International Publishing.
    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 mathematics. They investigate controversial aspects of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark