ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب An Introduction to Modal Logic

دانلود کتاب مقدمه ای بر منطق مودال

An Introduction to Modal Logic

مشخصات کتاب

An Introduction to Modal Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری: University Paperbacks, Volume 431 
ISBN (شابک) : 0416294707, 041629460X 
ناشر: Methuen 
سال نشر: 1972 
تعداد صفحات: 403 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب An Introduction to Modal Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مقدمه ای بر منطق مودال

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


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

Note: This book was later replaced by "A New Introduction to Modal Logic" (1996). Modal logic can be described briefly as the logic of necessity and possibility, of 'must be' and 'may be'. We had two main aims in writing this book. One was to explain in detail what modal logic is and how to do it; the other was to give a picture of the whole subject at the present stage of its development. The first of these aims dominates Part I, and to a lesser extent Part II; the second dominates Part III. Part I could be used on its own as a text-book for an introductory course of instruction on the basic theory and techniques of modal logic. We have tried to make the book self-contained by including at the appropriate points summaries of all the non-modal logic we use in the exposition of the modal systems. It could therefore be tackled by someone who had not studied any logic at all before. To get the most out of it, however, such a reader would be well advised to buy himself another book on logic as well and to learn something more about the Propositional Calculus and the Lower Predicate Calculus than we have been able to tell him here.



فهرست مطالب

Preface page ix 
Note on References xi 
Note to the Second Printing xi 

PART I MODAL PROPOSITIONAL LOGIC 
1 Non-modal Propositional Calculus 3 
2 The System T 22 
3 The Systems S4 and S5 43 
4 Validity in T, S4 and S5 61 
5 T: Decision Procedure and Completeness 82 
6 S4 and S5: Decision Procedures and Completeness 105 
7 Some Alternative Bases for T, S4 and S5 123 

PART II MODAL PREDICATE LOGIC 
8 The Lower Predicate Calculus 133 
9 The Completeness of Modal LPC 149 
10 Modality and Existence 170 
11 Identity and Description in Modal LPC 189 

PART III A SURVEY OF MODAL LOGIC 
12 The Lewis Systems (I) 213 
13 The Lewis Systems (II) 239 
14 Other Modal Propositional Systems 255 
15 Validity and Decision Procedures for Various Systems 274 
16 Non-standard Systems 293 
17 Boolean Algebra and Modal Logic 311 

Appendix 1 Natural Deduction and Modal Systems 331 
Appendix 2 Entailment and Strict Implication 335 
Appendix 3 Axiomatic Bases for Propositional Modal 
Systems 340 
Appendix 4 Notation 347 
Appendix 5 Kripke's Model Structures and Hintikka's 
Model Sets 350 
Solutions to Exercises 353 
Bibliography 356 
Index of Authors 373 
Index of Subjects 377 
List of Symbols and Important Rules 387




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی