كتاب مفتاح العلوم

القسم الثالث - في الاستدلال الذي جملتاه خبريتان - ص: 445

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