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

Трудно представить будущее информационных технологий с классической   двоичной системой. Более того, сегодня уже существуют реализации неклассических логических технологий и моделей. Но автор этой статьи изначально сосредоточился не на технологии, а на гуманитарной логике — логике как гуманитарной науке. И сразу можно задавать вопрос: «А есть ли не гуманитарная логика?» Конечно, есть, если понимать логику как систему операндов и операторов для выполнения «мыслительных действий» аппаратов и программ с правильными результатами. Вполне логично задавать другой вопрос:  «Стоит брать на основу компьютеров не гуманитарную логику?»...