- •ДЕДУКТИВНЫЕ
- •Опосредованные умозаключения из сложных суждений -
- •Выделяются три типа таких умозаключений:
- •Условные умозаключения
- •Условно - категорическое умозаключение (сокращённо -
- •Чтобы понять умозаключения данного типа, надо прежде всего
- •УКУ - это одна из форм, в которой протекает процесс нашего мышления. Причём
- •1. От утверждения основания к утверждению следствия
- •Формула modus ponens записывается тремя способами:
- •2) От отрицания следствия к отрицанию основания
- •Формула modus tollens записывается так:
- •Названные два модуса подчиняются универсальному объективному принципу причинности:
- •Третий и четвёртый модусы однозначно достоверных заключений не дают. Их принято считать неправильными,
- •3) От отрицания основания к отрицанию следствия:
- •4) От утверждения следствия к утверждению основания:
- •Чисто условное умозаключение (ЧУУ)
- •Формула ЧУУ:
- •Правило, которому подчиняется чисто условное умозаключение:
- •Разделительные умозаключения
- •Разделительно-категорическое умозаключение(РКУ)
- •Утверждающе - отрицающий модус (modus ponendo tollens)
- •Пример:
- •Отрицающе-утверждающий модус
- •Пример:
- •Мысль, оформленная в разделительно-категорических умозаключениях, должна подчиняться следующим правилам:
- •1) разделительное суждение должно быть строго разделительным, то есть мыслимые варианты (дизъюнкты) должны
- •Пример:
- •2) строго разделительное суждение должно быть исчерпывающим
- •Пример:
- •Вывод проблематичен, так как мы в перечень типов власти не включили судебную власть.
- •3) в строго разделительном суждении не должно быть «лишних» дизъюнктов
- •Пример:
- •Разделительно - условные умозаключения
- •Так как разделительное суждение может содержать в себе
- •Для понимания общих правил построения
- •1) Дилеммы по качеству мыслительного акта, совершаемого в заключении (утверждение или отрицание)
- •А. Простая конструктивная дилемма (ПКД):
- •Здесь
- •Пример:
- •Символически ПКД можно записать так:
- •В. Сложная конструктивная дилемма (СКД): ):
- •Данное умозаключение отличается от предыдущего только тем,
- •Пример:
- •Запишем его символически:
- •С. Простая деструктивная дилемма (ПДД):
- •Пример:
- •Символическая запись ПДД:
- •D. Сложная деструктивная дилемма:
- •Тесты для самоконтроля
- •Вас проклянут люди или боги, так как если вы будете говорить правду, люди
- •Если он принадлежит к нашей компании, то он храбр и на него можно
- •Человек или трус или он протестует против незаконного обращения. Если человек не трус,
- •Чтобы быть допущенным к экзаменационной сессии, достаточно сдать все зачёты. С. не допущен
- •Если бы он ей не сказал, она ни за что бы не узнала.
- •Если он был автор этого слуха, то он глуп или беспринципен. Но он
- •Ребёнок болен или переутомлён. Если у него повышена температура, то он болен. Но
- •Если в силлогизме не распределён средний термин или обе посылки отрицательные, то силлогизм
- •Если поднять налоги, то вырастут цены на товары.
Формула modus tollens записывается так:
а) ((А В) В) А
б) А В, В
А
в) А ВВ
А
Читается это следующим образом: «Если А, то В, и не-В, то не-А»
Названные два модуса подчиняются универсальному объективному принципу причинности:
«если есть причина, то есть и следствие, а если нет следствия, то нет и причины». Оба они являются правильными модусами
Третий и четвёртый модусы однозначно достоверных заключений не дают. Их принято считать неправильными, а точнее - вероятностными модусами.
Они подчиняются правилам:
- отрицание основания не ведёт с необходимостью к отрицанию следствия и
- утверждение следствия не ведёт с необходимостью к утверждению основания
3) От отрицания основания к отрицанию следствия:
если А, то В не-А
не-В «Если я простужусь (А), то заболею (В)
Я не простудился (не-А)
------------------------------------------------------------------
Следовательно, я не заболел (не-В)»
Ясно, что здесь нет достаточных оснований для вывода. Мы прекрасно знаем,
что и без простуды можно захворать
4) От утверждения следствия к утверждению основания:
если А, то В
В
А
«Если я простужусь (А), то заболею (В) Я заболел (В)
--------------------------------------------------------------------
Следовательно, я простудился (А)»
Данный вывод однозначным быть тоже не может
Все четыре модуса Вы сами можете проверить на истинность с помощью таблицистинности
Чисто условное умозаключение (ЧУУ)
- это умозаключение, обе посылки которого являются условными суждениями
Пример:
«Если данное деяние - мошенничество (А), то оно - преступление (В)
Если оно - преступление (В), то карается по закону (С)
---------------------------------------------------------------------
Следовательно, если данное деяние - мошенничество (А),
то оно карается по закону (С)»
Формула ЧУУ:
Если А, то В Если В, то С
Следовательно, если А, то С.
Символическая запись Ч (А В) (В С)
А С
Правило, которому подчиняется чисто условное умозаключение:
следствие следствия есть следствие основания
Разделительные умозаключения
- умозаключения, в которых хотя бы одна из посылок является разделительным суждением
Разделительные умозаключения бывают двух типов:
1)разделительно-категорические и
2)условно-разделительные
Разделительно-категорическое умозаключение(РКУ)
- такое умозаключение, в котором одна посылка является сложным разделительным суждением,
а другая - простым категорическим суждением
В логике известны два модуса РКУ