Противоположные суждения — так называются два суждения, имеющие одно и то же подлежащее и сказуемое, но различающиеся между собой по количеству или качеству. Если назвать A — общеутвердительные суждения; E — общеотрицательные; I — частноутвердительные; O — частноотрицательные, то можно составить квадрат, на котором все отношения противоположности будут выяснены графически. Противные суждения (A и E) могут быть одновременно ложными, но не могут быть одновременно истинными; подпротивные (I и O) могут быть одновременно истинными, но не могут быть одновременно ложными. Из двух противоречивых суждений (A и O или E и I) одно непременно должно быть истинным, а другое ложным. Итак, противоречие и противность суть виды противоположности. Из рассмотрения отношений противоречия и противности выводится закон противоречия и закон исключенного третьего. Есть ещё вид противоположности, основанной на отношении контраста; в таковом отношении находятся суждения с одинаковым подлежащим и с контрастирующи