С. Виноградов - Логика. Учебник для средней школы. [Издание восьмое. Утверждён Министерством просвещения РСФСР.]

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

Например:

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

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

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

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

Например:

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

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

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

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

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

В отношении движущегося тела могут быть высказаны два суждения: «Движущееся тело в данный момент находится в данной точке». «Движущееся тело в данный момент не находится в данной точке».

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

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

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

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

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

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

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

Оппортунист по самой своей природе, говорил В. И. Ленин, уклоняется от определённой и бесповоротной постановки вопроса, отыскивает какую-то равнодействующую. В. И. Ленин сравнивал оппортуниста с ужом, который вьётся между исключающими одна другую точками зрения, стараясь быть согласным и с той, и с другой, сводя свои разногласия к поправочкам, к сомнениям, к благим пожеланиям.

Конечно, беспринципность и соглашательство объясняются не тем, что оппортунисты не знают законов логики. Они нарушают эти законы потому, что проводят соглашательскую политику. Половинчатая, путаная политика обусловливает логическую путаницу.

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

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

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

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

Всякая истинная мысль должна быть обоснованной.

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

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

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

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

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

Не нуждаются в обоснованиях и такие, например, суждения: «Целое больше своей части», «Две величины, порознь равные третьей, равны между собой» и т. п. Такие суждения называются аксиомами. Аксиомы — это положения, которые не требуют доказательств, так как они уже миллионы раз проверены человеком на практике.

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

Однако непосредственное обращение к фактам не всегда возможно. Так, в подтверждение истинности мысли о возникновении органической жизни полтора-два миллиарда лет назад невозможно привести самый начальный факт зарождения жизни.

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

Покажем это на таком примере: тот факт, что медь — проводник электричества, можно доказать двумя путями: опытным (пропустить ток по медному проводу) или чисто логически, путём рассуждения (медь — металл; все металлы — хорошие проводники электричества; значит, медь есть хороший проводник электричества).

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

Логическое основание не следует смешивать с реальным основанием. Утверждая, например, что в комнате тепло, мы можем сослаться на показания термометра. Такая ссылка будет являться логическим основанием нашего утверждения. Реальным же основанием того, что в комнате тепло, является, конечно, не показание термометра, а нагревание комнаты печью или батареей отопительной системы.

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

Для обоснования правильности этой мысли он сослался на учение великого преобразователя природы И. В. Мичурина. Ссылка на учение И. В. Мичурина будет логическим основанием.

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

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