Подвергая их тщательному анализу, Аристотель, прежде всего, отмечает коренное различие между противоречащим и противоположным, поскольку у противоречия нет ничего промежуточного, тогда как между противоположностями оно обязательно существует, ибо противоположности представляют собой «избыток» и «недостаток» того или иного субстрата относительно промежуточного. Они тождественны по роду, но различны по виду. Промежуточное принадлежит к тому же роду, что и противоположности.
Противоречащее, наоборот, определяется философом как абстрактное различие. И действительно, «не-А» настолько абстрактно, что включает в себя все, что угодно, кроме «А», т.е. третьего не дано: либо «А», либо «не-А». Поэтому, заключает философ, не может быть ничего промежуточного между двумя членами противоречия.
Продолжая конкретизировать различия, Аристотель выделяет соотнесенное как такое отношение, о котором говорят, «что то, что оно есть, оно есть в связи с другим». В «Категориях» философ отмечает обоюдностъ и субстанциальное тождество соотнесенного. Так, под рабом подразумевается раб господина, а под господином – господин раба. Поэтому соотнесенные между собой стороны всегда находятся вместе и устраняются вместе.
В несколько ином аспекте дается определение соотнесенного в «Метафизике», где на первом места стоит математическое его выражение. Здесь эти отношения касаются чисел и, прежде всего, являются их свойствами.
Соотнесенные понятия устанавливают отношения между вещами, свойствами и другими характеристиками явлений в терминах «больше», «меньше», «равно». Они базируются на выделении качественно однородного в вещах, процессах природы и социальной жизни, что позволяет Аристотелю рассматривать их как соизмеримые величины.
Сравнивая соотнесенное с противоположным, Аристотель приходит к убеждению, что по определению эти два рода противопоставления отличаются друг от друга. Так, если противоположности рассматриваются как избыток и недостаток относительно промежуточного, то соотнесенное имеет смысл только по отношению друг к другу.
Последний признак характерен также и для четвертого вида аристотелевского противолежания – «лишенности и обладания», которые противостоят друг другу отсутствием и наличием одного и того же свойства. Например, как слепота противостоит зрению. Но поскольку между ними Аристотель не сумел выявить числового отношения, он допустил, что они не противопоставлены друг другу как соотнесенное. Не являются они и противоположностями, так как между ними нет ничего промежуточного.