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

کتاب مبانی منطق جدید نوشته دکتر لطف‌الله نبوی، توسط انتشارات سمت به چاپ رسیده است.

موضوع کتاب: فلسفه و کلام, ساختار نحوی منطق گزاره‌ها, سیستم استنتاج طبیعی منطق محمولات (PN)

مباحث کتاب مبانی منطق جدید

پیشگفتار چاپ ششم

پیشگفتار

مقدمه

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

1.  سیستم استنتاج طبیعی منطق گزاره‌ها (SN)
2.   سیستم اصل موضوعی (SA) و سیستم نموداری (ST) منطق گزاره‌ها

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

1.  ساختار معنایی منطق گزاره‌ها
2.   فرانظریه منطق گزاره‌ها

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

1.     سیستم استنتاج طبیعی منطق محمولات (PN) 
2.     سیستم اصل موضوعی (PA) و سیستم نموداری (PT) منطق محمولات

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

1. ساختار معنایی منطق محمولات
2. فرانظریه منطق محمولات
3. حلّ مسائل و تمرینات برگزیده
4. فهرست نمادها
5. فهرست علایم اختصاری
6. منابع و مآخذ
7. واژه‌نامه