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

نویسنده در بیان قضایا می‎نویسد: هر قضیه‎ای از دو جزء تشکیل شده: محکوم‎علیه و محکوم‎به. قضیه حملیه از دو جزء (درصورتی‎که به ربط تصریح نشود، مانند: زيد كاتب) یا سه جزء (درصورتی‎که به ربط تصریح شود، مانند: زيد هو كاتب) تشکیل شده است. البته در فارسی همیشه با حرفِ «است»، به ربط میان موضوع و محمول اشاره می‎شود... حملیه، یا موجبه است (مانند الإنسان كاتب) یا سالبه (مانند الإنسان ليس بكاتب) و قضیه شرطیه از دو حملیه تشکیل می‎شود که جزء اول آن مقدم و جزء دوم تالی نام دارد. قضایای شرطیه، یا متصله هستند که خودش بر دو قسم موجبه و سالبه تقسیم می‎شود و یا منفصله که آن نیز دو قسم موجبه و سالبه دارد؛ مثال‎های این چهار نوع به‎ترتیب چنین می‎شود:

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

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