Применяя закон исключенного третьего, надо помнить, что он ничего не говорит о том, какое из двух противоречащих суждений является истинным. Закон указывает лишь на то, что истинно одно и только одно из них, а другое обязательно ложно. Это значит, когда нам удалось установить значение истинности одного из двух противоречащих суждений, то тем самым определилось и значение истинности другого тоже. Отдельно устанавливать его уже не надо, потому что оно однозначно задается значением истинности сопряженного с ним понятия. Но какое из них именно должно быть оценено так, а какое иначе – для этого требуется отдельное исследование. Причем одной только логики для него уже, как правило, недостаточно и зачастую приходится вообще выйти за ее пределы и обратиться к специальным наукам. Закон исключенного третьего совершенно неприменим к событиям и явлениям лишь возможным, в частности к будущему.
Закон исключенного третьего: противоречащие мысли не могут быть одновременно ни истинными, ни ложными, т. е. если одна из противоречащих мыслей истинна, то другая будет обязательно ложна, и наоборот. Третьего в этом отношении нет: либо истина, либо ложь. Формульная запись его А v не-А, или АvА. Читается формула: истинно А или не-А (черта над символом – знак отрицания).
Закон достаточного основания.
Четвертый основной закон формальной логики выражает то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Формулируется он обычно так: всякая мысль истинна или ложна не сама по себе, а в силу достаточного основания. Это значит: любое положение, прежде чем стать научной истиной, должно быть подтверждено аргументами, достаточными для признания его твердо и неопровержимо доказанным. Тем самым дается объяснение: по каким причинам имеет место данное положение, а не другое.
Следует помнить, что логика не всегда в состоянии указать, какая именно мысль должна обосновывать. Закон достаточного основания утверждает только, что у логической мысли такое основание всегда есть; ее преобразование с помощью логических процедур и правил возможно именно поэтому. Но как формулируется обосновывающее утверждение, этот вопрос чаще всего решается конкретными науками, а если даже и логикой, то все равно не через использование данного закона. Так, установив, что какое-то небесное тело имеет эллиптическую орбиту, астрономия уверенно делает вывод, что оно либо планета, либо спутник, либо комета; замкнутость эллиптических орбит служит основанием для такого заключения, и связь между тем и другим устанавливается в науке о небесных телах, а не в логике. Однако, используя закон исключенного третьего, можно из того