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

ــــــــــــــــــ - الشرح - ــــــــــــــــــ

(فَصْلٌ فِي التَّنَاقُضِ) يعني: في تعريفه وأحكامه، [وقدمه على العكس لأنه يعم سائر القضايا] يعني يدخل كل القضايا السابقة الأربعة: الحملية، والشرطية كذلك.

[وهو لغةً: إثباتُ شيءٍ ورفعه]. يعني: زيدٌ لا زيد، قائم لا قائم، أبيض لا أبيض، هذا المراد بالتناقض هنا.

وأما في الاصطلاح، يعني: في اللغة عام يشمل الْجُمَلْ ويشمل المفردات والمركبات، فيدخل فيه الجمل الحملية والشرطية، وأما في الاصطلاح وهو الذي ذكره المصنف بقوله:

تَنَاقُضٌ خُلْفُ القَضِيَّتَيْنِ فِي ... كَيْفٍ وَصِدْقُ وَاحِدٍ أَمْرٌ قُفِي