بالضرورة يكون يلزمه أنه ممكن أن يكون بالإمكان العام ولا ينعكس عليه فإنه ليس إذا كان ممكنا أن يكون وجب أن يكون بالضرورة يكون بل ربما كان ممكنا أيضا أن لا يكون وقولنا بالضرورة لا يكون يلزمه أنه ممكن أن لا يكون بالإمكان العام أيضا من غير انعكاس أيضا لمثل ذلك ثم اعلم أن قولنا إنه ممكن أن يكون الخاص أو الأخص إنما يلزمه ممكن أن لا يكون من بابه ويساويه وأما من غير بابه فلا يلزمه ما يساويه بل ما هو أعم منه مثل ممكن أن يكون العام وممكن أن لا يكون العام وليس بواجب أن يكون وليس بواجب أن لا يكون وليس بممتنع أن يكون وليس بممتنع أن لا يكون وبالجملة ليس بضروري أن يكون وأن لا يكون أقول : الموجهات منها ما يتلازم ومنها ما يلزم غيرها من غير عكس فمن المتلازمات طبقات ثلاث الوجوب والامتناع والإمكان الخاص وطبقات ثلاث يقابل هذه الطبقات طبقة الوجوب : بالضرورة يكون لا يمكن أن لا يكون يمتنع أن لا يكون وما يقابله : ليس بالضرورة يكون يمكن أن لا يكون لا يمتنع أن لا يكون .
طبقة الامتناع : بالضرورة لا يكون لا يمكن أن يكون يمتنع أن يكون .
وما يقابله : ليس بالضرورة أن لا يكون يمكن أن يكون لا يمتنع أن يكون طبقة الإمكان الخاص : يمكن أن يكون يمكن أن لا يكون .
وما يقابله : لا يمكن أن يكون لا يمكن أن لا يكون .
والإمكان في طبقتي الوجوب والامتناع بالمعنى العام وفي الباقية بالمعنى

175