Verified @unisr.it
Philosophy
Vita-Salute San Raffaele University
Scopus Publications
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.
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.
Stefano Bacin and F. Boccuni
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.
Francesca Boccuni
Springer International Publishing
Francesca Boccuni
OpenEdition
Francesca Boccuni
Springer Science and Business Media LLC
Francesca Boccuni
Springer Science and Business Media LLC
Francesca Boccuni
Springer Science and Business Media LLC