فهرست کتاب در آمدی به منطق جدید / ضیاء موحد
فصل اول- درآمد
1. جمله های خبری
2. تعریف منطق به صدق
3. تعریف منطق به استنتاج
4.منطق جمله ها و منطق محمولها
5.ثا
... ابت های منطقی : ادات ها و سورها
فصل دوم - منطق جمله ها:
1. جمله نشانه ها
2.چنین نیست که
3.اگر
4 برهان
i) قاعده فرض (ف)
ii) قاعده نقض مضاعف (ن.م)
iii) قاعده وضع مقدم (و.م)
iv)قاعده رفع تالی (ر.ت)
v) قاعده دلیل شرطی
5. ترکیب های عطفی
6. معنای ادات های منطقی
vi) قاعده معرفی & (م.&)
vii) قاعده حذف & (ح . &)
7. ترکیب های فصلی
viii) قاعده معرفی V (م.V)
ix) قاعده حذف V (م . V)
X) قاعده برهان خلف (ب.خ)
8. قضیه
9. ترکیب های دو شرطی
10. اثبات چند صورت برهان
11. فرا قضیه ها
فصل سوم : پایده گذاری صوری نظام منطق جمله ها
1. نحو زبان منطق جمله ها
2. ساختن قضیه از صورت برهان
3. نمونه جانشین و قاعده فرعی
فصل چهارم : معنی شناسی زبان منطق جمله ها
1. قاعده های معنی شناسی
2. ترجمه زبان طبیعی به زبان منطق جمله ها
3. شرطی های خلاف واقع
4. روش ساختن جدول های ارزش
5. تعبیر
6. نسبت های مهم میان زدس
7. تابعهای ارزش
8. شرطی تابع ارزشی
9. شماره تابعهای ارزش بر اساس شماره جمله نشانه ها
فصل پنجم: سازگاری و تمامیت منطق جمله ها
1. درستی و صدق
2. استقرای ریاضی
3. فرا قضیه سازگاری
4. تمامیت منطق جمله ها
5. مقایسه قاعده های استنتاج و جدولهای ارزش
فصل ششم : آشنایی با زبان منطق محمول ها
1. جمله های اتمی
2.جمله های وجودی یا جزئی
3. جمله های کلی
4. جمله های چند صوری
5. جمله سور کلی به فارسی
6. سورهای مقید و عالم سخن
7. صفت ها و نسبت ها
8. مفهوم متغیر
9. محول نشانه و تابع جمله ای
10. ترجمه از زبان صوری به زبان طبیعی
11. ترجمه و تعبیر
12 راستگو و نمونه صادق
13. حذف سورهای در دامنه های متناهی
14. نسبت اینهمانی
15. یک غلط متداول
فصل هفتم : قاعده های استنتاج منطق محمولها
1. استنتاج با سور کلی
XI) قاعده حذف سور کلی (ح.ک)
XII) قاعده معرفی سور کلی (م.ک)
2. استنتاج با سور وجودی
XIII) قاعده معرفی سور وجودی (م.و)
XIV) قاعده حذف سور وجودی (ح.و)
3. بررسی برخی از ویژگی های مهم سورها
4. استنتاج با سورهای پیاپی و تو در تو
فصل هشتم : نظام صوری منطق محمولها
1. زبان موضوعی و فرا زبان
2. نحو زبان منطق محمولها
3. قاعده های استنتاج
4. کاهش قاعده ها
5. نمونه جانشین و قاعده فرعی
فصل نهم : معنی شناسی زبان منطق محمولها
1) مجموعه
2) مفهوم و مصداق
3) تغییر زبان منطق محمولها
4. تعریف صدق در یک تعبیر
5. نمونه صادق ها
فصل دهم : سازگاری و تمامیت منطق محمولها پ
1. فرا قضیه سازگاری
2. فرا قضیه تمامیت
فصل یازدهم : اینهمانی
گسترش زبان منطق محمولها
2. قاعده های استنتاج با نسبت اینهمانی
XV) قاعده معرفی اینهمانی (م =)
XVI) قاعده حذف اینهمانی (ح =)
3. نظریه وصف های خاص
4. تعریف های متنی
5. ساخت منطقی و ساختار دستوری
6. اینهمانی و شی ء های مادی
پیوست 1 : روش درختهای ارزش
پیوست 2. روشهای اصل موضوعی
پیوست 3. نشانه گذاری های منطقی دیگر
بیشتر