Современная логика

1. Современная Логика

СОВРЕМЕННАЯ ЛОГИКА
ВВОДНЫЙ КУРС
Максим Буланенко,
доцент кафедры философии ДВО РАН

2. Цель

РИТОРИЧЕСКИЙ ВЫВОД

3. Рассуждать правильно?

РИТОРИЧЕСКИЙ ВЫВОД

4. Задачи

РИТОРИЧЕСКИЙ ВЫВОД

5. содержание

ИНДУКТИВНЫЙ ВЫВОД
У Лены много дел
Она не высыпается
Дерсу Узала дружит с Арсеньевым
Арсеньев дружит с Дерсу Узала

6. Срединный путь

ИНДУКТИВНЫЙ ВЫВОД
Аня – одноклассница Лёвы
Лёва – одноклассник Ани
Паша страдает от того, что Коля с ним не
советуется
Коле неловко в присутствии Паши

7. Естественный вывод

ЛОГИЧЕСКИЙ ВЫВОД
Американцы побывали на Луне
(а) они побывали на естественном спутнике
Земли, а естественный спутник Земли – Луна
(б) по телевизору показывали лунный модуль и
прыжки астронавтов по лунной поверхности
(в) они высадились на Луне

8. результаты

ЛОГИЧЕСКИЙ ВЫВОД

9. Связи

ЛОГИЧЕСКИЙ ВЫВОД
«Если вне закона согрешили, то вне
закона погибнут»
«Вне закона не согрешили»
«Вне закона не погибнут»

10. Связи

ЛОГИЧЕСКИЙ ВЫВОД
высказывания можно сократить до букв:
«Если А, то В»
«Не А»
«Не В»

11. Методы

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
связки можно сократить до символов:
А→В
¬А
¬В
МТ
А→В
¬В
¬А

12.

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
модус поненс (modus ponens):
А→В
А
В
МП
А→В
В
А

13. УБEЖДЕНИЕ

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
модус толленс (modus tollens):
А→В
¬В
¬А
МТ
А→В
¬А
¬В

14. Сомнение И обоснование

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
адъюнктивный силлогизм:
А˅В
¬А
В
АС
А˅В
А
¬В

15. вывод

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
конъюнктивный силлогизм:
¬(А ˄ В)
А
¬В
КС
¬(А ˄ В)
¬А
В

16. вывод

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
гипотетический силлогизм:
А→В
В→С
А→С
ГС

17. Индуктивный вывод

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
закон обращения:
А→В
¬В → ¬А
ЗО

18. Логический вывод

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
классическая дилемма:
А→В
¬А → В
В
КлД

19. Риторический вывод

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
общая дилемма:
А→С
В→С
А˅В
С
ОД
А→В
А
В

20.

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
конструктивная дилемма:
А→С
В→D
А˅В
С˅D
КД
А→В
А
В

21.

ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА
деструктивная дилемма:
А→С
В→D
¬С ˅ ¬D
¬А ˅ ¬В
КД
А→В
¬В
¬А

22. Риторический вывод

ВЫСКАЗЫВАНИЯ И СХЕМЫ
модус поненс (modus ponens):
[А] → [В]
[А]
[А ˄ В] → [С ˅ D]
[А ˄ В]
[В]
[С ˅ D]

23. Риторический вывод

ВЫСКАЗЫВАНИЯ И СХЕМЫ
модус поненс (modus ponens):
[А] → [В]
[А]
[¬А] → [С ˅ D]
[¬А]
[В]
[С ˅ D]

24. Риторический вывод

ВЫСКАЗЫВАНИЯ И СХЕМЫ
модус толленс (modus tollens):
[А] → [В] [¬А] → [¬С ˅ D] [¬А] → [¬С ˅ D]
¬[В]
¬[¬С ˅ D]
[С ˅ D]
¬[А]
¬[¬А]
[А]

25. Риторический вывод

ДОПУЩЕНИЯ И ЗАКЛЮЧЕНИЯ
1
2
3
4
А→С
В→D
¬С ˅ ¬D
¬А ˅ ¬В
истинны по допущению
истинно по выведению

26. Риторический вывод

ДОПУЩЕНИЯ И ЗАКЛЮЧЕНИЯ
1 (1)
2 (2)
3 (3)
А → С вд
В → D вд
¬С ˅ ¬D вд
4 (1,2,3) ¬А ˅ ¬В дд: 1,2,3

27. Риторический вывод

СПАСИБО ЗА ВНИМАНИЕ!
До встречи
на следующих занятиях!