The proposition and its kinds

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

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

Having finished with the defining statement, the author begins on the argument, which consists of propositions arranged so as to lead to an assent sought. A proposition is “a statement of which it can rightly be said to the one who says it that he speaks truly or falsely”; some call it a report (khabar). A statement (qawl) is what is composite, whether a composite utterance, as in the spoken proposition, or a composite concept in the mind, as in the mental proposition. It, that is, “statement”, is a genus [within the definition] that covers complete statements, incomplete statements and non-declarative statements. His words “of which it can rightly be said to the one who says it that he speaks truly or falsely” are a differentia that excludes incomplete statements and non-declarative utterances (inshāʾ) such as commands, prohibitions, questions and the like. It, that is, the proposition, is divided into two kinds, one categorical and the other conditional. For if the two things in the proposition, what something is judged of and what is judged of it, are both simple, the proposition is categorical, as in “Zayd is a writer”; otherwise it is conditional. This is open to objection, because in a categorical the two need not both be simple: one of them may be a sentence, as in “Zayd, his father is leaving”. The conditional is either connective, one in which it is judged that a proposition is true, or not true, on the supposition that another proposition is true. It is affirmative if it judges that a proposition is true on the supposition that another proposition is true, as in “If the sun has risen, it is day”; and negative if it judges that a proposition is not true on the supposition that another proposition is true, as in “It is not the case that if the sun has risen, it is night.” Or the conditional is disjunctive, one in which it is judged that two propositions are incompatible. If the incompatibility is affirmed, the proposition is an affirmative disjunctive, as in “A number is either even or odd”; if it is denied, the proposition is a negative disjunctive, as in “It is not the case that a human is either black or a writer.”

Sharḥ Īsāghūjī · p. 37

قالَ: والجزءُ الأولُ من الحمليةِ يُسمَّى موضوعاً، والثاني مَحمُولاً، والجزءُ الأولُ من الشرطية يُسمَّى مُقدَّماً، والثاني تالياً.

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

The first part, that is, the thing judged about, of a categorical proposition is called the subject (mawḍūʿ), because it is laid down (wuḍiʿa) only so that something may be judged about it. The second part, that is, what is judged of it, is called the predicate (maḥmūl), because it is laid down only so that it may be predicated (yuḥmal) of something. The relation by which the predicate is tied to the subject is called the relation of judgement (nisba ḥukmiyya). The author did not mention this last part, although a proposition cannot do without it, because it is the last part of it. The first part of a conditional is called the antecedent (muqaddam), because it comes first (taqaddum) in the wording; and the second part the consequent (tālī), because it follows the first: the word comes from tuluww, meaning following.

Sharḥ Īsāghūjī · p. 40