- الأول: أن تكون إحداهما أعم مطلقا، والأخرى أخص مطلقا، كالحيوان والإنسان، يستدل بوجود الأخص على وجود الأعم، وينفي الأعم على نفي الأخص، ولا دليل في عدم الأخص ولا في وجود الأعم.

- الثاني: أن يكون كل واحد منهما أعم من وجه وأخص من وجه آخر كالإنسان والأبيض، فلا دليل لأحدهما على الآخر أصلا.

- الثالث: أن يكونا متساويين كالإنسان والضاحك بالقوة، فيستدل بوجود كل واحد منهما على وجود الآخر، وبعدمه على عدمه.

- الرابع: أن يكونا متباينين كالحيوان والجماد، والمعلومات أيضا على ثلاثة أقسام:

نقيضان: وهما اللذان لا يجتمعان معا ولا يرتفعان معا كوجود زيد وعدمه، فيستدل بوجود أحدهما على عدم الآخر، وبعدمه على وجوده.

وضدان: وهما اللذان لا يجتمعان ويمكن ارتفاعهما كالسواد والبياض، فيستدل بوجود أحدهما على عدم الآخر، ولا دليل في عدم واحد منهما.

وخلافان: وهما اللذان يمكن اجتماعهما وارتفاعهما كالإنسان والفرس، فلا دليل في وجود واحد منهما ولا في عدمه.

AUTO قانون

:

في هذا الباب وذلك بإدخال كل على إحدى الحقيقتين والإخبار بالأخرى فإن صدقت القضية من الجهتين فهما متساويان كقولنا: كل إنسان ضاحك، وكل ضاحك إنسان، وإن كذبت من الجهتين، فهما متباينان، أو أعم من وجه وأخص من وجه، وإن صدقت من الجهة الواحدة، فهما أعم مطلقا وأخص مطلقا كقولك: كل إنسان حيوان، والمضاف إلى "كل" هو الأخص، والخبر هو الأعم، وإن عكستها كذبت.

AUTO الباب الثامن: في أنواع الحجج العقلية

وهي ثلاثة أنواع: قياس، واستقراء، وتمثيل.

- فأما القياس: فهو عبارة عن كلام مؤلف مقدمتين فأكثر، يتولد منهما نتيجة (¬1) وهي المطلوب إثباتها أو نفيها، فنذكره في موضعه.