- •Дедуктивные
- •План лекции
- •Именно
- •Умозаключение
- •Функции умозаключения
- •Структура умозаключения
- •Рассуждение как последовательность умозаключений
- •Умозаключение
- •Структура
- •Виды умозаключения
- •Дедуктивные умозаключения и их виды
- •Классификация дедуктивных умозаключений
- •Дедуктивные
- •Непосредственные
- •Непосредственные
- •Непосредственные умозаключения -
- •Непосредственные
- •Непосредственные
- •Непосредственные умозаключения
- •Простой
- •Простой категорический силлогизм –
- •Аксиома силлогизма
- •Примеры силлогистических рассуждений
- •Фигуры категорического силлогизма
- •Фигуры и модусы категорического силлогизма
- •Фигуры и модусы категорического силлогизма
- •Фигуры и модусы категорического силлогизма
- •Фигуры и модусы категорического силлогизма
- •Фигуры и модусы категорического силлогизма
- •Правила категорического силлогизма
- •Правила категорического силлогизма
- •Правила категорического силлогизма
- •Правила категорического
- •Распределенность
- •Задача № 1
- •Виды
- •Энтимема Сокращенный категорический силлогизм
- •Как проверить правильность энтимемы?
- •Работа не волк, в лес не убежит.
- •Сложный силлогизм или полисиллогизм
- •Полисиллогизм называется прогрессивным, если заключение
- •Сорит.
- •Эпихейрема –
- •Заключение
Дедуктивные умозаключения и их виды
Deductio
Классификация дедуктивных умозаключений
|
Несиллогистические – выводы |
Силлогистические – выводы |
из сложных суждений |
из простых суждений |
(логика высказываний) |
Условно-категорические
Непосредственные Опосредованные
Разделительно-категорические
Простой категорический Условно-разделительные
силлогизм и другие
Условные
Дедуктивные
умозаключения
Непосредственные
умозаключения
Силлогизмы Условное рассуждение
Энтимемы
Эпихейремы
Условно- категорическое рассуждение
Условно- разделительное рассуждение
|
|
Простая |
Сориты |
Сложная |
конструктивная |
дилемма |
||
Полисиллогизмы |
деструктивная |
|
|
дилемма |
Et cetera… |
|
|
Непосредственные
умозаключения
Превращение
Обращение
Противопоставление
предикату
Непосредственные
умозаключения
Умозаключения по логическому квадрату
Превращение
Обращение
Противопоставление предикату
Непосредственные умозаключения -
дедуктивные умозаключения,
которые делаются из одной посылки
Превращение |
Обращение |
А. Все S суть P Ни одно S не суть не-P I. Нек .S суть P Нек. S не суть не-P
Е. Ни одноS не суть P Все S суть не-P О. Нек. S не суть P Нек. S суть не-P
А. Все S есть Р Некоторые P есть S Е. Ни одно S не есть Р Ни одно Р не есть S
I. Некоторые S есть Р
Некоторые Р есть S
А. Все S, и только S, есть Р Все Р есть S
I. Некоторые S , и только S, есть Р Все Р есть S
О. Не обращается
Непосредственные
умозаключения
S a P S e не-P
S a P
P i S
S
Превращение
|
S i P |
|
|
S e P |
|
|
|
S o P |
|
|
||
S o не-P S a не-P S i не-P |
|
|||||||||||
|
Обращение |
|
|
|
|
|
|
|
||||
|
S i P |
|
|
S e P |
|
|
S o P |
|
|
|||
|
P i S |
|
P e S |
|
|
P o S |
|
|||||
|
|
|
|
|
|
|
|
P i S |
|
|||
|
P |
S |
|
|
P a S |
S P |
||||||
|
P P e S |
|
Непосредственные
умозаключения
Противопоставление предикату
|
S a P |
|
S i P |
|
S e P |
|
S o P |
|
|||
S e не-P S o не-P S a не-P S i не-P |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
не-P e S |
|
|
|
не-P i S не-P i S |
Все слоны боятся мышей
Ни один не боящийся мышей не есть слон
Непосредственные умозаключения
Логический квадрат
A.
П
О
Д
Ч
И
Н
Е
Н
И
Е
I.
противоположность
п |
|
р |
|
о |
е |
т |
|
и |
и |
в |
|
о |
ч |
р |
|
е |
е |
ч |
|
и |
р |
е |
|
|
о |
в |
|
и |
|
т |
|
о |
|
р |
|
п |
|
подпротивоположность
E. |
|
S a P |
|||||||
П |
|
|
S i P |
|
|
|
|
||
О |
|
|
S a P |
||||||
Д |
|
|
|||||||
Ч |
|
|
|
|
|
|
|
|
|
~(S o P) |
|||||||||
И |
|||||||||
Н |
|
|
|
S a P |
|||||
Е |
|
|
|
||||||
Н |
|
|
|
|
|
|
|
|
|
~(S e P) |
|||||||||
И |
|||||||||
Е |
|
|
S e P |
||||||
O. |
|
|
|||||||
|
|
|
|
|
|||||
|
|
S o P |
Простой
категорический
силлогизм: термины, фигуры, модусы и правила
Barbara,Celarent, Darii, Ferio que prioris; Cesare, Camestres, Festino, Baroco, secunde. Tertia, Darapti, Disamis, Datisi, Felapton Bokardo, Ferison, habet; Quartio insuper addit
Bramantip, Camenes, Dimaris, Fesapo,
Fresison.