Главная страница
Навигация по странице:

  • Условно-категорическое умозаключение.

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

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

  • Чисто условное умозаключение.

  • Разделительно-категорическое умозаключение.

  • Разделительно-условное суждение.

  • Иванов Е.А., Логика. Учебник Москва Издательство бек, 199 8


    Скачать 3.32 Mb.
    НазваниеУчебник Москва Издательство бек, 199 8
    АнкорИванов Е.А., Логика.doc
    Дата18.05.2017
    Размер3.32 Mb.
    Формат файлаdoc
    Имя файлаИванов Е.А., Логика.doc
    ТипУчебник
    #7816
    страница24 из 37
    1   ...   20   21   22   23   24   25   26   27   ...   37
    опосредованные умозаключения из слож­ных суждений. Логическое следование заключения из посылок определяется в них не субъектно-предикатными отношениями, как в умозаключениях из простых суждений, а лишь логической связью между составляющими сложного суждения.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Формула: Если А, то В.

    А

    Следовательно, В.

    В символической записи: А—>В, А

    . В

    Еще пример:

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

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

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

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

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

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

    Или:

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

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

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

    Формула: Если А, то В

    не-В

    Следовательно, не-А.Символическая запись: А-»В, 1 В

    Таf-

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

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

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

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

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

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

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

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

    Я заболел.

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

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

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

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

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

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

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

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

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

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

    Если данное деяние — мошенничество, то оно —

    преступление.

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

    Следовательно, если данное деяние — мошенничество,

    то оно карается по закону.

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

    Если А, то В.

    Если В, то С.

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

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

    (А-»В) л (В-»С)

    А-»СЗдесь действуёт правило: следствие следствия есть след­ствие основания.

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

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

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

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

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

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

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

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

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

    Формула: А или В А

    не-В

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

    1

    вФормула: А или В не-А

    В

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

    AvB, 1а В

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

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

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

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

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

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

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

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

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

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

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

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

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

    нормализаторами или стабилизаторами.

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

    .Получается бессмыслица, ибо политики исчерпываются дву­мя основными противоречащими понятиями: «стабилизаторы» или «дестабилизаторы»; «нормализаторы» здесь лишний член, v Разделительно-условное суждение. Оно называется иначе еще «дилемма» (от двух греч. слов: dis — дважды, lemma — предположение, посылка). Одна посылка в нем — условное суждение, другая — разделительное. Заключение может быть категорическим или разделительным.

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

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

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

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

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

    Формула: Если А, то С, если В, то С.

    А или В С

    Символически: (А С) л (В -» С), AvB

    С

    1. 1   ...   20   21   22   23   24   25   26   27   ...   37


    написать администратору сайта