متضادتان

-المتضادتان هما اللتان يقرن بموضوع كل واحدة سور كلي، كقولنا كل إنسان حيوان و لا إنسان واحد حيوان (ف، ق، 15، 16) - المتضادتان فإنّهما تقتسمان الصدق و الكذب في الأمور الضرورية و في الممتنعة، و تكذبان جميعا في الممكنة (ف، ق، 16، 17) - قد تكون موضوعات الجدل موادّ ممكنة، ففي هذه قد تكون المتضادتان جميعا كاذبتين.

فكذلك لا يمتنع أن تكونا شنيعتين (ف، ج، 107، 12) - الكلّيتان لا تتناقضان بل قد تكذبان معا و هما المتضادتان، فإنّ تناقضهما هو ان لا تجتمعا على صدق و لا على كذب و تضادهما بأن لا تجتمعا على صدق بل قد تجتمعان على كذب (ب، م، 91، 6)

متضايف

-كل متضايف فهو متقابل، و كل متضاد و كل عدم و ملكة، و ليس كل متقابل من المضاف، فليس إذن المتضايف أعم من المتقابل، فليست الإضافة أعمّ من التقابل (س، م، 251، 16) - أمّا التقابل، فليس جنسا لما تحته بوجه من الوجوه، و ذلك لأن المتضايف، ماهيّته أنّه مقول بالقياس إلى غيره، ثم يلحق هذه الماهيّة أن تكون مقابلا ليس أنّها تتقوّم بهذا (س، م، 252، 11)

متضايفات

-إنّ الطويل و العريض و العميق و الكثير المتضايفات قد تتضايف على الإطلاق؛ فلا يكون من شرط ما يضاف إليه طرف منها أن يتضمن إضافة إلى ثالث منها، كما تقول:

الكثير أو الكبير أو غير ذلك؛ و قد تضاف إضافة تتضمن ذلك، فيقال أطول و أكثر و أعمق؛ فإنّ لكل واحد منها إضافة إلى شي ء له إضافة إلى ثالث، فإنّ الأطول أطول بالقياس إلى شي ء هو عند شي ء ما طويل، إلّا أن هذا الشي ء أطول (س، م، 132، 9) - المتضايفات: إمّا مطلقات، فيوجب وجود أحدهما الآخر، و إمّا في شي ء واحد، فلا يمنع أن يكون ما هو أب هو أيضا ابنا (س، م، 263، 10) - المتضايفات تتلازم على الاستقامة إذا روعي ما يجب أن يراعى تلازما حقيقيا؛ و تتلازم على الإطلاق تلازما مشهورا. مثاله: إن كان ذو ثلاثة أضعاف كثير الأضعاف، فذو ثلاثة أجزاء كثير الأجزاء. و إن كان العلم ظنا، فالمعلوم مظنون. و إن كان البصر حسا، فالمبصر محسوس (س، ج، 133، 7) - موضع من المتضايفات، مثل أنّه إذا لم يكن الفاضل خاصّة الضعف، فليس المفضول خاصّة النصف؛ و هو للإثبات و الإبطال (س، ج، 226، 8)

متضايفان

-إنّ المتضايفين من حيث يتضايفان بالفعل تضايفا على التعادل فهما معا؛ إذ الشي ء إنّما تقال ماهيّة بالقياس إلى شي ء يكون معه. و أمّا إذا أخذ أحدهما بالفعل و الآخر بالقوة، فقد زال التعادل (س، م، 153، 10) - أمّا المتضايفان فلا بدّ أن يدخل أحدهما في حدّ الآخر، إذ كانت ماهيّته مقولة بالقياس إلى الآخر؛ و لكن ينبغي أن يؤخذ بعضها في حدود