فَصْلٌ فِي القِياسِ
القِياسُ قَوْلٌ مُؤَلَّفٌ مِنْ قَضايا يَلْزَمُ لِذاتِهِ قَوْلٌ آخَرُ، فَإِنْ كانَ مَذْكُورًا فِيهِ بِمادَّتِهِ وَهَيْئَتِهِ فَاسْتِثْنائِيٌّ، وَإِلّا فَاقْتِرانِيٌّ، حَمْلِيٌّ أَوْ شَرْطِيٌّ. وَمَوْضُوعُ المَطْلُوبِ مِنَ الحَمْلِيِّ يُسَمّى أَصْغَرَ، وَمَحْمُولُهُ أَكْبَرَ، وَالمُكَرَّرُ أَوْسَطَ، وَما فِيها الأَصْغَرُ الصُّغْرَى، وَالأَكْبَرُ الكُبْرَى، وَالهَيْئَةُ شَكْلًا.
تَهْذِيبُ المَنْطِقِ · ص 11