Логика. Учебник для средней школы

Жизнь показывает, что всегда, когда представители того или иного класса, той или иной партии в практической деятельности вступают на ошибочный путь, идущий вразрез с логикой вещей, они начинают прибегать к обману, к словесным выкрутасам, натяжкам и увиливаниям. В таких случаях люди неизбежно начинают противоречить сами себе.

Меньшевики, например, всегда колебались между буржуазией и пролетариатом, между революцией и контрреволюцией. Это положило клеймо на всю их логику. «Отсюда, — указывает И.В. Сталин, — неминуемые противоречия между словом и делом, вечная неуверенность и шатание мысли».

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

Закон исключённого третьего, как и все другие логические законы, является отображением в нашем сознании одной из сторон материальной действительности.

Какой же именно стороны? Поясним это на таком примере: дерево, растущее у нашего дома, является или берёзой, или не берёзой, и ничем третьим оно быть не может; чернила, которыми мы пишем, имеют или чёрный цвет, или какой-нибудь другой цвет, т. е. не чёрный.

Связь этих и множества других подобных фактов, миллиарды раз повторявшихся в человеческой практике, отобразилась в нашем сознании в виде закона исключённого третьего.

Формулировка его следующая:

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

Закон этот соблюдается в правильном мышлении. В силу этого закона мы с полной уверенностью можем сказать о двух противоречащих суждениях, что одно из них обязательно будет истинным, а другое — ложным, и никакого третьего, промежуточного, суждения быть не может.

Эта наша уверенность основывается на фактах действительности, отображением которых является закон исключённого третьего.

Закон исключённого третьего относится к противоречащим суждениям. Противоречащими суждениями могут быть единичные суждения, из которых одно что-либо утверждает, а другое это же самое отрицает.

Например:

Ока — приток Волги.

Ока не есть приток Волги.

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

К противоречащим суждениям относятся также и такие два суждения, из которых одно — общее, а другое ― частное, причём одно из них что-либо утверждает о данном предмете, а другое отрицает.

Например:

Все жители Венгрии — мадьяры.

Некоторые жители Венгрии — не мадьяры.

Одно из таких суждений обязательно будет ложным, другое — истинным, а третьего быть не может.

Противоречащие суждения всегда выражают собой какую-то альтернативу, т. е. наличие только двух возможностей, из которых одна отрицает другую. Если суждения не выражают альтернативы, то они не будут противоречащими, — к таким суждениям закон исключённого третьего неприменим.

Рассмотрим такой пример.

В отношении движущегося тела могут быть высказаны два суждения:

Движущееся тело в данный момент находится в данной точке.

Движущееся тело в данный момент не находится в данной точке.

Эти два суждения не представляют собой альтернативы и, следовательно, не являются противоречащими, так как существует третья, единственно правильная возможность: «Движущееся тело в одно и то же время находится и не находится в данной точке». Иначе говоря, движущееся тело обладает свойством находиться и не находиться в одно и то же время в данной точке.

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

Закон исключённого третьего выражает существенную черту наших рассуждений: всякий раз, когда между утверждением и отрицанием того или иного положения нет среднего, надо устранять неопределённость и выявлять, какое из этих утверждений истинно и какое ложно.

При этом, если установлено, что данное суждение истинно, то из этого закономерно следует, что противоречащее ему суждение ложно; и, соответственно, наоборот: если установлено, что данное суждение ложно, то из этого также закономерно следует, что противоречащее ему суждение истинно.