توضیحات
This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dicto distinction. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems, which are widely regarded as the easiest to teach and use. It also includes a diagram technique that extends the method of truth trees to modal logic. This provides a foundation for a novel method for showing completeness that is easy to extend to quantifiers. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined
————————————————————–
ترجمه ماشینی :
این کتاب منطق مدال مخصوصاً برای دانشجویان فلسفه طراحی شده است. این یک درمان در دسترس و در عین حال از نظر فنی صحیح از منطق مودال و کاربردهای فلسفی آن ارائه می کند. تمام تلاش برای ساده سازی ارائه با استفاده از نمودارها به جای دستگاه های پیچیده تر ریاضی انجام می شود. این نوآوریها و سایر نوآوریها، دسترسی آسان فیلسوفان را به موضوعات متنوعی در منطق مودال، از جمله پوشش کامل منطق معین کمی، تعیینکنندههای غیر صلب، توصیفهای مشخص، و تمایز de-re de-dicto فراهم میکنند. بحث در مورد مسائل فلسفی مربوط به توسعه منطق وجهی در متن بافته شده است. این کتاب از سیستمهای کسر طبیعی استفاده میکند، که به طور گسترده به عنوان سادهترین روش برای آموزش و استفاده در نظر گرفته میشوند. همچنین شامل یک تکنیک نمودار است که روش درختان حقیقت را به منطق مدال گسترش می دهد. این پایه ای برای روشی جدید برای نشان دادن کامل بودن فراهم می کند که به راحتی قابل گسترش به کمیت کننده ها است. این ویرایش دوم شامل فصل جدیدی در زمینه منطق شرطی ها، کتابشناسی به روز شده و گسترده است و در سرتاسر به روز می شود. تعدادی از نتایج فنی نیز روشن و ساده شده است
tag : دانلود کتاب منطق معین برای فیلسوفان , Download منطق معین برای فیلسوفان , دانلود منطق معین برای فیلسوفان , Download Modal Logic for Philosophers Book , منطق معین برای فیلسوفان دانلود , buy منطق معین برای فیلسوفان , خرید کتاب منطق معین برای فیلسوفان , دانلود کتاب Modal Logic for Philosophers , کتاب Modal Logic for Philosophers , دانلود Modal Logic for Philosophers , خرید Modal Logic for Philosophers , خرید کتاب Modal Logic for Philosophers ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.