فالقواعد المنطقية التي أحكام جزئيات موضوعاتها بديهية كالشكل الأول منتج داخلة في القانون بالقياس إلى بعض منها ومحتاجة إلى التنبيه بالنسبة إلى بعض الأذهان القاصرة، فلا يلزم خروجها عن المنطق المعرف بالقانون كما توهّمه البعض. وبالجملة فالقضية الكلّية التي ليست لها جزئيات لا يحتاج إلى استنباطها منها أصلا لا بطريق النظر ولا بطريق التنبيه لا تسمّى قانونا وأصلا، وما يكون لها جزئيات بديهية صرفة وجزئيات أخر ليست كذلك لا تسمّى قانونا بالقياس إلى الجزئيات البديهية الصرفة، وإنما قيّدنا الصغرى بكونها سهلة الحصول لكونها سهلة الحصول غالبا وقال بعض المحقّقين التقييد للتخصيص وإخراج كون القضية الكلّية أصلا وقانونا بالقياس إلى قضية جزئية مستنبطة منها ومن صغرى لا تكون سهلة الحصول فإنّها لا تسمّى أصلا وقانونا بالنسبة إليها وإنّه يظهر لمن تتبع موارد الاستعمالات أنّ القاعدة هي الكلّية التي يسهل تعرّف أحوال الجزئيات منها، فلا يقال كون النفي والإثبات لا يجتمعان ولا يرتفعان قاعدة بالنسبة إلى كون زوايا المثلث مساوية لقائمتين انتهى.
وقيل معنى التعريف المجمل قضية كلّية تشتمل على جزئيات تعتبر فيها باعتبار تحقّقها لا باعتبار تعلّقها، فخرجت الشرطيات إذ لا جزئيات لها والسوالب إذ لا تشتمل على الجزئيات المعتبرة في تحقّقها بناء على أنّ السالبة لا تستدعي وجود الموضوع، فالقانون لا يكون إلّا قضية كلّية حملية موجبة وإضافة الجزئيات إلى الأمر الكلّي مع أنّ الواضح إضافتها إلى موضوعها للدلالة على أنّ المراد الجزئيات بحسب نفس الأمر لأنّها جزئيات القضية بمعنى الجزئيات المعتبرة فيها دون الأعمّ الشامل للجزئيات الفرضية، وفيه تكلّفات. الأول أن يراد باشتمالها على الجزئيات أن يكون الحكم فيها على تلك الجزئيات. والثاني أن يراد بجزئياته الجزئيات المعتبرة في تحقّقها ولا دلالة للفظ عليه.
والثالث أنّه يستلزم أن لا يكون قولهم نقيضا المتساويين متساويان ونحوه قانونا لاشتمالهما على نقائض الأمور الشاملة نحو اللاشيء واللاممكن، وهي من الأمور الفرضية. والرابع أنّه يلزم أن لا تكون المسائل التي موضوعها
٢ / ١٢٩٦