للتقابل أربعة أقسام:

1- (تقابل النقیضین) أو السلب والإیجاب، مثل: إنسان ولا إنسان، سواد ولا سواد، منیر وغیر منیر. والنقیضان: أمران وجودی وعدمی، أی عدم لذلک الوجودی، وهما لا یجتمعان ولا یرتفعان ببدیهة العقل، ولا واسطة بینهما.

2- (تقابل الملکة وعدمها) کالبصر والعمى، الزواج والعزوبة، فالبصر ملکة والعمى عدمها. والزواج ملکة والعزوبة عدمها.

ولا یصح أن یحل العمى إلاّ فی موضع یصح فیه البصر، لأن العمى لیس هو عدم البصر مطلقاً، بل عدم البصر الخاص، وهو عدمه فیمن شأنه أن یکون بصیراً. وکذا العزوبة لا تقال إلاّ فی موضع یصح فیه الزواج، لا عدم الزواج مطلقاً، فهما لیسا کالنقیضین لا یرتفعان ولا یجتمعان، بل هما یرتفعان. وإن کان یمتنع اجتماعهما، فالحجر لا یقال فیه أعمى ولا بصیر، ولا أعزب ولا متزوج، لأن الحجر لیس من شأنه أن یکون بصیراً، ولا من شأنه أن یکون متزوجاً.

إذن الملکة وعدمها: «أمران وجودی وعدمی لا یجتمعان ویجوز أن یرتفعا فی موضع لا تصح فیه الملکة».

3- (تقابل الضدین) کالحرارة والبرودة، والسواد والبیاض، والفضیلة والرذیلة، والتهور والجبن، والخفة والثقل.

والضدان: «هما الوجودیان المتعاقبان على موضع واحد، ولا یتصور اجتماعهما فیه، ولا یتوقف تعقل أحدهما على تعقل الآخر».

وفی کلمة (المتعاقبان على موضوع واحد) یفهم أن الضدین لابد أن یکونا صفتین، فالذاتان مثل إنسان وفرس لا یسمیان بالضدین. وکذا الحیوان والحجر ونحوهما. بل مثل هذه تدخل فی المعانی المتخالفة، کما تقدم.

وبکلمة «لا یتوقف تعقل أحدهما على تعقل الآخر» یخرج المتضایفان، لأنهما أمران وجودیان أیضاً ولا یتصور اجتماعهما فیه من جهة واحدة، ولکن تعقل أحدهما یتوقف على تعقل الآخر. وسیأتی.

4- (تقابل المتضایفین) مثل: الأب والابن، الفوق والتحت، المتقدم والمتأخر، العلّة والمعلول، الخالق والمخلوق وأنت إذا لاحظت هذه الأمثلة تجد:

(أولاً) أنک إذا تعقلت أحد المتقابلین منها لابد أن تتعقل معه مقابله الآخر: فإذا تعقلت أن هذا أب أو علّة لابدّ أن تتعقل معه أن له ابناً أو معلولاً.

(ثانیاً) أن شیئاً واحداً لا یصح أن یکون موضوعاً للمتضایفین من جهة واحدة، فلا یصح أن یکون شخص أباً وابناً لشخص واحد، نعم یکون أباً لشخص وابناً لشخص آخر. وکذا لا یصح أن یکون الشیء فوقاً وتحتاً لنفس ذلک الشیء فی وقت واحد. وإنما یکون فوقاً لشیء هو تحت له، وتحتاً لشیء آخر هو فوقه...

وهکذا. (ثالثاً) أن المتقابلین فی بعض هذه الأمثلة المذکورة أولاً، یجوز أن یرتفعا، فإن واجب الوجود لا فوق ولا تحت، والحجر لا أب ولا ابن. وإذا اتفق فی بعض الأمثلة أن المتضایفین لا یرتفعان کالعلّة والمعلول، فلیس ذلک لأنهما متضایفان. بل لأمر یخصهما، لأن کل شیء موجود لا یخلو إما أن یکون علّة أو یکون معلولاً.

وعلى هذا البیان یصح تعریف المتضایفین بأنهما:

«الوجودیان اللذان یتعقلان معاً ولا یجتمعان فی موضوع واحد من جهة واحدة ویجوز أن یرتفعا».

***