كانوا كلهم معدومين أو كانوا كلهم لا عادل فيهم « 1 » البتة ما كانوا أو كان « 2 » بعضهم لا عدل فيه ما كان والآخر فيه عدل أو غيره ما كان إذا وجد بعض منهم معدومين أو جائرين أو متوسطين أو بالقوة أو غير قابل ، ويكذب إذا كانوا كلهم عادلين فقط . فهاتان المضالعتان تتفقان في باب واحد اتفاق ما لا يقتضى عموما . وأما قولنا :
الإنسان يوجد جائرا فيصدق إذا كان « 3 » كلهم جائرين أو بعضهم جائرا وبعضهم ليس عادلا ما كان ، فقد يصدق « 4 » إذن معه قولنا : الإنسان ليس يوجد عادلا . كيف يصدق ولا ينعكس ، فإنه قد يصدق قولنا الإنسان ليس يوجد عادلا لأنه « 5 » إذا كانوا كلهم لا عادلين ولا جائرين متفقين كانوا أو شوبا ، وحينئذ لا يصدق أن الإنسان يوجد جائرا . وأما قولهم الإنسان ليس يوجد جائرا فيصدق إذا كانوا « 6 » معدومين ، أو كان لا جائرا فيهم البتة ، أو كان بعضهم جائرا فقط ، وبالجملة إذا « 7 » كان بعض « 8 » معدوما أو عادلا أو متوسطا أو غير « 9 » قابل والآخر ما كانوا ، ويكذب إذا كانوا كلهم جائرين فقط ، فهو أعم من قولنا : الإنسان يوجد عادلا . وأما قولنا الإنسان يوجد لا عادلا فيصدق إذا لم يكن فيهم عادل البتة كائنا ما كانوا متفقين وشوبا « 10 » أو لم يكن في بعضهم كائنا ما كان ، بل كانوا أولئك البعض جائرين أو متوسطين « 11 » أو بالقوة أو غير قابلين أو كان البعض وحده عادلا ، ويكذب « 12 » إذا كانوا معدومين أو كان الجميع عادلين ، فهو « 13 » أعم من قولنا الإنسان يوجد جائرا ، وأخص من قولنا الإنسان ليس يوجد عادلا . وأما قولنا : الإنسان ليس يوجد لا عادلا ، فإنه يصدق إذا كانوا كلهم معدومين أو كانوا كلهم عادلين أو كان بعضهم عادلين والباقي ما كانوا ؛ وبالجملة بعد أن يكون بعض معدوما أو عادلا ، ويكذب إذا لم يكن فيهم عادل البتة
هامش
( 1 ) فيهم : فيه ن
( 2 ) أو كان : وكان ع .
( 3 ) كان : كانوا ن ، ه .
( 4 ) يصدق ( الأولى ) : صدق ع ، عا ، ن ، ى .
( 5 ) لأنه : ساقطة من ع ، عا ، ه .
( 6 ) كانوا : كانا ب ، س ، ع ، م ، ى .
( 7 ) إذا : إذ ب
( 8 ) بعض : بعضهم س ، ه .
( 9 ) أو غير : أو كان غير س .
( 10 ) وشوبا : أو شوبا د ، س ، ن .
( 11 ) أو متوسطين : ومتوسطين س .
( 12 ) ويكذب : ولا يكذب ع .
( 13 ) فهو : فهم ع ، ى .