東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Founding mathematics on semantic con...

Hansen, Casper Storm.

Linked to FindBook

Google Book

Amazon

博客來

Founding mathematics on semantic conventions

Record Type:	Electronic resources : Monograph/item
Title/Author:	Founding mathematics on semantic conventions/ by Casper Storm Hansen.
Author:	Hansen, Casper Storm.
Published:	Cham :Springer International Publishing : : 2021.,
Description:	xi, 256 p. :ill., digital ;24 cm.
[NT 15003449]:	1. Introduction -- 2. Classical Mathematics and Plenitudinous Combinatorialism -- 3 Intuitionism and Choice Sequences -- 4. From Logicism to Predicativism -- 5. Conventional Truth -- 6. Semantic Conventionalism for Mathematics -- 7. A Convention for a Type-free Language -- 8. Basic Mathematics -- 9. Real Analysis -- 10. Possibility -- References -- Index of symbols -- General index.
Contained By:	Springer Nature eBook
Subject:	Mathematics - Philosophy. -
Online resource:	https://doi.org/10.1007/978-3-030-88534-2
ISBN:	9783030885342

Founding mathematics on semantic conventions
Hansen, Casper Storm.

Founding mathematics on semantic conventions[electronic resource] /by Casper Storm Hansen. - Cham :Springer International Publishing :2021. - xi, 256 p. :ill., digital ;24 cm. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science,v. 4462542-8292 ;. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;v. 446..

1. Introduction -- 2. Classical Mathematics and Plenitudinous Combinatorialism -- 3 Intuitionism and Choice Sequences -- 4. From Logicism to Predicativism -- 5. Conventional Truth -- 6. Semantic Conventionalism for Mathematics -- 7. A Convention for a Type-free Language -- 8. Basic Mathematics -- 9. Real Analysis -- 10. Possibility -- References -- Index of symbols -- General index.

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language - and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.

ISBN: 9783030885342

Standard No.: 10.1007/978-3-030-88534-2doiSubjects--Topical Terms:

523930
Mathematics
--Philosophy.

LC Class. No.: QA8.4 / .H35 2021

Dewey Class. No.: 510.1

Founding mathematics on semantic conventions
LDR:02763nmm 22003375a 4500 001 2258913
003 DE-He213
005 20211104181645.0
006 m d
007 cr nn 008maaau
008 220422s2021 sz s 0 eng d
020 $a 9783030885342 $q (electronic bk.)
020 $a 9783030885335 $q (paper)
024 7 $a 10.1007/978-3-030-88534-2 $2 doi
035 $a 978-3-030-88534-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA8.4 $b .H35 2021
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 .H249 2021
100 1 $a Hansen, Casper Storm. $3 3531829
245 1 0 $a Founding mathematics on semantic conventions $h [electronic resource] / $c by Casper Storm Hansen.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xi, 256 p. : $b ill., digital ; $c 24 cm.
490 1 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science, $x 2542-8292 ; $v v. 446
505 0 $a 1. Introduction -- 2. Classical Mathematics and Plenitudinous Combinatorialism -- 3 Intuitionism and Choice Sequences -- 4. From Logicism to Predicativism -- 5. Conventional Truth -- 6. Semantic Conventionalism for Mathematics -- 7. A Convention for a Type-free Language -- 8. Basic Mathematics -- 9. Real Analysis -- 10. Possibility -- References -- Index of symbols -- General index.
520 $a This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language - and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.
650 0 $a Mathematics $x Philosophy. $3 523930
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 1 4 $a Philosophy of Mathematics. $3 2192005
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Metaphysics. $3 517082
650 2 4 $a Philosophy of Language. $3 896994
650 2 4 $a Analysis. $3 891106
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science ; $v v. 446. $3 3531830
856 4 0 $u https://doi.org/10.1007/978-3-030-88534-2
950 $a Mathematics and Statistics (SpringerNature-11649)