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

وقوله: (إنما يكونان متناقضين إذا اتحد الوقت) - ممنوع، ولا يلزم من اتحاد الوقت التناقض.

وتقرير شروط التناقض أن نقول: قاعدة التناقض لها ثمانية شروط: اتحاد الموضوع احترازا من تعدده نحو: زيد قائم، عمر ليس بقائم.

واتحاد المحمول احترازا من قولنا: [زيد قائم]، زيد ليس بقائم.

ووحدة الزمان احترازا من قولنا: زيد قائم يوم الجمعة ليس قائما يوم الخميس.

ووحدة المكان احترازا من قولنا: زيد قائم في الدار ليس قائما في السوق.

ووحدة الإضافة احترازا من قولنا: زيد أبو عمرو ليس أبا خالد.

واتحاد الجزء والكل احترازا من قولنا: الزنجي أسود، ويريد جلده، وليس بأسود يريد أسنانه.

واتحاد القوة والفعل احترازا من قولنا: الخمر مسكرة بالقوة ليس مسكرة بالفعل.

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

فجميع هذه المثل الثمانية ليس فيها تناقض.

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

وإذا تقررت هذه القاعدة ظهر أنه لا يلزم من اتحاد الزمان حصول التناقض.