Najat
ونقايض هذه متعاكسة أيضا مثل قولنا ليس بواجب أن يوجد ليس بممتنع أن لا يوجد ممكن أن لا يوجد العامي لا الخاصي وطبقة أخرى وهي هكذا واجب أن لا يوجد ممتنع أن يوجد ليس بممكن أن يوجد بالمعنى العامي لا الخاصي وكذلك نقايضها مثل ليس بواجب أن لا يوجد ليس بممتنع أن يوجد ممكن أن يوجد بالمعنى العامي وطبقة من الممكن الخاصي الحقيقي ولا ينعكس فيها إلا شيئان فقط ممكن أن يكون وممكن أن لا يكون ونقيضاهما متعاكسان ولا يلزمهما من سائر الجهات شيء لزوما معاكسا وأما الممكن أن يكون بالمعنى العامي فلا يلزمه ممكن أن لا يكون على ما أوضحناه قبل وأما اللوازم التي لا تنعكس فإن واجبا أن يوجد يلزمه ليس بممتنع أن يوجد وما في طبقته مثل ليس بواجب أن لا يوجد وممكن أن يوجد يلزمه ليس بممتنع أن يوجد وما في طبقته مثل ليس بواجب أن لا يوجد وممكن أن يوجد العامي وليس بممكن أن يوجد الخاصي لأنه واجب لا ممكن وليس بممكن أن لا يوجد الخاصي لأنه ممتنع أن لا يوجد الخاصي لأنه واجب لا ممكن وليس بممكن أن لا يوجد الخاصي لأنه ممتنع أن لا يوجد لا ممكن حقيقي أن لا يوجد - وكذلك الممتنع أن يوجد يلزمه سلب الواجب أن يوجد وما في طيقته وسلب الممكنين الحقيقين أعني المعدول والمحصل والممكن أن يكون الحقيقي يلزمه ممكن أن يكون العامي وما في طبقته وممكن أن لا يكون العامي وما في طبقته ويتوصل من هذا إلى باق ما بقي.
Shafi 19