Аристотель был (384–322 гг. до н.э.) энциклопедическим ученым, он написал множество трудов, в том числе по физике, зоологии, механике, политике, этике и другим наукам. Аристотель учился в «Академии» Платона, но его последователем не стал. Критикуя платоновскую теорию идей, Аристотель полагал, что «идеи» – это «формы», существующие в отдельных чувственно воспринимаемых вещах как начала, формирующие вещь и являющиеся ее сущностью. Науку, занимающуюся изучением первых начал и причин бытия, Аристотель называл метафизика...

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