برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic

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

مشخصات کتاب

Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic

دسته بندی: منطق
ویرایش: 1st 
نویسندگان: Dov M. Gabbay,  Franz Guenthner (eds.)  
سری: Synthese Library 166 
ISBN (شابک) : 9789401088015, 9789027716057 
ناشر: D. Reidel 
سال نشر: 1986 
تعداد صفحات: 533 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 37,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 15

در صورت تبدیل فایل کتاب Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب راهنمای منطق فلسفی. دوره III: جایگزین در منطق کلاسیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

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

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

جلد دوم: توسعه‌های منطق کلاسیک، مهم‌ترین بسط‌های «عمدی» منطق محمول و کاربردهای آن‌ها در زمینه‌های مختلف تحقیق فلسفی را بررسی می‌کند. . دوازده فصل در این مجلد با هم مقدمه‌ای مختصر بر انواع چارچوب‌های هدفمند، بحثی در مورد شناخته‌شده‌ترین سیستم‌های منطقی، و همچنین مروری بر کاربردهای اصلی و مشکلات باز در زمینه‌های مربوطه ارائه می‌دهند.

جلد سوم: جایگزین‌های منطق کلاسیک، شامل مجموعه‌ای از بررسی‌های برخی از جایگزین‌های مفروضات اساسی منطق کلاسیک است. اینها عبارتند از منطق با ارزش، منطق جزئی، منطق آزاد، منطق مرتبط و مستلزم، منطق گفتگو، منطق کوانتومی، و شهودگرایی.

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

توضیحاتی درمورد کتاب به خارجی

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.

فهرست مطالب

Front Matter....Pages iii-xi
Partial Logic....Pages 1-70
Many-valued Logic....Pages 71-116
Relevance Logic and Entailment....Pages 117-224
Intuitionistic Logic....Pages 225-339
Dialogues as a Foundation for Intuitionistic Logic....Pages 341-372
Free Logics....Pages 373-426
Quantum Logic....Pages 427-469
Proof Theory and Meaning....Pages 471-506
Back Matter....Pages 507-524