Şartlı önermeler

باب الشرطيات

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

Şartlı önermenin ne olduğunu, yani iki önermeye ayrışan önerme olduğunu öğrenmiştin. Şimdi seni onun kısımlarına yöneltecek ve hükümlerine irşat edeceğiz. Öyleyse bil ey zeki ve anlayışlı, keskin zekâlı ve mahir [okuyucu], şartlı önerme iki kısımdır: birincisi muttasıl, ikincisi munfasıldır. Muttasıl, mûcibede bir nisbetin başka bir nisbetin sabit olması takdirinde sabit olduğuna, sâlibede ise bir nisbetin başka bir nisbetin olumsuzlanması takdirinde olumsuzlandığına hükmedilen önermedir; mûcibede “Zayd insansa hayvandır”, sâlibede “Asla değildir ki Zayd insan olduğunda at olsun” sözümüz gibi. Sonra muttasıl iki çeşittir: bu hüküm mukaddem ile tâlî arasındaki bir alâka sebebiyle ise, az önce geçtiği gibi, lüzûmiyye (lüzûmî) diye adlandırılır; bu hüküm alâka olmaksızın ise ittifâkiyye (ittifâkî) diye adlandırılır; “İnsan nâtıksa eşek anırır” demen gibi. Onların ıstılahında alâka iki şeyden biridir: ya ikisinden biri diğerinin illetidir ya da ikisi de üçüncü bir şeyin ma'lûlüdür; ya da aralarında tezâyüf (karşılıklı izafet) alâkası vardır. Tezâyüf, ikisinden birinin akledilmesinin diğerinin akledilmesine bağlı olmasıdır; babalık ve oğulluk gibi. Dolayısıyla “Zayd ʿAmr'ın babasıysa ʿAmr onun oğludur” dediğinde, bu, iki tarafı arasında tezâyüf alâkası bulunan muttasıl bir şartlı önerme olur. Munfasıl ise mûcibede iki şey arasında bağdaşmazlık (tenâfî) bulunduğuna, sâlibede de aralarındaki bağdaşmazlığın olumsuzlandığına hükmedilen önermedir.

al-Mirqāt · s. 29

فصل

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

Munfasıl şartlı önerme üç çeşittir. Çünkü onda iki nisbet arasında doğrulukta ve yanlışlıkta birlikte bağdaşmazlığa ya da bağdaşmazlığın yokluğuna hükmedilmişse munfasıl hakikiyye (hakikî) olur; “Bu sayı ya çifttir ya da tektir” demen gibi: belirli bir sayıda çiftlik ile teklik ne bir araya gelebilir ne de ikisi birlikte ortadan kalkabilir. Bağdaşmazlığa ya da yokluğuna yalnızca doğrulukta hükmedilmişse mâniatü'l-cem' (birlikte bulunmayı dışlayan) olur; “Bu şey ya ağaçtır ya da taştır” demen gibi: belirli bir şeyin aynı anda hem taş hem ağaç olması mümkün değildir, fakat ikisinden hiçbiri olmaması mümkündür. Bağdaşmazlığa ya da olumsuzlanmasına yalnızca yanlışlıkta hükmedilmişse mâniatü'l-hulüv (birlikte yok olmayı dışlayan) olur; birinin “Zayd ya denizdedir ya da boğulmuyordur” demesi gibi: ikisinin birlikte ortadan kalkması, yani Zayd'ın denizde olmayıp boğulması muhaldir; fakat ikisinin bir araya gelmesi, yani denizde olup boğulmaması muhal değildir.

al-Mirqāt · s. 30

فصل

المُنْفَصِلَةُ بأقْسامِها الثَّلاثَةِ قِسْمانِ: عِنادِيَّةٌ واتِّفاقِيَّةٌ؛ والعِنادِيَّةُ عِبارَةٌ عن أنْ يَكُونَ فيها التَّنافِي بَيْنَ الجُزْأَيْنِ لِذاتِهِما، والاتِّفاقِيَّةُ عِبارَةٌ عن أنْ يَكُونَ فيها التَّنافِي بمُجَرَّدِ الاتِّفاقِ.

Munfasıl, üç kısmıyla birlikte, iki çeşittir: inâdiyye (inâdî) ve ittifâkiyye (ittifâkî). İnâdiyye, iki parça arasındaki bağdaşmazlığın bizzat iki parçanın kendisinden kaynaklandığı önermedir; ittifâkiyye ise bağdaşmazlığın sırf tesadüf (ittifak) eseri olduğu önermedir.

al-Mirqāt · s. 31

فصل

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

Bil ki hamlî önerme şahsiyye, mahsûre ve mühmeleye ayrıldığı gibi, şartlı önerme de bu kısımlara ayrılır; ancak burada tabiiyye önerme tasavvur edilemez. Sonra şartlı önermede takdirler (durumlar), hamlî önermedeki fertler yerindedir. Hüküm belirli bir takdir ve hususi bir vaz' (durum) üzerine verilmişse şartlı önerme şahsiyye diye adlandırılır; “Bugün bana gelirsen sana ikram ederim” sözümüz gibi. Hüküm mukaddemin bütün takdirleri üzerine verilmişse küllî diye adlandırılır; “Ne zaman güneş doğmuşsa gündüz mevcuttur” gibi. Hüküm bazı takdirler üzerine verilmişse cüzî olur; “Bazen bir şey hayvan olduğunda insandır” sözümüzde olduğu gibi. Takdirlerin, bütün ya da bazı olarak, zikri bırakılmışsa mühmele olur; “Zayd insansa hayvandır” gibi.

al-Mirqāt · s. 31

فصل في ذكر أسوار الشرطيات

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

Muttasılda küllî mûcibenin sûru “metâ” (“ne zaman”), “mehmâ” (“her ne vakit”) ya da “küllemâ” (“her ne zaman”) lafzıdır; munfasılda ise “dâimen”dir (“daima”). Muttasılda ve munfasılda küllî sâlibenin sûru “leyse'l-bettete”dir (“asla değil”). İkisinde de cüzî mûcibenin sûru “kad yekûnu”dur (“bazen olur”). İkisinde de cüzî sâlibenin sûru “kad lâ yekûnu”dur (“bazen olmaz”); bir de küllî mûcibenin sûrunun başına olumsuzluk edatı getirmektir. Muttasılda “lev” (“eğer … olsaydı”), “in” (“eğer”) ve “izâ” (“… olduğunda”), munfasılda da “immâ” (“ya”) ve “ev” (“ya da”) lafızları mühmelede kullanılır.

al-Mirqāt · s. 31

فصل

طَرَفا الشَّرْطِيَّةِ ـ أعْنِي المُقَدَّمَ والتّالِيَ ـ لا حُكْمَ فيهما حِينَ كَوْنِهِما طَرَفَيْنِ، وبَعْدَ التَّحْلِيلِ يُمْكِنُ أنْ يُعْتَبَرَ فيهما حُكْمٌ؛ فطَرَفاها إمّا شَبِيهَتانِ بحَمْلِيَّتَيْنِ، أو مُتَّصِلَتَيْنِ، أو مُنْفَصِلَتَيْنِ، أو مُخْتَلِفَتَيْنِ. عَلَيْكَ باسْتِخْراجِ الأمْثِلَةِ.

Şartlı önermenin iki tarafında, yani mukaddem ile tâlîde, taraf oldukları sürece hüküm yoktur; tahlilden sonra onlarda bir hüküm itibar edilebilir. Dolayısıyla iki tarafı ya iki hamlîye benzer, ya iki muttasıla, ya iki munfasıla, ya da farklıdır. Örnekleri çıkarmak sana kalmış.

al-Mirqāt · s. 32