Несовместимыми являются понятия, объемы которых не совпадают ни полностью, ни частично. Это происходит в результате того, что в содержании данных понятий присутствуют признаки, которые полностью исключают совпадение их объемов.
Отношения несовместимости принято делить на три вида, среди которых различают соподчинение, противоположность и противоречие.
Соподчинение. Отношение соподчинения возникает в случае, когда рассматриваются несколько понятий, исключающих друг друга, но при этом имеющих подчинение другому, общему для них, более широкому (родовому) понятию. Так как подобные понятия исключают друг друга, совершенно естественно, что они не перекрещиваются. Например, понятие «огнестрельное оружие» в своем объеме содержит «револьвер», «автомат», «винтовка» и др. Рассматривая данные понятия, можно отметить, что ни один револьвер не может быть автоматом, как ни одна винтовка не является револьвером. Несмотря на взаимное исключение, данные понятия подчинены общему. Понятия, находящиеся в отношении подчинения к более общему для них понятию, но не пересекающиеся, носят название соподчиненных.Соподчиненные понятия - это виды родового понятия.
При определении понятий, входящих в отношение соподчинения, иногда возможна ошибка. Она заключается в том, что вместо взаимоисключающих понятий в качестве примера приводятся понятия, подчиненные одно другому (например, «писатель» - «русский писатель» - «Н. В. Гоголь»). В результате отношение соподчинения подменяется отношением подчинения, что недопустимо.
Противоположность (контрастность). Понятиями, находящимися в отношении противоположности, можно назвать такие виды одного рода, содержания каждого из которых отражают определенные признаки, не только взаимоисключающие, но и заменяющие друг друга.
Словами-антонимами, выражающими противоположные понятия, являются: «верх» - «низ», «черное» - «белое», «тяжелый снаряд» - «легкий снаряд» и т. д.
Противоречие (контрадикторность). Отношение противоречия возникает между двумя понятиями, одно из которых содержит определенные признаки, а другое отрицает (исключает) эти признаки, не заменяя их другими.
В связи с этим два видовых понятия, находящихся в отношении противоречия, занимают весь объем понятия, являющегося для них родовым. Следует особо отметить, что между двумя противоречащими понятиями не может быть никакого иного понятия.
В отношение противоречия вступают положительные и отрицательные понятия. Слова, составляющие противоречивые понятия, также являются антонимами.
