國立虎尾科技大學 |

Founding Mathematics on Semantic Conventions

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Founding Mathematics on Semantic Conventions/ by Casper Storm Hansen.
作者:	Hansen, Casper Storm.
面頁冊數:	XI, 256 p.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematics—Philosophy. -
電子資源:	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. - 1st ed. 2021. - XI, 256 p.online resource. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,4462542-8292 ;. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,359.

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:

1254283
Mathematics—Philosophy.

LC Class. No.: QA8-10.4

Dewey Class. No.: 510.1

Founding Mathematics on Semantic Conventions
LDR:03120nam a22004095i 4500 001 1056950
003 DE-He213
005 20211104181645.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030885342 $9 978-3-030-88534-2
024 7 $a 10.1007/978-3-030-88534-2 $2 doi
035 $a 978-3-030-88534-2
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
100 1 $a Hansen, Casper Storm. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1362342
245 1 0 $a Founding Mathematics on Semantic Conventions $h [electronic resource] / $c by Casper Storm Hansen.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XI, 256 p. $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 Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, $x 2542-8292 ; $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—Philosophy. $3 1254283
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Metaphysics. $3 555859
650 0 $a Language and languages—Philosophy. $3 1254282
650 0 $a Mathematical analysis. $3 527926
650 0 $a Analysis (Mathematics). $3 1253570
650 1 4 $a Philosophy of Mathematics. $3 1108410
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Philosophy of Language. $3 671588
650 2 4 $a Analysis. $3 669490
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030885335
776 0 8 $i Printed edition: $z 9783030885359
776 0 8 $i Printed edition: $z 9783030885366
830 0 $a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, $x 0166-6991 ; $v 359 $3 1257256
856 4 0 $u https://doi.org/10.1007/978-3-030-88534-2
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)