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