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

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

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

Наконец, возможен и такой случай, когда вывод, получаемый с помощью аналогии, является вполне достоверным. Такой вывод аналогия дает при установлении следующей связи между признаками двух предметов: если два предмета (A и B) имеют ряд общих признаков (a, b, c, d…), то по наличию у одного из этих предметов (A) определенного признака (β) можно судить о том, что тот же признак (β) присущ и другому предмету (B).

В этом случае можно было бы составить такой условно-категорический силлогизм:

Таким образом, аналогия будет достоверна, поскольку достоверна дедукция. Например, пусть нам известно, что двум предметам присущи общие свойства — однородность, удельный вес, вес предмета в целом — и что один из этих предметов имеет объем, равный 5 м3. По аналогии делаем вывод о том, что другому предмету также присуще это свойство, то есть объем в 5 м3. Достоверен ли этот вывод? Достоверен, так как в данном случае между признаками предметов существует та связь, о которой говорилось выше. Еще пример: два человека имеют общих родителей; бабушку одного из них зовут Марией Петровной; по аналогии заключаем, что бабушку второго также зовут Марией Петровной.

Такого рода рассуждения по аналогии особенно часто применяются в юриспруденции. Если, например, преступления, совершенные двумя преступниками (A) и (B), одинаковы, то у них одинаковы все признаки, интересующие суд (a, b, c, d…). Одному из преступников (A) вынесен приговор β. Следовательно, другому преступнику (B) должен быть вынесен тот же самый приговор β.

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

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

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

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

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

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

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