تجريد المنطق: تفاوت میان نسخه‌ها

فصل چهارم کتاب درباره قیاس است. اقسام قیاس (بسیط و مرکب با اقسام هرکدام)، شکل‎های آن (چهار شکل)، شرایط هر شکل، تبعیت نتیجه از اخس مقدمات در قیاس، قیاس بیّن الانتاج و غیر بیّن الانتاج، اقسام قیاس شرطی از اتصالی و استثنائی، لزومی و اتفاقی و... قیاس خلف، استقراء و تمثیل، قیاس‎های ضمیر و... در این بخش مطرح می‌شوند<ref>ر.ک: همان، ص30-50</ref>. قیاس ضمیر آن است که کبرایش حذف شده باشد. علت حذف کبرا می‌تواند رعایت اختصار یا ارائه مغالطه باشد؛ مثلا: فلانی شبگردی می‌کند، پس دزد است (که کبرای «هرکه شبگردی می‌کند، دزد است» از آن حذف شده است). قیاس مقاومه، به قیاسی گفته می‌شود که با ارائه نتیجه‌ای متضاد یا متناقض با قیاس سابق، قوی‌ترین مقدمه آن را ابطال می‌کند..<ref>ر.ک: همان، ص50</ref>.

فصل ششم درباره جدل است؛ جدل صناعتی علمی است که با آن می‌توانیم اقامه حجت از مقدمات مسلّمه بر هر مطلوبی که مرادمان باشد، یا بر حفاظت از هر وضعیتی بکنیم؛ به‌گونه‌ای که به‎حسب امکان مناقضتی متوجه آن نشود<ref>ر.ک: همان، ص59</ref>.