Логические ошибки. Как они мешают правильно мыслить

следовательно, B также обладает признаком β.

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

5. Доказательство

От умозаключений необходимо отличать другую логическую форму — доказательство.

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

Но очень часто люди сталкиваются с другого рода задачей, когда имеется то или иное определенное суждение и нужно обосновать его истинность. Это можно сделать разными способами, в частности, например, подобрать такие посылки, из которых данное положение будет с необходимостью вытекать. Предположим, нам нужно обосновать суждение «дельфины дышат легкими». Мы берем посылки «все млекопитающие дышат легкими», «дельфин — млекопитающее» и строим хорошо известное нам умозаключение, которое в заключении приводит к интересующему нас утверждению «дельфины дышат легкими».

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

В доказательстве выделяются три части: 1) тезис — то, что нужно доказать; 2) аргументы — то, чем доказывается тезис; 3) рассуждение, которое показывает, как доказывается тезис, каким образом осуществляется переход от посылок к аргументам.

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

Рассуждение само по себе не может быть тождественно всему доказательству. Оно доказывает не тезис, а совсем другое, условное суждение: «если будут верны посылки, то будет верен и тезис». Для полноты же доказательства необходимо знать истинность посылок.

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

Наконец, то главное, что нас интересует, — вопрос о логических ошибках в доказательстве, — как увидим дальше, ставится и решается совершенно иначе, чем в умозаключении.

От доказательства отличают еще опровержение. Различие между ними состоит в том, что в доказательстве обосновывают истинность той или иной мысли, а в опровержении — ложность. Например, существовало утверждение «нельзя переплыть на плоту через Тихий океан». Норвежский ученый Тор Хейердал опроверг это утверждение, переплыв со своими спутниками Тихий океан на плоту.

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

Б. Как избежать логических ошибок в мыслях различной формы

1. На какие законы мышления опираются правила логических форм

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

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

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

Требование определенности можно сформулировать в виде положения «каждая мысль должна быть тождественна сама себе». Это закон тождества. Его формула: A = A.

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

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

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

«жидкость есть твердое тело»;

«точка является линией».