می‌دانیم که استدلال‌های منطق در ابتدا تقسیم می‌شود به: مباشرغیر مباشر استدلال‌های مباشر استدلال‌های مباشر دَه تا هستند: تقابل تناقضتقابل تداخلتقابل تضادتقابل دخول تحت التضادعکس مستویعکس نقیض موافقعکس نقیض مخالفنقض المحمولنقض الموضوعنقض التامّ در جدول زیر با تقابل و...
اثبات همه ضروب قیاس اقترانی با برهان خلف و برهان ردّ
قیاس در احکام
تفسیر به رأی
تناقض حکم دیه دست و قطع دست دزد به ابو العلاء معرّی منسوب است که: این نکته ذهنش را مشغول کرده بود و در تعجب بود، از طرفی دیه یک دست، پانصد دینار (نصف دیه کامل) است و از طرف دیگر اگر دزدی به مقدار یک‌چهارم دینار (۴.۵ نخود/ ۰.۸۷۵ گرم طلای خالص) دزدی کند، باید دستش را...