موسوعة مصطلحات علم المنطق عند العرب - فريد جبر؛ سميح دغيم؛ رفيق العجم؛ جيرار جهامى - الصفحة ٢٢٢ - أ
في ذلك، بل كلما دلّ على أنّ الحد الأوسط يستلزم الأكبر فإنّه يستدل به على جعل ذلك الحد وصفا مشتركا بين أصل و فرع، و يلزمه الحكم (ت، ر ١، ٢٣٨، ٢٥)- التمثيل ... يذكر للإيضاح، و ليتصوّر للفرع نظير، لأنّ الكلّي إنما وجوده كلّي في الذهن لا في الخارج، فإذا عرف تحقّقه في الخارج كان أيسر لوجود نظيره. و لأنّ المثال قد يكون ميسّرا لإثبات التعليل، بل قد لا يمكن بدونه (ت، ر ١، ٢٣٨، ٢٨)- يتصوّر ب «التمثيل» و «التشبيه». و يتصوّر «القدر المشترك» بين تلك الصفة الخاصة و بين نظيرها من الصفات (ت، ر ٢، ٨٠، ١٠)- الاستدلال تارة يكون بالعام على الخاص و هو «القياس»، و تارة بالخاص على العام و هو «الاستقراء»، و تارة بأحد الخاصين على الآخر و هو «التمثيل»، و بيّنا فساد هذا الحصر و التقسيم (ت، ر ٢، ٩٤، ٤)- من «التمثيل» ما يفيد اليقين، و منه ما لا يفيده، ك «الشمول» (ت، ر ٢، ١٠٧، ٩)- التمثيل و الاستقراء فإن مقدّماتهما إذا سلمت لا يلزم عنهما شيء لا مكان تخلّف مدلوليهما عنهما (و، م، ٢٧٤، ١)- التمثيل إثبات حكم في جزئيّ لوجوده في جزئيّ لمعنى مشترك بينهما، و هو ضعيف أيضا لأن الدليل إذا قام في المستدلّ عليه أغنى عن النظر في جزئيّ غيره، لكن يصلح لتطبيب النفس و تحصيل الاعتقاد (ض، س، ٣٥، ١٣)
تمثيلات
- التمثيلات لا تعرف بنفسها و لا تفيد معرفة ذاتيّة و لا عرضيّة و انما تورد في لواحق الأقاويل المعرّفة و معها (ب، م، ٤٩، ١٩)
تمييز
- إذا كان المطلوب التمييز فإنّما ذاك بالمميّز فقط دون مشترك (ت، ر ١، ٣٨، ٦)- التمييز قد يحصل ب «الفصل» و «الخاصة» (ت، ر ١، ٤٩، ١١)
تناسب
- الأشياء التي هي بالتناسب واحدة بأعيانها فالأوسط موجود لها أيضا على طريق التناسب (أ، ب، ٤٥٩، ٨)- التناسب أربعة أقسام: أحدهما في الطبيعة، كالأب و الابن. و الثاني في العرض كالمالك و المملوك. و الثالث في المهنة كالمعلّم و المتعلّم. و الرابع في الشّبه كالأصفياء و الأخلّاء (به، ح، ١٢٣، ١٢)
تناقض
- كلّما كان التعاند و التناقض أكثر و تداولوا في زمان بعد زمان و امتدّ الزمان بذلك و طال و دأبوا عليه، كان أقرب إلى أن يخلص الصادق من الكاذب في كل مقدمة كلية اختلط كذبها بصدقها (ف، ج، ٢٥، ١٩)- بيّن أنّ لكل إيجاب سلبا يقابله، و لكل سلب إيجابا يقابله. و هذا هو التناقض، أعني أن يكون إيجاب و سلب متقابلين بالحقيقة (س، ع، ٤٣، ٨)- حال التناقض ... يوجب لصورته أن تكون إحدى القضيتين صادقة و الأخرى كاذبة بعينها أو بغير عينها لا لأجل مادّة دون مادّة (س، ع، ٦٦، ١٣)