Ранее мы говорили про три закона логики: это закон тождества (предмет, который мы обсуждаем, всегда тот же), закон противоречия (отрицание явления никогда не может присутствовать одновременно с явлением) и закон исключенного третьего («третьего не дано»). На этих трёх законах построена большая часть логических построений и нашей жизни. Есть, конечно, неклассические логики, но они редко используются. Но, как справедливо заметили комментаторы, есть ещё и четвёртый закон, про который Аристотель не сказал, а сказал Лейбниц...

Аристотель не зря считается основоположником логики. Вся наша логика (включая её неклассические варианты) в той или иной степени построена именно на рассуждениях Аристотеля о логике. И одно из главных его достижений в логике — это описанные им три логических закона. Конечно, они наверняка использовались и раньше, но, сформулированные, они обрели точность и вес. Ну, и сделали дискуссии на симпосиях интереснее. В этой статье мы рассмотрим только эти три закона, четвёртый логический закон, сформулированный Лейбницем — закон достаточного основания — будет темой для отдельной статьи...