Tenâkuz

فصل

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

Önermeleri açıklamayı ve onların birincil ve ikincil kısımlarını zikretmeyi bitirdiğimize göre, hükümlerinden bir kısmını zikretmenin vakti geldi. Deriz ki: hükümlerinden biri tenâkuz ve akslerdir (döndürmeler). Öyleyse bunları açıklamak için fasıllar açalım ve onlarda bazı temel ilkeler (usûl) zikredelim.

al-Mirqāt · s. 32

فصل

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

Tenâkuz, iki önermenin olumluluk ve olumsuzlukta, bizzat kendisi sebebiyle birinin doğruluğunun diğerinin yanlışlığını ya da bunun tersini gerektirecek şekilde farklı olmasıdır; “Zayd ayaktadır” ve “Zayd ayakta değildir” sözümüz gibi. Belirli iki önerme arasında tenâkuzun gerçekleşmesinin şartı sekiz vahdettir (birliktir); bunlar olmadan gerçekleşmez: konu vahdeti, yüklem vahdeti, mekân vahdeti, zaman vahdeti, kuvve ve fiil vahdeti, şart vahdeti, cüz ve kül vahdeti ve izafet vahdeti. Bunlar şu iki beyitte bir araya getirilmiştir, beyit: “در تناقض هشت وحدة شرط دان * وحدة موضوع ومحمول ومكان وحدة شرط واضافت جزو وكل * قوة وفعل است در آخر زمان” [Tenâkuzda sekiz vahdeti şart bil: konu, yüklem ve mekân vahdeti; şart ve izafet vahdeti, cüz ve kül; kuvve ve fiil, en sonda da zaman.] Dolayısıyla ikisi bunlarda farklı olursa birbirleriyle çelişmezler; “Zayd ayaktadır” ve “ʿAmr ayakta değildir”; “Zayd oturmaktadır” ve “Zayd ayakta değildir”; “Zayd mevcuttur”, yani evde, ve “Zayd mevcut değildir”, yani çarşıda; “Zayd uykudadır”, yani gece, ve “Zayd uykuda değildir”, yani gündüz; “Zayd'ın parmakları hareketlidir”, yani kâtip olması şartıyla, ve “Zayd'ın parmakları hareketli değildir”, yani kâtip olmaması şartıyla; “Küpteki şarap sarhoş edicidir”, yani bilkuvve, ve “Küpteki şarap sarhoş edici değildir”, yani bilfiil; “Zencî siyahtır”, yani tamamı, ve “Zencî siyah değildir”, yani bir parçası, demek istiyorum ki dişleri; “Zayd babadır”, yani Bakr'ın, ve “Zayd baba değildir”, yani Khālid'in, gibi. Bazıları iki vahdetle, yani konu ve yüklem vahdetiyle yetinmiştir; çünkü geri kalanlar bunlara dahildir. Bazıları ise yalnızca nisbet vahdetiyle kanaat etmiştir; çünkü onun vahdeti bütün vahdetleri gerektirir.

al-Mirqāt · s. 32

فصل

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

İki mahsûre önerme arasındaki tenâkuzda, iki önermenin nicelikte (kemm), yani küllîlik ve cüzîlikte, farklı olması zorunludur: biri küllî ise diğeri cüzî olur. Çünkü iki küllî birlikte yanlış olabilir; “Her hayvan insandır” ve “Hiçbir hayvan insan değildir” demen gibi; iki cüzî de birlikte doğru olabilir; “Bazı hayvan insandır” ve “Bazı hayvan insan değildir” demen gibi. Bu, konunun daha genel olduğu her maddede olur. Muvecchehe önermelerin tenâkuzunda da cihette farklılık zorunludur. Buna göre zarûriyye-i mutlakanın nakîzi mümkine-i âmme, dâime-i mutlakanın nakîzi mutlaka-i âmme, meşrûta-i âmmenin nakîzi hîniyye-i mümkine, örfiyye-i âmmenin nakîzi ise hîniyye-i mutlakadır. Bu, basit muvecchehelerde böyledir. Bunların mürekkeplerinin nakîzleri ise basitlerinin nakîzleri arasında gidip gelen (müreddet) bir mefhumdur. Tafsilat bu fennin mutavvel eserlerinde aranmalıdır.

al-Mirqāt · s. 33

فصل

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

Şartlı önermelerin nakîzlerini almada cinste [muttasıl ya da munfasıl olmakta] ve nevde [lüzûmî, inâdî vb. olmakta] uyuşmaları, keyfiyette ise farklı olmaları şart koşulur. Buna göre mûcibe lüzûmî muttasılın nakîzi sâlibe lüzûmî bir muttasıl, mûcibe inâdî munfasılın nakîzi sâlibe inâdî bir munfasıldır; diğerleri de böyledir. “Daima, her ne zaman A B ise C D'dir” dediğinde nakîzi “Değildir ki her ne zaman A B ise C D olsun” olur; “Daima bu sayı ya çifttir ya da tektir” dediğinde nakîzi “Değildir ki daima bu sayı ya çift ya da tek olsun” olur.

al-Mirqāt · s. 34