On the First and Second Proofs of the Eighteenth Discussion of Tahāfut al- Falāsifa