В комментариях к статье о разрядности и точности машинных вычислений совершенно неожиданно возникла небольшая дискуссия, которая к собственно вычислениям имела не самое прямое отношение. Она была гораздо шире вопросов систем счисления, математической логики, схемотехники. Можно сказать, что она затрагивала и философские вопросы, и мировоззренческие. Прошло уже две недели, была опубликована и другая статья, казалось бы, вопрос остался в прошлом... Почему же я вспомнил о нем? Прошлая неделя выдалась довольно напряженной...

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