Voorwaardelijke proposities

باب الشرطيات

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

Wat een voorwaardelijke propositie is, weet je al: een propositie die in twee proposities uiteenvalt. Nu wijzen we je de weg naar haar soorten en leiden we je naar haar regels. Weet dan, scherpzinnige en verstandige, schrandere en bekwame lezer, dat de voorwaardelijke propositie twee soorten heeft: de eerste is de verbindende, de tweede de disjunctieve. De verbindende is een propositie waarin geoordeeld wordt, bij de bevestigende, dat een relatie geldt als men aanneemt dat een andere relatie geldt, en bij de ontkennende, dat een relatie ontkend wordt als men aanneemt dat een andere relatie ontkend wordt; zoals we bij de bevestigende zeggen: “Als Zayd een mens is, is hij een dier”, en bij de ontkennende: “Nooit: als Zayd een mens is, is hij een paard.” Verder is de verbindende er in twee soorten. Wordt dat oordeel geveld vanwege een verband tussen het antecedent en het consequent, dan heet ze een verbindende met vaste samenhang, zoals [in het voorbeeld] dat zojuist gegeven is; wordt dat oordeel geveld zonder verband, dan heet ze toevallig, zoals in “Als de mens redelijk is, balkt de ezel.” In hun spraakgebruik betekent verband een van twee dingen: ofwel is het ene de oorzaak van het andere, of zijn beide het gevolg van een derde; ofwel bestaat er tussen beide het verband van wederzijdse betrokkenheid. Wederzijdse betrokkenheid is er wanneer het begrijpen van het ene afhangt van het begrijpen van het andere, zoals bij vaderschap en zoonschap. Zegt men dus: “Als Zayd de vader van ʿAmr is, is ʿAmr zijn zoon”, dan is dat een verbindende voorwaardelijke propositie met tussen haar twee kanten het verband van wederzijdse betrokkenheid. De disjunctieve is een propositie waarin geoordeeld wordt, bij een bevestigende, dat twee dingen onverenigbaar zijn, en bij een ontkennende, dat de onverenigbaarheid tussen beide ontkend wordt.

al-Mirqāt · p. 29

فصل

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

De disjunctieve voorwaardelijke propositie is er in drie soorten. Wordt daarin de onverenigbaarheid, of het ontbreken ervan, tussen de twee relaties geoordeeld in waarheid en in onwaarheid samen, dan is de disjunctieve echt, zoals in: “Dit getal is ofwel even ofwel oneven”; even en oneven kunnen niet samen voorkomen in een bepaald getal, en ook niet allebei ontbreken. Wordt de onverenigbaarheid, of het ontbreken ervan, alleen in waarheid geoordeeld, dan sluit ze uit dat beide samen voorkomen, zoals in: “Dit ding is ofwel een boom ofwel een steen”: een bepaald ding kan niet tegelijk een steen en een boom zijn, maar het kan wel geen van beide zijn. Wordt de onverenigbaarheid, of de ontkenning ervan, alleen in onwaarheid geoordeeld, dan sluit ze uit dat beide ontbreken, zoals wanneer iemand zegt: “Zayd is ofwel in de zee ofwel verdrinkt hij niet”: dat beide ontbreken – dat Zayd niet in de zee is en toch verdrinkt – is onmogelijk; maar dat beide samen voorkomen – dat hij in de zee is en niet verdrinkt – is niet onmogelijk.

al-Mirqāt · p. 30

فصل

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

De disjunctieve is in elk van haar drie soorten weer tweeërlei: met tegenstelling en toevallig. Bij de disjunctieve met tegenstelling komt de onverenigbaarheid tussen de twee delen voort uit de delen zelf; bij de toevallige berust de onverenigbaarheid op louter toeval.

al-Mirqāt · p. 31

فصل

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

Weet dat de voorwaardelijke propositie, net zoals de categorische verdeeld wordt in enkelvoudige, gekwantificeerde en onbepaalde, in dezelfde soorten verdeeld wordt; alleen is een natuurlijke propositie hier niet denkbaar. In de voorwaardelijke staan de situaties op de plaats van de individuen in de categorische. Wordt het oordeel geveld over één bepaalde situatie en een specifieke toestand, dan heet de voorwaardelijke enkelvoudig, zoals wanneer we zeggen: “Als je vandaag bij me komt, zal ik je eren.” Wordt het oordeel geveld over alle situaties van het antecedent, dan heet ze algemeen, zoals in “Telkens wanneer de zon opgekomen is, is het dag.” Wordt het geveld over sommige situaties, dan is ze particulier, zoals in onze uitspraak: “Soms, als iets een dier is, is het een mens.” Wordt de vermelding van de situaties, alle of sommige, weggelaten, dan is ze onbepaald, zoals in “Als Zayd een mens is, is hij een dier.”

al-Mirqāt · p. 31

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

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

De kwantor van de algemeen bevestigende propositie is in de verbindende het woord matā (“wanneer”), mahmā (“wanneer ook”) of kullamā (“telkens wanneer”), en in de disjunctieve dāʾiman (“altijd”). De kwantor van de algemeen ontkennende is in de verbindende en de disjunctieve laysa al-battata (“nooit”). De kwantor van de particulier bevestigende is in beide qad yakūnu (“soms”). De kwantor van de particulier ontkennende is in beide qad lā yakūnu (“soms niet”), en ook het plaatsen van het ontkenningspartikel vóór de kwantor van de algemeen bevestigende. De woorden law (“als het zo was”), in (“als”) en idhā (“wanneer”) bij de verbinding, en immā (“ofwel”) en aw (“of”) bij de disjunctie, komen voor in onbepaalde [voorwaardelijke proposities].

al-Mirqāt · p. 31

فصل

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

De twee kanten van een voorwaardelijke propositie – ik bedoel het antecedent en het consequent – bevatten geen oordeel zolang ze haar kanten zijn; na ontleding kan er een oordeel in beschouwd worden. Haar twee kanten lijken dus ofwel op twee categorische proposities, ofwel op twee verbindende, ofwel op twee disjunctieve, ofwel zijn ze gemengd. Het is aan jou de voorbeelden te vinden.

al-Mirqāt · p. 32