در آمدی بر منطق جدید | کتابخانه مجازی الفبا

در آمدی بر منطق جدید | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
در آمدی بر منطق جدید
کتابخانه مجازی الفبا
1388
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
در آمدی بر منطق جدید
ویرایش اثر
وضعیت نشر :
تهران ، انتشارات علمی و فرهنگی ، 1388
چکیده :
فهرست کتاب در آمدی به منطق جدید / ضیاء موحد فصل اول- درآمد 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. نشانه گذاری های منطقی دیگر
کلید واژه اصلی :
منطق جدید
متکلمان و سایر شخصیت ها :
ضیاء موحد
نویسنده :
ضیاء موحد
زبان :
فارسی
منبع اصلی :
https://www.alefbalib.com/index.aspx?pid=56&metadataID=638978&Type=Metadata&worksheet=Metadata
جنس منبع:
متن
پایگاه :
الف:پایگاه کتب
یادداشت :
نوع منبع :
کتابشناسی(نمایه کتاب)
مخاطب :
بزرگسال , تخصصی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال