دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: First Edition نویسندگان: James W. Garson سری: ISBN (شابک) : 9780521682299, 9780521863674 ناشر: سال نشر: 2006 تعداد صفحات: 471 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Modal Logic for Philosophers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق معین برای فیلسوفان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب که برای استفاده دانشجویان فلسفه طراحی شده است، درمان قابل دسترس و در عین حال از نظر فنی منطقی منطق مدال و کاربردهای فلسفی آن را ارائه می دهد. تمام تلاشها برای سادهسازی ارائه با استفاده از نمودارها بهجای دستگاههای پیچیدهتر ریاضی انجام شده است. این نوآوریها و سایر نوآوریها، دسترسی آسان فیلسوفان را به موضوعات متنوعی در منطق مودال، از جمله پوشش کامل منطق مودال کمی، تعیینکنندههای غیر صلب، توصیفهای مشخص، و تمایز de-re de-dictio فراهم میکنند. بحث در مورد مسائل فلسفی مربوط به توسعه منطق وجهی در متن بافته شده است. این کتاب از سیستمهای استنتاج طبیعی استفاده میکند و همچنین شامل یک تکنیک نمودار است که روش درختان حقیقت را به منطق مدال گسترش میدهد. این ویژگی پایه ای برای روشی جدید برای نشان دادن کامل بودن فراهم می کند، روشی که به آسانی می توان آن را به سیستم هایی که شامل کمی سازها هستند گسترش داد.
Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place 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-dictio distinction. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers.