Индуктивные умозаключения

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

Выводы из сложных суждений

ЭНТИМЕМА ПКС

Знания Умения
1 Варианты пропусков структурных элементов ПКС     2. Алгоритмы восстановления энтимемы 1. Определять варианты пропусков структурных элементов ПКС могут быть пропущены: Ø большая посылка Ø меньшая посылка Ø заключение 2. Восстанавливать энтимему по алгоритму    
Название Содержание
Энтимема ПКС § первый вариант
  • второй вариант
  • третий вариант
Правильная энтимема § с пропущенной посылкой   § с пропущенным заключением 		сокращенный силлогизм с пропущенными посылкой или заключением Пропущены: Ø большая посылка Ø меньшая посылка Ø заключение     если (1) восстанавливается в правильный силлогизм и при этом (2) пропущенная посылка не является ложной если заключение следует из посылок с необходимостью
Название Содержание
Алгоритм восстановления энтимемы ПКС
  • общий
 
  • пропущена посылка
 
  • пропущено заключение
 1. Формализация данных суждений 2. Выяснение что дано: Ø заключение - располагается после слов: значит, следовательно, поэтому, таким образом, итак, отсюда видно; находится перед словами: так как, потому что, ибо, поскольку, ведь, оттого что Ø посылки - соединены словами: а, но, и, однако (имеют одно и то же понятие); располагаются после слов: так как, потому что, поскольку, ибо, ведь 3. Нахождение большего и меньшего терминов по заключению 4. Определение вида данной посылки 5. Установление вида пропущенной посылки 6. Восстановление пропущенной посылки с учетом ее истинности 7. Запись ПКС в восстановленном виде по его правилу 8. Проверка правильности ПКС 3. Нахождение среднего термина 4. Определение большей и меньшей посылок по степени общности знания 5. Восстановление заключения с учетом его истинности 6. Запись ПКС в восстановленном виде по его правилу 7. Проверка правильности ПКС
Выводы из сложных суждений умозаключения, в состав которых входят сложные суждения

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

Знания Умения
1. Условное умозаключение 2. Чисто-условный силлогизм (ЧУС) 3. Структурные элементы ЧУС     4. Правило записи ЧУС     5. Символическая запись ЧУС 6. Правило ЧУС 7. Алгоритм анализа ЧУС 8. Восстановление ЧУС 9. Построение вывода по ЧУС   1. Выделять структурные элементы ЧУС: Ø условные посылки Ø заключение 2. Располагать в определенной последовательности структурные элементы ЧУС: одна условная посылка, другая условная посылка и т.д., заключение 3. Записывать символически ЧУС 4. Проверять правильность ЧУС 5. Анализировать ЧУС по алгоритму 6. Восстанавливать ЧУС 7. Делать выводы по ЧУС
Название Содержание
Условные умозаключения умозаключения, в которых хотя бы одна из посылок условное суждение
Название Содержание
Виды условных умозаключений Ø чисто – условные силлогизмы (ЧУС) Ø условно – категорические силлогизмы (УКС)  
Чисто- условный силлогизм (ЧУС) умозаключения, в которых все посылки и заключение – условные суждения
Формула ЧУС где: (a → b) ^ (b → c) a → c а – основание (1) 1-й условной посылки (2) заключения b – следствие (1) 1-й условной посылки (2) основание 2-й условной посылки с – следствие (1) 2-й условной посылки (2) следствия 1-й условной посылки (3) заключения  
Структурные элементы ЧУС v одна (первая) условная посылка (a → b) v другая (вторая) условная посылка (b → c) v заключение (a → c)
Правило записи ЧУС
  • 1 место
   
  • 2 место
 
  • 3 место
   o условное суждение, состоящее из основания первой условной посылки (а) и следствия первой условной посылки (b) o условное суждение, состоящее из основания второй условной посылки (b) (следствие первой условной посылки) и следствия второй условной посылки (c) (следствие следствия первой условной посылки) o условное суждение, состоящее из основания заключения (а) (основание первой условной посылки) и следствие заключения (с) (следствие второй условной посылки или следствие следствия первой условной посылки)
Правило ЧУС § развернутая формулировка   § краткая формулировка o следствие заключения (следствие первой условной посылки и основание второй условной посылки) есть следствие основания заключения (основание первой условной посылки) o следствие следствия есть следствие основания  
Логический анализ чисто-условного силлогизма 1. Нахождение ЧУС в тексте 2. Выделение структурных элементов 3. Формализация составляющих ЧУС суждений 4. Расположение структурных элементов по правилу записи ЧУС 5. Запись символическая (формула) 6. Проверка правильности  
Энтимема ЧУС
  • 1 вариант
  • 2 вариант
  • 3 вариант
 Пропущены:   Ø одна из условных посылок Ø заключение Ø разные части посылок или заключения  

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

Знания Умения
1. Условно-категорический силлогизм (УКС) 2. Структурные элементы УКС 3. Правило записи УКС     4. Модусы УКС по виду и направлению   5. Символическая запись УКС 6. Правила модусов 7. Алгоритм анализа УКС 8. Восстановление УКС 9. Построение вывода по УКС 1. Выделять структурные элементы УКС: Ø условные и категорические посылки Ø заключение 2. Располагать в определенной последовательности структурные элементы УКС: условная посылка, категорическая посылка, заключение 3. Определять модус по виду и направлению: Ø утверждающе – утверждающий ü от утверждения основания к утверждению следствия ü от утверждения следствия к утверждению основания Ø отрицающе - отрицающий ü от отрицания основания к отрицанию следствия ü от отрицания следствия к отрицанию основания 4. Записывать символически УКС 5. Проверять правильность УКС 6. Анализировать УКС по алгоритму 7. Восстанавливать УКС 8. Делать вывод по УКС
Название Содержание
Условно категорический силлогизм (УКС) умозаключение, в котором одна из посылок – условное суждение, а другая посылка и заключение – простые суждения
Структурные элементы УКС v условная посылка (большая посылка) v категорическая посылка (меньшая посылка) v заключение
Правило записи УКС
  • 1 место
  • 2 место
   
  • 3 место
 o условная посылка, состоящая из основания и следствия o категорическая посылка, являющаяся утверждением или отрицанием основания или следствия условной посылки o заключение, включающее утверждение или отрицание другой части условной посылки по отношению к категорической посылке
Модусы УКС (по виду и направленности вывода):
  • утверждающе – утверждающий
  • отрицающе – отрицающий
   Рассуждение направлено от … в категорической посылке к … в заключении: Ø от утверждения основания к утверждению следствия Ø от отрицания основания к отрицанию следствия Ø от утверждения следствия к утверждению основания Ø от отрицания следствия к отрицанию основания
Правила УКС § достоверный вывод (правильный, истинный) § вероятный вывод (неправильный, истинный) ! примечание:   Рассуждение направлено от … в категорической посылке к … в заключении: Ø от утверждения основания к утверждению следствия Ø от отрицания следствия к отрицанию основания Ø от утверждения следствия к утверждению основания Ø от отрицания основания к отрицанию следствия   если условная посылка – эквиваленция, то все выводы достоверны
Название Содержание
Формулы модусов УКС
  • утверждающе – утверждающий
 
  • отрицающе - отрицающий
! Примечание 		 
  1. а в, а от… (утверждения основания)
в к… (утверждению следствия)  
  1. а в, в от… (утверждения следствия)
а к… (утверждению основания)   3. а в, ¬а от…. (отрицания основания) ¬ в к… (отрицанию следствия) 4. а в, ¬в от… (отрицания следствия) ¬а к… (отрицанию основания) ü если знаки перед суждениями не изменились, то это утверждение ü если знаки перед суждением изменились, то это отрицание
Логический анализ условно-категорического силлогизма 1. Нахождение УКС в тексте 2. Выделение структурных элементов 3. Формализация составляющих УКС суждений 4. Расположение структурных элементов по правилу записи УКС 5. Определение модуса по виду и направленности вывода 6. Запись формулы модуса 7. Проверка правильности модуса
Энтимема УКС § 1 вариант § 2 вариант § 3 вариант § 4 вариант Пропущены: Ø условная посылка Ø категорическая посылка Ø заключение Ø разные части условной, категорической посылок и заключения  
Алгоритм восстановления энтимемы УКС 1. Выяснить, что дано 2. Установить, какие части опущены 3. Восстановить опущенные части 4. Расположить структурные элементы по правилу записи УКС 5. Записать формулу 6. Определить модус 7. Проверить правильность  
Знания Умения
1. Разделительные умозаключе-ния 2. Разделительно-категоричес-кий силлогизм (РКС)  
Знания Умения
3. Структурные элементы РКС   4. Правило записи РКС     5. Модусы РКС     6. Символическая запись РКС 7. Правила модусов РКС 8. Алгоритм анализа РКС 8. Восстановление РКС 9. Построение вывода по РКС 1. Выделять структурные элементы: Ø разделительную посылку Ø категорическую посылку Ø заключение 2. Располагать в определенной последовательности: разделительная посылка, категорическая посылка, заключение 3. Определять виды модусов Ø утверждающе – отрицающий Ø отрицающее - утверждающе 4. Записывать символически РКС 5. Проверять правильность РКС по модусу 6. Анализировать РКС по алгоритму 6. Восстанавливать РКС 7. Делать вывод по РКС
Название Содержание
Разделительные умозаключения умозаключения, в которых хотя бы одна из посылок разделительное суждение
Виды разделительных умозаключений § чисторазделительный силлогигизм § разделительно - категорический силлогизм (РКС)   Умозаключение, в котором: Ø все суждения – разделительные суждения   Ø одна посылка – разделительное суждение, а другая посылка и заключение – простые категорические суждения
Структурные элементы РКС § разделительная посылка   § категорическая посылка     § заключение       v разделительное суждение, состоящее из нескольких альтернатив v простое суждение, в котором утверждается или отрицается одна (несколько) из альтернатив разделительной посылки v суждение, в котором утверждается или отрицается другая (другие) из альтернатив разделительной посылки по отношению к категорической посылке
Правило записи РКС § 1 место § 2 место § 3 место o разделительная посылка o категорическая посылка o заключение
Модусы РКС § утверждающе – отрицающий § отрицающе - утверждающий Рассуждение направлено от … одной (нескольких) альтернатив разделительной посылки в категорической посылке к … другой (другим) альтернативе разделительной посылки в заключении: Ø от утверждения к отрицанию Ø от отрицания к утверждению
Формулы РКС § утверждающе-отрицающий модус § отрицающе- утрерждающий   1) 2) 1) 2)
Название Содержание
Правила РКС § утверждающе – отрицающиймодус § отрицающе – утверждающий модус Разделительная посылка: o сильная дизъюнкция o закрытая дизъюнкция (все альтернативы перечислены)
Логический анализ разделительно-категорического силлогизма 1. Нахождение РКС в тексте 2. Выделение структурных элементов 3. Расположение структурных элементов по правилу записи РКС 4. Определение модуса 5. Запись формулы модуса 6. Проверка правильности модуса
Энтимема РКС § 1 вариант § 2 вариант § 3 вариант Пропущены: Ø разделительная посылка Ø категорическая посылка Ø заключение
Алгоритм восстановления энтимемы РКС 1. Выяснить, что дано 2. Установить, какие части пропущены 3. Восстановить пропущенные части 4. Расположить структурные элементы по правилу записи РКС 5. Определить модус 6. Записать формулу 7. Проверить правильность

Условно-разделительные умозаключения