1
00:00:00,066 --> 00:00:07,759
(музика)

2
00:00:07,759 --> 00:00:10,046
Привіт. Я Аарон Ансел.

3
00:00:10,046 --> 00:00:12,218
Я магістрант Дюкського університету

4
00:00:12,218 --> 00:00:15,317
і в цьому відео я розповім вам про
слушність,

5
00:00:15,317 --> 00:00:16,885
важливе поняття,

6
00:00:16,885 --> 00:00:19,381
що використовується для оцінки умовиводів.

7
00:00:19,381 --> 00:00:21,737
Спершу звернемося до правильності.

8
00:00:21,737 --> 00:00:24,222
Ви, мабуть, вже знаєте, що таке
правильний умовивід.

9
00:00:24,222 --> 00:00:27,682
Якщо ні, я би радив вам спочатку
подивитися відео про правильність,

10
00:00:27,682 --> 00:00:31,466
перш ніж дивитись далі це відео.

11
00:00:31,466 --> 00:00:33,660
Як ви дізналися з відео про правильність,

12
00:00:33,660 --> 00:00:35,645
умовивід є правильним, якщо неможливо,

13
00:00:35,645 --> 00:00:37,665
щоб у ньому із істинних засновків

14
00:00:37,665 --> 00:00:39,685
випливав хибний висновок.

15
00:00:39,685 --> 00:00:43,946
Наприклад, такий умовивід є правильним:

16
00:00:43,946 --> 00:00:47,638
Засновок 1. Усі коти фіолетові.

17
00:00:47,638 --> 00:00:52,638
Засновок 2. 
Все, що є фіолетовим, є людиною.

18
00:00:52,747 --> 00:00:57,905
Висновок: усі коти - люди.

19
00:00:57,905 --> 00:01:00,164
Цей умовивід є правильним,

20
00:01:00,164 --> 00:01:04,146
однак його засновки неодмінно містять 
хибу, якщо хибний висновок.

21
00:01:04,146 --> 00:01:08,673
Якщо усі коти фіолетові, а усе фіолетового
кольору - це люди,

22
00:01:08,673 --> 00:01:11,645
значить коти - це люди.

23
00:01:11,645 --> 00:01:14,152
Звісно, коти не є фіолетовими

24
00:01:14,152 --> 00:01:16,208
і не все фіолетове - люди.

25
00:01:16,208 --> 00:01:18,263
Тож навіть якщо цей умовивід і правильний,

26
00:01:18,263 --> 00:01:20,329
він не дуже інформативний.

27
00:01:20,329 --> 00:01:22,767
Істинність висновку 
в ньому не гарантована,

28
00:01:22,767 --> 00:01:26,292
тому що засновки явно хибні.

29
00:01:26,292 --> 00:01:28,432
Оскільки ми зазвичай формулюємо умовиводи,

30
00:01:28,432 --> 00:01:31,242
щоб показати,
що певний висновок є істинним,

31
00:01:31,242 --> 00:01:34,940
нам, як правило, хочеться, щоб
умовивід був не тільки правильним.

32
00:01:34,940 --> 00:01:38,398
Саме тому виникає поняття слушності.

33
00:01:38,398 --> 00:01:41,878
Слушність тут розуміється в специфічному
значенні.

34
00:01:41,878 --> 00:01:44,234
Те, як філософи розуміють поняття
"слушний",

35
00:01:44,234 --> 00:01:47,337
дещо різниться від того, як його
зазвичай розуміють люди,

36
00:01:47,337 --> 00:01:50,439
коли кажуть, що "порада була слушна",
або

37
00:01:50,439 --> 00:01:52,905
"вона висловила слушні судження

38
00:01:52,905 --> 00:01:55,494
щодо цього рішення".

39
00:01:55,494 --> 00:01:58,478
У філософії слушність, як і правильність,

40
00:01:58,478 --> 00:02:00,910
застосовується лише до
необхідних умовиводів.

41
00:02:00,910 --> 00:02:02,878
Щоб бути слушним, умовивід

42
00:02:02,878 --> 00:02:04,933
має відповідати двом вимогам.

43
00:02:04,933 --> 00:02:08,113
Перше: він має бути правильним.

44
00:02:08,113 --> 00:02:11,573
Усі неправильні умовиводи не є слушними.

45
00:02:11,573 --> 00:02:15,648
Друге: засновки умовиводу
мають бути істинними.

46
00:02:15,648 --> 00:02:18,411
Якщо в умовиводі
хоча б один засновок хибний,

47
00:02:18,411 --> 00:02:20,373
такий умовивід не є слушним.

48
00:02:20,373 --> 00:02:23,821
Щоб бути слушним, умовивід повинен
задовольняти обидві вимоги.

49
00:02:23,821 --> 00:02:27,095
Повернімося до прикладу з
фіолетовими котами.

50
00:02:27,095 --> 00:02:30,497
Чи слушний цей умовивід? Перевіримо.

51
00:02:30,497 --> 00:02:33,736
Умовивід правильний, тож першу вимогу
виконано.

52
00:02:33,736 --> 00:02:36,360
А от другу ні, адже

53
00:02:36,360 --> 00:02:38,554
не усі засновки істинні.

54
00:02:38,554 --> 00:02:41,932
Власне, обидва засновки хибні.

55
00:02:41,932 --> 00:02:44,974
Але не кожний не слушний умовивід,
містить хибні засновки.

56
00:02:44,974 --> 00:02:46,762
Розглянемо ще приклад.

57
00:02:46,762 --> 00:02:50,674
Засновок 1: Усі мертві папуги мертві.

58
00:02:50,674 --> 00:02:54,552
Засновок 2: Папуги - не жаби.

59
00:02:54,552 --> 00:02:58,881
Висновок: Отже, жаби існують.

60
00:02:58,881 --> 00:03:00,959
Обидва засновки істинні,

61
00:03:00,959 --> 00:03:03,200
тож цей умовивід відповідає другій вимозі,

62
00:03:03,200 --> 00:03:04,791
щоб називатися слушним.

63
00:03:04,791 --> 00:03:07,536
Однак, не відповідає першій,

64
00:03:07,536 --> 00:03:10,101
тому що він є неправильним.

65
00:03:10,101 --> 00:03:12,481
Висновок не витікає із засновків.

66
00:03:12,481 --> 00:03:14,200
Тож цей умовивід не слушний,

67
00:03:14,200 --> 00:03:16,614
хоча його засновки й істинні.

68
00:03:16,614 --> 00:03:18,658
Зауважимо, що висновок теж істинний.

69
00:03:18,658 --> 00:03:19,658
Але попри це,

70
00:03:19,658 --> 00:03:22,447
умовивід все одно не слушний.

71
00:03:22,447 --> 00:03:24,246
Ще один приклад.

72
00:03:24,246 --> 00:03:27,787
Засновок 1. Страуси не можуть літати.

73
00:03:27,787 --> 00:03:32,141
Засновок 2. Усі комахи носять циліндри.

74
00:03:32,141 --> 00:03:36,483
Висновок: Таким чином,
страуси - це комахи.

75
00:03:36,483 --> 00:03:39,060
Цей умовивід не відповідає жодній з вимог.

76
00:03:39,060 --> 00:03:42,160
Він неправильний, а другий засновок
ще й хибний.

77
00:03:42,160 --> 00:03:45,166
Тож цей умовивід однозначно не слушний.

78
00:03:45,166 --> 00:03:47,488
Ви можете запитати: "Навіщо взагалі

79
00:03:47,488 --> 00:03:49,427
перейматися тим, чи слушний умовивід"?

80
00:03:49,427 --> 00:03:52,318
Причина у тому, що, коли ми знаємо,
що умовивід слушний,

81
00:03:52,318 --> 00:03:54,466
тоді ми знаємо, що висновок
цього умовиводу

82
00:03:54,466 --> 00:03:56,103
неодмінно істинний.

83
00:03:56,103 --> 00:03:57,849
Неможливо, щоб умовивід

84
00:03:57,849 --> 00:03:59,811
відповідав обом вимогам до слушності

85
00:03:59,811 --> 00:04:01,958
і при цьому містив хибний висновок.

86
00:04:01,958 --> 00:04:03,572
Щоб задовольнити першу вимогу,

87
00:04:03,572 --> 00:04:05,256
умовивід повинен бути правильним.

88
00:04:05,256 --> 00:04:07,450
А, відповідно до визначення, у правильному

89
00:04:07,450 --> 00:04:09,853
умовиводі висновок не може бути хибним,

90
00:04:09,853 --> 00:04:12,210
якщо засновки істинні.

91
00:04:12,210 --> 00:04:13,974
Щоб задовольнити другу вимогу,

92
00:04:13,974 --> 00:04:17,271
засновки умовиводу повинні бути істинними.

93
00:04:17,271 --> 00:04:19,709
Об’єднуючи разом вимоги до слушності,
можна сказати

94
00:04:19,709 --> 00:04:21,532
що слушним умовиводом є такий,

95
00:04:21,532 --> 00:04:24,015
висновок якого не може бути хибним, якщо

96
00:04:24,015 --> 00:04:25,770
засновки істинні,

97
00:04:25,770 --> 00:04:28,068
і в якому усі засновки істинні.

98
00:04:28,068 --> 00:04:31,567
Це доводить, що висновок слушного
умовиводу не може бути хибним.

99
00:04:31,567 --> 00:04:33,681
Він повинен бути істинним.

100
00:04:33,689 --> 00:04:35,917
Слушні умовиводи дуже корисні.

101
00:04:35,917 --> 00:04:38,855
Вони дозволяють встановлювати
істинність думок.

102
00:04:38,855 --> 00:04:41,432
На завершення розгляньмо один приклад.

103
00:04:41,432 --> 00:04:44,810
Засновок 1. У китів немає хутра.

104
00:04:44,810 --> 00:04:47,829
Засновок 2. Кити - ссавці.

105
00:04:47,829 --> 00:04:52,676
Висновок: Отже, не у всіх ссавців є хутро.

106
00:04:52,683 --> 00:04:54,411
Цей умовивід правильний.

107
00:04:54,411 --> 00:04:55,932
Якщо засновки істинні,

108
00:04:55,932 --> 00:04:58,335
висновок теж має бути істинним.

109
00:04:58,335 --> 00:05:01,679
А засновки тут істинні, тож і умовивід
в цілому є слушним,

110
00:05:01,679 --> 00:05:03,830
і його висновок істинний.

111
00:05:03,830 --> 00:05:05,336
Спробуйте самі.

112
00:05:05,336 --> 00:05:08,314
Подивіться, чи зможете ви самі
сформулювати слушний умовивід.