جستجوي پيشرفته | کتابخانه مجازی الفبا

کانال ارتباطی از طریق پست الکترونیک : support@alefbalib.com

نام :*

نام خانوادگی :*

پست الکترونیک :*

* *

تلفن :

دورنگار :

آدرس :

بخش :

پیغام :*

حروف تصویر :

* *

ارسال انصراف

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

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

پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی

جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن

: جستجو در الفبا در گوگل

...جستجوی هوشمند

مرور > مرور کلید واژه ها

نقض طرفین

مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو

تعداد رکورد ها : 2

عنوان :

مکعب تقابل: روابط میان قضایای معدوله

نویسنده:

اسدالله فلاحی

نوع منبع :

مقاله , کتابخانه عمومی

منابع دیجیتالی :

نسخه PDF

وضعیت نشر :

تهران: دانشگاه تهران,

کلیدواژه‌های اصلی :

احکام قضایا , اصطلاحنامه منطق , قضیه معدوله , مکعب تقابل , روابط میان قضایای معدوله

کلیدواژه‌های فرعی :

عکس مستوی , محصورات چهارگانه , محصورات هشت گانه , نقض محمول , نسب اربع , نقض موضوع , نقض طرفین , قاعده نقض محمول , قضیه سالبه کلیه , قضیه موجبه کلیه , قضیه موجبه جزئیه , قضیه سالبه جزئیه , قیاس , گزاره معدوله ,

فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی :

خواجه نصیرالدین طوسی , علامه حلی , ابن سینا: ابوعلی سینا

چکیده :

برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و همه استدلال های مباشر را به دو قاعده عکس مستوی و نقض محمول فرو کاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگانه مشهور را به 32 محصوره گسترش داده است: 4 گزاره محصله الطرفین مشهور، 4 گزاره معدوله الطرفین، 4 گزاره معدوله الموضوع، 4 گزاره معدوله المحمول، و همین 16 گزاره با جا به جا کردن «الف» و «ب» در همه آن ها. اکبری، همچنین، برخی از روابط میان این 32 محصوره را بیان کرده است، مانند مربع تقابل، عکس مستوی، عکس نقیض، انواع نقض (نقض موضوع، نقض محمول، نقض طرفین) و دو رابطه جدید به نام های «عکس نقیض موضوع» و «نامعلوم». در این مقاله نشان می دهیم که این محصورات 32 گانه، چهار به چهار، با هم هم ارز هستند و بنابراین، می توان این 32 محصوره را به 8 محصوره (یا به 8 دسته چهارتایی) فرو کاست و روابط را به شش دسته ساده زیر تقلیل داد: تلازم، لزوم، منع جمع، منع خلو، انفصال حقیقی و هیچ کدام. با این کار، پیچیدگی های نظریه را کاهش می دهیم و روابط میان 8 دسته را به سادگی و زیبایی در مکعبی شبیه «مربع تقابل» که آن را «مکعب تقابل» می نامیم به نمایش می گذاریم و اثبات می کنیم.

صفحات :

از صفحه 123 تا 143

مشخصات اثر