کتاب الکترونیکی

کتاب راهنمای منطق فلسفی. جلد دوم: الحاقات منطق کلاسیک

Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic

دانلود کتاب Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic (به فارسی: کتاب راهنمای منطق فلسفی. جلد دوم: الحاقات منطق کلاسیک) نوشته شده توسط «Dov M. Gabbay – Franz Guenthner (eds.)»

اطلاعات کتاب کتاب راهنمای منطق فلسفی. جلد دوم: الحاقات منطق کلاسیک

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: D. Reidel

نویسنده: Dov M. Gabbay – Franz Guenthner (eds.)

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1984

تعداد صفحه: 791

حجم کتاب: 9 مگابایت

کد کتاب: 9789400962613 , 9789400962590 , 9027716048 , 9789027716040

نوبت چاپ: 1st

توضیحات کتاب کتاب راهنمای منطق فلسفی. جلد دوم: الحاقات منطق کلاسیک

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

The Handbook of Philosophical Logic is a unique systematic survey of the central areas of philosophical logic. Divided into four volumes, each devoted to a major sub-field within the disciplines, it is expected that the Handbook will have considerable influence in the field for many years to come. Written by world authorities in philosophical logic, the work reflects careful and fruitful collaboration by the authors at every stage of the project. This has ensured a comprehensive and definitive set of articles which will be of inestimable value to general philosophers, linguists, logicians, mathematicians and computer scientists. Volume I: Elements of Classical Logic, deals with the background to what has come to be considered the standard formulation of predicate logic – both as far as its semantics and proof theory are concerned. The central chapter on predicate logic is followed by chapters outlining various alternative, but essentially equivalent ways of constructing the semantics for first-order logic as well as its proof theory. In addition, this volume contains a discussion of higher-order extensions of first-order logic and a compendium of the algorithmic and decision-theoretic prerequisites in the study of logical systems. Volume II: Extensions of Classical Logic, surveys the most significant `intensional’ extensions of predicate logic and their applications to various philosophical fields of inquiry. The twelve chapters in this volume together provide a succinct introduction to a variety of intensional frameworks, a discussion of the most well-known logical systems, as well as an overview of major applications and of the open problems in the respective fields. Volume III: Alternatives to Classical Logic, consists of a series of surveys of some of the alternatives to the basic assumptions of classical logic. These include many-valued logic, partial logic, free logic, relevance and entailment logics, dialogue logic, quantum logic, and intuitionism. Volume IV: Topics in the Philosophy of Language, presents a panorama of the applications of logical tools and methods in the formal analysis of natural language. Since a number of developments in philosophical logic were originally stimulated by concern arising in the semantic analysis of natural language discourse, the chapters in this volume provide some criteria of evaluation of the applications of work in philosophical logic. In revealing both the adequacies and inadequacies of logical investigations in the semantic structures of natural discourse, these chapters also point the way to future developments in philosophical logic in general and thus close again the circle of inquiry relating logic and language.

دانلود کتاب «کتاب راهنمای منطق فلسفی. جلد دوم: الحاقات منطق کلاسیک»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان