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

Сентябрь 3, 2022

Главная
Философия
Современная логика

Содержание

2. ЦЕЛЬ Распознавать правильные и неправильные формы рассуждения Правильно рассуждать самому Как? Легко! Где? В науке, общении,
3. Риторика: убедительно, уместно, красиво Логика: от истины – к истине Гарантия: правильный вывод РАССУЖДАТЬ ПРАВИЛЬНО?
4. ЗАДАЧИ Видеть логическую форму высказывания Знать и распознавать правильные и неправильные формы вывода Владеть навыками интуитивной
5. СОДЕРЖАНИЕ Логика высказываний Логика предикатов Техники естественного вывода Индуктивная логика
6. СРЕДИННЫЙ ПУТЬ Естественное рассуждение От обыденного к полуформальному, от полуформального – к формальному И обратно! Символика:
7. ЕСТЕСТВЕННЫЙ ВЫВОД А: «Люда загорает» В: «Люда спит» А V В А ¬В А или В
8. РЕЗУЛЬТАТЫ Свободное распознавание форм высказываний и выводов в науке и повседневном общении Интуитивная и формальная оценка
9. СВЯЗИ «логос» – слово, речь, рассуждение логика философия математика язык риторика экономика история ИТ
10. СВЯЗИ Философия: анализ и аргументация Математика: формы мышления Риторика: связность изложения Иностранный язык: структуры История: теория
11. МЕТОДЫ Решение задач из разных областей науки и повседневной жизни Логический анализ реальных речей и текстов
12. Старый пруд. Лягушка прыгнула. Плеск воды. Мацуо Басё (XVII в.)
13. УБEЖДЕНИЕ выражает выражается положение дел законченным предложением «Лягушка прыгнула в воду»
14. СОМНЕНИЕ И ОБОСНОВАНИЕ «Лягушка прыгнула в воду?» «Лягушка прыгнула в воду» «Раздался плеск воды» поэтому
15. ВЫВОД посылка «Раздался плеск воды» заключение «Лягушка прыгнула в воду» вывод ≠ заключение!
16. ВЫВОД Насколько посылка весома? Насколько вероятнее становится, что заключение истинно?
17. ИНДУКТИВНЫЙ ВЫВОД «Раздался плеск воды» «Лягушка прыгнула в воду» 0 50% > 50% ≤ 100%
18. ЛОГИЧЕСКИЙ ВЫВОД «Лягушка прыгнула в пруд» «Лягушка прыгнула в воду» если посылка истинна, то истинно и
19. РИТОРИЧЕСКИЙ ВЫВОД «Стыдно не верить Басё!» «Лягушка прыгнула в воду» посылка внушает заключение
22. РИТОРИЧЕСКИЙ ВЫВОД
23. РИТОРИЧЕСКИЙ ВЫВОД
24. РИТОРИЧЕСКИЙ ВЫВОД
25. РИТОРИЧЕСКИЙ ВЫВОД
26. РИТОРИЧЕСКИЙ ВЫВОД
27. ИНДУКТИВНЫЙ ВЫВОД «Раздался плеск воды» «Лягушка прыгнула в воду» значение слов + факты: как часто плеск
28. ИНДУКТИВНЫЙ ВЫВОД Наполеон проиграл сражение под Ватерлоо (а) после сражения он был интернирован на остров Святой
29. ИНДУКТИВНЫЙ ВЫВОД Наполеон проиграл сражение под Ватерлоо (а) после этого вырос курс акций английских сахарных компаний
30. ИНДУКТИВНЫЙ ВЫВОД «У Якова температура 39°» «Яков болен» практически достоверный вывод: не оставляет разумных сомнений ≈100%
31. ИНДУКТИВНЫЙ ВЫВОД Сеня заболел (а) он не может связать двух слов, а этого с ним обычно
32. ЛОГИЧЕСКИЙ ВЫВОД «Лягушка прыгнула в пруд» «Лягушка прыгнула в воду» только значение слов!
33. ЛОГИЧЕСКИЙ ВЫВОД (1) без логической формы: аналитический важно значение всех слов!
34. ЛОГИЧЕСКИЙ ВЫВОД «Я мыслю» «Я существую»
35. ЛОГИЧЕСКИЙ ВЫВОД «Я существую» «Я мыслю» ?
36. ЛОГИЧЕСКИЙ ВЫВОД Николай II – правнук Николая I (а) Николай I – прадед Николая II (б)
37. ЛОГИЧЕСКИЙ ВЫВОД Катя крепко спит (а) проснётся она нескоро (б) ей не может стать холодно (в)
38. ЛОГИЧЕСКИЙ ВЫВОД (2) с логической формой: дедуктивный важно значение неизменяемых + последовательность изменяемых слов!
39. ЛОГИЧЕСКИЙ ВЫВОД «Если шёл дождь, то дороги мокрые» «Шёл дождь» «Дороги мокрые»
40. ЛОГИЧЕСКИЙ ВЫВОД высказывания можно сократить до букв: «Если А, то В» «А» «В»
41. ЛОГИЧЕСКИЙ ВЫВОД и составлять другие выводы по образцу: «Если шёл дождь, то Вася гулял» «Шёл дождь»
42. ЛОГИЧЕСКИЙ ВЫВОД и составлять другие выводы по образцу: «Если был мороз, то Вася гулял» «Был мороз»
43. ЛОГИЧЕСКИЙ ВЫВОД «Если человек знает себе цену, он спокоен. А я всегда был спокойным» ?
44. ЛОГИЧЕСКИЙ ВЫВОД «Если человек знает себе цену, он спокоен. А я всегда был спокойным» «Я знаю
45. ЛОГИЧЕСКИЙ ВЫВОД связки можно сократить до символов: А → В А В А → В В
46. ЛОГИЧЕСКИЙ ВЫВОД
47. ЛОГИЧЕСКИЙ ВЫВОД
48. ЛОГИЧЕСКИЙ ВЫВОД
49. ЛОГИЧЕСКИЙ ВЫВОД Порядок чтения: ¬ ˄ , , ˅ , → , ↔ , ↮ Иначе:
50. ЛОГИЧЕСКИЙ ВЫВОД «Если был мороз и Вася спал, то Коля ел» А ˄ В → С
51. ЛОГИЧЕСКИЙ ВЫВОД «Вася не спал, а Коля не ел» ¬А ˄ ¬В «Неправда, что Вася спал,
52. ЛОГИЧЕСКИЙ ВЫВОД «Вася не спал или не ел» ¬А ˅ ¬В «Неправда, что Вася спал или
53. ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА модус поненс (modus ponens): А → В А В А → В В
54. ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА модус толленс (modus tollens): А → В ¬В ¬А А → В ¬А
55. ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА адъюнктивный силлогизм: А ˅ В ¬А В А ˅ В А ¬В АС
56. ФОРМЫ ЛОГИЧЕСКОГО ВЫВОДА конъюнктивный силлогизм: ¬(А ˄ В) А ¬В ¬(А ˄ В) ¬А В КС
58. Скачать презентацию

Слайд 2

ЦЕЛЬ
Распознавать правильные и неправильные формы рассуждения
Правильно рассуждать самому
Как? Легко!
Где? В

науке, общении, политике, СМИ

Слайд 3

Риторика: убедительно, уместно, красиво
Логика: от истины – к истине
Гарантия: правильный

вывод

РАССУЖДАТЬ ПРАВИЛЬНО?

Слайд 4

ЗАДАЧИ
Видеть логическую форму высказывания
Знать и распознавать правильные и неправильные формы

вывода
Владеть навыками интуитивной и формальной аргументации

Слайд 5

СОДЕРЖАНИЕ
Логика высказываний
Логика предикатов
Техники естественного вывода
Индуктивная логика

Слайд 6

СРЕДИННЫЙ ПУТЬ
Естественное рассуждение
От обыденного к полуформальному, от полуформального – к формальному

И обратно!
Символика: только школьная информатика

Слайд 7

ЕСТЕСТВЕННЫЙ ВЫВОД
А: «Люда загорает»
В: «Люда спит»
А V В
А
¬В
А или В
А
не В
«Люда

загорает или спит»
«Она загорает»
«Она не спит»

Слайд 8

РЕЗУЛЬТАТЫ
Свободное распознавание форм высказываний и выводов в науке и повседневном общении
Интуитивная

и формальная оценка правильности рассуждений

Слайд 9

СВЯЗИ
«логос» – слово, речь, рассуждение
логика
философия
математика
язык
риторика
экономика
история
ИТ

Слайд 10

СВЯЗИ
Философия: анализ и аргументация
Математика: формы мышления
Риторика: связность изложения
Иностранный язык: структуры
История:

теория поступка
Экономика: теория решений и теория игр

Слайд 11

МЕТОДЫ
Решение задач из разных областей науки и повседневной жизни
Логический анализ реальных

речей и текстов
Тесты и интерактивные приложения
Дискуссии, ролевые игры, кейсы

Слайд 12

Старый пруд.
Лягушка прыгнула.
Плеск воды.
Мацуо Басё (XVII в.)

Слайд 13

УБEЖДЕНИЕ
выражает
выражается
положение дел
законченным предложением
«Лягушка прыгнула в воду»

Слайд 14

СОМНЕНИЕ И ОБОСНОВАНИЕ
«Лягушка прыгнула в воду?»
«Лягушка прыгнула в воду»
«Раздался плеск

воды»

поэтому

Слайд 15

ВЫВОД
посылка «Раздался плеск воды»
заключение «Лягушка прыгнула в воду»
вывод ≠ заключение!

Слайд 16

ВЫВОД
Насколько посылка весома?
Насколько вероятнее становится, что заключение истинно?

Слайд 17

ИНДУКТИВНЫЙ ВЫВОД
«Раздался плеск воды»
«Лягушка прыгнула в воду»
0
< 50%
50%
> 50%
≤

100%

Слайд 18

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

то
истинно
и заключение

Слайд 19

РИТОРИЧЕСКИЙ ВЫВОД
«Стыдно не верить Басё!»
«Лягушка прыгнула в воду»
посылка
внушает
заключение

Слайд 20

Слайд 21

Слайд 22

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

Слайд 23

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

Слайд 24

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

Слайд 25

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

Слайд 26

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

Слайд 27

ИНДУКТИВНЫЙ ВЫВОД
«Раздался плеск воды»
«Лягушка прыгнула в воду»
значение слов
+ факты:

как часто плеск воды
означает, что в воду прыгнула лягушка?

?

Слайд 28

ИНДУКТИВНЫЙ ВЫВОД
Наполеон проиграл сражение под Ватерлоо
(а) после сражения он был интернирован

на остров Святой Елены
(б) после сражения вырос курс акций английских сахарных компаний

Слайд 29

ИНДУКТИВНЫЙ ВЫВОД
Наполеон проиграл сражение под Ватерлоо
(а) после этого вырос курс акций

английских сахарных компаний
(б) Иисус Навин выиграл сражение под Иерихоном

Слайд 30

ИНДУКТИВНЫЙ ВЫВОД
«У Якова температура 39°»
«Яков болен»
практически достоверный вывод:
не оставляет разумных сомнений

≈100%

Слайд 31

ИНДУКТИВНЫЙ ВЫВОД
Сеня заболел
(а) он не может связать двух слов, а

этого с ним обычно не бывает
(б) час назад у него была температура 39,2°
(в) он почти ничего не поел за завтраком

Слайд 32

ЛОГИЧЕСКИЙ ВЫВОД
«Лягушка прыгнула в пруд»
«Лягушка прыгнула в воду»
только значение слов!

Слайд 33

ЛОГИЧЕСКИЙ ВЫВОД
(1) без логической формы:
аналитический
важно значение всех слов!

Слайд 34

ЛОГИЧЕСКИЙ ВЫВОД
«Я мыслю»
«Я существую»

Слайд 35

ЛОГИЧЕСКИЙ ВЫВОД
«Я существую»
«Я мыслю»
?

Слайд 36

ЛОГИЧЕСКИЙ ВЫВОД
Николай II – правнук Николая I
(а) Николай I –

прадед Николая II
(б) Николай I – правнук Петра I
(в) при Николае II Российская империя тоже включала в себя Аляску

Слайд 37

ЛОГИЧЕСКИЙ ВЫВОД
Катя крепко спит
(а) проснётся она нескоро
(б) ей не может стать

холодно
(в) она не сплетничает с Леной

Слайд 38

ЛОГИЧЕСКИЙ ВЫВОД
(2) с логической формой: дедуктивный
важно значение неизменяемых +
последовательность изменяемых

слов!

Слайд 39

ЛОГИЧЕСКИЙ ВЫВОД
«Если шёл дождь, то дороги мокрые»
«Шёл дождь»
«Дороги мокрые»

Слайд 40

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

Слайд 41

ЛОГИЧЕСКИЙ ВЫВОД
и составлять другие выводы по образцу:
«Если шёл дождь, то Вася

гулял»
«Шёл дождь»
«Вася гулял»

Слайд 42

ЛОГИЧЕСКИЙ ВЫВОД
и составлять другие выводы по образцу:
«Если был мороз, то Вася

гулял»
«Был мороз»
«Вася гулял»

Слайд 43

ЛОГИЧЕСКИЙ ВЫВОД
«Если человек знает себе цену,
он спокоен.
А я всегда

был спокойным»
?

Слайд 44

ЛОГИЧЕСКИЙ ВЫВОД
«Если человек знает себе цену,
он спокоен.
А я всегда

был спокойным»
«Я знаю себе цену»

Слайд 45

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

Слайд 46

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

Слайд 47

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

Слайд 48

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

Слайд 49

ЛОГИЧЕСКИЙ ВЫВОД
Порядок чтения:
¬
˄
,
,
˅
,
→
,
↔
,
↮
Иначе:
скобки!
( )

Слайд 50

ЛОГИЧЕСКИЙ ВЫВОД
«Если был мороз и Вася спал, то Коля ел»
А ˄

В → С
«Был мороз, а если Вася спал, то Коля ел»
А ˄ (В → С)

Слайд 51

ЛОГИЧЕСКИЙ ВЫВОД
«Вася не спал, а Коля не ел»
¬А ˄ ¬В
«Неправда, что

Вася спал, а Коля ел»
¬(А ˄ В)

Слайд 52

ЛОГИЧЕСКИЙ ВЫВОД
«Вася не спал или не ел»
¬А ˅ ¬В
«Неправда, что Вася

спал или ел»
¬(А ˅ В)

Слайд 53

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

В
А

МП

Слайд 54

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

¬А
¬В

МТ

Слайд 55

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

АС

Слайд 56

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

КС