Объективно-логическое понимание закона исключенного третьего, согласно которому всякое истинное суждение должно быть или утверждением, или отрицанием, Аристотель доказывает следующим аргументом. Поскольку истинные и ложные суждения высказывают обо всем, что есть или не есть, то отсюда вытекает, что суждение, которое выражает среднее между бытием и небытием и, следовательно, не высказывает ни о бытии, ни о небытии, не является ни истинным, ни ложным, и поэтому оно логически невозможно. Истинные и ложные высказывания исчерпывают весь объем возможных суждений.

Другое доказательство исходит из того психологического факта, что дискурсивное мышление имеет лишь две формы своего проявления: оно или утверждает, или отрицает. Функция мышления в его конкретно-психологическом проявлении — это утверждение или отрицание. Что-либо среднее между ними психологически невозможно. Это психологический факт.