close

Вход

Забыли?

вход по аккаунту

?

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

код для вставкиСкачать
Д
ЕДУКТИВНЫЕ
УМОЗАКЛЮЧЕНИЯ
План:
1.
Понятие и структура умозаключений.
2.
Классификация умозаключений.
3.
Умозаключения логики суждений.
Логика
Дедуктивные умозаключения Л
ИТЕРАТУРА
:
1.
Брюшинкин В.Н. Логика: Учебник. ±
3
-
е изд. ±
М.: Гардарики, 2001. С. 181
-
247.
2.
Электронный словарь по логике на портале RATIO
: http://ratio.albertina.ru/dict/logic/
Логика
Дедуктивные умозаключения 1. П
ОНЯТИЕ
И
СТРУКТУРА
УМОЗАКЛЮЧЕНИЙ
Умозаключение
±
это последовательность суждений, в которой последнее суждение выводится из предыдущих.
Логика
Дедуктивные умозаключения Пример:
Записка написана на японском или китайском языке.
Это ±
не китайский язык.
Следовательно
:
записка написана на японском языке.
Понятие и структура умозаключений
Логика
Дедуктивные умозаключения Суждения, из которых выводится последнее суждение, называются посылками
.
Логика
Дедуктивные умозаключения Структура умозаключения:
Суждение, которое выводится из предыдущих суждений, называется заключением
.
Логика
Дедуктивные умозаключения Структура умозаключения:
Логическая связь
между посылками и тезисом.
Структура умозаключения:
Логика
Дедуктивные умозаключения Знания об умозаключениях помогают нам:
1.
По уже имеющимся суждениям получать новые ±
эвристическая функция теории умозаключений.
2. Критиковать обоснованность своих собственных мнений и мнений других людей ±
критическая функция.
3. Изобретать убедительные аргументы ±
риторическая функция.
Логика
Дедуктивные умозаключения 2
. К
ЛАССИФИКАЦИЯ
УМОЗАКЛЮЧЕНИЙ
Логика
Дедуктивные умозаключения Умозаключения
Дедуктивные Недедуктивные
Классификация умозаключений
Логика
Дедуктивные умозаключения Дедуктивным
называется умозаключение, в котором истинность посылок должна гарантировать истинность заключения.
Классификация умозаключений
Логика
Дедуктивные умозаключения Недедуктивным
называется умозаключение, в котором истинность посылок не должна гарантировать истинности заключения.
Классификация умозаключений
А
1
, А
2
, ..., А
n
├ B
•
Где А
1
, А
2
, ..., А
n
(
n ≥
1
) –
посылки;
•
В –
заключение;
•
├ –
знак логической выводимости
Логика
Дедуктивные умозаключения Классификация умозаключений
╞ –
отношение логического следования
А
1
А
2
... А
n
╞ B
Логика
Дедуктивные умозаключения Классификация умозаключений
Дедуктивное умозаключение А
1
, А
2
, ..., А
n
├ B правильно
, если суждения А
1
, А
2
, ..., А
n
и В находятся
в отношении логического следования, т.е.
Логика
Дедуктивные умозаключения А
1
А
2
... А
n
╞ B
Классификация умозаключений
Умозаключения
Дедуктивные
Недедуктивные Умозаключения логики суждений
Силлогизмы
Индуктивные
умозаключения
Умозаключения
по аналогии
Логика
Дедуктивные умозаключения 3. У
МОЗАКЛЮЧЕНИЯ
ЛОГИКИ
СУЖДЕНИЙ
Умозаключения логики суждений
(УЛС)
Прямые
Непрямые Логика
Дедуктивные умозаключения Умозаключения логики суждений
Прямые УЛС
Условно
-
категорические умозаключения (УКУ)
Чисто условные умозаключения (ЧУУ)
Разделительно
-
категорические умозаключения (РКУ)
Условно
-
разделительные умозаключения (УРУ)
Логика
Дедуктивные умозаключения А. Условно
-
категорические умозаключения
А→В
•
А –
основание, •
В –
следствие, •
А и В –
импликанты
.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Условно
-
категорическими называются умозаключения, в которых одна посылка ±
условное суждение, а вторая посылка и заключение ±
импликанты этого суждения или их отрицания.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
А→В, А├ В
Умозаключения, совершаемые по схеме А→В, А├ В назовем умозаключениями от утверждения основания к утверждению следствия
modus ponendo ponens (modus ponens)
Логика
Дедуктивные умозаключения Умозаключения логики суждений
А→В, В├ А
Умозаключения, совершаемые по схеме А→В, В├ А назовем умозаключениями от отрицания следствия к отрицанию основания.
m
o
dus tollendo tollens (modus tollens)
Логика
Дедуктивные умозаключения Б. Чисто условные умозаключения
Чисто условными называются умозаключения, в которых обе посылки и заключение представляют собой условные суждения.
А→В, B
→ C
├ A
→
C
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Пример:
Если студент хорошо занимается в течение семестра, то он хорошо сдает сессию.
Если студент хорошо сдает сессию, то он получает стипендию.
Следовательно
:
если студент хорошо занимается во время семестра, то он получает стипендию.
Логика
Дедуктивные умозаключения В. Разделительно
-
категорические умозаключения
Разделительно
-
категорическими умозаключениями
называются умозаключения, в которых одна посылка ±
разделительное суждение, а другая посылка и заключение ±
альтернативы этого суждения.
Логика
Дедуктивные умозаключения В. Разделительно
-
категорические умозаключения
Логика
Дедуктивные умозаключения А, В –
альтернативы суждения A
V
B
Умозаключения логики суждений
A
V
B, B
├
A
A
V
B, B
├
A
Отрицающе
-
утверждающий способ
modus tollendo ponens
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Пример:
«... олинфянам он [
Филипп
]
объявил..., что осталось одно из двух ±
либо им не жить в Олинфе, либо ему самому [
не жить
]
в Македонии»
(Демосфен) Логика
Дедуктивные умозаключения Умозаключения логики суждений
Пример
:
«Либо мы победим, либо все пойдет ко всем чертям! Но мы победим!»
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Способ утверждающе
-
отрицающий
modus ponendo tollens
Логика
Дедуктивные умозаключения A
V
B, А├
В
Г. Условно
-
разделительные умозаключения
Условно
-
pазделительными
называются умозаключения, одна из посылок которых разделительное суждение, а остальные ²
условные суждения.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Условно
-
разделительные умозаключения
Дилеммы
(две альтернативы)
Полилеммы
(более трех альтернатив)
Трилеммы
(три альтернативы)
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Дилеммы можно делить по двум основаниям:
•
по качеству
акта в заключении (утверждение или отрицание);
•
по сложности
суждений, входящих в заключение.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Дилеммы
Конструктивные Деструктивные Логика
Дедуктивные умозаключения Умозаключения логики суждений
Конструктивными
называются дилеммы, в заключение которых входят следствия
условных посылок.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Деструктивными называют дилеммы, в заключение которых входят отрицания оснований условных посылок.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Дилемма
Простая
Сложная Логика
Дедуктивные умозаключения Умозаключения логики суждений
Простыми
называются дилеммы, заключением которых является следствие
условных посылок или отрицание основания условных посылок.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Сложными
называются дилеммы, заключением которых является дизъюнкция
следствий условных посылок или отрицаний оснований условных посылок.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Дилемма
Простая конструктивная
Простая деструктивная
Сложная конструктивная
Сложная деструктивная
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Простая конструктивная дилемма
A
→
C, B
→
C, A
V
B
├
C.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Пример: Если
Госбанк
будет
увеличивать
эмиссию
денег,
то
инфляция
возрастет
.
Если
Госбанк
будет
давать
нерентабельным
предприятиям
льготные
кредиты,
то
инфляция
возрастет
.
Но
Госбанк
или
занимается
эмиссией
денег,
или
дает
льготные
кредиты
нерентабельным
предприятиям
.
Следовательно
:
нам
не
избежать
скачка
инфляции
.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Простая деструктивная дилемма
Логика
Дедуктивные умозаключения A
→
C, B
→
C,
В V
С├
Умозаключения логики суждений
Пример:
В современном мире, если вы хотите быть счастливы, то нужно иметь много денег. Но всегда было так, что если вы хотите быть счастливы, то нужно иметь чистую совесть. Жизнь устроена так, что невозможно одновременно иметь и много денег, и чистую совесть, т. е. или нет больших денег, или нет чистой совести.
Следовательно
:
оставьте надежду на счастье.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Сложная конструктивная дилемма
Логика
Дедуктивные умозаключения А→В, С→
D, A V
C
├
B V
D
Умозаключения логики суждений
Пример:
Если преступники ²
душевнобольные, то их следует изолировать от общества. Если преступники душевноздоpовые, то их следует наказывать. Но каждый преступник является или душевнобольным, или душевноздоpовым.
Следовательно
:
преступников следует или изолировать от общества
,
или наказывать.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Сложная деструктивная дилемма
Логика
Дедуктивные умозаключения А→В, С→
D,
В
V
D
├
A V
C
Умозаключения логики суждений
Пример:
Если он умен, то он увидит свою ошибку. Если он искренен, то признается в ней. Но он или не видит своей ошибки, или не признается в ней. Следовательно
:
он или не умен, или не искренен.
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Непрямые
УЛС
Сведение к абсурду
Рассуждение от противного
Рассуждение по случаям
Логика
Дедуктивные умозаключения Умозаключения логики суждений
Логика
Дедуктивные умозаключения Сведение к абсуpду
²
это непpямое умозаключение, в котоpом ложность некотоpого суждения доказывается на основании того, что из данного суждения можно пpи помощи пpавильных умозаключений вывести пpотивоpечие.
Умозаключения логики суждений
Сведение к абсурду
Логика
Дедуктивные умозаключения А → В ⋀
А
Умозаключения логики суждений
Логика
Дедуктивные умозаключения Рассуждение от противного ²
это непpямое умозаключение, в котоpом истинноость некотоpого суждения доказывается на основании того, что из отрицания данного суждения можно пpи помощи пpавильных умозаключений вывести пpотивоpечие.
Умозаключения логики суждений
Рассуждение от противного
Логика
Дедуктивные умозаключения А → В ⋀
А
Умозаключения логики суждений
Логика
Дедуктивные умозаключения Рассуждение по случаям
имеет дело с выводами из разделительного суждения, возможность которых основана на выводах из более простых суждений, составляющих разделительное суждение, т. е. из альтернатив или случаев.
Умозаключения логики суждений
Рассуждение по случаям
Логика
Дедуктивные умозаключения А
├ С
, В
├ С
А
⋁
Ō
Автор
sdo_logic
Документ
Категория
Образовательные
Просмотров
2 168
Размер файла
692 Кб
Теги
логика, дедуктивные умозаключения
1/--страниц
Пожаловаться на содержимое документа