فصل
في الاستدلالِ الذي يُحَقَقُ به المعنى
اعلم أن الاستدلالَ الذي يُحَقَقُ به المعنى (١): هو الاستدلالُ الذي يُستشهد فيه على المعنى بالأصلِ على الفرع ليُعلمَ أحق هو أم باطل؟ فإذا شَهِدَ الأصلُ بفرع وكان (٢) الأصلُ حقا وَأنه يشهدُ بحق، أنتجَ عن ذلك أن شهادتَه حق، وإذا كان الأصلُ باطلًا وأنه يشهدُ بحق، أنتجَ عن ذلك أن شهادتَه تلزمُ منه أنه يجبُ على القائلِ به أن لا يُفرقَ بين الأصلِ والفرعِ، فيقولَ بأحدِهما ولا يقولَ بالأخرِ؛ لأن الأصلَ إذا كان عنده حقًا، وكان الحق لا يشهدُ إلا بحق، لم يَجُزْ لهُ إنكارُ شهادتِه مع الِإقرارِ بعدالتِه، وذلك أنه لو أعطى الخصمَ: أن كلُّ فاعلٍ جسم، وكل جسمٍ مؤلَف، ثم منعَ من فرعِ هذا الأصلِ، فقال: وليس كلُّ فاعل مؤلَّفاً، كان مناقضاً ولم يصح له اعتلال في التَفرقَةِ بين الأمرين أصلًا.
فصل
في الاستدلالِ بالمثالِ الذي يُرد إليه المعنى
اعلم أن الاستدلالَ بالمثالِ الذي يُرد إليه المعنى على ضَرْبَينِ:
أحدهما: صورةٌ دائرةٌ في جميعِ التصاريفِ يُستَدَل بها على بَحْثِ ما فيها مما كان خارجاً عنها، وهي التي تَضبِطُ البابَ حتى لا يدخلَ فيه ماليسَ منه، ولايخرجَ عنه ما هو منه.