Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Founding Mathematics on Semantic ConventionsFrom Logicism to Predicativism

Founding Mathematics on Semantic Conventions: From Logicism to Predicativism [The main alternative to the classical mathematicians’ combinatorial sets are logical sets. Later in the book, a version of such sets is adopted, but this chapter traces the history of the notion through Gottlob Frege’s logicism, Bertrand Russell’s type theory, and Hermann Weyl’s predicativism. Though the author criticizes all of them, he highlights valuable inspiration that can be drawn from them about what a mathematical system based on language ought to look like.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Founding Mathematics on Semantic ConventionsFrom Logicism to Predicativism

Part of the Synthese Library Book Series (volume 446)

Loading next page...
 
/lp/springer-journals/founding-mathematics-on-semantic-conventions-from-logicism-to-LR2bmV74Dz
Publisher
Springer International Publishing
Copyright
© The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021
ISBN
978-3-030-88533-5
Pages
49 –65
DOI
10.1007/978-3-030-88534-2_4
Publisher site
See Chapter on Publisher Site

Abstract

[The main alternative to the classical mathematicians’ combinatorial sets are logical sets. Later in the book, a version of such sets is adopted, but this chapter traces the history of the notion through Gottlob Frege’s logicism, Bertrand Russell’s type theory, and Hermann Weyl’s predicativism. Though the author criticizes all of them, he highlights valuable inspiration that can be drawn from them about what a mathematical system based on language ought to look like.]

Published: Nov 5, 2021

There are no references for this article.