تلخيص كتاب القياس — صفحة 132

ليس بالضرورة أن لا « 1 » يكون إذ كان يكذب عليه قولنا بالضرورة لا « 2 » يكون . ولذلك ينعكس هذا حتى نقول كل ممكن فليس بضروري [ أن يكون وأن لا يكون « 3 » وما ليس بضروري [ أن يكون وأن لا يكون ] « 4 » فهو ممكن . ولذلك يشبه أن يكون جنس هذا الحد ما يدل عليه لفظ الذي - وهو الشئ الذي يشمل الموجود والمعدوم كما قلنا « 5 » - وفصله قولنا ليس بضروري [ إذ كان بقي الدائم الوجود والدائم العدم « 6 » . ويكون ما زيد فيه من أنه إذا وضع موجودا لم يلزم عنه محال خاصة من خواص الممكن لا فصلا من فصوله . وهذا هو مذهب أبي نصر في هذا الحد . ويحتمل أن يكون هذا القول هو الفصل الأخير في الحد ويكون المفهوم من قولنا « 7 » ما « 8 » ليس بضروري أي ليس وجوده في المستقبل بالضرورة ، مثل كسوف القمر . ولأن قولنا ليس / وجوده بالضرورة « 9 » يصدق على الممتنع زيد فيه ومتى « 10 » أنزل موجودا لم يعرض عنه « 11 » محال . فيكون على هذا جنس الممكن هو المعدوم ،