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