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

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 i...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Piazza, Mario (Editor, http://id.loc.gov/vocabulary/relators/edt), Pulcini, Gabriele (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:1st ed. 2018.
Series:Boston Studies in the Philosophy and History of Science, 334
Subjects:
Online Access:Full Text via HEAL-Link
LEADER 04300nam a2200541 4500
001 978-3-319-93342-9
003 DE-He213
005 20191022131708.0
007 cr nn 008mamaa
008 181024s2018 gw | s |||| 0|eng d
020 |a 9783319933429  |9 978-3-319-93342-9 
024 7 |a 10.1007/978-3-319-93342-9  |2 doi 
040 |d GrThAP 
050 4 |a QA8-10.4 
072 7 |a PBB  |2 bicssc 
072 7 |a MAT015000  |2 bisacsh 
072 7 |a PBB  |2 thema 
082 0 4 |a 510.1  |2 23 
245 1 0 |a Truth, Existence and Explanation  |h [electronic resource] :  |b FilMat 2016 Studies in the Philosophy of Mathematics /  |c edited by Mario Piazza, Gabriele Pulcini. 
250 |a 1st ed. 2018. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2018. 
300 |a XII, 272 p. 29 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Boston Studies in the Philosophy and History of Science,  |x 0068-0346 ;  |v 334 
505 0 |a 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?. 
520 |a 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 interna tional conference, held at the University of Chieti-Pescara, May 2016. . 
650 0 |a Mathematics-Philosophy. 
650 0 |a Logic. 
650 0 |a Epistemology. 
650 0 |a Mathematical logic. 
650 1 4 |a Philosophy of Mathematics.  |0 http://scigraph.springernature.com/things/product-market-codes/E34020 
650 2 4 |a Logic.  |0 http://scigraph.springernature.com/things/product-market-codes/E16000 
650 2 4 |a Epistemology.  |0 http://scigraph.springernature.com/things/product-market-codes/E13000 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
700 1 |a Piazza, Mario.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Pulcini, Gabriele.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319933412 
776 0 8 |i Printed edition:  |z 9783319933436 
776 0 8 |i Printed edition:  |z 9783030066437 
830 0 |a Boston Studies in the Philosophy and History of Science,  |x 0068-0346 ;  |v 334 
856 4 0 |u https://doi.org/10.1007/978-3-319-93342-9  |z Full Text via HEAL-Link 
912 |a ZDB-2-REP 
950 |a Religion and Philosophy (Springer-41175)