مبانی منطق جدید

پیشگفتار

مقدمه

بخش اول: ساختار نحوی منطق گزاره‌ها

فصل اول: سیستم استنتاج طبیعی منطق گزاره‌ها (SN)

فصل دوم: سیستم اصل موضوعی (SA) و سیستم نموداری (ST) منطق گزاره‌ها

بخش دوم: ساختار معنایی و فرانظریه منطق گزاره‌ها

فصل سوم: ساختار معنایی منطق گزاره‌ها

فصل چهارم: فرانظریه منطق گزاره‌ها

بخش سوم: ساختار نحوی منطق محمولات

فصل پنجم: سیستم استنتاج طبیعی منطق محمولات (PN)

فصل ششم: سیستم اصل موضوعی (PA) و سیستم نموداری (PT) منطق محمولات

بخش چهارم: ساختار معنایی و فرانظریه منطق محمولات

فصل هفتم: ساختار معنایی منطق محمولات

فصل هشتم: فرانظریه منطق محمولات

حلّ مسائل و تمرینات برگزیده

فهرست نمادها

فهرست علایم اختصاری

منابع و مآخذ

واژه‌نامه