عيون الحكمة — الصفحة ٤
فصل
والقضية الحملية : هي التي يحكم فيها بوجود شئ هو المحمول ، لشئ هو الموضوع ؛ أو بعدمه له : كقولنا : زيد كاتب ، زيد ليس بكاتب ؛ والأول يسمّى إيجابا ، والثاني يسمى سلبا .
والقضيّة الشرطية المتصلة : هي التي يحكم فيها بتلو قضية تسمى تاليا لقضيّة أخرى تسمى مقدّما ؛ أو لا تلوّه . والأول هو الإيجاب ، كقولك : إن كانت الشمس طالعة فالنهار موجود ؛ والثاني هو السلب : كقولك : ليس إذا [ 2 ا ] كانت الشمس طالعة فالليل موجود .
والشرطية المنفصلة هي التي يحكم فيها بتكافؤ القضيتين في العناد ، أو سلب ذلك : مثال الأول : إما أن يكون هذا العدد زوجا ، وإما أن يكون فردا ؛ مثال الثاني : ليس إمّا أن يكون هذا زوجا ، وإما أن يكون فردا « 1 »
.
والقضايا الحملية ثمان : شخصية موجبة ، كقولك : زيد كاتب ؛ وشخصيّة سالبة ، كقولك : زيد ليس بكاتب - والموضوع فيهما جميعا لفظ جزئي ؛ ومهملة موجبة ، كقولك : « إِنَّ الْإِنْسانَ لَفِي خُسْرٍ » « 2 »
؛ ومهملة سالبة كقولك : الإنسان ليس في خسر « 3 »
- والموضوع في كليهما كلى ، وتقدير الحكم عليه مهمل ؛ ومحصورة كلية موجبة كقولك : كل إنسان حيوان ؛ ومحصورة كلية سالبة كقولك : ليس ولا واحد من الناس بحجر ؛ وجزئية موجبة كقولك :
بعض الناس كاتب ؛ وجزئية سالبة كقولك : ليس كل إنسان بكاتب ، وبعض الناس ليس بكاتب - فان كلتيهما تسلبان عن البعض ويجوز أن يكون في البعض إيجاب .
( 1 ) ص ، ح : وإما أن يكون اثنين . - وما أثبتنا في ب .
( 2 ) سورة « العصر » ، آية : 2 .
( 3 ) ب ، ح : الانسان ليس بمهمل - وما أثبتنا عن ب وفي نسخة الفاتيكان ( - ف ) : الانسان في جسد . . . الانسان ليس في جسد .