عنوان
پدید آورنده
موضوع
رده
B29 .A2465 2009
B29
.
A2465
2009
کتابخانه
محل استقرار
شابک
شابک
0191619655
شابک
9780191619656
شابک اشتباه
019870898X
شابک اشتباه
9780198708988
عنوان و نام پديدآور
عنوان اصلي
Frege's Theorem.
نام عام مواد
[Book]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Oxford :
نام ناشر، پخش کننده و غيره
OUP Oxford,
تاریخ نشرو بخش و غیره
2011.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (322 pages)
یادداشتهای مربوط به مندرجات
متن يادداشت
Cover; Contents; Preface; Editorial Notes; Origin of the Chapters; 1 Frege's Theorem: An Overview; 1.1 Frege on Frege's Theorem; 1.2 The Caesar Problem; 1.3 What Does HP Have To Do With Arithmetic?; 1.4 Logicism and Neo-Logicism; 2 The Development of Arithmetic in Frege's: Grundgesetze der Arithmetik; 2.1 Basic Law V in Grundgesetze; 2.2 HP and Fregean Arithmetic; 2.3 Frege's Derivation of the Axioms of Arithmetic; 2.4 Frege's Derivation of the Axioms of Arithmetic, continued; 2.5 An Elegant Proof that Every Number has a Successor; 2.6 Frege's Axiomatization of Arithmetic; 2.7 Closing.
متن يادداشت
12 A Logic for Frege's Theorem12.1 Predecession; 12.2 Ancestral Logic; 12.3 Schemata in Schematic Logic: A Digression; 12.4 Arché Logic; 12.5 Frege's Theorem; 12.6 Philosophical Considerations; Appendix: Proof of Begriffsschrift, Proposition 124; Bibliography; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; P; Q; R; S; T; U; V; W.
متن يادداشت
5.3 The Caesar Problem and the Apprehension of Logical Objects5.4 Closing; 6 The Julius Caesar Objection; 6.1 Why the Caesar Objection Has To Be Taken Seriously; 6.2 The Caesar Objection and the Feasibility of the Logicist Project; 6.3 Avoiding the Caesar Objection; 6.4 Closing; 7 Cardinality, Counting, and Equinumerosity; 7.1 Technical Preliminaries; 7.2 Frege and Husserl; 7.3 Counting and Cardinality; 7.4 Counting and Ascriptions of Number; 7.5 Closing; 8 Syntactic Reductionism; 8.1 Motivating Nominalism; 8.2 Taking Reductionism Seriously.
متن يادداشت
8.3 The Ineliminability of Names of Abstract Objects8.4 Where Do We Go From Here?; 9 The Existence (and Non-existence) of Abstract Objects; 9.1 Two Problems; 9.2 Semantic Reductionism and Projectible Predicates; 9.3 Ideology, Existence, and Abstract Objects; 9.4 The Julius Caesar Problem; 10 On the Consistency of Second-order Contextual Definitions; Postscript; 11 Finitude and Hume's Principle; 11.1 The Systems; 11.2 On the Philosophical Significance of These Results; 11.3 The Relative Strengths of the Systems; 11.4 PAF is equivalent to FAF; 11.5 Closing; Postscript.
متن يادداشت
Postscript3 Die Grundlagen der Arithmetik 82-83; Appendix: Counterparts in Grundgesetze of Some Propositions of Die Grundlagen; Postscript; 4 Frege's Principle; 4.1 Numbers as Extensions of Concepts; 4.2 The Importance of HP in Frege's Philosophy of Arithmetic; 4.3 The Role of Basic Law V in Frege's Derivation of Arithmetic; 4.4 Frege's Derivations of HP; 4.5 HP versus Frege's Principle; 4.6 Frege's Principle and the Explicit Definition; 4.7 The Caesar Problem Revisited; 4.8 Closing; Postscript; 5 Julius Caesar and Basic Law V; 5.1 The Caesar Problem; 5.2 The Caesar Problem in Grundgesetze.
بدون عنوان
0
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterlyfundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that a.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Frege's Theorem.
شماره استاندارد بين المللي کتاب و موسيقي
9780199695645
نام شخص به منزله موضوع
موضوع مستند نشده
Frege, Gottlob,1848-1925.
موضوع مستند نشده
Frege, Gottlob,1848-1925.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Arithmetic-- Philosophy.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
PHILOSOPHY-- History & Surveys-- General.
موضوع مستند نشده
PHILOSOPHY-- History & Surveys-- Modern.
مقوله موضوعی
موضوع مستند نشده
PHI-- 009000
موضوع مستند نشده
PHI-- 016000
رده بندی ديویی
شماره
513
.
01
رده بندی کنگره
شماره رده
B29
.
A2465
2009
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Heck, Richard G.
مبدا اصلی
تاريخ عمليات
20200822092230.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
