Skip to main content
  • Book
  • © 2018

Truth, Existence and Explanation

FilMat 2016 Studies in the Philosophy of Mathematics

  • Covers a host of intriguing issues concerning the three key notions of existence, truth, and explanation
  • Features cutting-edge research from renowned philosophers, mathematicians, and younger scholars
  • Offers an insightful contribution to the lively debate in this interdisciplinary field of inquiry

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

Buy it now

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 129.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

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

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xii
  2. Truth and Expressiveness

    1. Front Matter

      Pages 1-1
    2. Some Remarks on True Undecidable Sentences

      • Enrico Moriconi
      Pages 3-15
    3. Penrose’s New Argument and Paradox

      • Johannes Stern
      Pages 17-38
    4. On Expressive Power Over Arithmetic

      • Carlo Nicolai
      Pages 39-55
    5. Intensionality in Mathematics

      • Jaroslav Peregrin
      Pages 57-70
    6. Deflationary Truth Is a Logical Notion

      • D. Bonnay, H. Galinon
      Pages 71-88
  3. Structures, Existence, and Explanation

    1. Front Matter

      Pages 107-107
    2. Structure and Structures

      • Reinhard Kahle
      Pages 109-120
    3. Can Proofs by Mathematical Induction Be Explanatory?

      • Josephine Salverda
      Pages 163-188
    4. Applicability Problems Generalized

      • Michele Ginammi
      Pages 209-224
    5. Church-Turing Thesis, in Practice

      • Luca San Mauro
      Pages 225-248

About this book

This book contains more than 15 essays that explore issues in truth, existence, and explanation. It features cutting-edge research in the philosophy of mathematics and logic.


Renowned philosophers, mathematicians, and younger scholars provide an insightful contribution to the lively debate in this interdisciplinary field of inquiry. The essays look at realism vs. anti-realism as well as inflationary vs. deflationary theories of truth. The contributors also consider mathematical fictionalism, structuralism, the nature and role of axioms, constructive existence, and generality. In addition, coverage also looks at the explanatory role of mathematics and the philosophical relevance of mathematical explanation.


The book will appeal to a broad mathematical and philosophical audience. It contains work from FilMat, the Italian Network for the Philosophy of Mathematics. These papers collected here were also presented at their second international conference, held at the University of Chieti-Pescara, May 2016. 

Editors and Affiliations

  • Classe di Lettere e Filosofia, Scuola Normale Superiore, Pisa, Italy

    Mario Piazza

  • Department of Mathematics, Universidade Nova de Lisboa, Caparica, Portugal

    Gabriele Pulcini

About the editors

Mario Piazza is Full Professor of Logic and Philosophy of Mathematics at the Scuola Normale Superiore of Pisa. Previously, he has been Full Professor at University of Chieti-Pescara. He studied philosophy at the University of Rome and received his Ph.D. in Philosophy of Science from the University of Genoa in 1995. He was a post doc researcher in the Department of Mathematics at the University of Warsaw (1995-96), in the Utrecht Institute of Linguistics (OTS) (1997-98), in the Département d'Informatique at École Normale Supérieure of Paris (2000). His main results and interests are in proof-theory and its applications, computation theory, philosophy of logic and mathematics, epistemology.

Gabriele Pulcini is a postdoctoral researcher at the Department of Mathematics of the New University of Lisbon. He worked as postdoctoral fellow in many academic institutions, including the Department of Computer Science at the École Normale Supérieure of Paris and the Centre for Logic, Epistemology and History of Science (State University of Campinas, Brazil). He obtained his PhD at the University of Rome 3 and the University of Aix-Marseille 2, jointly. His fields of research and interest range from the proof theory of classical and non-classical logics to the philosophy of logic, as well as the philosophy of mathematics. He is author of many research papers appeared in the most important journals in the field such as the Annals of Pure and Applied Logic and the Journal of Logic and Computation. Since 2012, he is member of the Italian Network for the Philosophy of Mathematics.



Bibliographic Information

Buy it now

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 129.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