طبقات الجمل :
هذه الطبقات في باب اللزوم قسمان : قسم لزومه من الجانبين ، فهو متلازم متعاكس ، وقسم لزومه من أحد الجانبين .
والقسم الأول : أنواع ثلاثة :
أحدها : واجب أن يوجد ، ممتنع أن لا يوجد ، ليس بالممكن العام أن لا يوجد ، وكذلك مقابلات هذه : وهي ليس بواجب أن يوجد ، ليس بممتنع أن لا يوجد ، ممكن عاما أن لا يوجد .
وثانيها : واجب أن يوجد ، ممتنع أن يوجد ، ليس بالممكن العام أن يوجد ، وكذا مقابلاتها وهي : ليس بواجب أن لا يوجد ، ليس بممتنع أن يوجد ، ممكن عاما أن يوجد .
وثالثها : من الممكن الخاص ، وينعكس مبينه على مشوشه ، وذلك : يمكن أن يكون :
يمكن أن لا يكون ؛ ومقابلاهما .
والقسم الثاني : أنواع ثلاثة :
أحدها : واجب أن يوجد ، يلزمه قولنا : خ خ ليس بواجب أن لا يوجد . وليس بممتنع أن يوجد ، ويمكن عاما أن يوجد ، ويلزمه أيضا ، نفي الإمكان الخاص مبينا ومشوشا ، وتفسير المبين والمشوش ، يأتيك عن قريب ، وذلك قولنا : ليس بممكن خاص أن يوجد ، ليس بممكن خاص أن لا يوجد .
وثالثها : من الممكن الخاص ، قولنا : خ خ ممكن أن يكون وأن لا يكون ، يلزمه : ليس بواجب أن يكون ، ليس بواجب أن لا يكون ، ليس بممتنع أن يكون ، ليس أن لا يكون ، ممكن عاما أن يكون ، ممكن عاما أن لا يكون ، وأيما عاقل فهم ما تلونا لم [ يجب ] « 1 » أن نصف الواجب لذاته ممكنا ، وإنما أقول هذا القول لبعض الدخلاء في هذه
هامش
( 1 ) في ( د ) و ( غ ) : ( يجبن ) .