طبقات الجمل :

هذه الطبقات في باب اللزوم قسمان : قسم لزومه من الجانبين ، فهو متلازم متعاكس ، وقسم لزومه من أحد الجانبين.

والقسم الأول : أنواع ثلاثة :

أحدها : واجب أن يوجد ، ممتنع أن لا يوجد ، ليس بالممكن العام أن لا يوجد ، وكذلك مقابلات هذه : وهي ليس بواجب أن يوجد ، ليس بممتنع أن لا يوجد ، ممكن عاما أن لا يوجد.

وثانيها : واجب أن يوجد ، ممتنع أن يوجد ، ليس بالممكن العام أن يوجد ، وكذا مقابلاتها وهي : ليس بواجب أن لا يوجد ، ليس بممتنع أن يوجد ، ممكن عاما أن يوجد.

وثالثها : من الممكن الخاص ، وينعكس مبينه على مشوشه ، وذلك : يمكن أن يكون : يمكن أن لا يكون ؛ ومقابلاهما.

والقسم الثاني : أنواع ثلاثة :

أحدها : واجب أن يوجد ، يلزمه قولنا : خ خ ليس بواجب أن لا يوجد. وليس بممتنع أن يوجد ، ويمكن عاما أن يوجد ، ويلزمه أيضا ، نفي الإمكان الخاص مبينا ومشوشا ، وتفسير المبين والمشوش ، يأتيك عن قريب ، وذلك قولنا : ليس بممكن خاص أن يوجد ، ليس بممكن خاص أن لا يوجد.

وثالثها : من الممكن الخاص ، قولنا : خ خ ممكن أن يكون وأن لا يكون ، يلزمه : ليس بواجب أن يكون ، ليس بواجب أن لا يكون ، ليس بممتنع أن يكون ، ليس أن لا يكون ، ممكن عاما أن يكون ، ممكن عاما أن لا يكون ، وأيما عاقل فهم ما تلونا لم [يجب][١] أن نصف الواجب لذاته ممكنا ، وإنما أقول هذا القول لبعض الدخلاء في هذه

[١] في (د) و (غ): (يجبن).