اسباقالاقترانیات من الشرطیات — شرطیہ قیاسات اور ترکیباتکوئز

كلما كان زيد إنسانا كان جسما
جب بھی زید انسان ہوگا تو وہ جسم ہوگا۔

یہ کتابی قیاس کا نتیجہ ہے۔ فرض کیجیے زید انسان ہے۔ پہلا مقدمہ اسے حیوان قرار دے گا؛ دوسرا مقدمہ ہر اس صورت میں جسم ہونا لازم کرتا ہے جس میں وہ حیوان ہو۔ لہٰذا جسم ہونا بھی لازم آیا۔

نتیجے میں درمیانی شرط «حیوان» حذف ہوگئی، لیکن اسی نے دونوں مقدمات کو جوڑا تھا۔ مقدم کی طرف سے تالی کی طرف دو مسلسل درست روابط اس استدلال کی اصل بنیاد ہیں۔

سبق کھل رہا ہے...

شکلِ اول کا نتیجہ کیوں لازم ہے؟

الاقترانیات من الشرطیات — شرطیہ قیاسات اور ترکیبات

كلما كان زيد إنسانا كان جسما
جب بھی زید انسان ہوگا تو وہ جسم ہوگا۔

یہ کتابی قیاس کا نتیجہ ہے۔ فرض کیجیے زید انسان ہے۔ پہلا مقدمہ اسے حیوان قرار دے گا؛ دوسرا مقدمہ ہر اس صورت میں جسم ہونا لازم کرتا ہے جس میں وہ حیوان ہو۔ لہٰذا جسم ہونا بھی لازم آیا۔

نتیجے میں درمیانی شرط «حیوان» حذف ہوگئی، لیکن اسی نے دونوں مقدمات کو جوڑا تھا۔ مقدم کی طرف سے تالی کی طرف دو مسلسل درست روابط اس استدلال کی اصل بنیاد ہیں۔