فينبغى أن يقال أولا أنه إذا كانت ا موجودة، فبالضرورة ٮ موجودة. فأما 〈إن〉 كانت ا ممكنة فإن ٮ بالضرورة ممكنة. فإذا كانت الحدود على ما ذكرت من النظام فلتكن ا ممكنة وٮ غير ممكنة. فإذ كان الممكن فى وقت ما هو ممكنا يجوز أن يكون، وغير الممكن فى وقت ما هو غير ممكن لا يجوز أن يكون، وكانت ا ممكنة وٮ فى تلك الحال غير ممكنة، فإنه يمكن أن تكون ا من غير أن تكون ب. وإن أمكن أن تكون ا من غير أن تكون ٮ، فيجوز أن تصير ا إلى الوجود. لأن الشىء الذى كان فى وقت ما، كان هو موجودا. فينبغى أن يؤخذ الممكن وغير الممكن ليس فى الكون فقط، لكن وفى الحقيقة والوجود فى سائر أنحاء ما يقال عليه الممكن وغير الممكن، لأن جميع أنحائها فى ذلك واحد. وليس ينبغى أن يفهم من قولنا إنه إذا كانت ا موجودة فإن ٮ تكون موجودة أن ا شىء واحد، وأن هذا الشىء الواحد يوجد شيئا آخر، لأنه ليس يجب شىء بالضرورة عن وجود شىء أحد؛ ولكن أقل ما يمكن عن اثنين، مثل ما إذا كانت المقدمات على ما قيلت فى القياس، لأنه إن كانت ح مقولة على د، وء مقولة على ز ف ح مقولة على ز بالضرورة. وإن كانتا كلتاهما ممكنتين فإن النتيجة تكون ممكنة. وإن صير أحد المقدمتين ا والنتيجة ٮ، فانه ليس فقط إذا كانت ا اضطرارية تكون ٮ اضطرارية، لكن وإذا كانت ا ممكنة تكون ٮ ممكنة.

وإذ قد أتينا على ذلك فهو بين أنه إذا وضع كذب غير محال فإن الشىء الذى يعرض عن الموضوع يكون كذبا غير محال، مثل ما إن كانت ا كذبا غير محال، وبوجود ا توجد ٮ فإن ٮ أيضا كذب غير محال. فلأنه قد تبين أنه إذا كانت ا موجودة فتكون ٮ موجودة، وإذا كانت ا ممكنة تكون ٮ ممكنة. وموضوعنا أن ا ممكنة ف ٮ إذن ممكنة؛ لأنها إن كانت غير ممكنة يكون الشىء الواحد ممكنا وغير ممكن.

مخ ۱۵۱