القضايا، القضيةُ: قولٌ يصحُّ أنْ يقالَ لقائلهِ إنهُ صادقٌ فيه، أو كاذبٌ فيه، وهي حملية كقولنا: زيدٌ كاتبٌ، وإمَّا شرطيةٌ متصلةٌ كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ، وإمَّا شرطيةٌ مُنفصلةٌ كقولنا: العددُ إمَّا أنْ يكونَ زوجاً أو فرداً
لمَّا فرغَ المصنِّفُ من القول الشارح شرعَ في الحُجَّةِ، وهي القضايا المرتَّبةُ الموصلةُ إلى المطلوب التصديقيّ، والقضيةُ: قولٌ يَصِحُّ أن يُقالَ لقائله: إنَّهُ صادقٌ فيه أو كاذبٌ فيه، وهو الذي يُسمِّيه بعضهُم خبراً، والقولُ: هو المركَّبُ سواءٌ كان لفظاً مركباً كما في القضية الملفوظة، أو مُفهوماً عقلياً مركَّباً كما في القضية المعقولة، وهو أي "القولُ" جنسٌ يَتناولُ الأقوالَ التَّامةَ والنَّاقصةَ والإنشائيةَ، وقولُهُ يصحُّ أن يقال لقائله: إنَّهُ صادقٌ فيه أو كاذبٌ فيه: فصلٌ يُحترزُ به عن الأقوال الناقصة والإنشاءات من الأمر والنهي والاستفهامِ وغيرِها، وهي - أي القضيةُ - تنقسمُ إلى قسمين: أحدهما حمليةٌ، والآخر شرطيةٌ، فإن المحكومَ عليه وبه في القضية إن كانا مُفردين، فالقضيةُ حمليةٌ كقولنا: زيدٌ كاتبٌ، وإلا فشرطيةٌ، وفيه نظرٌ، لأن المحكومَ عليه وبه لا يلزمُ أن يكونا مفردين في الحملية، بل قد يكون أحدُهُما جملةً نحو زيدٌ أبوهُ مُنطلقٌ، والشرطيةُ إما متَّصلةٌ: وهي التي يُحكمُ فيها بصدق قضيةٍ، أو لا صدقِها على تقديرِ صدقِ قضيةٍ أخرى، وهي مُوجبةٌ: إن حُكِمَ فيها بإيجاب صدقِ قضيةٍ على تقديرِ صدقِ قضيةٍ أخرى كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ، وسالبةٌ: إن حُكِم فيها بسَلْبِ صدقِ قضيةٍ على تقدير صدقِ قضيةٍ أخرى كقولنا: ليس إن كانت الشمسُ طالعةً فالليلُ موجودٌ، وإما شرطيةٌ منفصلةٌ: وهي التي يُحكَمُ فيها بالتَّنافي بين القضيتينِ، فإن حُكِمَ فيها بالتَّنافي إيجاباً، فالقضيةُ منفصلةٌ موجبةٌ كقولنا: العددُ إمَّا أن يكونَ زوجاً أو فرداً، وإن حُكِمَ فيها بالتَّنافي سلباً، فالقضيةُ منفصلةٌ سالبةٌ كقولنا: ليس إما أنْ يكونَ الإنسانُ أسودَ أو كاتباً.
Закончив с разъясняющим высказыванием, автор приступает к , который состоит из , расположенных так, что они ведут к искомому . Суждение — это «высказывание, о котором можно справедливо сказать тому, кто его произнёс, что он говорит правду или лжёт»; некоторые называют его сообщением (хабар). Высказывание — это то, что составлено, будь то , как в произнесённом суждении, или составное понятие в уме, как в мысленном суждении. Оно, то есть «высказывание», — [внутри определения], который охватывает полные высказывания, неполные высказывания и неповествовательные высказывания. Его слова «о котором можно справедливо сказать тому, кто его произнёс, что он говорит правду или лжёт» — , которое исключает неполные высказывания и неповествовательные высказывания, такие как приказ, запрет, вопрос и тому подобное. Оно, то есть суждение, делится на две разновидности: одна — , другая — условное. Ведь если обе вещи в суждении — то, о чём выносится суждение, и то, что о нём утверждается, — простые, суждение категорическое, как «Зайд — писец»; иначе оно условное. Это можно оспорить, потому что в категорическом суждении обе вещи не обязательно простые: одна из них может быть предложением, как в «Зайд — отец его уходит». бывает либо — таким, в котором выносится суждение, что одно суждение истинно или не истинно при допущении, что истинно другое суждение. Оно утвердительное, если в нём выносится суждение, что одно суждение истинно при допущении, что истинно другое, как «Если солнце взошло, то настал день»; и отрицательное, если в нём выносится суждение, что одно суждение не истинно при допущении, что истинно другое, как «Неверно, что если солнце взошло, то настала ночь». Либо условное суждение бывает — таким, в котором выносится суждение, что два суждения несовместимы. Если несовместимость утверждается, суждение — утвердительное разделительное, как «Число либо чётное, либо нечётное»; если она отрицается, суждение — отрицательное разделительное, как «Неверно, что человек либо чёрный, либо писец».
Sharḥ Īsāghūjī · с. 37