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.

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 scholarsOffers an insightful contribution to the lively debate in this interdisciplinary field of inquiry

Part I: Truth and expressiveness.- Chapter 1. Some Remarks on True Undecidable Sentences.- Chapter 2. Penrose's New Argument and Paradox.- Chapter 3. On expressive power over arithmetic.- Chapter 4. Intensionality in Mathematics.- Chapter 5. Deflationary truth is a logical notion.- Chapter 6. Making sense of Deflationism from a formal perspective: Conservativity and Relative Interpretability.- Part II: Structures, existence, and explanation.- Chapter 7. Structure and Structures.- Chapter 8. Towards a Better Understanding of Mathematical Understanding.- Chapter 9. The explanatory power of a new proof: Henkin's completeness proof.- Chapter 10. Can proofs by mathematical induction be explanatory?.- Chapter 11. Ontological Commitment and the Import of Mathematics.- Chapter 12. Applicability Problems Generalized.- Chapter 13. Church-Turing Thesis, in Practice.- Chapter 14. Existence vs Conceivability in Aristotle: Are Straight Lines Infinitely Extendible?.