A NON EST NON-A (А ие есть н в-А) — формула, символически изображающая существо основного требования закона противоречия (см. Противоречия закон). Истолковывая А как некоторое суждение, эту формулу можно интерпретировать так: А несовместимо с не-Л, т. е. не могут быть одновременно истинными А и не-Л. Большего эта формула противоречия не выражает. Из нее, напр., не видно, что закон противоречия запрещает употреблять противоречивые мысли только в том случае, если речь идет оо одном и том же отношении. А между тем эти условия имеют существенное значение для понимания закона противоречия.
Из истории логики известно, что формула «Л поп est поп-Л» часто использовалась различными критиками формальной логики с целью доказательства того, будто формальная логика может быть только метафизической наукой, что она отрицает всякие противоречия в природе и в мысли. Но это ошибка критиков. Формальная логика запрещает только противоречие самому себе по одному и тому же вопросу, в одно и то же время, в одном и том же отношении и смысле. Если же противоположные мысли высказаны относительно одного и того же предмета, но взятого в разное время или в разных отношениях, то такие противоположные мысли формальная логика не считает логически противоречивыми. Формула «Л поп est поп-Л», будучи лишь мнемоническим средством, не выражает всего существа понятия непротиворечивости применительно к процессам естественного содержательного рассуждения, и поэтому критика не имеет оснований.