توضیحاتی در مورد کتاب Bolzano’s Logical System
نام کتاب : Bolzano’s Logical System
ویرایش : 1
عنوان ترجمه شده به فارسی : سیستم منطقی بولزانو
سری : Oxford Logic Guides
نویسندگان : Ettore Casari
ناشر : Oxford University Press
سال نشر : 2016
تعداد صفحات : 369
ISBN (شابک) : 0198788290 , 9780198788294
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب بر سه بخش اول نظریه علم بولزانو تمرکز دارد و بازنگری سیستماتیک تری از تفکر منطقی بولزانو را معرفی می کند. در انجام این کار، کتاب به عنوان یک کاوش در نظر گرفته شده است، نه بیشتر جنبه های گفتمانی خاص تری از تفکر منطقی بولزانو - که قبلاً به طور گسترده مورد مطالعه قرار گرفته است - به اندازه شناسایی ماهیت منسجم و سیستماتیک منطق ارائه شده در کار بولزانو.
کازاری این را در یک سیستم رسمی ارائه میکند و با استفاده از حساب اپسیلون هیلبرت (صوریگرایی منطقی که توسط دیوید هیلبرت در خدمت برنامهاش در مبانی ریاضیات ایجاد شد، رویکرد حساب محمولی با عملگر هویت و انتخاب را اتخاذ میکند. ).
فهرست مطالب :
Content: Cover
PREFACE
ACKNOWLEDGEMENTS
CONTENTS
1 Introduction
1.1 The Bolzanian Conceptual Universe
1.2 The Logic and the Language
1.3 General (Elementary) Principles of Ontology, Lectology, and Epistemology
1.4 Restricted Quantifiers
1.5 Variation
1.6 Ordered n-tuples
1.7 Relations (Relational Qualities)
2 Elementary Level (A): Ideas
2.1 Preamble
2.2 Properties of Ideas
2.3 Relations Between Two Ideas
2.4 Relations Among Several Ideas
2.5 The Idea of Something
2.6 Concretization
2.7 Concrete and Abstract Ideas
2.8 Intuitions
2.9 Sum of Quality Ideas 2.10 Another Lectological Operation on Quality Ideas2.11 Negation
3 Elementary Level (B): Propositions
3.1 Atomic Propositions
3.2 Aristotelian Universal Propositions with Existential Import
3.3 Material Proprieties and Relations of Propositions
3.4 Complex Propositions
3.5 Variation
3.6 Formal Properties and Relations of Ideas
3.7 Validity of Propositions
3.8 Analytic and Synthetic Truth and Falsity
3.9 Formal Relations Among Propositions
3.10 Formal Connectives
3.11 Probability
3.12 Probability of Events
4 Symbolic Level 4.1 Preliminary Remark: Properties of Things and Quality of Objects4.2 Bolzano\'s Conjecture
4.3 Restricted Symbolic Level-Ideas of Ideas
4.4 The Traditional Categorical Propositions
4.5 Extended Symbolic Level: Ideas of Propositions
4.6 Material Connectives
4.7 Formal Properties and Relations
4.8 Formal Properties of Collections of Propositions
4.9 Formal Relations Among Propositions
4.10 Generalization to a Finite Set of Ideas
4.11 Formal Connectives Among Finite Sets of Propositions
4.12 \'Arbitrary Sets\' of Ideas and Propositions 4.13 Generalization of Properties and Material Relations among Ideas4.14 Two Operations on Ideas of Object Ideas
4.15 New Formulation of the Material Relations among Ideas of Ideas
4.16 Bolzano\'s Thesis for Material Relations Among Sets of Ideas
4.17 Material Conjunctions and Disjunctions
4.18 Formal Properties of \'Arbitrary Sets\' of Propositions
4.19 Formal Relations among \'Arbitrary Sets\' of Propositions
4.20 Formal Connectives among \'Arbitrary Sets\' of Propositions
5 Inferences
5.1 Preliminaries
5.2 Rules to Obtain Inferences from Inferences 5.3 Inferences with One or More Universal Premises5.4 Inferences with at Least One Negated Universal Premise
5.5 Inferences with One or More Existential or Inexistential Premises
5.6 Syllogistic Inferences
5.7 Inferences from Premises Containing Width Determinations
5.8 Inferences from Premises Enunciating Relations among Ideas
5.9 Inferences from Premises Enunciating Relations among Propositions
6 Higher Level
6.1 Preamble
6.2 The Problem of Vacuous Qualities
6.3 Truth as Enunciation of a Situation
6.4 Qualities of Qualities
7 Etiology
7.1 Consecutivity
7.2 Dependence
توضیحاتی در مورد کتاب به زبان اصلی :
This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work.
Casari presents this within a formal system and adopts the approach of the predicate calculus with identity and choice operator by using Hilbert's epsilon calculus (the logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics).