WEBVTT 00:00:00.066 --> 00:00:07.759 (музика) 00:00:07.759 --> 00:00:10.046 Привіт. Я Аарон Ансел. 00:00:10.046 --> 00:00:12.218 Я магістрант Дюкського університету 00:00:12.218 --> 00:00:15.317 і в цьому відео я розповім вам про слушність, 00:00:15.317 --> 00:00:16.885 важливе поняття, 00:00:16.885 --> 00:00:19.381 що використовується для оцінки умовиводів. 00:00:19.381 --> 00:00:21.737 Спершу звернемося до правильності. 00:00:21.737 --> 00:00:24.222 Ви, мабуть, вже знаєте, що таке правильний умовивід. 00:00:24.222 --> 00:00:27.682 Якщо ні, я би радив вам спочатку подивитися відео про правильність, 00:00:27.682 --> 00:00:31.466 перш ніж дивитись далі це відео. 00:00:31.466 --> 00:00:33.660 Як ви дізналися з відео про правильність, 00:00:33.660 --> 00:00:35.645 умовивід є правильним, якщо неможливо, 00:00:35.645 --> 00:00:37.665 щоб у ньому із істинних засновків 00:00:37.665 --> 00:00:39.685 випливав хибний висновок. 00:00:39.685 --> 00:00:43.946 Наприклад, такий умовивід є правильним: 00:00:43.946 --> 00:00:47.638 Засновок 1. Усі коти фіолетові. 00:00:47.638 --> 00:00:52.638 Засновок 2. Все, що є фіолетовим, є людиною. 00:00:52.747 --> 00:00:57.905 Висновок: усі коти - люди. 00:00:57.905 --> 00:01:00.164 Цей умовивід є правильним, 00:01:00.164 --> 00:01:04.146 однак його засновки неодмінно містять хибу, якщо хибний висновок. 00:01:04.146 --> 00:01:08.673 Якщо усі коти фіолетові, а усе фіолетового кольору - це люди, 00:01:08.673 --> 00:01:11.645 значить коти - це люди. 00:01:11.645 --> 00:01:14.152 Звісно, коти не є фіолетовими 00:01:14.152 --> 00:01:16.208 і не все фіолетове - люди. 00:01:16.208 --> 00:01:18.263 Тож навіть якщо цей умовивід і правильний, 00:01:18.263 --> 00:01:20.329 він не дуже інформативний. 00:01:20.329 --> 00:01:22.767 Істинність висновку в ньому не гарантована, 00:01:22.767 --> 00:01:26.292 тому що засновки явно хибні. 00:01:26.292 --> 00:01:28.432 Оскільки ми зазвичай формулюємо умовиводи, 00:01:28.432 --> 00:01:31.242 щоб показати, що певний висновок є істинним, 00:01:31.242 --> 00:01:34.940 нам, як правило, хочеться, щоб умовивід був не тільки правильним. 00:01:34.940 --> 00:01:38.398 Саме тому виникає поняття слушності. 00:01:38.398 --> 00:01:41.878 Слушність тут розуміється в специфічному значенні. 00:01:41.878 --> 00:01:44.234 Те, як філософи розуміють поняття "слушний", 00:01:44.234 --> 00:01:47.337 дещо різниться від того, як його зазвичай розуміють люди, 00:01:47.337 --> 00:01:50.439 коли кажуть, що "порада була слушна", або 00:01:50.439 --> 00:01:52.905 "вона висловила слушні судження 00:01:52.905 --> 00:01:55.494 щодо цього рішення". 00:01:55.494 --> 00:01:58.478 У філософії слушність, як і правильність, 00:01:58.478 --> 00:02:00.910 застосовується лише до необхідних умовиводів. 00:02:00.910 --> 00:02:02.878 Щоб бути слушним, умовивід 00:02:02.878 --> 00:02:04.933 має відповідати двом вимогам. 00:02:04.933 --> 00:02:08.113 Перше: він має бути правильним. 00:02:08.113 --> 00:02:11.573 Усі неправильні умовиводи не є слушними. 00:02:11.573 --> 00:02:15.648 Друге: засновки умовиводу мають бути істинними. 00:02:15.648 --> 00:02:18.411 Якщо в умовиводі хоча б один засновок хибний, 00:02:18.411 --> 00:02:20.373 такий умовивід не є слушним. 00:02:20.373 --> 00:02:23.821 Щоб бути слушним, умовивід повинен задовольняти обидві вимоги. 00:02:23.821 --> 00:02:27.095 Повернімося до прикладу з фіолетовими котами. 00:02:27.095 --> 00:02:30.497 Чи слушний цей умовивід? Перевіримо. 00:02:30.497 --> 00:02:33.736 Умовивід правильний, тож першу вимогу виконано. 00:02:33.736 --> 00:02:36.360 А от другу ні, адже 00:02:36.360 --> 00:02:38.554 не усі засновки істинні. 00:02:38.554 --> 00:02:41.932 Власне, обидва засновки хибні. 00:02:41.932 --> 00:02:44.974 Але не кожний не слушний умовивід, містить хибні засновки. 00:02:44.974 --> 00:02:46.762 Розглянемо ще приклад. 00:02:46.762 --> 00:02:50.674 Засновок 1: Усі мертві папуги мертві. 00:02:50.674 --> 00:02:54.552 Засновок 2: Папуги - не жаби. 00:02:54.552 --> 00:02:58.881 Висновок: Отже, жаби існують. 00:02:58.881 --> 00:03:00.959 Обидва засновки істинні, 00:03:00.959 --> 00:03:03.200 тож цей умовивід відповідає другій вимозі, 00:03:03.200 --> 00:03:04.791 щоб називатися слушним. 00:03:04.791 --> 00:03:07.536 Однак, не відповідає першій, 00:03:07.536 --> 00:03:10.101 тому що він є неправильним. 00:03:10.101 --> 00:03:12.481 Висновок не витікає із засновків. 00:03:12.481 --> 00:03:14.200 Тож цей умовивід не слушний, 00:03:14.200 --> 00:03:16.614 хоча його засновки й істинні. 00:03:16.614 --> 00:03:18.658 Зауважимо, що висновок теж істинний. 00:03:18.658 --> 00:03:19.658 Але попри це, 00:03:19.658 --> 00:03:22.447 умовивід все одно не слушний. 00:03:22.447 --> 00:03:24.246 Ще один приклад. 00:03:24.246 --> 00:03:27.787 Засновок 1. Страуси не можуть літати. 00:03:27.787 --> 00:03:32.141 Засновок 2. Усі комахи носять циліндри. 00:03:32.141 --> 00:03:36.483 Висновок: Таким чином, страуси - це комахи. 00:03:36.483 --> 00:03:39.060 Цей умовивід не відповідає жодній з вимог. 00:03:39.060 --> 00:03:42.160 Він неправильний, а другий засновок ще й хибний. 00:03:42.160 --> 00:03:45.166 Тож цей умовивід однозначно не слушний. 00:03:45.166 --> 00:03:47.488 Ви можете запитати: "Навіщо взагалі 00:03:47.488 --> 00:03:49.427 перейматися тим, чи слушний умовивід"? 00:03:49.427 --> 00:03:52.318 Причина у тому, що, коли ми знаємо, що умовивід слушний, 00:03:52.318 --> 00:03:54.466 тоді ми знаємо, що висновок цього умовиводу 00:03:54.466 --> 00:03:56.103 неодмінно істинний. 00:03:56.103 --> 00:03:57.849 Неможливо, щоб умовивід 00:03:57.849 --> 00:03:59.811 відповідав обом вимогам до слушності 00:03:59.811 --> 00:04:01.958 і при цьому містив хибний висновок. 00:04:01.958 --> 00:04:03.572 Щоб задовольнити першу вимогу, 00:04:03.572 --> 00:04:05.256 умовивід повинен бути правильним. 00:04:05.256 --> 00:04:07.450 А, відповідно до визначення, у правильному 00:04:07.450 --> 00:04:09.853 умовиводі висновок не може бути хибним, 00:04:09.853 --> 00:04:12.210 якщо засновки істинні. 00:04:12.210 --> 00:04:13.974 Щоб задовольнити другу вимогу, 00:04:13.974 --> 00:04:17.271 засновки умовиводу повинні бути істинними. 00:04:17.271 --> 00:04:19.709 Об’єднуючи разом вимоги до слушності, можна сказати 00:04:19.709 --> 00:04:21.532 що слушним умовиводом є такий, 00:04:21.532 --> 00:04:24.015 висновок якого не може бути хибним, якщо 00:04:24.015 --> 00:04:25.770 засновки істинні, 00:04:25.770 --> 00:04:28.068 і в якому усі засновки істинні. 00:04:28.068 --> 00:04:31.567 Це доводить, що висновок слушного умовиводу не може бути хибним. 00:04:31.567 --> 00:04:33.681 Він повинен бути істинним. 00:04:33.689 --> 00:04:35.917 Слушні умовиводи дуже корисні. 00:04:35.917 --> 00:04:38.855 Вони дозволяють встановлювати істинність думок. 00:04:38.855 --> 00:04:41.432 На завершення розгляньмо один приклад. 00:04:41.432 --> 00:04:44.810 Засновок 1. У китів немає хутра. 00:04:44.810 --> 00:04:47.829 Засновок 2. Кити - ссавці. 00:04:47.829 --> 00:04:52.676 Висновок: Отже, не у всіх ссавців є хутро. 00:04:52.683 --> 00:04:54.411 Цей умовивід правильний. 00:04:54.411 --> 00:04:55.932 Якщо засновки істинні, 00:04:55.932 --> 00:04:58.335 висновок теж має бути істинним. 00:04:58.335 --> 00:05:01.679 А засновки тут істинні, тож і умовивід в цілому є слушним, 00:05:01.679 --> 00:05:03.830 і його висновок істинний. 00:05:03.830 --> 00:05:05.336 Спробуйте самі. 00:05:05.336 --> 00:05:08.314 Подивіться, чи зможете ви самі сформулювати слушний умовивід.