دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 2nd نویسندگان: Johan van Benthem سری: Center for the Study of Language and Information - CSLI Lecture Notes 1 ISBN (شابک) : 9780937073308, 093707330X ناشر: CSLI Publications سال نشر: 1988 تعداد صفحات: 137 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 37 مگابایت
در صورت تبدیل فایل کتاب A Manual of Intensional Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب یک کتابچه راهنمای منطق درونی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
منطق درونی، مطالعه فنی پدیدههای «غیری» در استدلال انسان مانند روش، دانش یا جریان زمان است. همه اینها نیاز به تصویر معنایی غنی تری نسبت به مقادیر حقیقت استاندارد در یک محیط ایستا دارند. چنین تصویری توسط به اصطلاح «معناشناسی جهانهای ممکن» ارائه شده است، پارادایمای که در این کتاب بررسی شده است، هم از نظر منابع بیرونی انگیزه و هم از نظر پویایی درونی برنامه حاصل. به طور خاص، ^IManual of Intensional Logic^R موضوعات اصلی "کلاسیک"، از جمله منطق مدال، منطق زمان، و منطق شرطی را ارائه می دهد، که همگی انگیزه های ناشی از فلسفه و زبان شناسی را نشان می دهند. این کتاب همچنین کاربردهای محاسباتی اخیر در علوم کامپیوتر و هوش مصنوعی را مورد بحث قرار می دهد. در نهایت، ^IManual of Intensional Logic^R پیشرفت های اخیر را در مطالعه زبان و اطلاعاتی که خود را در آن منطقه احساس می کنند، مورد بررسی قرار می دهد. این کتاب به بررسی نقش اطلاعات جزئی - با تصاویر برگرفته از شاخههای مختلف منطق درونی - و تأثیرات مختلف ناشی از نظریههای فعلی معناشناسی زبان طبیعی، شامل کمیسازهای تعمیمیافته و نظریههای انواع میپردازد.
Intensional logic is the technical study of such "intensional" phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called "possible worlds semantics," a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, ^IManual of Intensional Logic^R presents the major "classical" topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, ^IManual of Intensional Logic^R takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types.