نظریۀ برهان: حساب رشته: چارچوبی برای معنا و منطق
Proof Theory: Sequent Calculus: A Framework for Meaning and Logic
نظریۀ برهان شاخه‌ای است از منطق که، نظیر خود منطق، محل تلاقی فلسفه و ریاضیات است. کتاب روایتی است از اینکه چگونه نگاه نظریه‌برهانی به طبیعت منطق، به مثابۀ یک فلسفۀ منطق، می‌تواند معنایی برای مطالعۀ ریاضیاتی منطق‌های گوناگون فراهم کند و به عکس، چگونه مطالعه ریاضیاتی منطق‌های گوناگون می‌تواند نگاه نظریه‌برهانی به طبیعت منطق را محقق کند. چارچوب این روایت را حساب رشته تشکیل می‌دهد. از این روست که نام کتاب چنین است: نظریۀ برهان؛ حساب رشته: چارچوبی برای معنا و منطق.
درآمد
فصل صفرم: تعریف‌های مقدماتی
فصل نخست: حساب‌های رشتة استاندارد برای منطق‌های استاندارد
فصل دوم: میان‌پرده فلسفی
فصل سوم: حساب‌های رشته استاندارد برای منطق‌های نااستاندارد
فصل چهارم: حساب‌های رشته نااستاندارد برای منطق‌های نااستاندارد
فهرست مراجع
واژه‌نامه
نمایه موضوعی
کتاب حاضر به عنوان منبع مبنایی برای دانشجویان رشته منطق و برخی گرایش‌های رشته علوم کامپیوتر در مقطع کارشناسی ارشد و دکتری تدوین شده است. امید است علاوه بر جامعه دانشگاهی، سایر علاقه‌مندان نیز از آن بهره‌مند شوند.
نظر شما :