Смотреть больше слов в «Словаре по логике»
логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу выска... смотреть
один из основных законов классической двузначной логики, исходившей из наличия у суждений только двух истинностных значений: истины или лжи. Его формальная запись такова: А V А (где V — означает исключающую дизъюнкцию: либо — либо). Согласно этому закону: любое суждение (высказывание вида «А есть В») либо истинно, либо ложно, третьего — не дано. Или: из двух противоречащих друг другу суждений одно непременно истинно. Развитие науки показало неуниверсальность этого закона формальной логики. С* одной стороны, создание квантовой механики показало, что в ней не два, а три истинностных значения для ее высказываний («истинно», «ложно», «неопределенно»), что наиболее подходящей (простой) логической основой для нее может быть скорее трехзначная, чем двухзначная логика. В системах трехзначной логики действует закон не исключенного третьего, а закон исключенного четвертого, который, правда, может рассматриваться как обобщенная форма закона исключенного третьего. Однако более радикальной критике универсальность закона исключенного третьего была подвергнута в интуиционистской логике и математике (Брауэр, Рейтинг и др.), где была показана его неприменимость к рассуждениям о свойствах элементов бесконечных множеств в силу невозможности перебора всех элементов таких множеств на предмет установления наличия или отсутствия у них определенного свойства. С точки зрения интуиционистов и конструктивистов закон исключенного третьего применим к рассуждениям только о конечно обозримых множествах. (См. мышление, рассудок, логика).... смотреть
Principium exclusi tertii
law of excluded middle
закон виключеного третього
үшіншіні жоққа шығару заңы
закон выключанага трэцяга
law of excluded middle