إذا كان الموضوع في حكم الموجود . وقولنا : ليس كل إنسان يوجد عدلا « 1 » ، يلازم قولنا : بعض الناس يوجد لا عدلا ، « 2 » بعد « 3 » الشرط « 4 » المذكور . وقولنا : كل إنسان يوجد لا عدلا « 5 » ، يلازم قولنا : لا واحد من الناس يوجد عدلا « 6 » . وقولنا : ليس كل إنسان يوجد عدلا « 7 » ، يلازم قولنا : بعض الناس يوجد عدلا . « 8 » وبرهان ذلك ، وليكن على المثال الأول ، أنا إذا قلنا : كل إنسان يوجد عدلا فكذب « 9 » عليه قولنا :
ولا واحد من الناس يوجد لا عدلا ، « 10 » صدق نقيضه وهو واحد من الناس يوجد لا عدلا ، « 11 » وكان كل إنسان « 12 » يوجد عدلا « 13 » وهذا « 14 » محال . وأنت تعرف الحال فيما بقي « 15 » من هذه الصورة . وهذا الشرط الذي نورده من كون الموضوع في حكم الموجود حتى تكون القضية يصح إيجابها ربما أغفل ، وهو الواجب اعتباره . فإن لم يعتبر ذلك كانت السوالب تلزم الموجبات ، لأن السوالب تصدق على ما هو معدوم من « 16 » الموضوعات ، « 17 » ولا يمتنع . « 18 » « 19 »
واعلم أن الموضوع الشخصي إذا سلمت « 20 » عليه السالبة من طرفي النقيض ، جاز أن تبقى سالبة بحالها ، وجاز أن تجعل موجبة معدولية « 21 » إن كان ذلك أنفع . كما إذا سئل هل زيد عدل ؟ فقيل : لا ، كان للسائل أن يأخذ أنه ليس « 22 » زيد بعدل « 23 » ، وأن يأخذ أن زيدا هو لا عدل « 24 » . وأما إذا كانت القضية محصورة فسأل مثلا هل كل إنسان حكيم ، فقيل :
هامش
( 1 ) عدلا : لا عدلا ه ؛ + إذا كان الموضوع ع .
( 2 ) لا عدلا :
عدلا عا
( 3 ) بعد : + هذا د ، ن
( 4 ) الشرط : الشرائط ع ، ى .
( 5 ) إذا كان . . .
لا عدلا : ساقطة من د .
( 6 ) عدلا : عادلا ع ، ه ، ى .
( 7 ) وقولنا . . عدلا : ساقطة من ع ، ى .
( 8 ) عدلا : لا عدلا د ، س ، سا ، عا ، ن .
( 9 ) فكذب . يكذب ع .
( 10 ) إذا كان . . . لا عدلا : ساقطة من م .
( 11 ) لا عدلا ( الثانية ) : عدلان .
( 12 ) إنسان : الناس د ، م
( 13 ) عدلا :
لا عدلا سا
( 14 ) وهذا : هذا ع
( 15 ) بقي : ساقطة من س .
( 16 ) من : بين د ، س ، سا ؛ ع ، عا ، ن ، ه ، ى .
( 17 ) لأن السوالب . . .
الموضوعات : ساقطة من د ، سا ، عا ، ن ، ه ، ى
( 18 ) لأن السوالب . . . ولا يمتنع : ولا ينعكس س ، ع .
( 19 ) ولا يمتنع : ولا يمنع بخ ، س ، سا ، ع ، م : ن ، ه ، ى .
( 20 ) سلمت : تسلمت بخ ، د ، س ، سا ، ع ، م ، ن ، ه .
( 21 ) معدولية : معدولة ى .
( 22 ) أن يأخذ أنه ليس : أن يقول فإذن ليس ع .
( 23 ) أن يأخذ أنه ليس زيد بعدل : أن يقول فإذن ليس زيد بعادل بخ .
( 24 ) لا عدل : عدل ن .