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