Законы мышления

Из четырех законов мышления традиционной логики Аристотель установил, по крайней мере, два: закон запрещения противоречия и закон исключенного третьего. Законы тождества и достаточного основания у Аристотеля намечены в учении о научном знании как знании доказательном (закон достаточного основания) и в тезисе, согласно которому "невозможно ничего мыслить, если не мыслить каждый раз что-нибудь одно" (закон тождества).

В краткой форме закон запрещения противоречия звучит как "вместе существовать и не существовать нельзя", а в полной как утверждение: "невозможно, чтобы одно и тоже вместе было и не было присуще одному и тому же в одном и том же смысле". В "Метафизике" сформулирован и логический аспект закона запрещения противоречия в словах о том, что "нельзя говорить верно, вместе утверждая и отрицая что-нибудь". Этот закон прямо обосновать нельзя, однако можно опровергнуть противоположный ему взгляд, показав его нелепость.

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

У Аристотеля можно найти и другие принципиальные ограничения сферы действия закона противоречия. Его действие не распространяется на будущее, так как это связано со сферой возможности. Обостренной формой закона запрещения противоречия является закон исключенного третьего, этот закон выражен так: "Не может быть ничего посредине между двумя противоречащими друг другу суждениями, но об одном субъекте всякий отдельный предикат необходимо либо утверждать, либо отрицать".

Действие этих законов таково, что закон запрещения противоречия не обязательно влечет за собой закон исключенного третьего, но закон исключенного третьего предполагает действие закона запрещения противоречия.[17]