Önerme ve çeşitleri

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

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

Müellif kavl-i şârihi bitirince hüccete başladı. Hüccet, aranan bir tasdike ulaştıracak şekilde sıralanmış önermelerdir. Önerme, “söyleyenine onda doğru ya da yanlış söylediği haklı olarak denilebilen sözdür”; bazıları ona haber der. Söz (kavl), mürekkep olandır: ister lafzî önermede olduğu gibi mürekkep bir lafız, ister zihnî önermede olduğu gibi akılda mürekkep bir kavram olsun. O, yani “söz”, tam sözleri, nâkıs sözleri ve inşâî sözleri kapsayan [tarifte] bir cinstir. Müellifin “söyleyenine onda doğru ya da yanlış söylediği haklı olarak denilebilen” sözü, nâkıs sözleri ve emir, nehiy, soru ve benzeri inşâları dışarıda bırakan bir fasıldır. O, yani önerme, iki kısma ayrılır: biri hamlî, diğeri şartlıdır. Çünkü önermede hakkında hüküm verilen (mahkûmun aleyh) ile onunla hüküm verilenin (mahkûmun bih) ikisi de müfred ise önerme hamlîdir, “Zayd kâtiptir” sözümüz gibi; değilse şartlıdır. Bunda itiraza yer vardır; çünkü hamlî önermede hakkında hüküm verilen ile onunla hüküm verilenin ikisinin de müfred olması gerekmez; aksine bazen bunlardan biri bir cümle olur, “Zayd, babası gidiyor” gibi. Şartlı önerme ya muttasıldır: bu, başka bir önermenin doğru olması takdirinde bir önermenin doğru olduğuna ya da doğru olmadığına hükmedilen önermedir. Başka bir önermenin doğru olması takdirinde bir önermenin doğru olduğuna hükmediyorsa mûcibedir, “Güneş doğmuşsa gündüzdür” sözümüz gibi; başka bir önermenin doğru olması takdirinde bir önermenin doğru olmadığına hükmediyorsa sâlibedir, “Şöyle değildir: güneş doğmuşsa gecedir” sözümüz gibi. Ya da şartlı önerme munfasıldır: bu, iki önerme arasında tenâfî (bağdaşmazlık) bulunduğuna hükmedilen önermedir. Onda bağdaşmazlık olumlanıyorsa önerme munfasıl mûcibedir, “Sayı ya çifttir ya da tektir” sözümüz gibi; bağdaşmazlık olumsuzlanıyorsa önerme munfasıl sâlibedir, “Şöyle değildir: insan ya siyahtır ya da kâtiptir” sözümüz gibi.

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

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

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

Hamlî önermenin birinci parçasına, yani hakkında hüküm verilene konu (mevzu) denir; çünkü o, ancak hakkında bir şeyle hüküm verilsin diye konulmuştur (vaz' edilmiştir). İkinci parçasına, yani onunla hüküm verilene yüklem (mahmul) denir; çünkü o, ancak bir şey üzerine hamledilsin diye konulmuştur. Yüklemin konuya kendisiyle bağlandığı nisbete nisbet-i hükmiyye denir. Müellif, önerme ondan müstağni olamadığı hâlde bu son parçayı zikretmedi; çünkü o, önermenin son parçasıdır. Şartlı önermenin birinci parçasına, sözde önce geldiği (takaddüm) için mukaddem; ikinci parçasına ise birinciye tâbi olduğu için tâlî denir: bu kelime, tâbi olmak anlamındaki tülüvden gelir.

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