فَصْلٌ فِي التَّناقُضِ
التَّناقُضُ اخْتِلافُ قَضِيَّتَيْنِ بِحَيْثُ يَلْزَمُ لِذاتِهِ مِنْ صِدْقِ كُلٍّ كَذِبُ الأُخْرَى وَبِالعَكْسِ، وَلا بُدَّ مِنَ الاخْتِلافِ فِي الكَيْفِ وَالكَمِّ وَالجِهَةِ، وَالاتِّحادِ فِيما عَداها. وَالنَّقِيضُ لِلضَّرُورِيَّةِ المُمْكِنَةُ العامَّةُ، وَلِلدّائِمَةِ المُطْلَقَةُ العامَّةُ، وَلِلمَشْرُوطَةِ العامَّةِ الحِينِيَّةُ المُمْكِنَةُ، وَلِلعُرْفِيَّةِ العامَّةِ الحِينِيَّةُ المُطْلَقَةُ، وَلِلمُرَكَّبِ المَفْهُومُ المُرَدَّدُ بَيْنَ نَقِيضَيِ الجُزْأَيْنِ، لٰكِنْ فِي الجُزْئِيَّةِ بِالنِّسْبَةِ إِلَى كُلِّ فَرْدٍ.
تَهْذِيبُ المَنْطِقِ · ص 9–10