Логические ошибки. Как они мешают правильно мыслить - [16]
В этом случае можно было бы составить такой условно-категорический силлогизм:
если признаки a, b, c, d… и β сосуществуют в предмете A, то они сосуществуют и в предмете B;
признаки a, b, c, d… и β сосуществуют в предмете A;
———————————————————————————
следовательно, признаки a, b, c, d… и β сосуществуют также и в предмете B.
Таким образом, аналогия будет достоверна, поскольку достоверна дедукция. Например, пусть нам известно, что двум предметам присущи общие свойства — однородность, удельный вес, вес предмета в целом — и что один из этих предметов имеет объем, равный 5 м>3. По аналогии делаем вывод о том, что другому предмету также присуще это свойство, то есть объем в 5 м>3. Достоверен ли этот вывод? Достоверен, так как в данном случае между признаками предметов существует та связь, о которой говорилось выше. Еще пример: два человека имеют общих родителей; бабушку одного из них зовут Марией Петровной; по аналогии заключаем, что бабушку второго также зовут Марией Петровной.
Такого рода рассуждения по аналогии особенно часто применяются в юриспруденции. Если, например, преступления, совершенные двумя преступниками (A) и (B), одинаковы, то у них одинаковы все признаки, интересующие суд (a, b, c, d…). Одному из преступников (A) вынесен приговор β. Следовательно, другому преступнику (B) должен быть вынесен тот же самый приговор β.
Все сказанное отнюдь не означает, что достоверная аналогия в отличие от недостоверных выводов по аналогии является дедукцией. Структура умозаключения во всех случаях аналогии совершенно одинакова:
A и B обладают признаками a, b, c, d…
A обладает еще признаком β
——————————————————————————
следовательно, B также обладает признаком β.
Структура, строение умозаключения — это главное основание при классификации логических форм. Как в недостоверной, так и в достоверной аналогии мы, переходя от посылок к следствию, опираемся на общее положение — принцип. Разница только в том, что в первом случае это положение представляет собой лишь вероятное суждение, во втором же — вполне достоверное. Во всех случаях умозаключений по аналогии основной задачей в отличие от дедукции будет выяснение того, на какое именно основание можно опереться, в данном случае — основание, которое в посылках не дано. Дедукция заключается только в преобразовании данных посылок. В связи с этим правомерность вывода в дедукции определяется правомерностью преобразования посылок, тогда как в аналогии правомерность вывода определяется истинностью того основания, при помощи которого удается связать посылки с заключением.
5. Доказательство
От умозаключений необходимо отличать другую логическую форму — доказательство.
В умозаключении мы приходим к выводу из посылок, причем иногда мы совсем не знаем, к какому именно выводу приведут данные посылки, то есть вывод в принципе может быть совершенно неожиданным.
Но очень часто люди сталкиваются с другого рода задачей, когда имеется то или иное определенное суждение и нужно обосновать его истинность. Это можно сделать разными способами, в частности, например, подобрать такие посылки, из которых данное положение будет с необходимостью вытекать. Предположим, нам нужно обосновать суждение «дельфины дышат легкими». Мы берем посылки «все млекопитающие дышат легкими», «дельфин — млекопитающее» и строим хорошо известное нам умозаключение, которое в заключении приводит к интересующему нас утверждению «дельфины дышат легкими».
Если в обычном умозаключении определяется то, что следует из данных посылок, то в данном случае определяется то, из чего следует данное утверждение. Такая логическая форма, в которой обосновывается истинность того или другого положения, называется доказательством.
В доказательстве выделяются три части: 1) тезис — то, что нужно доказать; 2) аргументы — то, чем доказывается тезис; 3) рассуждение, которое показывает, как доказывается тезис, каким образом осуществляется переход от посылок к аргументам.
Мы уже раньше видели примеры того, как более сложные формы включают в себя более простые в качестве составных частей: суждение — это соотношение понятий, умозаключение — соотношение суждений. Как понятие является составной частью суждения, суждение — составной частью умозаключения, так умозаключение входит в качестве составной части в доказательство: третья часть доказательства — рассуждение — представляет собой умозаключение.
Рассуждение само по себе не может быть тождественно всему доказательству. Оно доказывает не тезис, а совсем другое, условное суждение: «если будут верны посылки, то будет верен и тезис». Для полноты же доказательства необходимо знать истинность посылок.
Выделение доказательства как особой логической формы в отличие от умозаключений имеет большое практическое значение. В доказательстве главная задача — по тезису найти аргументы. Эта задача не только не может быть решена, но даже и поставлена, если отождествить умозаключение и доказательство. Следующая задача — перейти от аргументов к умозаключению. С помощью какого умозаключения можно быстрее и лучше прийти от аргументов к тезису — задача, характерная именно для доказательства.
