國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Truth, existence and explanationFilM...

Piazza, Mario.

Truth, existence and explanationFilMat 2016 studies in the philosophy of mathematics /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Truth, existence and explanationedited by Mario Piazza, Gabriele Pulcini.
其他題名:	FilMat 2016 studies in the philosophy of mathematics /
其他作者:	Piazza, Mario.
出版者:	Cham :Springer International Publishing :2018.
面頁冊數:	xii, 272 p. :ill., digital ;25 cm.
Contained By:	Springer eBooks
標題:	MathematicsPhilosophy.
電子資源:	https://doi.org/10.1007/978-3-319-93342-9
ISBN:	9783319933429$q(electronic bk.)

Truth, existence and explanationFilMat 2016 studies in the philosophy of mathematics /
Truth, existence and explanationFilMat 2016 studies in the philosophy of mathematics /[electronic resource] :edited by Mario Piazza, Gabriele Pulcini. - Cham :Springer International Publishing :2018. - xii, 272 p. :ill., digital ;25 cm. - Boston studies in the philosophy and history of science,v.3340068-0346 ;. - Boston studies in the philosophy and history of science ;v.295..

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

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.

ISBN: 9783319933429$q(electronic bk.)

Standard No.: 10.1007/978-3-319-93342-9doiSubjects--Topical Terms:

187658
Mathematics
--Philosophy.

LC Class. No.: QA8.4 / .T78 2018

Dewey Class. No.: 510.1

Truth, existence and explanationFilMat 2016 studies in the philosophy of mathematics /
LDR:03109nmm a2200337 a 4500 001 545969
003 DE-He213
005 20190328093211.0
006 m d
007 cr nn 008maaau
008 190530s2018 gw s 0 eng d
020 $a 9783319933429$q(electronic bk.)
020 $a 9783319933412$q(paper)
024 7 $a 10.1007/978-3-319-93342-9 $2 doi
035 $a 978-3-319-93342-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA8.4 $b .T78 2018
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
090 $a QA8.4 $b .T874 2018
245 0 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.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xii, 272 p. : $b ill., digital ; $c 25 cm.
490 1 $a Boston studies in the philosophy and history of science, $x 0068-0346 ; $v 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 $x Philosophy. $3 187658
650 0 $a Logic, Symbolic and mathematical. $3 180452
650 0 $a Truth. $3 177865
650 1 4 $a Philosophy of Mathematics. $3 745264
650 2 4 $a Logic. $3 180785
650 2 4 $a Epistemology. $3 275100
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Piazza, Mario. $3 825092
700 1 $a Pulcini, Gabriele. $3 825093
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Boston studies in the philosophy and history of science ; $v v.295. $3 569079
856 4 0 $u https://doi.org/10.1007/978-3-319-93342-9
950 $a Religion and Philosophy (Springer-41175)