Home / Instemmingen / Disjunctieve voorwaardelijke propositie

Op slot

Disjunctieve voorwaardelijke propositie المُنْفَصِلَة

Instemmingen · Proposities · 8 van 10

Disjunctieve voorwaardelijke propositie

al-munfaṣila

المُنْفَصِلَة

Een oordeelt dat twee elkaar wel of niet uitsluiten.

Concept · nog niet nagekeken

Uitleg

“Een getal is óf even óf oneven.”

Ook geschreven als: of-of-bewering.

In de tekst

وَهِيَ إِمَّا حَمْلِيَّةٌ كَقَوْلِنَا: زَيْدٌ كَاتِبٌ، وَإِمَّا شَرْطِيَّةٌ مُتَّصِلَةٌ كَقَوْلِنَا: إِنْ كَانَتِ الشَّمْسُ طَالِعَةً فَالنَّهَارُ مَوْجُودٌ، وَإِمَّا شَرْطِيَّةٌ مُنْفَصِلَةٌ كَقَوْلِنَا: الْعَدَدُ إِمَّا أَنْ يَكُونَ زَوْجًا أَوْ فَرْدًا.Ze is ofwel categorisch, zoals “Zayd is een schrijver”; ofwel een verbindende voorwaardelijke propositie, zoals “Als de zon opgekomen is, is het dag”; ofwel een disjunctieve voorwaardelijke propositie, zoals “Een getal is even of oneven.”وَالْمُنْفَصِلَةُ إِمَّا حَقِيقِيَّةٌ كَقَوْلِنَا: الْعَدَدُ إِمَّا زَوْجٌ وَإِمَّا فَرْدٌ.De disjunctieve voorwaardelijke propositie is ofwel echt, zoals “Een getal is even of oneven.”وَهِيَ إِمَّا مَانِعَةُ الْجَمْعِ وَالْخُلُوِّ مَعًا كَمَا ذَكَرْنَا، وَإِمَّا مَانِعَةُ الْجَمْعِ فَقَطْ كَقَوْلِنَا: هَذَا الشَّيْءُ إِمَّا أَنْ يَكُونَ شَجَرًا أَوْ حَجَرًا، وَإِمَّا مَانِعَةُ الْخُلُوِّ فَقَطْ كَقَوْلِنَا: زَيْدٌ إِمَّا أَنْ يَكُونَ فِي الْبَحْرِ، وَإِمَّا أَنْ لَا يَغْرَقَ.Ze sluit ofwel uit dat beide samen voorkomen én dat beide ontbreken, zoals in het voorbeeld hierboven; ofwel sluit ze alleen uit dat beide samen voorkomen, zoals “Dit ding is een boom of een steen”; ofwel sluit ze alleen uit dat beide ontbreken, zoals “Zayd is in de zee of hij verdrinkt niet.”وَقَدْ تَكُونُ الْمُنْفَصِلَاتُ ذَوَاتِ أَجْزَاءٍ كَقَوْلِنَا: الْعَدَدُ إِمَّا زَائِدٌ أَوْ نَاقِصٌ أَوْ مُسَاوٍ.Een disjunctieve voorwaardelijke propositie kan meer dan twee delen hebben, zoals “Een getal is overvloedig, gebrekkig of volmaakt.”وَإِمَّا مِنَ الْمُنْفَصِلَتَيْنِ كَقَوْلِنَا: كُلُّ عَدَدٍ إِمَّا زَوْجٌ أَوْ فَرْدٌ، وَكُلُّ زَوْجٍ فَهُوَ إِمَّا زَوْجُ الزَّوْجِ أَوْ زَوْجُ الْفَرْدِ، يُنْتِجُ: كُلُّ عَدَدٍ إِمَّا فَرْدٌ أَوْ زَوْجُ الزَّوْجِ أَوْ زَوْجُ الْفَرْدِ.ofwel uit twee disjunctieve voorwaardelijke proposities, zoals “Elk getal is even of oneven, en elk even getal is even-even of oneven-even”, wat oplevert: “Elk getal is oneven, even-even of oneven-even”;وَإِمَّا مِنْ حَمْلِيَّةٍ وَمُنْفَصِلَةٍ، كَقَوْلِنَا: كُلُّ عَدَدٍ إِمَّا زَوْجٌ أَوْ فَرْدٌ، وَكُلُّ زَوْجٍ فَهُوَ مُنْقَسِمٌ بِمُتَسَاوِيَيْنِ، يُنْتِجُ: كُلُّ عَدَدٍ إِمَّا فَرْدٌ أَوْ مُنْقَسِمٌ بِمُتَسَاوِيَيْنِ؛ofwel uit een categorische propositie en een disjunctieve voorwaardelijke propositie, zoals “Elk getal is even of oneven, en elk even getal is te delen in twee gelijke delen”, wat oplevert: “Elk getal is oneven of te delen in twee gelijke delen”;أَوْ مِنْ مُتَّصِلَةٍ وَمُنْفَصِلَةٍ، كَقَوْلِنَا: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ حَيَوَانٌ، وَكُلُّ حَيَوَانٍ فَهُوَ إِمَّا أَبْيَضُ أَوْ أَسْوَدُ، يُنْتِجُ: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ إِمَّا أَبْيَضُ أَوْ أَسْوَدُ.ofwel uit een verbindende voorwaardelijke propositie en een disjunctieve voorwaardelijke propositie, zoals “Telkens als dit een mens is, is het een dier; en elk dier is wit of zwart”, wat oplevert: “Telkens als dit een mens is, is het wit of zwart.”وَإِنْ كَانَتْ مُنْفَصِلَةً فَاسْتِثْنَاءُ عَيْنِ أَحَدِ الْجُزْءَيْنِ يُنْتِجُ نَقِيضَ التَّالِي، كَقَوْلِنَا: الْعَدَدُ إِمَّا زَوْجٌ أَوْ فَرْدٌ، لَكِنَّهُ زَوْجٌ، يُنْتِجُ: أَنَّهُ لَيْسَ بِفَرْدٍ، أَوْ لَكِنَّهُ فَرْدٌ، يُنْتِجُ: أَنَّهُ لَيْسَ بِزَوْجٍ، وَاسْتِثْنَاءُ نَقِيضِ أَحَدِهِمَا يُنْتِجُ عَيْنَ الثَّانِي.Is ze disjunctief, dan levert het bevestigen van het ene deel het tegenstrijdige van het andere op, zoals “Een getal is even of oneven; maar het is even”, wat oplevert: “Het is niet oneven”; of “maar het is oneven”, wat oplevert: “Het is niet even.” En het bevestigen van het tegenstrijdige van het ene deel levert het andere op.

Voorbeelden

العَدَدُ إِمَّا زَوْجٌ أَوْ فَرْدٌEen getal is óf even óf oneven

Verwante begrippen

Oefenen

Test jezelf op proposities.

Naar de oefening · 8 vragen

Test jezelf

3 vragen. Met 6 of meer van de 10 (twee sterren) gaat het volgende begrip open.

Vraag 1
Waarover oordeelt een disjunctieve voorwaardelijke propositie?
Vraag 2
Welke van deze is een disjunctieve voorwaardelijke propositie?
Vraag 3
Wat sluit het voorbeeld van al-Abharī, “Dit ding is een boom of een steen”, uit?
هَذَا الشَّيْءُ إِمَّا أَنْ يَكُونَ شَجَرًا أَوْ حَجَرًا

Volgende: Tegenspraak التَّنَاقُض