التوضيح في حل غوامض التنقيح

ونفرضه وجود بكر فعدم عمرو يتوقف على وجود بكر وقد فرضناه وجود زيد متوقفا على عدم عمرو فيلزم توقف وجود زيد على وجود بكر على تقدير وجود جميع الموجودات التي يفتقر إليها زيد هذا خلف وإذا ثبت القضية المذكورة يلزم أنه كلما عدم زيد لا يكون عدمه إلا بعدم شيء من تلك الموجودات ثم هكذا الواجب فيثبت على تقدير افتقار وجود كل ممكن إلى شيء يجب ذلك الممكن عنده دخول ما ليس بموجود ولا معدوم في جملة ما يجب عنده وجود الحادث فإن قيل لا يثبت هذا الأمر على ذلك التقدير لأنه يراد بالمعدوم نقيض الموجود فالأمر الذي يسمونه حالا داخل في أحد النقيضين ضرورة

صفحة ٣٤٢