العتق، وإن لم يجب العتق وجبت الكفارة، وإن لم تجب الكفارة وجب العتق، فاستثناء عينِ كلٍّ منهما يستلزم نقيض الآخر، واستثناء نقيضِ كلٍّ منهما يستلزم عين الآخر، كما إذا قيل: إن كان شفعًا لم يكن وترًا وإن كان وترًا لم يكن شفعًا، وإن لم يكن شفعًا كان وترًا وإن لم يكن وترًا كان شفعًا.
وإذا كان كذلك: امتنع في مثل هذا أَنْ يُجعل عدمُ كلٍّ منهما علةً لوجود الآخر، أو وجود كل منهما علة للآخر، لأنَّ العلة تتقدم المعلول، فلا يوجد أحدهما إلا في حال عدم الآخر، فلا يكون متقدمًا عليه، ولا يعدم أحدهما إلا في حال وجود الآخر، فلا يكون متقدمًا عليه (¬١).
فإذا قلنا: عدم هذا علةُ وجود ذاك، وعدم ذاك علة وجود هذا = كان وجود ذاك بعدَ عَدَمِ هذا وعَدَمُ هذا قبل وجود ذاك، وكان وجودُ هذا بعد عدم ذاك وعدم ذاك قبل وجود هذا.
ومعلومٌ أَنَّ وجود كلٍّ منهما وعدم الآخر متلازمان، لا يسبق أحدهما الآخر، وحينئذٍ؛ فإذا جُعِلَ وجودُ ذاك بعد عدم هذا وعدم هذا مع وجود ذاك، فقد جعل وجود الشيء بعد وجوده، وقيل: إنه لا يوجد حتى يوجد.
وقوله: (إذا كان كل منهما معللًا] بعدم الآخر فليس هذا بدور، فإنَّ كلًا من الضدين مشروط بعدم الآخر) كلام من لم يفهم الدور [١٣١/ ب] الممتنع والجائز، والفرق بين العلة والشرط؛ فإن العلة غير الشرط، فإن الشرط يقارن المشروط، بخلاف العلة فإنها تتقدم المعلول (¬٢).