Условные суждения

باب الشرطيات

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

Ты уже узнал, что такое условное суждение: то, которое распадается на два суждения. Теперь мы поведём тебя к его разновидностям и укажем тебе его правила. Знай же, проницательный и разумный, сообразительный и искусный [читатель], что условное суждение бывает двух разновидностей: первая — соединительное, вторая — разделительное. Соединительное — то, в котором выносится суждение: в утвердительном — что одно отношение имеет место при допущении, что имеет место другое отношение, а в отрицательном — что одно отношение отрицается при допущении, что отрицается другое отношение; как мы говорим в утвердительном: «Если Зайд — человек, то он — животное», а в отрицательном: «Вовсе никогда не бывает так, что если Зайд — человек, то он — лошадь». Далее, соединительное бывает двух разновидностей. Если это суждение выносится из-за связи (аляка) между антецедентом и консеквентом, оно называется необходимым (лузумийя), как в только что приведённом [примере]; если же это суждение выносится без связи, оно называется случайным (иттифакийя), как когда ты говоришь: «Если человек разумен, то осёл ревёт». Связь в их употреблении означает одно из двух: либо одно из двух — причина другого или оба — следствия третьего; либо между ними есть связь соотносительности (тадаюф). Соотносительность — это когда понимание одного из двух зависит от понимания другого, как отцовство и сыновство. Поэтому если ты говоришь: «Если Зайд — отец Амра, то Амр — его сын», это соединительное условное суждение, между двумя сторонами которого есть связь соотносительности. Разделительное — то, в котором выносится суждение: в утвердительном — что две вещи несовместимы, а в отрицательном — что несовместимость между ними отрицается.

al-Mirqāt · с. 29

فصل

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

Разделительное условное суждение бывает трёх разновидностей. Если в нём выносится суждение о несовместимости двух отношений или о её отсутствии и в истинности, и в ложности вместе, разделительное суждение — настоящее (хакикийя), как ты говоришь: «Это число либо чётное, либо нечётное»: чётность и нечётность не могут ни сойтись в определённом числе, ни обе отсутствовать. Если суждение о несовместимости или о её отсутствии выносится только в истинности, оно исключает совместность (маниат аль-джам), как когда ты говоришь: «Эта вещь либо дерево, либо камень»: определённая вещь не может быть сразу камнем и деревом, но может не быть ни тем, ни другим. Если суждение о несовместимости или о её отрицании выносится только в ложности, оно исключает отсутствие обеих (маниат аль-хулувв), как когда кто-то говорит: «Зайд либо в море, либо не тонет»: чтобы обеих не было — чтобы Зайд был не в море и тонул, — невозможно; а чтобы обе были вместе — чтобы он был в море и не тонул, — не невозможно.

al-Mirqāt · с. 30

فصل

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

Разделительное суждение во всех трёх своих разновидностях делится ещё на две: противопоставительное (инадийя) и случайное (иттифакийя). Противопоставительное — то, в котором несовместимость двух частей обусловлена самими частями; случайное — то, в котором несовместимость возникает лишь по совпадению.

al-Mirqāt · с. 31

فصل

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

Знай, что как категорическое суждение делится на единичное, количественно определённое и неопределённое, так и условное делится на те же разновидности; только естественное суждение (табиийя) здесь немыслимо. В условном суждении положения (такадир) занимают место индивидов в категорическом. Если суждение выносится об одном определённом положении и особом состоянии, условное суждение называется единичным, как мы говорим: «Если ты придёшь ко мне сегодня, я окажу тебе почёт». Если суждение выносится обо всех положениях антецедента, оно называется общим, как «Всякий раз, когда солнце взошло, настал день». Если суждение выносится о некоторых положениях, оно частное, как в наших словах: «Иногда бывает, что если вещь — животное, то она — человек». Если же положения не упомянуты — ни все, ни некоторые, — оно неопределённое, как «Если Зайд — человек, то он — животное».

al-Mirqāt · с. 31

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

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

Квантор общеутвердительного в соединительном — слово «мата» («когда»), «махма» («когда бы ни») или «куллама» («всякий раз, когда»), а в разделительном — «даиман» («всегда»). Квантор общеотрицательного в соединительном и в разделительном — «ляйса аль-баттата» («вовсе никогда»). Квантор частноутвердительного в обоих — «кад якуну» («иногда бывает»). Квантор частноотрицательного в обоих — «кад ля якуну» («иногда не бывает»), а также частица отрицания, поставленная перед квантором общеутвердительного. Слова «ляу» («если бы»), «ин» («если») и «иза» («когда») в соединении и «имма» («либо») и «ау» («или») в разделении употребляются в неопределённых [условных суждениях].

al-Mirqāt · с. 31

فصل

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

В двух сторонах условного суждения — я имею в виду антецедент и консеквент — нет вынесения суждения, пока они его стороны; после разложения в них можно усмотреть суждение. Поэтому две его стороны либо подобны двум категорическим суждениям, либо двум соединительным, либо двум разделительным, либо они смешанные. Найти примеры — твоё дело.

al-Mirqāt · с. 32