لحصول المادة ، كتبديل الموجبة الكلّية بالموجبة الكلّية في قولنا كلّ إنسان ناطق وكلّ ناطق إنسان ، وليخرج عنه تبديل طرفيها بحيث يحصل منه قضية أعمّ من العكس كتبديل طرفي السّالبة الكلّية بحيث يحصل سالبة جزئية ، وتبديل طرفي الضرورية بحيث يحصل ممكنة عامة. وإنّما اشترطوا بقاء الصدق لأنّ العكس لازم خاص من لوازم الأصل ويستحيل صدق الملزوم بدون اللازم ، فعند التحقيق العكس بالمعنى المصدري تبديل طرفي القضية بحيث يحصل منه أخصّ قضايا لازمة لها لذاتها موافقة لها في الكيف ، وبالمعنى الحاصل بالمصدر أخصّ قضايا حاصلة بتبديل طرفي القضية لازمة للأصل لذاته ، موافقة له في الكيف ، فلا بد في إثبات انعكاس قضية إلى قضية من بيان لزوم العكس للأصل في جميع المواد بدليل أو تنبيه ، ومن بيان عدم لزوم قضية أخصّ منه ، كذلك بتخلّفها عنه في بعض المواد ، كما يقال الموجبة كلّية أو جزئية تنعكس موجبة جزئية للزومها لهما في جميع المواد وعدم لزوم الموجبة الكلية لشيء منهما في جميعها لتخلّفها عنهما فيما إذا كان المحمول أعمّ من الموضوع والتالي أعمّ من المقدّم ، كما في قولك كلّ إنسان حيوان وقولنا إذا كان الشيء إنسانا كان حيوانا ، إذ لا يصدق العكس هناك كلّية مع صدق الأصلين قطعا ، ولم يعتبروا بقاء الكذب لجواز لزوم الصدق الكاذب ، والمراد ببقاء الكيف بقاء الكيف الموجود في الأصل في الفرع ، بمعنى أن يكون عكس الموجبة موجبة وعكس السّالبة سالبة. اعلم أنّ معنى انعكاس القضية أنّه يلزمها العكس لزوما كليا ، ومعنى عدم انعكاسها أنّه ليس يلزمها العكس لزوما كلّيا.
فائدة :
السالبة الكلية تنعكس كنفسها ، والجزئية لا تنعكس لجواز عموم الموضوع ، والموجبة مطلقا تنعكس جزئية ولا عكس للمنفصلات والاتفاقيات لعدم الجدوى. وأمّا بحسب الجهة فمن السوالب الكلّية تنعكس الدائمتان والعامّتان كنفسهما والخاصتان عامتين مع اللاّدوام في البعض ، ولا عكس للبواقي. ومن السوالب الجزئية لا تنعكس إلاّ الخاصّتان كنفسهما. ومن الموجبات تنعكس الوجوديتان والوقتيتان والمطلقة العامة مطلقة عامة ، والخاصتان حينية لا دائمة. ومنها ما يسمّى عكس النقيض وهو تبديل نقيضي الطّرفين مع بقاء الصدق والكيف بحالهما. وقد يطلق عكس النقيض أيضا على القضية الحاصلة من هذا التبديل والمعنى الأول أصل بالنسبة إلى الثاني ، والثاني منقول منه والمراد بتبديل نقيضي الطرفين تبديل كلّ من الطرفين بنقيض الطرف الآخر. والمراد ببقاء الصدق والكيف ما عرفت في العكس المستوي.
والحاصل أنّ عكس النقيض قد يطلق على جعل نقيض المحكوم به محكوما عليه ونقيض المحكوم عليه محكوما به على وجه يحصل أخصّ القضايا اللازمة للأصل بهذا التبديل مع الموافقة في الكيف بلا واسطة ، ومع قطع النظر عن خصوص المادة. وقد يطلق على أخصّ القضايا اللازمة للأصل على الوجه المذكور.
فإذا قلنا كلّ إنسان حيوان كان عكس نقيضه كلّما ليس بحيوان ليس بإنسان وهذان الإطلاقان مبنيان على اصطلاح قدماء المنطقيين. وقالوا المستعمل في العلوم هو هذا المعنى ، وحكم الموجبات فيه حكم السوالب في العكس المستوي والبيان البيان. وأمّا عند المتأخّرين منهم فعكس النقيض جعل نقيض المحكوم به من الأصل محكوما عليه وعين المحكوم عليه منه محكوما به مع بقاء الصدق دون الكيف ، أي على وجه يحصل أخصّ القضايا اللازمة للأصل على هذا التبديل مع المخالفة في الكيف بلا واسطة ، ومع قطع النظر عن خصوص المادة.