..Впоследствии эти законы наряду с законом тождества («A есть A») были приняты схоластами в качестве основных законов логики. Оригинальная формулировка Аристотеля: «Оба утверждения A и не-A не могут быть одновременно ложны». Наряду с этим, в «Метафизике» встречается (не как закон, а как способ рассуждения) другая формулировка, в настоящее время более употребимая: «Одно из утверждений A или не-A должно быть истинным». Эта формулировка известна как сильный закон исключённого третьего и получила в схоластической логике название tertium non datur...
...Брауэр был убеждён, что логические законы не являются абсолютными истинами, не зависящими от того, к чему они прилагаются. Возражая против закона исключённого третьего, он настаивал на том, что кроме утверждения и его отрицания имеется ещё третья возможность, которую нельзя исключить: она обнаруживает себя при рассуждениях о бесконечных множествах объектов. Ограничение Брауэром сферы действия этого закона существенно сужало круг тех способов рассуждения, которые применимы в математике и это сразу же вызвало резкую оппозицию многих математиков. Первое формальное доказательство брауэрова закона дал В. И. Гливенко (1928). Критика Брауэром закона исключённого третьего положила начало новому направлению в формальной логике (см. Логика формальная) — интуиционистской логике. В ней не принимается данный закон и отбрасываются все те способы рассуждения, которые с ним связаны.

В целом, закон исключённого третьего представляется теперь спорным законом логики, более того, в некоторых рассуждениях его следует считать ложным. Общая критика закона (в его сильной форме) сводится к следующим положениям. Он применим для рассмотрения терминов в фиксированной обстановке с фиксированной точки зрения. Он не подходит для меняющейся обстановки и субъективных понятий. Он не допустим даже для терминов, если исследователя интересует не просто доказательство, а построение. Тем не менее, во всех указанных случаях иногда его использование корректно и весьма эффективно, но требует дополнительных обоснований....