ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

- один из основных законов классической двузначной логики, исходившей из наличия у суждений только двух истинностных значений: истины или лжи. Его формальная запись такова: А V А (где V — означает исключающую дизъюнкцию: либо — либо). Согласно этому закону: любое суждение (высказывание вида «А есть В») либо истинно, либо ложно, третьего — не дано. Или: из двух противоречащих друг другу суждений одно непременно истинно. Развитие науки показало неуниверсальность этого закона формальной логики. С" одной стороны, создание квантовой механики показало, что в ней не два, а три истинностных значения для ее высказываний («истинно», «ложно», «неопределенно»), что наиболее подходящей (простой) логической основой для нее может быть скорее трехзначная, чем двухзначная логика. В системах трехзначной логики действует закон не исключенного третьего, а закон исключенного четвертого, который, правда, может рассматриваться как обобщенная форма закона исключенного третьего. Однако более радикальной критике универсальность закона исключенного третьего была подвергнута в интуиционистской логике и математике (Брауэр, Рейтинг и др.), где была показана его неприменимость к рассуждениям о свойствах элементов бесконечных множеств в силу невозможности перебора всех элементов таких множеств на предмет установления наличия или отсутствия у них определенного свойства. С точки зрения интуиционистов и конструктивистов закон исключенного третьего применим к рассуждениям только о конечно обозримых множествах. (См. мышление, рассудок, логика).