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