Founding Mathematics on Semantic ConventionsFrom Logicism to Predicativism
Founding Mathematics on Semantic Conventions: From Logicism to Predicativism
Hansen, Casper Storm
2021-11-05 00:00:00
[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.pnghttp://www.deepdyve.com/lp/springer-journals/founding-mathematics-on-semantic-conventions-from-logicism-to-LR2bmV74Dz
Founding Mathematics on Semantic ConventionsFrom 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.]
Published: Nov 5, 2021
Recommended Articles
Loading...
There are no references for this article.
Share the Full Text of this Article with up to 5 Colleagues for FREE
Sign up for your 14-Day Free Trial Now!
Read and print from thousands of top scholarly journals.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.