حاشية الملا عبدالله الشيخ صادق الكعبي

085

باب القياس الاستثنائي الانفصالي

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

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

قال المحشي: واعلم.. هاي.. راح المحشي هنا شنو يقدم؟ يقدم مقدمة ويقول شنو مرادنا بالشرطية المنفصلة التي نريدها هنا في الاستثنائي؟ نريد خصوص شرطية المنفصلة العنادية، كما أردنا بالشرطية المتصله في القياس الاتصالي اللزومية وليس الاتفاقية، لعين ما مر. ما مر شنو؟ أن الاتصالية اللزومية -أحسنتم- بها لزوم لازم وملزوم، يترتب عليه سلب الأعم، سلب الأخص، ثبوت الأخص لثبوت الأعم، وهكذا.

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

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

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

قانون مانعة الجمع ينتج من وضع جزء رفع الآخر، ولا ينتج برفع كل جزء وضع عين الآخر. هذه الأولى.

مانعة الخلو

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

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

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

إذا صار مانعة الجمع، قانونها وضع كل جزء ينتج رفع الآخر. مانعة الخلو بالعكس، رفع كل جزء ينتج منه شنو؟ وضع الآخر. نعم، انتهينا منها.

القضية الحقيقية

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

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

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

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

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

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

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

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

الحالة الثالثة: أما أن يكون هذا العدد زوج أو فرد، لكنه ليس بفرد، هذا استثناء نقيض التالي. إذا استثنيت نقيض التالي لازم يثبت أن عين المقدم -أحسنتم- إذاً فهو زوج، هذا فهو زوج عين المقدم، هاي.. هاي ثلاثة.

أربعة الحالة الرابعة: أما يكون هذا العدد زوج أو فرد، لكنه ليس بزوج، هذا منو نقيض مقدم؟ فهو فرد، ثبت أن عين التالي.

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

أمثلة مانعة الجمع ومانعة الخلو

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

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

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

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

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

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

قياس الخلف

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

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

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

أو قيل إنه.. قيل إنه سمي بدليل الخلف؛ لأنه ينتقل إلى النتيجة.. إلى صدق النتيجة من الخلف. يعني شنو من الخلف؟ يعني من النقيض، من النقيض، يعني إذا لم تصدق النتيجة لصدق نقيضها، يعني.. يعني إذا لم يصدق هذا الأصل صدق منو؟ نقيضه، وهذا النقيض هو خلف منو؟ خلفه، يعني خلف يعني ما وراء الأصل اللي يسموه ما وراءه، فلهذا سموه دليل الخلف؛ لأنه يصل إلى صدق النتيجة من الخلف، يعني شنو من الخلف؟ يعني من بع.. من وراء النقيض، فسموه بدليل الخلف. هاي هو رايين.

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

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