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