0:00:00.066,0:00:07.759
(музика)

0:00:07.759,0:00:10.046
Привіт. Я Аарон Ансел.

0:00:10.046,0:00:12.218
Я магістрант Дюкського університету

0:00:12.218,0:00:15.317
і в цьому відео я розповім вам про[br]слушність,

0:00:15.317,0:00:16.885
важливе поняття,

0:00:16.885,0:00:19.381
що використовується для оцінки умовиводів.

0:00:19.381,0:00:21.737
Спершу звернемося до правильності.

0:00:21.737,0:00:24.222
Ви, мабуть, вже знаєте, що таке[br]правильний умовивід.

0:00:24.222,0:00:27.682
Якщо ні, я би радив вам спочатку[br]подивитися відео про правильність,

0:00:27.682,0:00:31.466
перш ніж дивитись далі це відео.

0:00:31.466,0:00:33.660
Як ви дізналися з відео про правильність,

0:00:33.660,0:00:35.645
умовивід є правильним, якщо неможливо,

0:00:35.645,0:00:37.665
щоб у ньому із істинних засновків

0:00:37.665,0:00:39.685
випливав хибний висновок.

0:00:39.685,0:00:43.946
Наприклад, такий умовивід є правильним:

0:00:43.946,0:00:47.638
Засновок 1. Усі коти фіолетові.

0:00:47.638,0:00:52.638
Засновок 2. [br]Все, що є фіолетовим, є людиною.

0:00:52.747,0:00:57.905
Висновок: усі коти - люди.

0:00:57.905,0:01:00.164
Цей умовивід є правильним,

0:01:00.164,0:01:04.146
однак його засновки неодмінно містять [br]хибу, якщо хибний висновок.

0:01:04.146,0:01:08.673
Якщо усі коти фіолетові, а усе фіолетового[br]кольору - це люди,

0:01:08.673,0:01:11.645
значить коти - це люди.

0:01:11.645,0:01:14.152
Звісно, коти не є фіолетовими

0:01:14.152,0:01:16.208
і не все фіолетове - люди.

0:01:16.208,0:01:18.263
Тож навіть якщо цей умовивід і правильний,

0:01:18.263,0:01:20.329
він не дуже інформативний.

0:01:20.329,0:01:22.767
Істинність висновку [br]в ньому не гарантована,

0:01:22.767,0:01:26.292
тому що засновки явно хибні.

0:01:26.292,0:01:28.432
Оскільки ми зазвичай формулюємо умовиводи,

0:01:28.432,0:01:31.242
щоб показати,[br]що певний висновок є істинним,

0:01:31.242,0:01:34.940
нам, як правило, хочеться, щоб[br]умовивід був не тільки правильним.

0:01:34.940,0:01:38.398
Саме тому виникає поняття слушності.

0:01:38.398,0:01:41.878
Слушність тут розуміється в специфічному[br]значенні.

0:01:41.878,0:01:44.234
Те, як філософи розуміють поняття[br]"слушний",

0:01:44.234,0:01:47.337
дещо різниться від того, як його[br]зазвичай розуміють люди,

0:01:47.337,0:01:50.439
коли кажуть, що "порада була слушна",[br]або

0:01:50.439,0:01:52.905
"вона висловила слушні судження

0:01:52.905,0:01:55.494
щодо цього рішення".

0:01:55.494,0:01:58.478
У філософії слушність, як і правильність,

0:01:58.478,0:02:00.910
застосовується лише до[br]необхідних умовиводів.

0:02:00.910,0:02:02.878
Щоб бути слушним, умовивід

0:02:02.878,0:02:04.933
має відповідати двом вимогам.

0:02:04.933,0:02:08.113
Перше: він має бути правильним.

0:02:08.113,0:02:11.573
Усі неправильні умовиводи не є слушними.

0:02:11.573,0:02:15.648
Друге: засновки умовиводу[br]мають бути істинними.

0:02:15.648,0:02:18.411
Якщо в умовиводі[br]хоча б один засновок хибний,

0:02:18.411,0:02:20.373
такий умовивід не є слушним.

0:02:20.373,0:02:23.821
Щоб бути слушним, умовивід повинен[br]задовольняти обидві вимоги.

0:02:23.821,0:02:27.095
Повернімося до прикладу з[br]фіолетовими котами.

0:02:27.095,0:02:30.497
Чи слушний цей умовивід? Перевіримо.

0:02:30.497,0:02:33.736
Умовивід правильний, тож першу вимогу[br]виконано.

0:02:33.736,0:02:36.360
А от другу ні, адже

0:02:36.360,0:02:38.554
не усі засновки істинні.

0:02:38.554,0:02:41.932
Власне, обидва засновки хибні.

0:02:41.932,0:02:44.974
Але не кожний не слушний умовивід,[br]містить хибні засновки.

0:02:44.974,0:02:46.762
Розглянемо ще приклад.

0:02:46.762,0:02:50.674
Засновок 1: Усі мертві папуги мертві.

0:02:50.674,0:02:54.552
Засновок 2: Папуги - не жаби.

0:02:54.552,0:02:58.881
Висновок: Отже, жаби існують.

0:02:58.881,0:03:00.959
Обидва засновки істинні,

0:03:00.959,0:03:03.200
тож цей умовивід відповідає другій вимозі,

0:03:03.200,0:03:04.791
щоб називатися слушним.

0:03:04.791,0:03:07.536
Однак, не відповідає першій,

0:03:07.536,0:03:10.101
тому що він є неправильним.

0:03:10.101,0:03:12.481
Висновок не витікає із засновків.

0:03:12.481,0:03:14.200
Тож цей умовивід не слушний,

0:03:14.200,0:03:16.614
хоча його засновки й істинні.

0:03:16.614,0:03:18.658
Зауважимо, що висновок теж істинний.

0:03:18.658,0:03:19.658
Але попри це,

0:03:19.658,0:03:22.447
умовивід все одно не слушний.

0:03:22.447,0:03:24.246
Ще один приклад.

0:03:24.246,0:03:27.787
Засновок 1. Страуси не можуть літати.

0:03:27.787,0:03:32.141
Засновок 2. Усі комахи носять циліндри.

0:03:32.141,0:03:36.483
Висновок: Таким чином,[br]страуси - це комахи.

0:03:36.483,0:03:39.060
Цей умовивід не відповідає жодній з вимог.

0:03:39.060,0:03:42.160
Він неправильний, а другий засновок[br]ще й хибний.

0:03:42.160,0:03:45.166
Тож цей умовивід однозначно не слушний.

0:03:45.166,0:03:47.488
Ви можете запитати: "Навіщо взагалі

0:03:47.488,0:03:49.427
перейматися тим, чи слушний умовивід"?

0:03:49.427,0:03:52.318
Причина у тому, що, коли ми знаємо,[br]що умовивід слушний,

0:03:52.318,0:03:54.466
тоді ми знаємо, що висновок[br]цього умовиводу

0:03:54.466,0:03:56.103
неодмінно істинний.

0:03:56.103,0:03:57.849
Неможливо, щоб умовивід

0:03:57.849,0:03:59.811
відповідав обом вимогам до слушності

0:03:59.811,0:04:01.958
і при цьому містив хибний висновок.

0:04:01.958,0:04:03.572
Щоб задовольнити першу вимогу,

0:04:03.572,0:04:05.256
умовивід повинен бути правильним.

0:04:05.256,0:04:07.450
А, відповідно до визначення, у правильному

0:04:07.450,0:04:09.853
умовиводі висновок не може бути хибним,

0:04:09.853,0:04:12.210
якщо засновки істинні.

0:04:12.210,0:04:13.974
Щоб задовольнити другу вимогу,

0:04:13.974,0:04:17.271
засновки умовиводу повинні бути істинними.

0:04:17.271,0:04:19.709
Об’єднуючи разом вимоги до слушності,[br]можна сказати

0:04:19.709,0:04:21.532
що слушним умовиводом є такий,

0:04:21.532,0:04:24.015
висновок якого не може бути хибним, якщо

0:04:24.015,0:04:25.770
засновки істинні,

0:04:25.770,0:04:28.068
і в якому усі засновки істинні.

0:04:28.068,0:04:31.567
Це доводить, що висновок слушного[br]умовиводу не може бути хибним.

0:04:31.567,0:04:33.681
Він повинен бути істинним.

0:04:33.689,0:04:35.917
Слушні умовиводи дуже корисні.

0:04:35.917,0:04:38.855
Вони дозволяють встановлювати[br]істинність думок.

0:04:38.855,0:04:41.432
На завершення розгляньмо один приклад.

0:04:41.432,0:04:44.810
Засновок 1. У китів немає хутра.

0:04:44.810,0:04:47.829
Засновок 2. Кити - ссавці.

0:04:47.829,0:04:52.676
Висновок: Отже, не у всіх ссавців є хутро.

0:04:52.683,0:04:54.411
Цей умовивід правильний.

0:04:54.411,0:04:55.932
Якщо засновки істинні,

0:04:55.932,0:04:58.335
висновок теж має бути істинним.

0:04:58.335,0:05:01.679
А засновки тут істинні, тож і умовивід[br]в цілому є слушним,

0:05:01.679,0:05:03.830
і його висновок істинний.

0:05:03.830,0:05:05.336
Спробуйте самі.

0:05:05.336,0:05:08.314
Подивіться, чи зможете ви самі[br]сформулювати слушний умовивід.