Hansen Casper Storm Founding Mathematics on Semantic Conventions 9783030885335

Варианты приобретения

Цена: 15372.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Hansen Casper Storm
Название: Founding Mathematics on Semantic Conventions
ISBN: 9783030885335
Издательство: Springer
Классификация:

Философия языка

Философия: метафизика и онтология

Философия математики

Математические основы

Математическая логика

Основы высшей математики и математический анализ

ISBN-10: 303088533X
Обложка/Формат: Hardcover
Страницы: 270
Вес: 0.55 кг.
Дата издания: 05.11.2021
Серия: Synthese library
Язык: English
Издание: 1st ed. 2021
Иллюстрации: Xi, 256 p.; xi, 256 p.
Размер: 23.39 x 15.60 x 1.60 cm
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 1. Introduction1.1 Overview and Guide to Partial Reading
2. Classical Mathematics and Plenitudinous Combinatorialism2.1 Large Cardinal Axioms and Theorems of Arithmetic2.2 Transfinite Ordinals2.3 Transfinite Cardinals2.4 The Continuum Hypothesis
3 Intuitionism and Choice Sequences3.1 General Introduction3.2 Brouwer on Freely Proceeding Choice Sequences3.3 Constitution of Free Choice Sequences3.4 Evaluation of Brouwers Claim3.5 Verificationism and Intuitionistic Logic
4. From Logicism to Predicativism4.1 Frege4.2 Russell4.3 Weyl4.4 Weyls Failure to Include All Real Numbers
5. Conventional Truth5.1 The Obvious Solution to the Liar Paradox5.2 Conventional Truth Conditions5.3 The Dogma5.4 Possible Language Conventions5.5 T-schemas and Expressive Strength5.6 Dialectical Situation5.7 The View from Nowhere5.8 Comparison with Chiharas Position5.9 Revenge
6. Semantic Conventionalism for Mathematics6.1 Needs Assessment6.2 Simple Arithmetic as a Conventional Language6.3 Quines Anti-Conventionalism6.4 Rule-Following6.5 Choice of Logic
7. A Convention for a Type-free Language7.1 The Kripke Convention and Its Shortcomings7.2 Reformulating the Kripke Convention7.3 Adding a Conditional with Supervaluational Semantics7.4 Denoting Terms for Applied Mathematics7.5 Meta-Theorems
8. Basic Mathematics8.1 Logic8.2 Natural Numbers8.3 Integers8.4 Rational Numbers8.5 Classicality So Far8.6 Classes8.7 An Example of Applied Mathematics
9. Real Analysis9.1 Functions9.2 Real Numbers9.3 Exponentiation9.4 Completeness9.5 Suprema, Infima, and Roots9.6 Continuity9.7 Operations on Function9.8 Differentiation9.9 Integration9.10 Unbounded Intervals and Piecewise Continuity9.11 Completifications of Functions Generalized9.12 Another Example of Applied Mathematics9.13 Diagonalization
10. Possibility10.1 All Possible Real Numbers10.2 Modal Metaphysics10.3 Conclusion
ReferencesIndex of symbolsGeneral index

Founding Mathematics on Semantic Conventions, Hansen Casper Storm