«الحمل في اصطلاحهم: اتحاد المتغايرين في المفهوم بحسب الوجود»
منطقیوں کی اصطلاح میں حمل یہ ہے کہ دو مفہوم، جو معنی کے اعتبار سے مختلف ہوں، وجود کے اعتبار سے متحد ہوں۔
مفہوم میں مغایرت کا مطلب ہے کہ موضوع اور محمول کے معنی جدا ہوں۔ وجود میں اتحاد کا مطلب ہے کہ کسی ایک مصداق میں موضوع اور محمول دونوں صادق آ سکیں۔
مثلاً زید اور کاتب کے مفہوم الگ ہیں، مگر زید اگر لکھنے والا ہو تو موجود شخص ایک ہی ہے۔ حمل کی تعریف اس ظاہری مشکل کو حل کرتی ہے کہ الگ مفہوم ایک موجود پر کس طرح جمع ہو سکتے ہیں۔
سبق کھل رہا ہے...
حمل کی حقیقت، اقسامِ حملیہ اور قضیہ معدولہ
«الحمل في اصطلاحهم: اتحاد المتغايرين في المفهوم بحسب الوجود»
منطقیوں کی اصطلاح میں حمل یہ ہے کہ دو مفہوم، جو معنی کے اعتبار سے مختلف ہوں، وجود کے اعتبار سے متحد ہوں۔
مفہوم میں مغایرت کا مطلب ہے کہ موضوع اور محمول کے معنی جدا ہوں۔ وجود میں اتحاد کا مطلب ہے کہ کسی ایک مصداق میں موضوع اور محمول دونوں صادق آ سکیں۔
مثلاً زید اور کاتب کے مفہوم الگ ہیں، مگر زید اگر لکھنے والا ہو تو موجود شخص ایک ہی ہے۔ حمل کی تعریف اس ظاہری مشکل کو حل کرتی ہے کہ الگ مفہوم ایک موجود پر کس طرح جمع ہو سکتے ہیں۔