Знания
| Умения
|
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. Определение вида индукции
|