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