عرض کردیم برای اثبات مفهوم شرط قدما یک راهی طی کردند و متأخرین راه دیگری را دنبال نمودند. متأخرین همگی بر این باورند که اگر بخواهد جمله شرطیه مفهوم داشته باشد مبتنی بر این است که این جمله بر علیت منحصره دلالت کند تا با انتفاء علت، یعنی شرط، معلول، یعنی جزاء نیز منتفی شود. لکن اختلاف بین متأخرین در کیفیت استفاده علیت منحصره است یا به تعبیر دیگر اختلاف در افاده علیت منحصره توسط جمله شرطیه دارند. البته از میان متأخرین محقق عراقی راهی غیر از علیت منحصره را طی کرده که در پایان این بخش ذکر خواهیم کرد. اما قاطبه متأخرین که قائل به مفهوم شرط شدهاند، از راه علیت منحصره میخواهند مفهوم شرط را اثبات کنند.