Founding Mathematics on Semantic Conventions

Lieferzeit: Lieferbar innerhalb 14 Tagen

117,69 

Synthese Library 446

ISBN: 303088533X
ISBN 13: 9783030885335
Autor: Hansen, Casper Storm
Verlag: Springer Verlag GmbH
Umfang: xi, 256 S.
Erscheinungsdatum: 05.11.2021
Auflage: 1/2022
Produktform: Gebunden/Hardback
Einband: Gebunden

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.

Artikelnummer: 2831699 Kategorie:

Beschreibung

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, thissolution also applies to Russells 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.

Autorenporträt

Casper Storm Hansen is an Associate Professor at the Institute of Philosophy, Chinese Academy of Sciences, and has a background in both philosophy and mathematics from the universities of Copenhagen, Amsterdam, and Aberdeen. In addition to the philosophy of mathematics and the semantic paradoxes, he works on formal epistemology, decision theory, and formal semantics.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …