دانلود کتاب David Makinson on Classical Methods for Non-Classical Problems
کتاب دیوید مکینسون در مورد روش های کلاسیک برای مسائل غیر کلاسیک نسخه زبان اصلی
دانلود کتاب دیوید مکینسون در مورد روش های کلاسیک برای مسائل غیر کلاسیک بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب David Makinson on Classical Methods for Non-Classical Problems
نام کتاب : David Makinson on Classical Methods for Non-Classical Problems
ویرایش : 1
عنوان ترجمه شده به فارسی : دیوید مکینسون در مورد روش های کلاسیک برای مسائل غیر کلاسیک
سری : Outstanding Contributions to Logic 3
نویسندگان : Sven Ove Hansson
ناشر : Springer
سال نشر : 2014
تعداد صفحات : 432
ISBN (شابک) : 9789400777583 , 9789400777590
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد تلاشهای دیوید مکینسون را برای مفید کردن منطق کلاسیک در خارج از واضحترین حوزههای کاربردی آن تحلیل و توسعه میدهد. این کتاب شامل فصلهایی است که کار ماکینسون را تحلیل، ارزیابی یا تغییر شکل میدهد و فصلهایی که مضامین ناشی از مشارکتهای او را توسعه میدهند. اینها در حوزههای عمدهای دستهبندی میشوند که مکینسون در آن مشارکتهای بسیار تأثیرگذاری داشته است و مجموع آن به چهار بخش تقسیم میشود که هر بخش به حوزه خاصی از منطق اختصاص دارد: تغییر باور، استدلال نامطمئن، سیستمهای هنجاری و منابع منطق کلاسیک.
از میان مشارکتهای موجود در این جلد، یک فصل بر روی «روش ترجیحی استنتاجی» تمرکز دارد، یعنی استفاده ترکیبی از منطق کلاسیک و مکانیسمهای ترجیح و انتخاب و نمونههایی از کار مکینسون در غیریکنواخت و غیریکنواخت ارائه میکند. استدلال انکارناپذیر و تجدید نظر در باور یک فصل زندگینامه کوتاهی از مکینسون ارائه میکند که جزئیات کشف منطق مدرن، سفرهای او در سراسر قارهها و برخوردهای فکری و الهامات او را نشان میدهد. این فصل همچنین حاوی بیانیه ای غیرعادی صریح در مورد دیدگاه های او درباره نقش (محدود اما مهم) منطق در فلسفه است.
فهرست مطالب :
Front Matter....Pages i-xii
Front Matter....Pages 1-1
Preview....Pages 3-10
David Makinson and the Extension of Classical Logic....Pages 11-18
A Tale of Five Cities....Pages 19-32
Front Matter....Pages 33-33
Safe Contraction Revisited....Pages 35-70
A Panorama of Iterated Revision....Pages 71-94
AGM, Ranking Theory, and the Many Ways to Cope with Examples....Pages 95-118
Liars, Lotteries, and Prefaces: Two Paraconsistent Accounts of Belief Change....Pages 119-141
Epistemic Reasoning in Life and Literature....Pages 143-153
Front Matter....Pages 155-155
New Horn Rules for Probabilistic Consequence: Is $$\\mathrm{O}{+}$$ O + Enough?....Pages 157-166
Non-Monotonic Logic: Preferential Versus Algebraic Semantics....Pages 167-193
Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics....Pages 195-221
Front Matter....Pages 223-223
Abstract Interfaces of Input/Output Logic....Pages 225-262
Intuitionistic Basis for Input/Output Logic....Pages 263-286
Reasoning About Permission and Obligation....Pages 287-333
Norm Change in the Common Law....Pages 335-355
Front Matter....Pages 357-357
Intelim Rules for Classical Connectives....Pages 359-382
Relevance Logic as a Conservative Extension of Classical Logic....Pages 383-398
Front Matter....Pages 399-399
Reflections on the Contributions....Pages 401-420
Back Matter....Pages 421-433
توضیحاتی در مورد کتاب به زبان اصلی :
The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources of classical logic.
Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the (limited but important) role of logic in philosophy.
پست ها تصادفی