Skip to main content
SpringerLink
Log in

Objectivity, Realism, and Proof

FilMat Studies in the Philosophy of Mathematics

  • Book
  • © 2016

Overview

Editors:
  1. Francesca Boccuni

    1. San Raffaele University, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrea Sereni

    1. Institute of Advanced Studies, Pavia, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains cutting-edge research from renowned philosophers and younger scholars
  • Shows the lively and multifarious character of the current debate
  • Presents new contributions in several areas of the philosophy of mathematics and logic
  • Includes supplementary material: sn.pub/extras

Part of the book series: Boston Studies in the Philosophy and History of Science (BSPS, volume 318)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 109.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 139.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Pages i-xl
    Download chapter PDF

  2. Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies

    • Stewart Shapiro
    Pages 1-9

  4. Realism in a World of Sets: from Classes to the Hyperuniverse

    1. Front Matter

      Pages 101-101
      Download chapter PDF

    2. Absolute Infinity in Class Theory and in Theology

      • Leon Horsten
      Pages 103-122

    3. Sets and Descent

      • Brice Halimi
      Pages 123-142

    4. True V or Not True V, That Is the Question

      • Gianluigi Oliveri
      Pages 143-164

    5. The Search for New Axioms in the Hyperuniverse Programme

      • Sy-David Friedman, Claudio Ternullo
      Pages 165-188

    6. Multiversism and Concepts of Set: How Much Relativism Is Acceptable?

      • Neil Barton
      Pages 189-209

    7. Forcing, Multiverse and Realism

      • Giorgio Venturi
      Pages 211-241

  5. The Logic Behind Mathematics: Proof, Truth, and Formal Analysis

    1. Front Matter

      Pages 243-243
      Download chapter PDF

    2. What’s so Special About the Gödel Sentence \(\mathcal {G}\)?

      • Mario Piazza, Gabriele Pulcini
      Pages 245-263

    3. More on Systems of Truth and Predicative Comprehension

      • Carlo Nicolai
      Pages 265-290

    4. A Critical Overview of the Most Recent Logics of Grounding

      • Francesca Poggiolesi
      Pages 291-309

    5. Computability, Finiteness and the Standard Model of Arithmetic

      • Massimiliano Carrara, Matteo Plebani, Enrico Martino
      Pages 311-318
Back to top

Keywords

About this book

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 contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe.  They consider fundamental philosophical notions such as set, cardinal number, truth, ground,  finiteness and infinity, examining  how their informal conceptions can best be captured in formal theories.

The philosophy of mathematics is an extremely lively  field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection – prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) – show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns.

Promoted by the Italian Network for the Philosophy of Mathematics – FilMat




Editors and Affiliations

  • San Raffaele University, Milan, Italy

    Francesca Boccuni

  • Institute of Advanced Studies, Pavia, Italy

    Andrea Sereni

About the editors

Andrea Sereni is Associate Professor in Epistemology and Philosophy of Mathematics at the Institute of Advanced Studies (IUSS) in Pavia. He was a Lecturer at Vita-Salute San Raffaele University, Milan, Italy, where he still teaches. He obtained his PhD at Bologna University and was a visiting scholar at the Arche Centre (St.Andrews, Scotland), MCMP Munich, and University of Oslo. His teaching, research and publications cover issues in the philosophy of mathematics, epistemology, and the philosophy of language. He is co-author, with M. Panza, of Plato’s Problem, An Introduction to Mathematical Platonism (Palgrave, 2013) and co-editor (with F. Pataut and D. Molinini) of Synthese special issue Indispensability and Explanation. He is member of COGITO, CRESA and NeTS research centres, and coordinator of the promoting committee of the Italian Network for the Philosophy of Mathematics (FilMat). Francesca Boccuni is a Lecturer in Logic and Philosophy of Logic and Science at Vita-Salute San Raffaele University, Milan, Italy. She was a visiting scholar at the University of Oxford, Institute Jean Nicod – CNRS (Paris), Ohio State University, University of Bristol, University of London, and University of Oslo. Her research interests and main publications (Studia Logica, Erkenntnis) concern the abstractionist programme in the philosophy of mathematics and Frege's Logicism, second-order logic and plural logic, and the issue of reference in mathematics. She is member of COGITO and CRESA research centres, and a member of the promoting committee of the Italian Network for the Philosophy of Mathematics (FilMat).

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation