قاعده «الواحد» از قواعد معروف فلسفی است که مورد پذیرش فیلسوفان قرار گرفته است امّا متکلّمانی همچون غزالی و فخر رازی این قاعده را نپذیرفته و در ردّ آن کوشیده اند. مهم ترین ادله بر اثبات قاعده از سوی بوعلی ارائه گردیده و پس از او نیز تلاش هایی در تقویت این ادله و پاسخ به اشکالات بر آن، صورت یافته است محقق اصفهانی نیز که قاعده الواحد را پذیرفته برای اثبات آن، استدلال هایی را سامان داده و با بهره گیری از وجوب بالغیر، امکان ماهوی و امکان وجودی (فقری) به اثبات قاعده پرداخته یا تقریرهای روشنی از آن به دست داده است در این دسته براهین با استفاده از اموری همچون وجوب و امکان، وجود هر گونه تعدد در ناحیه این امور را سبب تعدد در وجود علت و معلول یا حیثیت ها و اعتبارات مربوطه دانسته و آن را ناسازگار با وحدت شمرده است.تلاش این نوشتار ارائه تقریر روشنی از ادله ایشان است.
