Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics

✍ Scribed by Mario Piazza, Gabriele Pulcini

• Publisher: Springer International Publishing
• Year: 2018
• Tongue: English
• Leaves: 278
• Series: Boston Studies in the Philosophy and History of Science 334
• Edition: 1st ed.
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Some Remarks on True Undecidable Sentences (Enrico Moriconi)....Pages 3-15
Penrose’s New Argument and Paradox (Johannes Stern)....Pages 17-38
On Expressive Power Over Arithmetic (Carlo Nicolai)....Pages 39-55
Intensionality in Mathematics (Jaroslav Peregrin)....Pages 57-70
Deflationary Truth Is a Logical Notion (D. Bonnay, H. Galinon)....Pages 71-88
Making Sense of Deflationism from a Formal Perspective: Conservativity and Relative Interpretability (Andrea Strollo)....Pages 89-105
Front Matter ....Pages 107-107
Structure and Structures (Reinhard Kahle)....Pages 109-120
Towards a Better Understanding of Mathematical Understanding (Janet Folina)....Pages 121-146
The Explanatory Power of a New Proof: Henkin’s Completeness Proof (John Baldwin)....Pages 147-162
Can Proofs by Mathematical Induction Be Explanatory? (Josephine Salverda)....Pages 163-188
Parsimony, Ontological Commitment and the Import of Mathematics (Daniele Molinini)....Pages 189-207
Applicability Problems Generalized (Michele Ginammi)....Pages 209-224
Church-Turing Thesis, in Practice (Luca San Mauro)....Pages 225-248
Existence vs. Conceivability in Aristotle: Are Straight Lines Infinitely Extendible? (Monica Ugaglia)....Pages 249-272

✦ Subjects

Philosophy; Philosophy of Mathematics; Logic; Epistemology; Mathematical Logic and Formal Languages