تقسیمات مختصه شرطیه
الإثنين, فيفرييه 20, 2012
09:46 ق.ظ
قضیه شرطیه: 
متصله: حکم به وابستگی بین مقدم و تالی
تقسیم با ملاک طبیعت اتصال:
لزومیه: قضیه شرطیه متصله ای که بین مقدم و تالی وابستگی حقیقی برقرار است. که وابستگی حقیقی: 
مقدم علت تالی است؛
تالی علت مقدم است؛
معلولین لعلۀ ثالثه هستند.
اتفاقیه
منفصله: حکم به گسستگی بین مقدم و تالی
تقسیم بنابر طبیعت تنافی:
عنادیه: تنافی حقیقی دارند؛
اتفاقیه: صرف تنافی (عدم مقارنت) اتفاقی؛
تقسیم بنابر امکان یا عدم امکان اجتماع طرفین: (این تقسیم بنابر مفاد و آنچه ما بیان می کنیم و ناظر به واقع نیست.)
حقیقیه: قضیه ای که حکم می شود در آن به تنافی طرفین (مقدم و تالی) صدقا (یعنی جمعشان نشاید) و کذبا (رفعشان نشاید)
مانعۀ الجمع: قضیه ای که حکم می شود در آن به تنافی طرفین صدقا فقط
مانعۀ الخلو: قضیه ای که حکم می شود در آن به تنافی طرفین کذبا فقط
کاربردها:
حقیقیه: 
موجبه: 
برای بیان تقسیم
در مقام کسی که توهم جمع و رفع دارد.
سالبه: در مقابل کسی که توهم عدم جمع و عدم رفع دارد.
سلب حقیقیه = هم جمعش شاید و هم رفعش شاید.
مانعۀ الجمع:
موجبه: مقابل کسی که توهم جمع فقط دارد.
سالبه: مقابل کسی که توهم رفع دارد فقط.
مانعۀ الخلو:
موجبه: مقابل کسی که توهم رفع دارد فقط
سالبه: مقابل کسی که توهم جمع دارد فقط
مراجعه به رهبر خرد، 190: آیا اتفاقیه هم حقیقه و مانعۀ الجمع و ... را دارد؟