Tegenspraak

فصل

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

Nu we klaar zijn met de uitleg van de proposities en de vermelding van hun eerste en tweede indelingen, is het tijd om enkele van hun regels te noemen. We zeggen dus: tot hun regels horen de tegenspraak en de omkeringen. Laten we daarom paragrafen wijden aan de uitleg ervan en daarin enkele grondregels uiteenzetten.

al-Mirqāt · p. 32

فصل

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

Tegenspraak is het verschil van twee proposities in bevestiging en ontkenning, zo dat het uit zichzelf vereist dat de waarheid van de ene [samengaat met] de onwaarheid van de andere, of omgekeerd; zoals wanneer we zeggen: “Zayd staat” en “Zayd staat niet.” De voorwaarde voor tegenspraak tussen twee enkelvoudige proposities is acht eenheden; zonder die bestaat ze niet: eenheid van subject, eenheid van predicaat, eenheid van plaats, eenheid van tijd, eenheid van aanleg en daad, eenheid van voorwaarde, eenheid van deel en geheel, en eenheid van verhouding. Ze zijn samengebracht in deze twee versregels: “در تناقض هشت وحدة شرط دان * وحدة موضوع ومحمول ومكان وحدة شرط واضافت جزو وكل * قوة وفعل است در آخر زمان” [Weet dat acht eenheden een voorwaarde zijn voor tegenspraak: eenheid van subject, predicaat en plaats; eenheid van voorwaarde en verhouding, deel en geheel; aanleg en daad, en als laatste tijd.] Verschillen de twee in een van deze, dan spreken ze elkaar dus niet tegen, zoals “Zayd staat” en “ʿAmr staat niet”; “Zayd zit” en “Zayd staat niet”; “Zayd is aanwezig”, dat wil zeggen: in het huis, en “Zayd is niet aanwezig”, dat wil zeggen: op de markt; “Zayd slaapt”, dat wil zeggen: ’s nachts, en “Zayd slaapt niet”, dat wil zeggen: overdag; “Zayds vingers bewegen”, dat wil zeggen: op voorwaarde dat hij schrijft, en “Zayds vingers bewegen niet”, dat wil zeggen: op voorwaarde dat hij niet schrijft; “Wijn in de kruik bedwelmt”, dat wil zeggen: in aanleg, en “Wijn in de kruik bedwelmt niet”, dat wil zeggen: in daad; “De Zanjī [iemand uit Oost-Afrika] is zwart”, dat wil zeggen: hij als geheel, en “De Zanjī is niet zwart”, dat wil zeggen: een deel van hem, ik bedoel zijn tanden; “Zayd is vader”, dat wil zeggen: van Bakr, en “Zayd is geen vader”, dat wil zeggen: van Khālid. Sommigen namen genoegen met twee eenheden, de eenheid van subject en van predicaat, omdat de rest daarin begrepen is; en sommigen volstonden met alleen de eenheid van de relatie, omdat de eenheid daarvan alle eenheden meebrengt.

al-Mirqāt · p. 32

فصل

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

Voor tegenspraak tussen twee gekwantificeerde proposities moeten de twee verschillen in hoeveelheid, ik bedoel in algemeen en particulier zijn: is de ene algemeen, dan is de andere particulier. Want twee algemene kunnen allebei onwaar zijn, zoals in “Elk dier is een mens” en “Geen dier is een mens”; en twee particuliere kunnen allebei waar zijn, zoals in “Sommige dieren zijn mensen” en “Niet elk dier is een mens”. Dat gebeurt in elk geval waarin het subject algemener is. Voor tegenspraak tussen modale proposities moeten ze verschillen in modaliteit. Het tegenstrijdige van de absolute noodzakelijke is dus de algemene mogelijke; het tegenstrijdige van de absolute bestendige is de algemene absolute; het tegenstrijdige van de algemene conditionele is de mogelijke ‘terwijl’-propositie [die oordeelt over de tijd terwijl het subject de titelbeschrijving heeft]; en het tegenstrijdige van de algemene conventionele is de absolute ‘terwijl’-propositie. Dit geldt voor de enkelvoudige modale proposities. De tegenstrijdigen van de samengestelde zijn een begrip dat ofwel het tegenstrijdige van het ene, ofwel dat van het andere enkelvoudige [deel] is. De bijzonderheden moeten gezocht worden in de uitvoerige werken van het vak.

al-Mirqāt · p. 33

فصل

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

Bij het nemen van de tegenstrijdigen van voorwaardelijke proposities is de voorwaarde dat ze overeenkomen in geslacht [verbindend of disjunctief] en in soort [met vaste samenhang, met tegenstelling enzovoort], en verschillen in kwaliteit [bevestigend of ontkennend]. Het tegenstrijdige van een bevestigende verbindende met vaste samenhang is dus een ontkennende verbindende met vaste samenhang; het tegenstrijdige van een bevestigende disjunctieve met tegenstelling is een ontkennende disjunctieve met tegenstelling; enzovoort. Zegt men: “Altijd: telkens wanneer A B is, is J D”, dan is het tegenstrijdige ervan: “Niet telkens wanneer A B is, is J D”; en zegt men: “Altijd is dit getal ofwel even ofwel oneven”, dan is het tegenstrijdige ervan: “Niet altijd is dit getal ofwel even ofwel oneven”.

al-Mirqāt · p. 34