Īsāghūjī کا متن

إِيسَاغُوجِي: اللَّفْظُ الدَّالُّ يَدُلُّ عَلَى مَا وُضِعَ لَهُ بِالْمُطَابَقَةِ، وَعَلَى جُزْئِهِ بِالتَّضَمُّنِ إِنْ كَانَ لَهُ جُزْءٌ، وَعَلَى مَا يُلَازِمُهُ فِي الذِّهْنِ بِالِالْتِزَامِ،

ایساغوجی (مدخل): لفظِ دال اس معنی پر جس کے لیے وہ وضع کیا گیا ہے مطابقتاً دلالت کرتا ہے، اس کے جز پر، اگر اس کا کوئی جز ہو، تضمناً، اور اس پر جو ذہن میں اس کے ساتھ لازم ہو التزاماً،

p. 5–6

• لفظ
• دلالتِ مطابقی
• دلالتِ تضمنی
• دلالتِ التزامی

كَالإِنْسَانِ، فَإِنَّهُ يَدُلُّ عَلَى الْحَيَوَانِ النَّاطِقِ بِالْمُطَابَقَةِ، وَعَلَى أَحَدِهِمَا بِالتَّضَمُّنِ، وَعَلَى قَابِلِ الْعِلْمِ وَصَنْعَةِ الْكِتَابَةِ بِالِالْتِزَامِ؛

جیسے “انسان”: یہ “حیوانِ ناطق” پر مطابقتاً دلالت کرتا ہے، ان دونوں میں سے ایک پر تضمناً، اور “علم اور فنِ کتابت کے قابل” پر التزاماً۔

p. 6

• دلالتِ مطابقی
• دلالتِ تضمنی
• دلالتِ التزامی

وَالدَّلَالَةُ فِعْلِيَّةٌ وَعَقْلِيَّةٌ وَطَبِيعِيَّةٌ وَوَضْعِيَّةٌ.

دلالت یا فعل سے ہوتی ہے، یا عقل سے، یا طبع سے، یا وضع سے۔

p. 6

ثُمَّ اللَّفْظُ إِمَّا مُفْرَدٌ: وَهُوَ الَّذِي لَا يُرَادُ بِالْجُزْءِ مِنْهُ دَلَالَةٌ عَلَى جُزْءِ مَعْنَاهُ كَالإِنْسَانِ، وَإِمَّا مُؤَلَّفٌ: وَهُوَ الَّذِي لَا يَكُونُ كَذَلِكَ كَرَامِي الْحِجَارَةِ.

پھر لفظ یا مفرد ہوتا ہے، یعنی وہ جس کے جز سے اس کے معنی کے جز پر دلالت مقصود نہ ہو، جیسے “انسان”؛ یا مرکب، یعنی وہ جو ایسا نہ ہو، جیسے “پتھر پھینکنے والا”۔

p. 6

• مفرد
• مرکب

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

مفرد یا کلی ہوتا ہے، یعنی وہ جس کا معنی محض تصور کیے جانے سے بہت سوں کے اس میں شریک ہونے سے مانع نہ ہو، جیسے “انسان”؛ یا جزئی، یعنی وہ جس کا معنی محض تصور کیے جانے سے اس سے مانع ہو، جیسے “زید” جب وہ علَم ہو۔

p. 6

• کلی
• جزئی

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

کلی یا ذاتی ہوتی ہے، یعنی وہ جو اپنی جزئیات کی حقیقت میں داخل ہو، جیسے انسان اور گھوڑے کے لحاظ سے “حیوان”؛ یا عرضی، یعنی وہ جو ایسی نہ ہو، جیسے انسان کے لحاظ سے “ضاحک”۔

p. 6

• ذاتی
• عرضی

وَالذَّاتِيُّ إِمَّا مَقُولٌ فِي جَوَابِ: مَا هُوَ، بِحَسَبِ الشَّرِكَةِ الْمَحْضَةِ، كَالْحَيَوَانِ بِالنِّسْبَةِ إِلَى الإِنْسَانِ وَالْفَرَسِ، وَهُوَ الْجِنْسُ، وَيُرْسَمُ بِأَنَّهُ كُلِّيٌّ مَقُولٌ عَلَى كَثِيرِينَ مُخْتَلِفِينَ بِالْحَقَائِقِ فِي جَوَابِ: مَا هُوَ؛

ذاتی یا “وہ کیا ہے؟” کے جواب میں ایسے امر کے طور پر بولی جاتی ہے جو محض مشترک ہو، جیسے انسان اور گھوڑے کے لحاظ سے “حیوان”: یہ جنس ہے، جس کی تعریف یہ کی جاتی ہے کہ وہ کلی جو ایسی بہت سی چیزوں پر جن کی حقیقتیں مختلف ہوں، “وہ کیا ہے؟” کے جواب میں بولی جائے؛

p. 7

• جنس

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

یا “وہ کیا ہے؟” کے جواب میں ایسے امر کے طور پر بولی جاتی ہے جو مشترک بھی ہو اور مختص بھی، جیسے زید اور عمرو کے لحاظ سے “انسان”: یہ نوع ہے، جس کی تعریف یہ کی جاتی ہے کہ وہ کلی جو ایسی بہت سی چیزوں پر جو عدد میں مختلف ہوں نہ کہ حقیقت میں، “وہ کیا ہے؟” کے جواب میں بولی جائے؛

p. 7

• نوع

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

یا “وہ کیا ہے؟” کے جواب میں نہیں بلکہ “وہ اپنی ذات میں کون سی چیز ہے؟” کے جواب میں بولی جاتی ہے، اور کسی چیز کو ان چیزوں سے جدا کرتی ہے جو جنس میں اس کے ساتھ شریک ہیں، جیسے انسان کے لحاظ سے “ناطق”: یہ فصل ہے، جس کی تعریف یہ کی جاتی ہے کہ وہ کلی جو کسی چیز پر “وہ اپنی ذات میں کون سی چیز ہے؟” کے جواب میں بولی جائے۔

p. 7

• فصل

وَأَمَّا الْعَرَضِيُّ فَإِمَّا أَنْ يَمْتَنِعَ انْفِكَاكُهُ عَنِ الْمَاهِيَّةِ وَهُوَ الْعَرَضُ اللَّازِمُ، أَوْ لَا يَمْتَنِعَ وَهُوَ الْعَرَضُ الْمُفَارِقُ،

رہی عرضی، تو یا اس کا ماہیت سے جدا ہونا ممتنع ہوتا ہے، اور یہ عرضِ لازم ہے، یا ممتنع نہیں ہوتا، اور یہ عرضِ مفارق ہے۔

p. 7–8

• عرضی

وَكُلُّ وَاحِدٍ مِنْهُمَا إِمَّا أَنْ يَخْتَصَّ بِحَقِيقَةٍ وَاحِدَةٍ وَهُوَ الْخَاصَّةُ كَالضَّاحِكِ بِالْقُوَّةِ وَالْفِعْلِ لِلإِنْسَانِ، وَتُرْسَمُ بِأَنَّهَا كُلِّيَّةٌ تُقَالُ عَلَى مَا تَحْتَ حَقِيقَةٍ وَاحِدَةٍ فَقَطْ قَوْلًا عَرَضِيًّا؛

ان دونوں میں سے ہر ایک یا صرف ایک حقیقت کے ساتھ خاص ہوتا ہے، اور یہ خاصہ ہے، جیسے انسان کے لیے بالقوہ اور بالفعل “ضاحک”؛ اس کی تعریف یہ کی جاتی ہے کہ وہ کلی جو صرف ایک حقیقت کے تحت آنے والی چیزوں پر عرضی طور پر بولی جائے؛

p. 8

• خاصہ

وَإِمَّا أَنْ يَعُمَّ حَقَائِقَ فَوْقَ وَاحِدَةٍ وَهُوَ الْعَرَضُ الْعَامُّ كَالْمُتَنَفِّسِ بِالْقُوَّةِ وَالْفِعْلِ بِالنِّسْبَةِ لِلإِنْسَانِ وَغَيْرِهِ مِنَ الْحَيَوَانَاتِ، وَيُرْسَمُ بِأَنَّهُ كُلِّيٌّ يُقَالُ عَلَى مَا تَحْتَ حَقَائِقَ مُخْتَلِفَةٍ قَوْلًا عَرَضِيًّا.

یا ایک سے زیادہ حقیقتوں کو شامل ہوتا ہے، اور یہ عرضِ عام ہے، جیسے انسان اور دوسرے حیوانات کے لحاظ سے بالقوہ اور بالفعل “متنفس”؛ اس کی تعریف یہ کی جاتی ہے کہ وہ کلی جو مختلف حقیقتوں کے تحت آنے والی چیزوں پر عرضی طور پر بولی جائے۔

p. 8

• عرضِ عام

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

حد وہ قول ہے جو کسی چیز کی ماہیت پر دلالت کرے۔ جب وہ اس چیز کی جنسِ قریب اور فصلِ قریب سے مرکب ہو، جیسے انسان کے لیے “حیوانِ ناطق”، تو وہ حدِّ تام ہے۔

p. 8

• قولِ شارح
• حد

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

حدِّ ناقص اس چیز کی جنسِ بعید اور اس کی فصلِ قریب سے مرکب ہوتی ہے، جیسے انسان کے لیے “جسمِ ناطق”۔

p. 8

• حد

وَالرَّسْمُ التَّامُّ: وَهُوَ الَّذِي يَتَرَكَّبُ مِنْ جِنْسِ الشَّيْءِ الْقَرِيبِ وَخَوَاصِّهِ اللَّازِمَةِ لَهُ، كَالْحَيَوَانِ الضَّاحِكِ فِي تَعْرِيفِ الإِنْسَانِ؛

رسمِ تام اس چیز کی جنسِ قریب اور ان خواص سے مرکب ہوتی ہے جو اسے لازم ہیں، جیسے انسان کی تعریف میں “حیوانِ ضاحک”؛

p. 9

• رسم

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

اور رسمِ ناقص ایسی عرضی صفات سے مرکب ہوتی ہے جو مجموعی طور پر صرف ایک حقیقت کے ساتھ خاص ہوں، جیسے ہم انسان کی تعریف میں کہیں: وہ دو پاؤں پر چلنے والا، چوڑے ناخنوں والا، کھلی جلد والا، سیدھے قد والا، اور طبعاً ہنسنے والا ہے۔

p. 9

• رسم

الْقَضِيَّةُ: قَوْلٌ يَصِحُّ أَنْ يُقَالَ لِقَائِلِهِ: إِنَّهُ صَادِقٌ فِيهِ أَوْ كَاذِبٌ.

قضیہ وہ قول ہے جس کے کہنے والے کے بارے میں بجا طور پر کہا جا سکے کہ وہ اس میں سچا ہے یا جھوٹا۔

p. 9

• قضیہ

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

وہ یا حملیہ ہوتا ہے، جیسے “زید کاتب ہے”؛ یا شرطیہ متصلہ، جیسے “اگر سورج طلوع ہو چکا ہے تو دن موجود ہے”؛ یا شرطیہ منفصلہ، جیسے “عدد یا جفت ہے یا طاق۔”

p. 9

• قضیہ حملیہ
• قضیہ شرطیہ
• شرطیہ متصلہ
• شرطیہ منفصلہ

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

حملیہ کا پہلا جز موضوع اور دوسرا محمول کہلاتا ہے؛ شرطیہ کا پہلا جز مقدم اور دوسرا تالی کہلاتا ہے۔

p. 9

• موضوع
• محمول
• قضیہ شرطیہ

وَالْقَضِيَّةُ إِمَّا مُوجَبَةٌ كَقَوْلِنَا: زَيْدٌ كَاتِبٌ، وَإِمَّا سَالِبَةٌ كَقَوْلِنَا: زَيْدٌ لَيْسَ بِكَاتِبٍ.

قضیہ یا موجبہ ہوتا ہے، جیسے “زید کاتب ہے”، یا سالبہ، جیسے “زید کاتب نہیں ہے۔”

p. 10

• قضیہ

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

ان دونوں میں سے ہر ایک یا شخصیہ ہوتا ہے، جیسا کہ مذکورہ مثالوں میں؛ یا سور کے ساتھ کلیہ، جیسے “ہر انسان کاتب ہے” اور “کوئی انسان کاتب نہیں”؛ یا سور کے ساتھ جزئیہ، جیسے “بعض انسان کاتب ہیں” اور “بعض انسان کاتب نہیں”؛ یا ان میں سے کچھ نہیں، اور تب وہ مہملہ کہلاتا ہے، جیسے “انسان کاتب ہے” اور “انسان کاتب نہیں۔”

p. 10

• قضیہ محصورہ

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

متصلہ یا لزومیہ ہوتا ہے، جیسے “اگر سورج طلوع ہو چکا ہے تو دن موجود ہے”، یا اتفاقیہ، جیسے “اگر انسان ناطق ہے تو گدھا رینکتا ہے۔”

p. 10

• شرطیہ متصلہ

وَالْمُنْفَصِلَةُ إِمَّا حَقِيقِيَّةٌ كَقَوْلِنَا: الْعَدَدُ إِمَّا زَوْجٌ وَإِمَّا فَرْدٌ.

منفصلہ یا حقیقیہ ہوتا ہے، جیسے “عدد یا جفت ہے یا طاق۔”

p. 10

• شرطیہ منفصلہ

وَهِيَ إِمَّا مَانِعَةُ الْجَمْعِ وَالْخُلُوِّ مَعًا كَمَا ذَكَرْنَا، وَإِمَّا مَانِعَةُ الْجَمْعِ فَقَطْ كَقَوْلِنَا: هَذَا الشَّيْءُ إِمَّا أَنْ يَكُونَ شَجَرًا أَوْ حَجَرًا، وَإِمَّا مَانِعَةُ الْخُلُوِّ فَقَطْ كَقَوْلِنَا: زَيْدٌ إِمَّا أَنْ يَكُونَ فِي الْبَحْرِ، وَإِمَّا أَنْ لَا يَغْرَقَ.

وہ یا دونوں کے ایک ساتھ پائے جانے اور دونوں کے ایک ساتھ نہ پائے جانے سے مانع ہوتا ہے، جیسا کہ مذکورہ مثال میں؛ یا صرف ان کے ایک ساتھ پائے جانے سے مانع ہوتا ہے، جیسے “یہ چیز یا درخت ہے یا پتھر”؛ یا صرف ان دونوں کے ایک ساتھ نہ پائے جانے سے مانع ہوتا ہے، جیسے “زید یا سمندر میں ہے یا ڈوب نہیں رہا۔”

p. 10–11

• شرطیہ منفصلہ

وَقَدْ تَكُونُ الْمُنْفَصِلَاتُ ذَوَاتِ أَجْزَاءٍ كَقَوْلِنَا: الْعَدَدُ إِمَّا زَائِدٌ أَوْ نَاقِصٌ أَوْ مُسَاوٍ.

منفصلہ کے دو سے زیادہ اجزا بھی ہو سکتے ہیں، جیسے “عدد یا زائد ہے، یا ناقص، یا تام۔”

p. 11

• شرطیہ منفصلہ

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

تناقض دو قضیوں کا ایجاب و سلب میں ایسا اختلاف ہے جو بذاتِ خود اس کا تقاضا کرے کہ ان میں سے ایک سچا ہو اور دوسرا جھوٹا، جیسے “زید کاتب ہے” اور “زید کاتب نہیں ہے۔”

p. 11

• تناقض

وَلَا يَتَحَقَّقُ ذَلِكَ إِلَّا بَعْدَ اتِّفَاقِهِمَا فِي الْمَوْضُوعِ، وَالْمَحْمُولِ، وَالزَّمَانِ، وَالْمَكَانِ، وَالإِضَافَةِ، وَالْقُوَّةِ، وَالْفِعْلِ، وَالْجُزْءِ، وَالْكُلِّ، وَالشَّرْطِ.

یہ صرف اسی وقت ہوتا ہے جب وہ دونوں موضوع، محمول، زمان، مکان، اضافت، قوت، فعل، جز، کل اور شرط میں متفق ہوں۔

p. 11

• تناقض

وَنَقِيضُ الْمُوجَبَةِ الْكُلِّيَّةِ إِنَّمَا هِيَ السَّالِبَةُ الْجُزْئِيَّةُ، كَقَوْلِنَا: كُلُّ إِنْسَانٍ حَيَوَانٌ، وَبَعْضُ الإِنْسَانِ لَيْسَ بِحَيَوَانٍ. وَنَقِيضُ السَّالِبَةِ الْكُلِّيَّةِ إِنَّمَا هِيَ الْمُوجَبَةُ الْجُزْئِيَّةُ، كَقَوْلِنَا: لَا شَيْءَ مِنَ الإِنْسَانِ بِحَيَوَانٍ، وَبَعْضُ الإِنْسَانِ حَيَوَانٌ.

موجبہ کلیہ کی نقیض سالبہ جزئیہ ہے، جیسے “ہر انسان حیوان ہے” اور “بعض انسان حیوان نہیں”؛ اور سالبہ کلیہ کی نقیض موجبہ جزئیہ ہے، جیسے “کوئی انسان حیوان نہیں” اور “بعض انسان حیوان ہیں۔”

p. 11–12

• تناقض

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

دو محصورہ قضیوں کے درمیان تناقض صرف اسی وقت ہوتا ہے جب وہ کمیت میں مختلف ہوں، کیونکہ دو کلیے دونوں جھوٹے ہو سکتے ہیں، جیسے “ہر انسان کاتب ہے” اور “کوئی انسان کاتب نہیں”، اور دو جزئیے دونوں سچے ہو سکتے ہیں، جیسے “بعض انسان کاتب ہیں” اور “بعض انسان کاتب نہیں۔”

p. 12

• تناقض
• قضیہ محصورہ

الْعَكْسُ هُوَ: أَنْ يُصَيَّرَ الْمَوْضُوعُ مَحْمُولًا، وَالْمَحْمُولُ مَوْضُوعًا، مَعَ بَقَاءِ السَّلْبِ وَالإِيجَابِ بِحَالِهِ، وَالتَّصْدِيقِ وَالتَّكْذِيبِ بِحَالِهِ.

عکس یہ ہے کہ موضوع کو محمول اور محمول کو موضوع بنا دیا جائے، اس طرح کہ سلب یا ایجاب اپنے حال پر رہے، اور صدق یا کذب اپنے حال پر رہے۔

p. 12

• عکسِ مستوی

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

موجبہ کلیہ کا عکس کلیہ نہیں آتا: “ہر انسان حیوان ہے” سچ ہے، لیکن “ہر حیوان انسان ہے” سچ نہیں۔ اس کا عکس جزئیہ آتا ہے: جب ہم کہیں “ہر انسان حیوان ہے”، تو “بعض حیوان انسان ہیں” سچ ہے، کیونکہ ہم موضوع کو ایک ایسی چیز پاتے ہیں جو انسان بھی ہے اور حیوان بھی، لہٰذا بعض حیوان انسان ہیں۔

p. 13

• عکسِ مستوی

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

موجبہ جزئیہ کا عکس بھی اسی دلیل سے جزئیہ آتا ہے۔ سالبہ کلیہ کا عکس سالبہ کلیہ آتا ہے، اور یہ بذاتِ خود واضح ہے: اگر “کوئی انسان پتھر نہیں” سچ ہے، تو “کوئی پتھر انسان نہیں” سچ ہے۔

p. 13

• عکسِ مستوی

وَالسَّالِبَةُ الْجُزْئِيَّةُ لَا عَكْسَ لَهَا لُزُومًا، فَإِنَّهُ يَصْدُقُ: بَعْضُ الْحَيَوَانِ لَيْسَ بِإِنْسَانٍ، وَلَا يَصْدُقُ عَكْسُهُ.

سالبہ جزئیہ کا کوئی ایسا عکس نہیں جو لازماً آئے: “بعض حیوان انسان نہیں” سچ ہے، لیکن اس کا عکس سچ نہیں۔

p. 13

• عکسِ مستوی

الْقِيَاسُ هُوَ: قَوْلٌ مُؤَلَّفٌ مِنْ أَقْوَالٍ، مَتَى سُلِّمَتْ لَزِمَ عَنْهَا لِذَاتِهَا قَوْلٌ آخَرُ.

قیاس وہ قول ہے جو ایسے اقوال سے مرکب ہو کہ جب انہیں تسلیم کر لیا جائے تو ان سے بذاتِ خود ایک دوسرا قول لازم آئے۔

p. 13–14

• قیاس

وَهُوَ إِمَّا اقْتِرَانِيٌّ كَقَوْلِنَا: كُلُّ جِسْمٍ مُؤَلَّفٌ، وَكُلُّ مُؤَلَّفٍ حَادِثٌ، فَكُلُّ جِسْمٍ حَادِثٌ؛ وَإِمَّا اسْتِثْنَائِيٌّ كَقَوْلِنَا: إِنْ كَانَتِ الشَّمْسُ طَالِعَةً فَالنَّهَارُ مَوْجُودٌ، لَكِنِ النَّهَارُ لَيْسَ بِمَوْجُودٍ، فَالشَّمْسُ لَيْسَتْ بِطَالِعَةٍ.

وہ یا اقترانی ہوتا ہے، جیسے “ہر جسم مرکب ہے، اور ہر مرکب حادث ہے، لہٰذا ہر جسم حادث ہے”؛ یا استثنائی، جیسے “اگر سورج طلوع ہو چکا ہے تو دن موجود ہے؛ لیکن دن موجود نہیں، لہٰذا سورج طلوع نہیں ہوا۔”

p. 14

• قیاسِ اقترانی
• قیاسِ استثنائی

وَالْمُكَرَّرُ بَيْنَ مُقَدِّمَتَيِ الْقِيَاسِ يُسَمَّى: حَدًّا أَوْسَطَ، وَمَوْضُوعُ الْمَطْلُوبِ يُسَمَّى: حَدًّا أَصْغَرَ، وَمَحْمُولُهُ يُسَمَّى: حَدًّا أَكْبَرَ؛ وَالْمُقَدِّمَةُ الَّتِي فِيهَا الأَصْغَرُ تُسَمَّى: صُغْرَى، وَالَّتِي فِيهَا الأَكْبَرُ تُسَمَّى: كُبْرَى، وَهَيْئَةُ التَّأْلِيفِ تُسَمَّى: شَكْلًا.

جو چیز قیاس کے دونوں مقدموں میں مکرر آئے وہ حدِّ اوسط کہلاتی ہے؛ مطلوبہ نتیجے کا موضوع حدِّ اصغر اور اس کا محمول حدِّ اکبر کہلاتا ہے۔ جس مقدمے میں حدِّ اصغر ہو وہ صغریٰ کہلاتا ہے، جس میں حدِّ اکبر ہو وہ کبریٰ، اور ان کی ترتیب کی ہیئت شکل کہلاتی ہے۔

p. 14

• حدِّ اوسط
• صغریٰ اور کبریٰ
• شکل

وَالأَشْكَالُ أَرْبَعَةٌ، لِأَنَّ الْحَدَّ الأَوْسَطَ إِنْ كَانَ مَحْمُولًا فِي الصُّغْرَى مَوْضُوعًا فِي الْكُبْرَى فَهُوَ: الشَّكْلُ الأَوَّلُ، وَإِنْ كَانَ مَحْمُولًا فِيهِمَا فَهُوَ: الشَّكْلُ الثَّانِي، وَإِنْ كَانَ مَوْضُوعًا فِيهِمَا فَهُوَ: الشَّكْلُ الثَّالِثُ، وَإِنْ كَانَ مَوْضُوعًا فِي الصُّغْرَى مَحْمُولًا فِي الْكُبْرَى فَهُوَ: الشَّكْلُ الرَّابِعُ.

شکلیں چار ہیں، کیونکہ اگر حدِّ اوسط صغریٰ میں محمول اور کبریٰ میں موضوع ہو تو یہ شکلِ اوّل ہے؛ اگر دونوں میں محمول ہو تو شکلِ ثانی؛ اگر دونوں میں موضوع ہو تو شکلِ ثالث؛ اور اگر صغریٰ میں موضوع اور کبریٰ میں محمول ہو تو شکلِ رابع۔

p. 14–15

• شکل
• حدِّ اوسط

وَالثَّانِي يَرْتَدُّ إِلَى الأَوَّلِ بِعَكْسِ الْكُبْرَى، وَالثَّالِثُ يَرْتَدُّ إِلَيْهِ بِعَكْسِ الصُّغْرَى، وَالرَّابِعُ يَرْتَدُّ إِلَيْهِ بِعَكْسِ التَّرْتِيبِ أَوْ بِعَكْسِ الْمُقَدِّمَتَيْنِ جَمِيعًا.

شکلِ ثانی کو کبریٰ کا عکس کر کے شکلِ اوّل کی طرف لوٹایا جاتا ہے، شکلِ ثالث کو صغریٰ کا عکس کر کے، اور شکلِ رابع کو مقدموں کی ترتیب الٹ کر یا دونوں کا عکس کر کے۔

p. 15

• شکل
• عکسِ مستوی

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

شکلِ کامل، جس کا نتیجہ واضح ہے، شکلِ اوّل ہے؛ شکلِ رابع طبعی فکر سے بہت دور ہے۔ سلیم الطبع اور سلیم العقل شخص کو شکلِ ثانی کو شکلِ اوّل کی طرف لوٹانے کی ضرورت نہیں۔ شکلِ ثانی صرف اسی وقت نتیجہ دیتی ہے جب اس کے مقدمات ایجاب و سلب میں مختلف ہوں۔

p. 15

• شکل

وَالشَّكْلُ الأَوَّلُ هُوَ الَّذِي جُعِلَ مِعْيَارَ الْعُلُومِ، فَنُورِدُهُ هُنَا لِيُجْعَلَ دُسْتُورًا، وَيُسْتَنْتَجَ مِنْهُ الْمَطَالِبُ كُلُّهَا.

شکلِ اوّل ہی کو علوم کا معیار بنایا گیا ہے، اس لیے ہم یہاں اسے ایک ضابطے کے طور پر بیان کرتے ہیں جس سے ہر مطلوبہ نتیجہ نکالا جا سکے۔

p. 15

• شکل

وَضُرُوبُهُ الْمُنْتِجَةُ أَرْبَعَةٌ: الضَّرْبُ الأَوَّلُ: كُلُّ جِسْمٍ مُؤَلَّفٌ، وَكُلُّ مُؤَلَّفٍ حَادِثٌ، فَكُلُّ جِسْمٍ حَادِثٌ. الثَّانِي: كُلُّ جِسْمٍ مُؤَلَّفٌ، وَلَا شَيْءَ مِنَ الْمُؤَلَّفِ بِقَدِيمٍ، فَلَا شَيْءَ مِنَ الْجِسْمِ بِقَدِيمٍ. الثَّالِثُ: بَعْضُ الْجِسْمِ مُؤَلَّفٌ، وَكُلُّ مُؤَلَّفٍ حَادِثٌ، فَبَعْضُ الْجِسْمِ حَادِثٌ. الرَّابِعُ: بَعْضُ الْجِسْمِ مُؤَلَّفٌ، وَلَا شَيْءَ مِنَ الْمُؤَلَّفِ بِقَدِيمٍ، فَبَعْضُ الْجِسْمِ لَيْسَ بِقَدِيمٍ.

اس کی منتج ضربیں چار ہیں۔ پہلی: ہر جسم مرکب ہے، اور ہر مرکب حادث ہے، لہٰذا ہر جسم حادث ہے۔ دوسری: ہر جسم مرکب ہے، اور کوئی مرکب قدیم نہیں، لہٰذا کوئی جسم قدیم نہیں۔ تیسری: بعض جسم مرکب ہیں، اور ہر مرکب حادث ہے، لہٰذا بعض جسم حادث ہیں۔ چوتھی: بعض جسم مرکب ہیں، اور کوئی مرکب قدیم نہیں، لہٰذا بعض جسم قدیم نہیں۔

p. 15–16

• شکل
• صغریٰ اور کبریٰ

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

قیاسِ اقترانی یا دو حملیوں سے مرکب ہوتا ہے، جیسا کہ اوپر گزرا؛ یا دو متصلوں سے، جیسے “اگر سورج طلوع ہو چکا ہے تو دن موجود ہے؛ اور اگر دن موجود ہے تو زمین روشن ہے”، جس کا نتیجہ ہے “اگر سورج طلوع ہو چکا ہے تو زمین روشن ہے”؛

p. 16

• قیاسِ اقترانی
• شرطیہ متصلہ

وَإِمَّا مِنَ الْمُنْفَصِلَتَيْنِ كَقَوْلِنَا: كُلُّ عَدَدٍ إِمَّا زَوْجٌ أَوْ فَرْدٌ، وَكُلُّ زَوْجٍ فَهُوَ إِمَّا زَوْجُ الزَّوْجِ أَوْ زَوْجُ الْفَرْدِ، يُنْتِجُ: كُلُّ عَدَدٍ إِمَّا فَرْدٌ أَوْ زَوْجُ الزَّوْجِ أَوْ زَوْجُ الْفَرْدِ.

یا دو منفصلوں سے، جیسے “ہر عدد یا جفت ہے یا طاق، اور ہر جفت عدد یا زوج الزوج ہے یا زوج الفرد”، جس کا نتیجہ ہے “ہر عدد یا طاق ہے، یا زوج الزوج، یا زوج الفرد”؛

p. 16

• قیاسِ اقترانی
• شرطیہ منفصلہ

أَوْ مِنْ حَمْلِيَّةٍ وَمُتَّصِلَةٍ، كَقَوْلِنَا: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ حَيَوَانٌ، وَكُلُّ حَيَوَانٍ جِسْمٌ، يُنْتِجُ: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ جِسْمٌ؛

یا ایک حملیہ اور ایک متصلہ سے، جیسے “جب بھی یہ انسان ہو تو حیوان ہے؛ اور ہر حیوان جسم ہے”، جس کا نتیجہ ہے “جب بھی یہ انسان ہو تو جسم ہے”؛

p. 16

• قیاسِ اقترانی
• قضیہ حملیہ
• شرطیہ متصلہ

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

یا ایک حملیہ اور ایک منفصلہ سے، جیسے “ہر عدد یا جفت ہے یا طاق، اور ہر جفت عدد دو برابر حصوں میں تقسیم ہوتا ہے”، جس کا نتیجہ ہے “ہر عدد یا طاق ہے یا دو برابر حصوں میں تقسیم ہوتا ہے”؛

p. 16–17

• قیاسِ اقترانی
• قضیہ حملیہ
• شرطیہ منفصلہ

أَوْ مِنْ مُتَّصِلَةٍ وَمُنْفَصِلَةٍ، كَقَوْلِنَا: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ حَيَوَانٌ، وَكُلُّ حَيَوَانٍ فَهُوَ إِمَّا أَبْيَضُ أَوْ أَسْوَدُ، يُنْتِجُ: كُلَّمَا كَانَ هَذَا إِنْسَانًا فَهُوَ إِمَّا أَبْيَضُ أَوْ أَسْوَدُ.

یا ایک متصلہ اور ایک منفصلہ سے، جیسے “جب بھی یہ انسان ہو تو حیوان ہے؛ اور ہر حیوان یا سفید ہے یا سیاہ”، جس کا نتیجہ ہے “جب بھی یہ انسان ہو تو یا سفید ہے یا سیاہ۔”

p. 17

• قیاسِ اقترانی
• شرطیہ متصلہ
• شرطیہ منفصلہ

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

رہا قیاسِ استثنائی: اگر اس میں شرطیہ متصلہ ہو تو مقدم کا اثبات تالی کا نتیجہ دیتا ہے، جیسے “اگر یہ انسان ہے تو حیوان ہے؛ لیکن یہ انسان ہے، لہٰذا یہ حیوان ہے۔”

p. 17

• قیاسِ استثنائی
• شرطیہ متصلہ

وَاسْتِثْنَاءُ نَقِيضِ التَّالِي يُنْتِجُ نَقِيضَ الْمُقَدَّمِ، كَقَوْلِنَا: إِنْ كَانَ هَذَا إِنْسَانًا فَهُوَ حَيَوَانٌ، لَكِنَّهُ لَيْسَ بِحَيَوَانٍ، فَلَا يَكُونُ إِنْسَانًا؛

اور تالی کی نقیض کا اثبات مقدم کی نقیض کا نتیجہ دیتا ہے، جیسے “اگر یہ انسان ہے تو حیوان ہے؛ لیکن یہ حیوان نہیں، لہٰذا یہ انسان نہیں۔”

p. 17

• قیاسِ استثنائی
• شرطیہ متصلہ
• تناقض

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

اگر وہ منفصلہ ہو تو دونوں جزوں میں سے ایک کا اثبات دوسرے کی نقیض کا نتیجہ دیتا ہے، جیسے “عدد یا جفت ہے یا طاق؛ لیکن یہ جفت ہے”، جس کا نتیجہ ہے “یہ طاق نہیں”؛ یا “لیکن یہ طاق ہے”، جس کا نتیجہ ہے “یہ جفت نہیں۔” اور ان میں سے ایک کی نقیض کا اثبات دوسرے کا نتیجہ دیتا ہے۔

p. 17–18

• قیاسِ استثنائی
• شرطیہ منفصلہ