الحكم في الشيء كالحكم في شبيهه . لكنّه إذا صار هذا الوجه من الاحتجاج مشهورا ومستعملا ، كان من العدل في المشهور أن يطالب المخاطب بإيراد الفرق بينهما ، وأمّا في الحقيقة فلا يلزم المخاطب ذلك ، لأنّه ليس يلزم في الحق أن يكون حكم الشيء كحكم شبيهه ، بل هذا ممكن أن يكون ، وممكن أن لا يكون ، فهو كنفس الدعوى . ( شجد ، 97 ، 3 ) حكم الأصل وحكم العكس - العكس يجوز أن يكون كالأصل ، فإنّه كما يكون لا شيء من الأبيض أسود أي ما دام أبيض ، فكذلك لا شيء من الأسود أبيض ما دام أسود . وكما أنّه لا شيء من الحجارة حيوان ، أي دائما ما دام موجودا ، فكذلك لا شيء من الحيوان بحجارة ما دام موجودا . فحكم الأصل كحكم العكس . ( شقي ، 77 ، 4 ) حكم أوّلي - من أراد أن لا يضلّ في معرفة أنّ الحكم أوّلي فيجب إذا كان الحكم مقارنا لمعان مختلفة أن يمتحن أوّلية الحكم بأن يرفع جملة المعاني إلّا واحدا منها ويبدّل ذلك الواحد دائما . فأما إذا ثبت وبطلت البواقي ثبت الحكم ؛ وإن ارتفع وإن بقيت البواقي - إن أمكن ذلك - ارتفع الحكم ، فالحكم له أوّلا . مثال هذا : مثلث متساوي الساقين من نحاس ، وهو أيضا شكل . فإذا رفعت تساوي الساقين وكونه من نحاس وأثبت المثلث ، وجدت كون ثلاث زوايا منه مساويا لقائمتين ثابتا . ولو أمكن أن يرتفع معنى الشكل ويبقى المثلث ، كان الحكم ثابتا ؛ ولكن إنّما لا يبقى لأنّ المثلث لا يبقى ، ثم إذا رفعت المثلث وبقي الشكل لم يبق هذا الحكم . فمن جانب تساوي الساقين وكونه من نحاس ، تجد الحكم ثابتا مع رفع الأمرين وإثبات المثلث . ومن جانب الشكل تجد الحكم مرتفعا مع وضع الأمرين ورفع المثلث ، فيجتمع من الإمتحانين أن الحكم كليّ للمثلث لا غير . ( شبر ، 94 ، 1 ) حكم بالايجاب الكلّي - الحكم بالإيجاب الكليّ على الموضوع الكليّ قولك في الحمليّات : كل إنسان حيوان ، فقد أوجبت الحيوانيّة على كل واحد مما يوصف بأنّه إنسان . ( شعب ، 45 ، 13 ) حكم بالسلب الكلّي - ( الحكم ) بالسلب الكليّ على الموضوع الكليّ قولك : ليس ولا واحد من الناس بحجر . ( شعب ، 46 ، 3 ) حكم بسيط - الحكم البسيط هو الذي يدل على أنّ شيئا موجودا لشيء أوليس بموجود له . ( شعب ، 42 ، 13 ) حكم حملي - إنّ الأحكام التي تناسب التصديق ثلاثة :