القضايا، القضيةُ: قولٌ يصحُّ أنْ يقالَ لقائلهِ إنهُ صادقٌ فيه، أو كاذبٌ فيه، وهي حملية كقولنا: زيدٌ كاتبٌ، وإمَّا شرطيةٌ متصلةٌ كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ، وإمَّا شرطيةٌ مُنفصلةٌ كقولنا: العددُ إمَّا أنْ يكونَ زوجاً أو فرداً
لمَّا فرغَ المصنِّفُ من القول الشارح شرعَ في الحُجَّةِ، وهي القضايا المرتَّبةُ الموصلةُ إلى المطلوب التصديقيّ، والقضيةُ: قولٌ يَصِحُّ أن يُقالَ لقائله: إنَّهُ صادقٌ فيه أو كاذبٌ فيه، وهو الذي يُسمِّيه بعضهُم خبراً، والقولُ: هو المركَّبُ سواءٌ كان لفظاً مركباً كما في القضية الملفوظة، أو مُفهوماً عقلياً مركَّباً كما في القضية المعقولة، وهو أي "القولُ" جنسٌ يَتناولُ الأقوالَ التَّامةَ والنَّاقصةَ والإنشائيةَ، وقولُهُ يصحُّ أن يقال لقائله: إنَّهُ صادقٌ فيه أو كاذبٌ فيه: فصلٌ يُحترزُ به عن الأقوال الناقصة والإنشاءات من الأمر والنهي والاستفهامِ وغيرِها، وهي - أي القضيةُ - تنقسمُ إلى قسمين: أحدهما حمليةٌ، والآخر شرطيةٌ، فإن المحكومَ عليه وبه في القضية إن كانا مُفردين، فالقضيةُ حمليةٌ كقولنا: زيدٌ كاتبٌ، وإلا فشرطيةٌ، وفيه نظرٌ، لأن المحكومَ عليه وبه لا يلزمُ أن يكونا مفردين في الحملية، بل قد يكون أحدُهُما جملةً نحو زيدٌ أبوهُ مُنطلقٌ، والشرطيةُ إما متَّصلةٌ: وهي التي يُحكمُ فيها بصدق قضيةٍ، أو لا صدقِها على تقديرِ صدقِ قضيةٍ أخرى، وهي مُوجبةٌ: إن حُكِمَ فيها بإيجاب صدقِ قضيةٍ على تقديرِ صدقِ قضيةٍ أخرى كقولنا: إن كانت الشمسُ طالعةً فالنهارُ موجودٌ، وسالبةٌ: إن حُكِم فيها بسَلْبِ صدقِ قضيةٍ على تقدير صدقِ قضيةٍ أخرى كقولنا: ليس إن كانت الشمسُ طالعةً فالليلُ موجودٌ، وإما شرطيةٌ منفصلةٌ: وهي التي يُحكَمُ فيها بالتَّنافي بين القضيتينِ، فإن حُكِمَ فيها بالتَّنافي إيجاباً، فالقضيةُ منفصلةٌ موجبةٌ كقولنا: العددُ إمَّا أن يكونَ زوجاً أو فرداً، وإن حُكِمَ فيها بالتَّنافي سلباً، فالقضيةُ منفصلةٌ سالبةٌ كقولنا: ليس إما أنْ يكونَ الإنسانُ أسودَ أو كاتباً.
سے فارغ ہو کر مصنف نے شروع کی، اور یہ وہ مرتب ہیں جو مطلوبِ تصدیقی تک پہنچائیں۔ “قضیہ وہ قول ہے جس کے کہنے والے کے بارے میں بجا طور پر کہا جا سکے کہ وہ اس میں سچا ہے یا جھوٹا”؛ اسی کو بعض لوگ خبر کہتے ہیں۔ قول کو کہتے ہیں، خواہ وہ مرکب ہو، جیسا کہ قضیۂ ملفوظہ میں، یا مرکب عقلی مفہوم ہو، جیسا کہ قضیۂ معقولہ میں۔ اور یہ، یعنی “قول”، [تعریف میں] ہے جو اقوالِ تامہ، اقوالِ ناقصہ اور انشائی اقوال کو شامل ہے۔ اور ان کا قول “جس کے کہنے والے کے بارے میں بجا طور پر کہا جا سکے کہ وہ اس میں سچا ہے یا جھوٹا” ہے، جس سے اقوالِ ناقصہ اور انشاءات، جیسے امر، نہی، استفہام وغیرہ، سے احتراز کیا جاتا ہے۔ اور یہ، یعنی قضیہ، دو قسموں میں تقسیم ہوتا ہے: ایک اور دوسرا ۔ کیونکہ قضیے میں محکوم علیہ اور محکوم بہ اگر دونوں ہوں تو قضیہ حملیہ ہے، جیسے “زید کاتب ہے”، ورنہ شرطیہ۔ اور اس میں ہے، کیونکہ حملیہ میں محکوم علیہ اور محکوم بہ کا مفرد ہونا لازم نہیں، بلکہ کبھی ان میں سے ایک جملہ ہوتا ہے، جیسے “زید، اس کا باپ جا رہا ہے” (زیدٌ أبوه منطلقٌ)۔ شرطیہ یا ہوتا ہے، یعنی وہ جس میں یہ حکم لگایا جائے کہ ایک قضیہ دوسرے قضیے کے صدق کی تقدیر پر صادق ہے، یا صادق نہیں۔ وہ ہے اگر اس میں ایک قضیے کے صدق کا دوسرے قضیے کے صدق کی تقدیر پر ایجاب کا حکم لگایا جائے، جیسے “اگر سورج طلوع ہو چکا ہے تو دن موجود ہے”؛ اور ہے اگر اس میں ایک قضیے کے صدق کا دوسرے قضیے کے صدق کی تقدیر پر سلب کا حکم لگایا جائے، جیسے “ایسا نہیں کہ اگر سورج طلوع ہو چکا ہے تو رات موجود ہے۔” یا ہوتا ہے، یعنی وہ جس میں دو قضیوں کے درمیان منافات کا حکم لگایا جائے۔ اگر اس میں منافات کا حکم ایجاباً لگایا جائے تو قضیہ منفصلہ موجبہ ہے، جیسے “عدد یا جفت ہے یا طاق”؛ اور اگر منافات کا حکم سلباً لگایا جائے تو قضیہ منفصلہ سالبہ ہے، جیسے “ایسا نہیں کہ انسان یا سیاہ ہو یا کاتب۔”
Sharḥ Īsāghūjī · ص 37