Логика: Учебное пособие для юридических вузов

Один из пяти братьев разбил окно. Андрей сказал: «Это или Витя, или То­ля». Витя сказал: «Это сделал не я и не Юра». Дима сказал: «Нет, один из них сказал правду, а другой неправду». Юра сказал: «Нет, Дима, ты не прав».

Их отец, которому, конечно, можно доверять, уверен, что не менее трех бра­тьев сказали правду.

Кто разбил окно?

Глава 5 ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ

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

§ 1. Общая характеристика умозаключения

Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений, свя­занных между собой, с логической необходимо­стью выводится новое суждение. Логическая сущность умозаключения состоит в движении мысли от анализа имеющегося знания к синтезу нового знания. Это движение имеет объектив­ный характер и определяется реальными связя­ми действительности. Объективная связь, отраженная в сознании, обеспечивает логическую связь мыслей. Напротив, отсутствие объектив­ных связей действительности приводит к логиче­ским ошибкам.

Структура любого умозаключения включает три элемента:

1) исходное знание, выражающееся в посыл­ках;

2) обосновывающее знание, выражающееся в правилах умозаключения;

3) выводное знание, выражающееся в заклю­чении или выводе.

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

Все граждане России имеют право на образование - посылка

Новиков - гражданин России - посыпка

Новиков имеет право на образование - заключение

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

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

Все слоны имеют крылья

________Все птицы – слоны_______

Все птицы имеют крылья

Это свидетельствует о том, что ориентация только на форму (структуру) посылок при игнорировании их объективно-истинных связей может создать видимость правильного умозаключения.

Во-вторых, в процессе рассуждения необходимо соблюдать правила вы­вода, которые обусловливают логическую правильность умозаключения. Без этого даже из истинных посылок можно получить ложное заключение. На­пример:

Все гусеницы едят капусту

_________Я ем капусту________

Следовательно, я – гусеница

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

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

В дедуктивных умозаключениях (от лат. deductio - выведение) связи меж­ду посылками и заключением представляют собой формально-логические за­коны, в силу чего при истинных посылках заключение всегда оказывается ис­тинным. Название «индуктивное умозаключение» происходит от латинского слова «inductio» («наведение»). Между посылками и заключением в этих умо­заключениях имеют место такие связи по формам, которые обеспечивают по­лучение преимущественно правдоподобного заключения при истинных по­сылках. Посредством дедуктивных умозаключений выводят некоторую мысль из других мыслей, индуктивные умозаключения лишь наводят на мысль, а умо­заключение по аналогии переносит мысль с одного предмета на другой.

В умозаключении по аналогии (от гp. analoqia - соответствие, сходство) на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам.