Глава IV. Дедукция. Опосредованные умозаключения из сложных суждений

↑

▷ Содержание

⇐ ПредыдущаяСтр 22 из 58Следующая ⇒

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

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

1. Условное умозаключение

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

Условно‑категорическое умозаключение. Оно состоит из одной условной и одной категорической посылки. Заключение в этом случае – категорическое суждение. Логическим основанием для такого умозаключения служит определенная связь между основанием и следствием (антецедентом и консеквентом).

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

1) от утверждения основания к утверждению следствия;

2) от отрицания основания к отрицанию следствия;

3) от утверждения следствия к утверждению основания;

4) от отрицания следствия к отрицанию основания.

Поэтому в зависимости от хода мысли теоретически возможны четыре разновидности, или модуса, условно‑категорического умозаключения. Однако подобно тому, как в простом категорическом силлогизме из 64 возможных модусов правильны лишь 19, так и здесь из 4 правильны лишь 2 модуса.

Первый – это modus ponens – утверждающий модус, когда мысль движется от утверждения основания к утверждению следствия. Пример:

Если день солнечный, то сосновый лес пахнет смолой.

День – солнечный.

Следовательно, сосновый лес пахнет смолой.

Формула:

В символической записи:

Еще пример:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.

Решение суда обжаловано в кассационном порядке.

Следовательно, оно еще не вступило в законную силу.

Второй – modus tollens – отрицающий модус, когда мысль протекает от отрицания следствия к отрицанию основания. Пример:

Если день солнечный, то сосновый лес пахнет смолой.

Сосновый лес не пахнет смолой.

Следовательно, день не солнечный.

Или:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.

Решение суда вступило в законную силу.

Следовательно, оно не обжаловано в кассационном порядке.

Формула:

Символическая запись:

A→B, ˥В

˥A

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

Почему же два других возможных модуса неправильны? Потому что взаимоотношения причины и следствия неоднозначны. Одно и то же следствие может быть результатом действия многих причин (это так называемая «множественность причин»), А одна и та же причина может вызывать много следствий (так называемая «множественность следствий»).

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

Если я простужусь, то заболею.

Я не простудился.

Следовательно, я не заболею.

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

Если я простужусь, то заболею.

Я заболел.

Следовательно, я простудился.

Но подобный вывод тоже не обязателен. Я мог заболеть потому, что заразился, отравился и т. п.

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

1. Можно идти от утверждения основания к утверждению следствия.

2. Можно идти от отрицания следствия к отрицанию основания.

3. Нельзя идти от отрицания основания к отрицанию следствия.

4. Нельзя идти от утверждения следствия к утверждению основания.

В двух последних случаях можно получить лишь вероятные выводы. Если, однако, речь идет о выделяющем условном суждении, то вывод будет достоверным. Все дело в том, что в таком суждении связь основания и следствия взаимнооднозначна. Так, «Если лицо совершило правонарушение, то оно несет юридическую ответственность». Это означает, что «Оно несет юридическую ответственность только в том случае, если совершило правонарушение».

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

Чисто‑условное умозаключение. Оно отличается от условно‑категорического умозаключения тем, что обе его посылки – условные суждения. Поэтому и заключение – тоже условное суждение. Например:

Если данное деяние – мошенничество, то оно – преступление.

Если оно – преступление, то карается по закону.

Следовательно, если данное деяние – мошенничество, то оно карается по закону.

Схематически это умозаключение выглядит так:

Если А, то В.

Если В, то С.

Следовательно, если А, то С.

В символической записи:

Здесь действует правило: следствие следствия есть следствие основания.

2. Разделительное умозаключение

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

Разделительно‑категорическое умозаключение. Оно состоит из разделительной и категорической посылок. Заключение – категорическое суждение.

В зависимости от хода мысли выделяются два модуса разделительно‑категорического умозаключения:

1) модус ponendo tollens – утверждающе‑отрицающий модус, когда мысль направляется от утверждения одного из мыслимых вариантов к отрицанию другого. Например:

Формами соучастия в преступлении признаются соучастие с разделением ролей или соучастие без разделения ролей.

Данное соучастие осуществлено с разделением ролей.

Следовательно, оно не было соучастием без разделения ролей.

Формула:

В символической записи:

А∨В, А

˥В

2) модус tollendo ponens – отрицающе‑утверждающий модус, в котором мысль следует от отрицания одного к утверждению другого варианта. Например:

Формами соучастия в преступлении признаются соучастие с разделением ролей или соучастие без разделения ролей.

Данное соучастие не было осуществлено с разделением ролей.

Следовательно, оно осуществлено без разделения ролей.

Формула:

В символической записи:

А∨В, ˥А

В

Разделительно‑категорическое умозаключение подчиняется определенным правилам:

а) суждение должно быть строго разделительным, т.е. мыслимые варианты (члены деления) должны исключать друг друга. Если это правило нарушается, то возможны логические ошибки. Пример:

Книги бывают полезными или интересными.

Эта книга полезна.

Следовательно, эта книга неинтересна.

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

б) строго разделительное суждение должно быть исчерпывающим. Нарушение этого правила тоже ведет к ошибке. Например:

Власть может быть законодательной или исполнительной.

Данная власть – не законодательная.

Следовательно, она исполнительная.

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

в) в строго разделительном суждении не должно быть «лишних» членов.

Политики нашей страны могут быть дестабилизаторами, нормализаторами или стабилизаторами.

Данный политик – нормализатор.

Следовательно, он не стабилизатор и не дестабилизатор.

Получается бессмыслица, ибо политики исчерпываются двумя основными противоречащими понятиями: «стабилизаторы» или «дестабилизаторы»; «нормализаторы» здесь лишний член.

Разделительно‑условное суждение. Оно называется иначе еще «дилемма» (от двух греч. слов: dis – дважды, lemma – предположение, посылка). Одна посылка в нем – условное суждение, другая – разделительное. Заключение может быть категорическим или разделительным.

В зависимости от направления мысли различаются две основные разновидности дилеммы: конструктивная (созидательная) и деструктивная (разрушительная).

1. Конструктивная дилемма характеризуется тем, что мысль переходит в ней от утверждения вариантов в основании к утверждению следствия. Например:

Если вред причинен личности гражданина, то он подлежит возмещению в полном объеме (лицом, причинившим вред).

Если вред причинен имуществу гражданина, то он тоже подлежит возмещению в полном объеме.

Но вред может быть причинен или личности гражданина, или его имуществу.

______________________

Следовательно, в любом случае он подлежит возмещению в полном объеме.

Формула:

Символически:

2. Деструктивная дилемма. Она отличается тем, что мысль направляется в ней от отрицания следствий, вытекающих из основания, к отрицанию самого основания. Например:

Если у меня будет достаточно свободного времени, то я буду работать над книгой и писать картину.

Я не работал над книгой или не писал картину.

Следовательно, у меня не было достаточно свободного времени.

Формула:

Символическая запись:

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

Чисто‑разделительное умозаключение. Обе посылки в нем – разделительные суждения, заключение – тоже разделительное.

Пример:

Политические институты бывают государственными или негосударственными.

Негосударственные – в свою очередь, это партийные или непартийные (профсоюзы, молодежные, женские и т. д.) организации.

_____________________

Следовательно, все политические институты бывают государственными или партийными или непартийными.

Основные правила здесь, по существу, те же, что и в разделительно‑категорическом силлогизме.

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

С древних времен дошло до нас предостережение, которое сделала жительница Афин своему честолюбивому сыну, собиравшемуся прославиться посредством ораторского искусства:

«Если ты будешь говорить правду, то тебя возненавидят богатые и знатные. Если ты будешь лгать, то тебя возненавидит простой народ. Но ты должен или говорить правду, или лгать. Значит, тебя возненавидят богатые и знатные или тебя возненавидит простой народ».

А вот как ответил сын матери:

«Если я буду говорить правду, то меня прославит простой народ. Если я буду лгать, то меня прославят богатые и знатные. Значит, меня прославит простой народ или прославят богатые и знатные».

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

Еще пример, который мы находим у Цицерона:

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

Это сложное разделительно‑категорическое умозаключение с конъюнкцией.

Современный пример:

«Если меняется характер собственности в стране, то неизбежно меняются взаимоотношения профсоюзов с администрацией предприятий, а если меняются эти взаимоотношения, то неизбежно должны меняться содержание деятельности профсоюзов, их организационное строение, формы и методы работы. Следовательно, если меняется характер собственности в стране, то неизбежно должны меняться содержание деятельности профсоюзов, их организационное строение, формы и методы работы».

Здесь сложное умозаключение, включающее несколько условных суждений с конъюнкцией.

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

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

Обобщая сказанное в гл. И–IV о дедукции, необходимо подчеркнуть следующее. Заслуга традиционной формальной логики состояла в том, что она выявила и исследовала великое множество форм дедуктивных умозаключений – как непосредственных, так и опосредованных, как из простых суждений, так и из сложных, как простых по своему строению форм, так и весьма сложных, разветвленных. В каждом отдельном случае она выработала соответствующие правила, позволяющие отличить правильные формы от неправильных. Но она, к сожалению, не дала единого принципа их анализа и проверки. И в этом состоит ее основной недостаток.

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

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

Глава V. Индукция

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

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

Познавательные статьи:



Формы дистанционного обучения

Передача мяча двумя руками снизу

Значение правильной осанки для жизнедеятельности человека

Основные ошибки при выполнении передач мяча на месте