كتاب نفائس الأصول في شرح المحصول

على ثبوت ما يلازمه، وانتفاء ما يعانده، والملازمة والمعاندة قد تكون باعتبار نفس الذات، أو باعتبار النظر إلى أمر خارج.

والملازمه الذاتية: هي الملازمة بين الشيء وأجزاء ماهيته من الجنس، والفصل، وأعراضه، وتوابع وجوده الثابتة له من حيث هو ذلك الشيء، ويرجع ذلك إلى السبب، والشرط، ويدخل فيه الكل، والجملة، ودليل الحصر فيها وجوب ثبوت الحكم بتقدير استجماعهما لولا المعاند مع فرض عدم كل ما عداها، والتي هي بالنظر إلى أمر آخر هي التي لابد في جهة ملازمتها من توسط بعض اللوازم الذاتية، وإذا فهم هذا في طرف التلازم فهو في طرف التعاند.

أعني: الفرق بينهما هو بالذات، وبين ما هو بالتوسط.

ثم إذا كان النظم في ثبوت مثل حكم النقل في محل آخر، فلا يتصور ذلك إلا بثبوت ما هو مبناه في محل النقل فيه، وطريقة التفصيل للتوصل إلى معرفته عينًا، بما هو قيوده، وأوصافه، ثم معرفة وجوده في محل النظر.

والإجمالي: أن بين إنما هو الفارق بين الصورتين، لا أثر له في الفرق في الحكم، فيلزم منه الاشتراك في المبني، ومن ضرورته الاشتراك في الحكم، وأن بين له لازم آخر من أثره أو غيره، فيلزم من اشتراكهما من ذلك اللازم اشتراكهما في المبني، إذا أثبت اللازم في الحكمين، وجودًا، وعدمًا، فمن ضرورية التنافي بين وجود أحدهما، ونفي الآخر. وعند هذا يفرع التصرف المعنوي، وينتقل إلى صيغ التحرير، فيمكن أن يرد إلى نمط القياس، وإلى نمط التلازم، وإلى نمط التعاند، ثم لكل واحد من هذه الأقسام صيغة مخصوصة، ومعنية مخصوص.

فأما نمط القياس، فصيغته المصطلح عليها: