- •Логика как наука. Предмет и значение логики.
- •Понятие. Понятие. Общая характеристика.
- •Отношения между понятиями по объёму.
- •Алгоритм подбора понятий к схеме
- •Логические операции с понятием.
- •Правила определения
- •Деление понятия
- •Правила деления
- •Структура и виды простого суждения.
- •Виды простого суждения.
- •Распределенность терминов в простом, категорическом, атрибутивном суждении.
- •Отношения между простыми суждениями по логическому квадрату.
- •Логический квадрат
- •Внешнее отрицание простого суждения:
- •Повторение. Отношения между понятиями.
- •Сложное суждение.
- •Соединительные (конъюнктивные) суждения.
- •Разделительные (дизъюнктивные) суждения.
- •Условные (импликативные) суждения.
- •Формализация сложного суждения и построение таблиц истинности.
- •Метод сведения к абсурду.
- •Внешнее отрицание сложного суждения. Законы де Моргана.
- •Умозаключение. Общая характеристика. Простой категорический силлогизм.
- •Дедуктивные умозаключения.
- •Непосредственные умозаключения.
- •Простой категорический силлогизм.
- •Фигуры и модусы пкс
- •Модус простого категорического силлогизма.
- •Энтимема.
- •Решение соритов.
- •Умозаключение из сложных суждений.
Умозаключение из сложных суждений.
Умозаключение из сложных суждений – это опосредованное дедуктивное умозаключение, в котором посылками являются сложные суждения.
Разберем 4 вида умозаключения из сложных суждений:
1) Чисто условное умозаключение.
2) Условно-категорическое умозаключение.
3) Разделительно-категорическое умозаключение.
4) Дилемма.
Чисто условное умозаключение - это умозаключение, обе посылки и заключение которого являются условными суждениями.
Имеет следующую формулу:
А
Условно-категорическое умозаключение – это умозаключение, в котором одна из посылок - условное, а другая посылка и заключение – категорическое суждение.
С помощью этих умозаключений вводятся или исключаются следственные версии.
Имеет 2 модуса:
1) Утверждающий (modus ponens):
АB
A
_____
B
Например,
«Если в трупе торчит нож, то человек был убит».
«В трупе гражданина Иванова торчит нож».
_________________________________________________
Следовательно, «Гражданина Иванова кто-то зарезал».
2) Отрицающий модус (modus tollens):
АB
B
______
A
Разделительно-категорическое умозаключение – это умозаключение, в котором одна из посылок – разделительное суждение, а другая посылка и заключение – категорическое суждение.
Есть два модуса:
1) Утверждающе-отрицающий модус (modus punendo tollens):
A
A
___________
B
В утверждающе-отрицающем модусе дизъюнкция должна быть строгой.
Например,
«Студент сдал логику на 3, 4, 5».
«Иванов сдал логику на 3»
_______________________________
«Иванов не сдал логику на 4 и 5»
2) Отрицающе-утверждающий модус (modus tollendo ponens).
< A B >
A
________________
B
<…> - полная дизъюнкция (означает, что перечислены все члены деления).
С помощью этого модуса следователи отбрасывают неправдивые версии.
Правило этого модуса: Большая посылка должна быть полной или закрытой дизъюнкцией.
Условно-разделительное умозаключение.
Условно-разделительное (лемматическое умозаключение) – это умозаключение, в котором одна посылка условное, а другая – разделительно суждение.
То есть дается ряд гипотез, а затем ряд предположений и на основании этих гипотез и предположений делается вывод. Если предположений 2, то такая лемма называется дилемма, а если три, то трилеммой и т.д.
Мы рассмотрим только дилемму.
Дилемма – это условно-разделительноt умозаключение, которое содержит две альтернативы.
Надо решить только 3 задачи из 6:
|
3 |
4 |
4 |
4 |
5 |
5 |
5 |
5 |
1 |
+ |
+ |
+ |
|
|
+ |
|
|
1* |
|
|
|
+ |
+ |
|
+ |
+ |
2 |
+ |
+ |
|
+ |
|
|
+ |
|
2* |
|
|
+ |
|
+ |
+ |
|
+ |
3 |
+ |
|
+ |
+ |
|
|
|
+ |
3* |
|
+ |
|
|
+ |
+ |
+ |
|
Учить теорию по всему курсу надо.
Виды дилемм:
1) Конструктивная дилемма.
1.1) Простая.
1.2) Сложная.
2) Деструктивная дилемма.
2.1) Простая.
2.2) Сложная.
Простая конструктивная дилемма.
АB
CB
AC
______
B
Конструктивная, так как из утверждения причины следует другое умозаключение.
Сложная конструктивная дилемма.
Сложная, так как в выводе сложное умозаключение. Но принцип конструктивности сохраняется.
Конструктивная, так как исходим от положительности.
AB
CD
A
_______
BD
Простая деструктивная дилемма.
AB
AC
___________
Сложная деструктивная дилемма.
AB
CD
B
______________
Решаем силлогизмы:
Все рабовладельческие государства являлись диктатурой рабовладельцев.
Государство Древнего Рима являлось диктатурой рабовладельцев, так как оно было рабовладельческим.
(А) Все рабовладельческие государства (М) являлись диктатурой рабовладельцев (Р).
(А) Государство Древнего Рима (S) было рабовладельческим (М).
___________________________________________________________________
(А) Государство Древнего Рима (S) являлось диктатурой рабовладельцев (P).
Термины:
S – государство Древнего Рима.
P – диктатура рабовладельцев.
M – рабовладельческие государства.
(А) Все М+ есть Р-.
(А) Все S+ есть М-.
________________
(А) Все S+ есть Р-.
Вывод: Все правила соблюдаются, силлогизм правильный.
Задача:
Ни один Капуцин (М) не был участником всех вселенских соборов (А).
Все Капуцины (М) – католики (В).
(Е) Ни один М+ не есть А+.
(А) Все М+ есть В-.
______________________
(О) Некоторые В- не есть А+.
Ответ: Некоторые католики не есть участники всех вселенских соборов.
Исключение из правил (все правила соблюдаются, а вывод не делается):
(А) Все А+ есть В-.
(О) Некоторые С- не есть А+.
__________________________
() не есть.
Если при решении сорита на экзамене получается такой случай, то мы допустили ошибку в выборе терминов и посылок.