(٧٥٧) و إذا كان المعلول مما قد كان، فعلّته قد كانت. فيجب أن يؤخذ فى البرهان على أن كذا كان، ما كان من العلل قد كان فيما مضى؛ و لما هو فى الحال كذا، ما كان من العلل فى الحال؛ و الذى يريد أن يكون، ما كان من العلل يريد أن يكون. و هذه فى الأشياء التى عللها تكون عللا بالفعل. فأما إذا كان بعض العلل مما يوجد ذاتا و ليس بعد علة بالفعل، فلا يمكن أن يبرهن به، بل يستدلّ عليه. و لا يوضع أمثال ذلك حدودا وسطى، بل حدودا كبرى. و كذلك فى الكائنات: مثل أنه ليس إذا كان ذات الأب موجودا وجب أن يكون الابن موجودا؛ و ليس إذا كانت النطفة موجودة، وجب أن يكون الجنين موجودا؛ و ليس إذا كان الحائط موجودا، وجب أن يكون السقف موجودا. بل الأمور بالعكس. فهاهنا يجب أن تؤخذ- لا هى على معلولاتها- بل معلولاتها عليها على سبيل الاستدلال: فيقال إن السقف موجود فالحائط موجود به؛ و إن السقف قد كان، فالحائط قد كان، و إن السقف يريد أن يكون، فالحائط يريد أن يكون. و كذلك فى الأب و الابن. و بالجملة هذا يكون فى الفاعل و المادة، فإنهما يتقدمان على المعلول فى الزمان بالذات كثيرا، لأنهما قد يكونان علتين بالفعل، و قد يكونان علتين بالقوة. و إذا كانتا علتين بالقوة و وضعا فى حدود وسطى، لم يجب أن يكون المعلول حدا أكبر.

(٧٥٧) هرگاه معلول در گذشته بوده باشد، قطعا علتش در گذشته بوده است. بنابراين واجب است در برهان [علّت‌] به صورت گذشته اخذ شود، يعنى علتى كه در گذشته بوده است؛ و براى آنچه در زمان حال علت است، علتى كه در زمان حال علت است اخذ شود؛ و براى آنچه كه در آينده خواهد شد، علتى كه در آينده خواهد بود اخذ شود. و اين امر در اشيايى است كه علت آن‌ها علت بالفعل است. امّا اگر علتى باشد كه ذاتش موجود است امّا علتيش هنوز بالفعل نيست، امكان ندارد كه از طريق آن برهان اقامه شود، بلكه مى‌توان براى اثبات آن دليل اقامه كرد.

و امثال چنين عللى حدود وسطى قرار داده نمى‌شود، بلكه حدود كبرى قرار داده مى‌شود. ٦٥٢ و چنين است در مورد كائنات: مثل اين‌كه واجب نيست كه هرگاه پدر موجود