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

Согласно этому принципу нужно уточнять наши понятия так, чтобы можно было давать ответы на альтернативные вопросы. Например: «Является ли это деяние преступлением или оно не является преступлением?». Если бы понятие «преступление» не было точно определено, то в некоторых случаях на этот вопрос невозможно было бы ответить. Другой вопрос: «Солнце взошло или не взошло?». Представим себе такую ситуацию: Солнце наполовину вышло из-за горизонта. Как ответить на этот вопрос? Принцип исключенного третьего требует, чтобы понятия уточнялись для возможности давать ответы на такого рода вопросы. В случае с восходом Солнца мы можем, например, договориться считать, что Солнце взошло, если оно чуть-чуть показалось из-за горизонта. В противном случае считать, что оно не взошло.

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

Умозаключение

Умозаключение — это способ получения нового знания на основе некоторого имеющегося.

Он представляет собой переход от некоторых высказываний, фиксирующих наличие некоторых ситуаций в действительности, к новому высказыванию и соответственно к знанию о наличии ситуации, которую описывает это высказывание. Например, в механике известно, что у всякого тела, плотность которого одинакова во всех его частях, геометрический центр и центр тяжести совпадают. Известно также (в результате астрономических наблюдений), что у Земли эти центры не совпадают. Отсюда естественно заключить, что плотность Земли не является одинаковой во всех ее частях. Едва ли нужно специально говорить о значении этой операции в познавательной и практической деятельности. Посредством умозаключений мы получаем приращение знаний, не обращаясь к исследованию предметов и явлений самой действительности, имеем возможность открывать такие связи и отношения действительности, которые невозможно усмотреть непосредственно.

Переход от некоторых высказываний (посылок умозаключения) к высказыванию (заключению) в умозаключении может совершаться на основе интуитивного усмотрения какой-то связи - такие умозаключения называют содержательными; или путем логического выведения одного высказывания из других - это умозаключения формально-логического характера. В первом случае оно представляет собой, по существу, психический акт. Во втором случае его можно рассматривать как определенную логическую операцию. Последняя и является предметом изучения логики.

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

В содержательных умозаключениях мы оперируем, по существу, не с самими высказываниями, а прослеживаем связь между ситуациями действительности, которые эти высказывания представляют. Это и отличает содержательные умозаключения от умозаключений как операций логического характера, называемых иногда формализованными умозаключениями. В этих умозаключениях операции совершаются именно над высказываниями самими по себе, причем по правилам, которые вообще не зависят от конкретного содержания высказываний, т.е. от значения дескриптивных терминов. Для их применения необходимо учитывать лишь логические формы высказываний. Благодаря этому для умозаключений этого типа мы имеем также четкие критерии их правильности или неправильности. Тогда как для содержательных умозаключений нет никаких определенных критериев этого рода и всегда возможен спор - рассуждает ли человек правильно или нет. Именно формализованные умозаключения являются предметом изучения логики. И именно их мы имеем в виду в дальнейшем.

Переход от содержательного умозаключения к формально-алогическому, т.е. формализация умозаключений, осуществляется посредством выявления - и явной фиксации ее в виде высказываний - всей информации, которая явно или неявно используется в содержательном рассуждении. Так, в примере с ласточками неявно используемая информация может быть выражена в общих суждениях: «Всегда, когда мошкара опускается к земле, опускаются и ласточки, охотящиеся за ней», «Всегда, когда намокает волосяной покров насекомого, то оно опускается к земле» и т.п. При решении того или иного уравнения, процесс которого представляет, собой содержательное рассуждение, также подразумеваются какие-либо посылки - общие утверждения специально-математического, а не логического характера, например: «Если к обеим частям уравнения прибавить (или вычесть) одно и то же число, то равенство сохраняется. Равенство сохраняется также при умножении обеих частей на одно и то же число и при делении их на одно и то же число, отличное от нуля».

Структура и основные виды умозаключений.

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

В естественном языке существуют слова и словосочетания, указывающие как на заключение («значит», «следовательно», «отсюда видно», «поэтому», «из этого можно сделать вывод» и т.п.), так и на посылки умозаключения («так как», «поскольку», «ибо», «принимая во внимание, что .», «ведь» и т.п.). Представляя суждение в некоторой стандартной форме, в логике принято указывать вначале посылки, а потом заключение, хотя в естественном языке их порядок может быть произвольным: вначале заключение - потом посылки; заключение может находиться «между посылками». В приведенном в начале главы примере посылками служат два первых высказывания, а заключением - третье высказывание («плотность Земли не одинакова во всех ее частях»),