تناقض

فصل

وإذْ قد فَرَغْنا عن بَيانِ القَضايا وذِكْرِ أقْسامِها الأوَّلِيَّةِ والثّانَوِيَّةِ، فحانَ لَنا أنْ نَذْكُرَ شَيْئًا مِن أحْكامِها؛ فنَقُولُ: مِن أحْكامِها التَّناقُضُ والعُكُوسُ، فلْنَعْقِدْ لِبَيانِها فُصُولًا، ونَذْكُرْ فيها أُصُولًا.

اور جب ہم قضایا کے بیان اور ان کی اوّلی اور ثانوی قسموں کے ذکر سے فارغ ہو چکے، تو وقت آ گیا کہ ہم ان کے احکام میں سے کچھ ذکر کریں۔ پس ہم کہتے ہیں: ان کے احکام میں سے تناقض اور عکوس ہیں؛ لہٰذا ہم ان کے بیان کے لیے چند فصلیں قائم کرتے ہیں اور ان میں کچھ اصول ذکر کرتے ہیں۔

al-Mirqāt · ص 32

فصل

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

تناقض دو قضیوں کا ایجاب و سلب میں ایسا اختلاف ہے کہ وہ بذاتِ خود اس کا تقاضا کرے کہ ان میں سے ایک کا صدق دوسرے کا کذب ہو، یا اس کے برعکس، جیسے ہمارا قول: “زید کھڑا ہے” اور “زید کھڑا نہیں”۔ دو مخصوصہ قضیوں کے درمیان تناقض کے متحقق ہونے کی شرط آٹھ وحدتیں ہیں، جن کے بغیر وہ متحقق نہیں ہوتا: وحدتِ موضوع، وحدتِ محمول، وحدتِ مکان، وحدتِ زمان، وحدتِ قوت و فعل، وحدتِ شرط، وحدتِ جز و کل، اور وحدتِ اضافت۔ یہ ان دو شعروں میں جمع ہو گئی ہیں، شعر: “در تناقض هشت وحدة شرط دان * وحدة موضوع ومحمول ومكان وحدة شرط واضافت جزو وكل * قوة وفعل است در آخر زمان” پس اگر دونوں [قضیے] ان میں [سے کسی میں] مختلف ہوں تو متناقض نہیں ہوں گے، جیسے: “زید کھڑا ہے” اور “عمرو کھڑا نہیں”؛ “زید بیٹھا ہے” اور “زید کھڑا نہیں”؛ “زید موجود ہے”، یعنی گھر میں، اور “زید موجود نہیں”، یعنی بازار میں؛ “زید سویا ہوا ہے”، یعنی رات کو، اور “زید سویا ہوا نہیں”، یعنی دن کو؛ “زید متحرک الاصابع ہے”، یعنی اس کے کاتب ہونے کی شرط پر، اور “زید متحرک الاصابع نہیں”، یعنی اس کے کاتب نہ ہونے کی شرط پر؛ “مٹکے میں شراب نشہ آور ہے”، یعنی بالقوہ، اور “مٹکے میں شراب نشہ آور نہیں”، یعنی بالفعل؛ “زنگی سیاہ ہے”، یعنی پورا، اور “زنگی سیاہ نہیں”، یعنی اس کا جز، میری مراد اس کے دانت ہیں؛ “زید باپ ہے”، یعنی بکر کا، اور “زید باپ نہیں”، یعنی خالد کا۔ بعض نے دو وحدتوں، یعنی وحدتِ موضوع اور وحدتِ محمول، پر اکتفا کیا، کیونکہ باقی [وحدتیں] ان دونوں میں مندرج ہیں؛ اور بعض نے صرف وحدتِ نسبت پر قناعت کی، کیونکہ اس کی وحدت تمام وحدتوں کو مستلزم ہے۔

al-Mirqāt · ص 32

فصل

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

دو محصورہ قضیوں میں تناقض کے لیے ضروری ہے کہ دونوں قضیے کمیت، یعنی کلیت اور جزئیت، میں مختلف ہوں؛ پس جب ان میں سے ایک کلیہ ہو تو دوسرا جزئیہ ہوگا؛ کیونکہ دو کلیے دونوں جھوٹے ہو سکتے ہیں، جیسا کہ تم کہتے ہو: “ہر حیوان انسان ہے” اور “کوئی حیوان انسان نہیں”، اور دو جزئیے دونوں سچے ہو سکتے ہیں، جیسے تمہارا قول: “بعض حیوان انسان ہیں” اور “بعض حیوان انسان نہیں”؛ اور یہ ہر اس مادے میں ہوتا ہے جس میں موضوع اعم ہو۔ اور موجّہ قضایا کے تناقض میں جہت میں اختلاف ضروری ہے؛ پس ضروریہ مطلقہ کی نقیض ممکنہ عامہ ہے، دائمہ مطلقہ کی نقیض مطلقہ عامہ ہے، مشروطہ عامہ کی نقیض حینیہ ممکنہ ہے، اور عرفیہ عامہ کی نقیض حینیہ مطلقہ ہے؛ اور یہ بسیط موجّہات میں ہے۔ ان میں سے مرکبات کی نقیضیں ایک ایسا مفہوم ہیں جو ان کے بسائط کی دو نقیضوں کے درمیان مردّد ہو؛ اور تفصیل فن کی مطوّلات میں تلاش کی جائے۔

al-Mirqāt · ص 33

فصل

ويُشْتَرَطُ في أخْذِ نَقائِضِ الشَّرْطِيّاتِ الاتِّفاقُ في الجِنْسِ والنَّوْعِ، والمُخالَفَةُ في الكَيْفِ؛ فنَقِيضُ المُتَّصِلَةِ اللُّزُومِيَّةِ المُوجَبَةِ سالِبَةٌ مُتَّصِلَةٌ لُزُومِيَّةٌ، ونَقِيضُ المُنْفَصِلَةِ العِنادِيَّةِ المُوجَبَةِ سالِبَةٌ مُنْفَصِلَةٌ عِنادِيَّةٌ، وهٰكَذا؛ فإذا قُلْتَ: «دائِمًا كُلَّما كانَ ا ب فـج د» كانَ نَقِيضُهُ «لَيْسَ كُلَّما كانَ ا ب فـج د»، وإذا قُلْتَ: «دائِمًا إمّا أنْ يَكُونَ هذا العَدَدُ زَوْجًا أو فَرْدًا» فنَقِيضُهُ «لَيْسَ دائِمًا إمّا أنْ يَكُونَ هذا العَدَدُ زَوْجًا أو فَرْدًا».

شرطیات کی نقیضیں لینے میں شرط ہے کہ جنس [یعنی متصلہ یا منفصلہ ہونے] اور نوع [یعنی لزومیہ، عنادیہ وغیرہ ہونے] میں اتفاق ہو اور کیفیت میں اختلاف؛ پس موجبہ متصلہ لزومیہ کی نقیض سالبہ متصلہ لزومیہ ہے، اور موجبہ منفصلہ عنادیہ کی نقیض سالبہ منفصلہ عنادیہ ہے، اور اسی طرح [باقی]۔ پس جب تم کہو: “ہمیشہ جب بھی (ا) (ب) ہو تو (ج) (د) ہے”، تو اس کی نقیض ہوگی: “ایسا نہیں کہ جب بھی (ا) (ب) ہو تو (ج) (د) ہو”؛ اور جب تم کہو: “ہمیشہ یہ عدد یا جفت ہوتا ہے یا طاق”، تو اس کی نقیض ہے: “ایسا نہیں کہ ہمیشہ یہ عدد یا جفت ہو یا طاق”۔

al-Mirqāt · ص 34