Skraftix.ru
Значения слова логика Мышление Понятия Существенные и несущественные признаки предметов Понятие и его признаки Содержание и объём понятий Обобщение и ограничение понятий Виды понятий Отношения между понятиями Определение понятий Генетическое определение понятия Деление понятий Приёмы, заменяющие определение понятия Суждения Суждение Деление суждений Распределённость терминов в суждениях Отношения между суждениями Преобразование суждений Законы логики Основные законы логики Закон тождества Закон противоречия Закон исключённого третьего Закон достаточного основания Умозаключения Умозаключение

Закон исключённого третьего

Закон исключённого третьего можно сформулировать так:

Из двух противоречащих суждений одно всегда истинно, другое — ложно, а третьего, среднего между ними ничего быть не может.

Если некоторое суждение обозначить буквой A, а его отрицание как не-A (неверно, что A), то закон исключённого третьего можно сформулировать как если A истинно, то не-А — ложно, либо наоборот, если A ложно, то не-А — истинно, другими словами дело обстоит либо так, как о нём говорится в рассматриваемом высказывании, либо так, как о нём говорится в его отрицании, никакого среднего состояния между ними нет.

Закон исключённого третьего в виде формулы:

A или не-A,

где A — суждение, не-A — его отрицание.

Пример.

Из двух противоречащих суждений: Ока — приток Волги и Ока не приток Волги, первое суждение истинно, второе — ложно. Среднего здесь ничего быть не может. Если бы кто-либо стал утверждать, что Ока — приток другой реки, а не Волги, то это новое, ложное, суждение по существу не представляло бы ничего среднего, третьего, так как оно совпало бы с суждением Ока не приток Волги.

Смысл закона исключённого третьего заключается в том, что во всяком суждении относительно его субъекта мы можем какой-либо предикат или утверждать, или отрицать: третьего не дано. Между утверждением и отрицанием нет ничего третьего.

Закон исключённого третьего непосредственно связан с законом противоречия. Этот закон применяется только к противоречащим суждениям.