ترجمه فارسی توضیحات (ترجمه ماشینی)
کتابچه راهنمای منطق عمدی
منطق قصدی مطالعه فنی چنین پدیدههای “غیری” در استدلال انسان مانند روش، دانش یا جریان زمان است. همه اینها نیاز به تصویر معنایی غنی تری نسبت به مقادیر حقیقت استاندارد در یک محیط ایستا دارند. چنین تصویری توسط به اصطلاح «معناشناسی جهانهای ممکن» ارائه میشود، پارادایمای که در این کتاب بررسی شده است، هم از نظر منابع بیرونی انگیزه و هم از نظر پویایی درونی برنامه حاصل. به طور خاص، ^IManual of Intensional Logic^R موضوعات اصلی “کلاسیک”، از جمله منطق مدال، منطق زمان، و منطق شرطی را ارائه می دهد، که همگی انگیزه های ناشی از فلسفه و زبان شناسی را نشان می دهند. این کتاب همچنین کاربردهای محاسباتی اخیر در علوم کامپیوتر و هوش مصنوعی را مورد بحث قرار می دهد. در نهایت، ^IManual of Intensional Logic^R پیشرفت های اخیر را در مطالعه زبان و اطلاعاتی که خود را در آن منطقه احساس می کنند، بررسی می کند. این کتاب به بررسی نقش اطلاعات جزئی – با تصاویر برگرفته از شاخههای مختلف منطق درونی – و تأثیرات مختلف ناشی از نظریههای کنونی معناشناسی زبان طبیعی، شامل کمیسازهای تعمیمیافته و نظریههای انواع میپردازد.
A Manual of Intensional Logic
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.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.