David Makinson on Classical Methods for Non-Classical Problems

این جلد تلاش‌های دیوید مکینسون را برای مفید کردن منطق کلاسیک در خارج از واضح‌ترین حوزه‌های کاربردی آن تحلیل و توسعه می‌دهد. این کتاب شامل فصل‌هایی است که کار ماکینسون را تحلیل، ارزیابی یا تغییر شکل می‌دهند و فصل‌هایی که موضوعاتی را که از مشارکت‌های او پدید می‌آیند، توسعه می‌دهند. اینها در حوزه‌های عمده‌ای دسته‌بندی می‌شوند که مکینسون در آن مشارکت‌های بسیار تأثیرگذاری داشته است و مجموع آن به چهار بخش تقسیم می‌شود که هر بخش به حوزه خاصی از منطق اختصاص دارد: تغییر باور، استدلال نامطمئن، سیستم‌های هنجاری و منابع منطق کلاسیک.

از میان مشارکت‌های موجود در این جلد، یک فصل بر روی «روش ترجیحی استنتاجی» تمرکز دارد، یعنی استفاده ترکیبی از منطق کلاسیک و مکانیسم‌های ترجیح و انتخاب و نمونه‌هایی از کار مکینسون در غیریکنواخت و غیریکنواخت ارائه می‌کند. استدلال انکارناپذیر و تجدید نظر در باور یک فصل زندگی نامه کوتاهی از مکینسون ارائه می دهد که جزئیات کشف منطق مدرن، سفرهای او در سراسر قاره ها و برخوردهای فکری و الهامات او را نشان می دهد. این فصل همچنین حاوی بیانیه ای غیرعادی صریح در مورد دیدگاه های او درباره نقش (محدود اما مهم) منطق در فلسفه است.

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.