الحيوان في أنواعه، والإنسان في أنواعه فإنه صادق على جميع أنواعه (١)، ويقابله الجزئي كزيد، فهو: الكلي مع قيد زائد، وهو تشخيصه.
وأما الكلية فهي التي يكون فيها الحكم على كل فرد بحيث لا يبقى فرد، كقولنا: كل رجل يشبعه رغيفان غالبًا، [فإنه يصدق باعتبار الكلية، أي: كل رجل على حدته يشبعه رغيفان غالبًا] (٢) ولا يصدق باعتبار الكل أي المجموع من حيث هو مجموع، فإنه لا يكفيه رغيفان، ولا قناطير متعددة، لأن الكل والكلية مدرج فيهما الأشخاص الحاضرة والماضية والمستقبلة، وجميع ما في مادة الإمكان، وإنما الفرق بينهما: أن الكل يصدق من حيث المجموع، والكلية من حيثما الجميع، وفرق بين المجموع والجميع، فإن المجموع الحكم على الهيئة الاجتماعية، لا على الأفراد، والجميع على كل فرد فرد، ويقابلها الجزئية وهي الحكم على أفراد حقيقة من غير تعيين، كقولك: بعض الحيوان إنسان، فالجزئية بعض الكلية، إذا عرف هذا فمسمى العموم كلية؛ لأجل الاستدلال به على ثبوت الحكم للفرد المعين في الإثبات سواء كان خبرًا أو أمرًا، وفي السلب كان نفيًا أو نهيًا نحو إن جاء عبيدي وما خالفوا فأكرمهم ولا تهنهم.