وَالشَّرْطُ يَنْقَسِمُ إِلَى أَرْبَعَةِ أَقْسَامٍ: عَقْلِيٍّ، وَشَرْعِيٍّ، وَلُغَوِيٍّ، وَعَادِيٍّ.
فَالْعَقْلِيُّ: كَالْحَيَاةِ لِلْعِلْمِ، فَإِنَّ الْعَقْلَ هُوَ الَّذِي يَحْكُمُ بِأَنَّ الْعِلْمَ لَا يُوجَدُ إِلَّا بِحَيَاةٍ، فَقَدْ تَوَقَّفَ وُجُودُهُ عَلَى وُجُودِهَا عَقْلًا.
وَالشَّرْعِيُّ: كَالطَّهَارَةِ لِلصَّلَاةِ، فَإِنَّ الشَّرْعَ هُوَ الْحَاكِمُ بِأَنَّ الصَّلَاةَ لَا تُوجَدُ إلا بطهارة، فقط تَوَقَّفَ وُجُودُ الصَّلَاةِ عَلَى وُجُودِ الطَّهَارَةِ شَرْعًا.
وَاللُّغَوِيُّ: كَالتَّعْلِيقَاتِ، نَحْوَ إِنْ قُمْتَ قُمْتُ، وَنَحْوَ أَنْتِ طَالِقٌ إِنْ دَخَلْتِ الدَّارَ، فَإِنَّ أَهْلَ اللغة وضعوا هذا التركيب ليدل على أن مَا دَخَلَتْ عَلَيْهِ أَدَاةُ الشَّرْطِ هُوَ الشَّرْطُ، وَالْمُعَلَّقُ عَلَيْهِ هُوَ الْجَزَاءُ، وَيُسْتَعْمَلُ الشَّرْطُ اللُّغَوِيُّ في السبب الجعلي، كما يقال: إِنْ دَخَلْتِ الدَّارَ فَأَنْتِ طَالِقٌ، وَالْمُرَادُ: أَنَّ الدخول سبب الطلاق، يَسْتَلْزِمُ وُجُودُهُ وَجُودَهُ، لَا مُجَرَّدَ كَوْنِ عَدَمِهِ مُسْتَلْزِمًا لِعَدَمِهِ، مِنْ غَيْرِ سَبَبِيَّتِهِ، وَبِهَذَا صَرَّحَ الغزالي، والقرافي، وابن الحاجب، وشراح "كتابه"1.