منطق توجیه: استدلال با دلایل ۲۰۱۹
Justification Logic: Reasoning with Reasons 2019

دانلود کتاب منطق توجیه: استدلال با دلایل ۲۰۱۹ (Justification Logic: Reasoning with Reasons 2019) با لینک مستقیم و فرمت pdf (پی دی اف)

نویسنده

Sergei Artemov,Melvin Fitting

voucher (1)

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2019

زبان

English

نوع فایل

pdf

حجم

1 Mb

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب منطق توجیه: استدلال با دلایل ۲۰۱۹

منطق کلاسیک به طور خلاصه با رفتار حقایق سروکار دارد. منطق معرفتی به طور مشابه در مورد رفتار حقایق شناخته شده یا باور شده است. منطق توجیه تئوری استدلال است که امکان ردیابی شواهد برای گزاره ها را فراهم می کند و در نتیجه چارچوب منطقی برای اعتبار ادعاها را ارائه می دهد. این کتاب، اولین کتاب در این زمینه، شرحی منظم از موضوع است که از منطق مدال تا ایجاد تفسیر حسابی از منطق شهودی پیش می رود. ارائه به طور ریاضی دقیق است، اما به سبکی است که برای خوانندگانی از طیف گسترده ای از زمینه هایی که نظریه در آنها کاربرد دارد، جذاب خواهد بود. این زمینه ها شامل منطق ریاضی، هوش مصنوعی، علوم کامپیوتر، منطق فلسفی و معرفت شناسی، زبانشناسی و نظریه بازی ها هستند.


فهرست کتاب:

۱. جلد

۲. صفحه پیش از عنوان

۳. اطلاعات مربوط به مجموعه

۴. صفحه عنوان

۵. اطلاعات حق تکثیر

۶. تقدیم

۷. فهرست مطالب

۸. مقدمه

۱ چرا منطق توجیه؟

۲ مبانی منطق توجیه

۳ هستی‌شناسی توجیه‌ها

۴ مدل‌های انطباقی

۵ ترتیبی‌ها و تابلوها

۶ تحقق – چگونه آغاز شد

۷ تحقق – تعمیم‌یافته

۸ دامنه تحقق

۹ تمامیت حسابی و معناشناسی BHK

۱۰ سورها در منطق توجیه

۱۱ فراتر رفتن از منطق موجهات

۲۰. مراجع

۲۱. فهرست نمایه

توضیحات(انگلیسی)

Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.


Table of Contents

1. Cover

2. Half-title

3. Series information

4. Title page

5. Copyright information

6. Dedication

7. Contents

8. Introduction

1 Why Justification Logic?

2 The Basics of Justification Logic

3 The Ontology of Justifications

4 Fitting Models

5 Sequents and Tableaus

6 Realization – How It Began

7 Realization – Generalized

8 The Range of Realization

9 Arithmetical Completeness and BHK Semantics

10 Quantifiers in Justification Logic

11 Going Past Modal Logic

20. References

21. Index

دیگران دریافت کرده‌اند

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.