ان يعقل مع غيره اذ) نعلم بالضرورة انه (لا تضاد في التعقلات) فكل معقول يمكن ان يعقل مع كل واحد من سائر المعقولات و أيضا كل ما يعقل فانه لا ينفك عن صحة الحكم عليه بالامور العامة كالوحدة و الامكان و غيرهما و الحكم بين شيئين يستدعي تعقلهما معا فكل معقول يمكن ان يعقل مع غيره في الجملة و حينئذ (فيمكن ان يقارنه) أى المجرد (الماهية المجردة) أي الماهية الكائنة التى (للغير في العقل) لان التعقل عبارة عن حصول ماهية المعقول في العاقل فاذا تعقل المجرد مع ماهية غيره كانا معا حاصلين في العقل فيكون كل منهما مقارنا للآخر فيه فاذا أمكن ان يقارن ماهية الغير المجرد في العقل (فيمكن أيضا ان يقارنها) أى يقارن ماهية الغير ماهية المجرد (مطلقا) أي سواء كان المجرد موجودا في العقل أو في الخارج (اذ كونها) أي حصول ماهية المجرد (فى العقل ليس شرطا للمقارنة) المطلقة و صحتها (لانه لو كان شرطا) للمقارنة على الاطلاق و صحتها (لكان مقارنته) أى مقارنة المجرد (للعقل) التى هى أخص من مطلق المقارنة (مشروطة) أيضا (بكونها) أى بكون ماهية المجرد (في العقل) لان الاخص لا بد ان يكون مشروطا بما شرط به الاعم (و) حينئذ (يلزم الدور) لان كون ماهية المجرد في العقل هو عين مقارنته له المشروط به) و اذا لم يكن كون المجرد في العقل شرطا للمقارنة بينه و بين ماهية الغير جازت المقارنة بينهما اذا كان المجرد موجودا فى الخارج (و اذا جاز مقارنة) الماهية الكلية (المجردة) التى للغير (اياها) يعني ماهية المجرد حال كونها موجودة في الخارج (أمكن تعقلها) أي تعقل الماهية الكلية (له) أى للمجرد اذ لا معنى لتعقله للماهية الكلية الا مقارنة تلك الماهية له في وجوده الخارجى (و كل ما هو ممكن له فهو حاصل له بالفعل) دائما لما عرفت (فاذن هو عاقل لكل ما يغايره) من الكليات (بالفعل و هو المطلوب) و محصول الكلام ان المجرد يصح ان يكون معقولا اذ لا مانع فيه من تعقله و كل ما يصح ان يكون معقولا يصح ان يعقل مع كل واحد مما يغايره من المفهومات و كل ما أمكن ان يعقل مع غيره أمكن ان يقارن ماهيته ماهية غيره لان تعقل الشي‌ء عبارة عن حصول ماهيته في العقل ثم ان امكان مقارنة المعقول المجرد الماهية معقول آخر ليس متوقفا على حصول المجرد فى العقل لان حصوله فيه نفس المقارنة فلو توقف امكان المقارنة عليه كان امكان الشي‌ء متوقفا على وجوده و متأخرا عنه و انه محال و اذا لم يتوقف امكان المقارنة على وجود المجرد فى العقل‌