Объем информации

Например: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. — потерпевший (2). Значит, судья Н. не может участвовать в рассмотрении дела (3)».

В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение — заключением.

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

Судья не может участвовать в рассмотрении дела, если он является

потерпевшим.

Судья Н. — потерпевший.

Судья Н. не может участвовать в рассмотрении дела. 119

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

При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при со­блюдении двух условий: во-первых, исходные суждения — посылки умозаключения должны быть истинными; во-вторых, в процессе рас­суждения следует соблюдать правила вывода, которые обусловлива­ют логическую правильность умозаключения.

Умозаключения делятся на следующие виды.

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

2. Важное значение имеет классификация умозаключений по на­правленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в по­сылках и заключении. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индук­тивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).

Эта классификация будет положена в основу дальнейшего изло­жения.

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

Дедуктивными (от латинского deductio — «выведение») называ­ется умозаключение, в котором переход от общего знания к част­ному является логически необходимым.

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

§ 2. Непосредственные умозаключения

Суждение, содержащее новое знание, может быть получено по­средством преобразования некоторого суждения. Так как исходное (преобразуемое) суждение рассматривается как посылка, а сужде­ние, полученное в результате преобразования, — как заключение, умозаключения, построенные посредством преобразования сужде­ний, называются непосредственными. К ним относятся: 1) превраще­ние, 2) обращение, 3) противопоставление предикату, ^умозаклю­чения по логическому квадрату.

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