1
§ 4. Закон исключённого третьего
Закон исключённого третьего, как и все другие логические законы, является отображением в нашем сознании одной из сторон материальной действительности.
Какой же именно стороны? Поясним это на таком примере: дерево, растущее у нашего дома, является или берёзой, или не берёзой, и ничем третьим оно быть не может; чернила, которыми мы пишем, имеют или чёрный цвет, или какой-нибудь другой цвет, т. е. не чёрный.
Связь этих и множества других подобных фактов, миллиарды раз повторявшихся в человеческой практике, отобразилась в нашем сознании в виде закона исключённого третьего.
Формулировка его следующая:
Из двух противоречащих суждений всегда одно истинное, другое ложное, а третьего быть не может.
Закон этот соблюдается в правильном мышлении. В силу этого закона мы с полной уверенностью можем сказать о двух противоречащих суждениях, что одно из них обязательно будет истинным, а другое — ложным, и никакого третьего, промежуточного, суждения быть не может.
Эта наша уверенность основывается на фактах действительности, отображением которых является закон исключённого третьего.
Закон исключённого третьего относится к противоречащим суждениям. Противоречащими суждениями могут быть единичные суждения, из которых одно что-либо утверждает, а другое это же самое отрицает.
Например:
«Ока — приток Волги» и
«Ока не есть приток Волги».
Одно из этих суждений истинное, другое — ложное, и никакого третьего, среднего, суждения здесь быть не может. Если кто-нибудь стал бы утверждать, что Ока приток другой реки, не Волги, то такое суждение не представляло бы ничего третьего, среднего, так как оно совпадало бы с суждением «Ока не есть приток Волги».
К противоречащим суждениям относятся также и такие два суждения, из которых одно — общее, а другое — частное, причём одно из них что-либо утверждает о данном предмете, а другое отрицает.
Например:
«Все жители Венгрии — мадьяры» и
«Некоторые жители Венгрии — не мадьяры».
Одно из таких суждений обязательно будет ложным, другое — истинным, а третьего быть не может.
Противоречащие суждения всегда выражают собой какую-то альтернативу, т. е. наличие только двух возможностей, из которых одна отрицает другую. Если суждения не выражают альтернативы, то они не будут противоречащими, — к таким суждениям закон исключённого третьего неприменим.
Рассмотрим такой пример.
В отношении движущегося тела могут быть высказаны два суждения: «Движущееся тело в данный момент находится в данной точке». «Движущееся тело в данный момент не находится в данной точке».
Эти два суждения не представляют собой альтернативы и, следовательно, не являются противоречащими, так как существует третья, единственно правильная возможность: «Движущееся тело в одно и то же время находится и не находится в данной точке». Иначе говоря, движущееся тело обладает свойством находиться и не находиться в одно и то же время в данной точке.
Но если бы кто-нибудь стал утверждать, что движущееся тело такого свойства не имеет, то получилось бы два альтернативных, противоречащих суждения. Первое из них истинно, а второе — ложно, и ничего среднего быть не может.
Закон исключённого третьего выражает существенную черту наших рассуждений: всякий раз, когда между утверждением и отрицанием того или иного положения нет среднего, надо устранять неопределённость и выявлять, какое из этих утверждений истинно и какое ложно.
При этом, если установлено, что данное суждение истинно, то из этого закономерно следует, что противоречащее ему суждение ложно; и, соответственно, наоборот: если установлено, что данное суждение ложно, то из этого также закономерно следует, что противоречащее ему суждение истинно.