Противоречие (закон исключенного третьего)

Мы можем утверждать, что из одной формулировки закона противоречия не может следовать никаких суждений, кроме высказывания о том, что существует истина, или что некоторое суждение истинно. Ибо этот закон говорит лишь о том, что любое суждение должно быть либо истинно, либо ложно, но не может быть и тем и другим одновременно. Закон не дает указания на то, какую альтернативу следует предпочесть, и не может сам определить, какое суждение истинно. Теперь перейдем к интерпретации закона противоречия.

Не следует говорить: "Предложения &это красное& и &это не красное& не могут быть истинными одновременно", поскольку мы заинтересованы в устранении "не". Следует говорить: "Неверие в утверждение &убеждение, что это красное, и неверие в то, что это красное, одновременно истинны& всегда истинно". По-видимому, таким путем мы можем заменить "не" и "ложность" на "неверие" и "истинность неверия". Затем мы снова вводим "не" и "ложность" с помощью определений: слова "это не синее" определяются как выражающие неверие в то, что выражается словами "это синее". Таким образом удается избежать необходимости пользоваться "не", которое является неопределимой составляющей фактов.