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