عنوان
پدید آورنده
موضوع
رده
QA8.4 .C45 1990eb
QA8
.
4
.
C45
1990eb
کتابخانه
محل استقرار
شابک
شابک
0191520004
شابک
0191597198
شابک
9780191520006
شابک
9780191597190
شابک اشتباه
0198239750
شابک اشتباه
9780198239758
شابک اشتباه
9780198248170
عنوان و نام پديدآور
عنوان اصلي
Constructibility and mathematical existence /
نام عام مواد
[Book]
نام نخستين پديدآور
Charles S. Chihara.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Oxford Univ. Press,
تاریخ نشرو بخش و غیره
©1990.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xv, 282 pages) :
ساير جزييات
illustrations
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 273-278) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Preface -- Acknowledgements -- Contents -- I: The Constructibility Theory -- 1. The Problem of Existence in Mathematics -- 1. The Philosophical Problem -- 2. Quine's Platonism -- 3. Gödel's Platonism -- 4. Heyting's Intuitionism -- 2. The Constructibility Quantifiers -- 1. Introduction -- 2. The Language L -- 3. The Language L* -- 4. Some Objections Considered -- 3. Constructibility and Open-Sentences -- 1. The Constructibility of Open-Sentences -- 2. A Simple Type Theory for Open-Sentences -- 3. A Comparison with a Predicative System -- 4. The Logical Space of Open-Sentences.
متن يادداشت
1. Field's Deflationism -- 2. A Reconsideration of the Veridicality of Mathematics -- Appendix: Field's Nominalistic Logical Theory -- Postscript -- Bibliography -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- T -- V -- W -- Z.
متن يادداشت
5. The Kinds of Open-Sentences to be Discussed -- 6. Quine's Objections to Modality -- 4. The Deductive System -- 1. The Language Lt -- 2. The Theory Ct -- 3. Objections to Type Theory -- 4. Objections to the Constructibility Theory -- 5. Cardinality and Number Theory -- 1. Formal Developments -- 2. Philosophical Amplifications -- 6. Measurable Quantities and Analysis -- 1. A Standard Development of Real Analysis -- 2. A Theory of Lengths -- 3. Geometrical Representations of Functions -- 4. Putnam's Case for Realism -- 5. Complex Analysis -- 6. Applications by Means of Structural Identity.
متن يادداشت
8. The Neo-Quinian Argument Reconsidered -- 9. Why Burgess Is a Moderate Realist -- 1. A Dilemma for the Nominalist -- 2. A False Dilemma -- 3. Burgess's Objection to Field's Preference for Nominalism -- 10. Maddy's Solution to the Problem of Reference -- 1. Involved Platonists -- 2. Problems of Reference for Mathematical Platonism -- 3. Maddy's Solution -- 4. Doubts about Maddy's Solution -- 5. Concluding Comments -- 11. Kitcher's Ideal Agents -- 1. Kitcher's Account of Mathematical Knowledge -- 2. An Analysis of Kitcher's View: Details and Doubts -- 12. Deflationism and Mathematical Truth.
متن يادداشت
II: Philosophical Developments -- 7. Mathematical Structuralism -- 1. Introduction -- 2. The Structuralist View of Applications -- 3. Resnik on the Nature of Structures -- 4. An Evaluation of Shapiro's Account of Mathematics -- 5. An Evaluation of Resnik's Account of Structures -- 8. Science without Numbers -- 1. Introduction to Field's Instrumentalism -- 2. The Conservation Theorem -- 3. Field's Cardinality Theory -- 4. Field's Nominalistic Physics -- 5. Some Doubts about the Adequacy of Field's View -- 6. A Comparison with the Constructibility Theory -- 7. A Re-examination of Resnik's Reasoning.
بدون عنوان
0
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Concerned with the problem of existence in mathematics, this volume develops a mathematical system in which there are no existence assertions but only assertions of constructibility. It explores the philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher.
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Constructibility and mathematical existence.
شماره استاندارد بين المللي کتاب و موسيقي
9780198248170
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Constructive mathematics.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Mathematics-- Philosophy.
موضوع مستند نشده
Logique symbolique et mathématique.
موضوع مستند نشده
Mathématiques constructives.
موضوع مستند نشده
Mathématiques-- Philosophie.
موضوع مستند نشده
Constructieve wiskunde.
موضوع مستند نشده
Constructive mathematics.
موضوع مستند نشده
Filosofia da matemática.
موضوع مستند نشده
Filosofie.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Lógica matemática.
موضوع مستند نشده
Matemática construtiva.
موضوع مستند نشده
MATHEMATICS-- Infinity.
موضوع مستند نشده
MATHEMATICS-- Logic.
موضوع مستند نشده
Mathematics-- Philosophy.
موضوع مستند نشده
Ontologie (filosofie)
مقوله موضوعی
موضوع مستند نشده
MAT-- 016000
موضوع مستند نشده
MAT-- 018000
رده بندی ديویی
شماره
511
.
3
ويراست
22
رده بندی کنگره
شماره رده
QA8
.
4
نشانه اثر
.
C45
1990eb
سایر رده بندی ها
شماره رده
31
.
02
کد سيستم
bcl
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Chihara, Charles S.,1932-
مبدا اصلی
تاريخ عمليات
20200822091948.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
