FRANCESCA BOCCUNI

Verified @unisr.it

Philosophy
Vita-Salute San Raffaele University



              

https://researchid.co/f.boccuni
27

Scopus Publications

Scopus Publications

  • Frege’s theory of real numbers: A consistent rendering
    FRANCESCA BOCCUNI and MARCO PANZA
    Cambridge University Press (CUP)
    Abstract 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.

  • Structuralist neologicism
    Francesca Boccuni and Jack Woods
    Oxford University Press (OUP)
    ABSTRACT 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 (known) properties of the numbers, achieving a key neofregean advantage, while preserving the key structuralist advantage, which objects play the number role does not matter.

  • Introduction: Methods of philosophy
    Stefano Bacin and F. Boccuni


  • Reference in formal semantics and natural language: A methodological route
    F. Boccuni

    In this paper, I will tackle the notion of reference of singular terms in the light of a classic analytic divide, i.e. whether its analysis, like the analysis of other basic notions, should be carried out in natural language or in the semantics of formal frameworks. I will incline toward the latter strategy, and consider reference in classical first-order logic as the simplest framework in which to investigate reference.

  • Preface


  • Objectivity, realism and proof in the philosophy of mathematics: An introduction


  • Frege’s Grundgesetze and a Reassessment of Predicativity
    Francesca Boccuni
    Springer International Publishing

  • Minimal logicism
    Francesca Boccuni
    OpenEdition

  • Plural Logicism
    Francesca Boccuni
    Springer Science and Business Media LLC

  • On the Consistency of a Plural Theory of Frege's Grundgesetze
    Francesca Boccuni
    Springer Science and Business Media LLC

  • Plural Grundgesetze
    Francesca Boccuni
    Springer Science and Business Media LLC

  • Propositional Variable


  • Cardinality


  • Negation


  • Logical Function


  • Domain


  • Consistency


  • Axiom


  • Abstraction


  • Extension


  • Logical Form


  • Contradiction


  • Coherence


  • Classes


  • Intension