[Script Info]
Title: 
[Events]
Format: Layer, Start, End, Style, Name, MarginL, MarginR, MarginV, Effect, Text
Dialogue: 0,0:00:00.07,0:00:07.76,Default,,0000,0000,0000,,(музика)
Dialogue: 0,0:00:07.76,0:00:10.05,Default,,0000,0000,0000,,Привіт. Я Аарон Ансел.
Dialogue: 0,0:00:10.05,0:00:12.22,Default,,0000,0000,0000,,Я магістрант Дюкського університету
Dialogue: 0,0:00:12.22,0:00:15.32,Default,,0000,0000,0000,,і в цьому відео я розповім вам про\Nслушність,
Dialogue: 0,0:00:15.32,0:00:16.88,Default,,0000,0000,0000,,важливе поняття,
Dialogue: 0,0:00:16.88,0:00:19.38,Default,,0000,0000,0000,,що використовується для оцінки умовиводів.
Dialogue: 0,0:00:19.38,0:00:21.74,Default,,0000,0000,0000,,Спершу звернемося до правильності.
Dialogue: 0,0:00:21.74,0:00:24.22,Default,,0000,0000,0000,,Ви, мабуть, вже знаєте, що таке\Nправильний умовивід.
Dialogue: 0,0:00:24.22,0:00:27.68,Default,,0000,0000,0000,,Якщо ні, я би радив вам спочатку\Nподивитися відео про правильність,
Dialogue: 0,0:00:27.68,0:00:31.47,Default,,0000,0000,0000,,перш ніж дивитись далі це відео.
Dialogue: 0,0:00:31.47,0:00:33.66,Default,,0000,0000,0000,,Як ви дізналися з відео про правильність,
Dialogue: 0,0:00:33.66,0:00:35.64,Default,,0000,0000,0000,,умовивід є правильним, якщо неможливо,
Dialogue: 0,0:00:35.64,0:00:37.66,Default,,0000,0000,0000,,щоб у ньому із істинних засновків
Dialogue: 0,0:00:37.66,0:00:39.68,Default,,0000,0000,0000,,випливав хибний висновок.
Dialogue: 0,0:00:39.68,0:00:43.95,Default,,0000,0000,0000,,Наприклад, такий умовивід є правильним:
Dialogue: 0,0:00:43.95,0:00:47.64,Default,,0000,0000,0000,,Засновок 1. Усі коти фіолетові.
Dialogue: 0,0:00:47.64,0:00:52.64,Default,,0000,0000,0000,,Засновок 2. \NВсе, що є фіолетовим, є людиною.
Dialogue: 0,0:00:52.75,0:00:57.90,Default,,0000,0000,0000,,Висновок: усі коти - люди.
Dialogue: 0,0:00:57.90,0:01:00.16,Default,,0000,0000,0000,,Цей умовивід є правильним,
Dialogue: 0,0:01:00.16,0:01:04.15,Default,,0000,0000,0000,,однак його засновки неодмінно містять \Nхибу, якщо хибний висновок.
Dialogue: 0,0:01:04.15,0:01:08.67,Default,,0000,0000,0000,,Якщо усі коти фіолетові, а усе фіолетового\Nкольору - це люди,
Dialogue: 0,0:01:08.67,0:01:11.64,Default,,0000,0000,0000,,значить коти - це люди.
Dialogue: 0,0:01:11.64,0:01:14.15,Default,,0000,0000,0000,,Звісно, коти не є фіолетовими
Dialogue: 0,0:01:14.15,0:01:16.21,Default,,0000,0000,0000,,і не все фіолетове - люди.
Dialogue: 0,0:01:16.21,0:01:18.26,Default,,0000,0000,0000,,Тож навіть якщо цей умовивід і правильний,
Dialogue: 0,0:01:18.26,0:01:20.33,Default,,0000,0000,0000,,він не дуже інформативний.
Dialogue: 0,0:01:20.33,0:01:22.77,Default,,0000,0000,0000,,Істинність висновку \Nв ньому не гарантована,
Dialogue: 0,0:01:22.77,0:01:26.29,Default,,0000,0000,0000,,тому що засновки явно хибні.
Dialogue: 0,0:01:26.29,0:01:28.43,Default,,0000,0000,0000,,Оскільки ми зазвичай формулюємо умовиводи,
Dialogue: 0,0:01:28.43,0:01:31.24,Default,,0000,0000,0000,,щоб показати,\Nщо певний висновок є істинним,
Dialogue: 0,0:01:31.24,0:01:34.94,Default,,0000,0000,0000,,нам, як правило, хочеться, щоб\Nумовивід був не тільки правильним.
Dialogue: 0,0:01:34.94,0:01:38.40,Default,,0000,0000,0000,,Саме тому виникає поняття слушності.
Dialogue: 0,0:01:38.40,0:01:41.88,Default,,0000,0000,0000,,Слушність тут розуміється в специфічному\Nзначенні.
Dialogue: 0,0:01:41.88,0:01:44.23,Default,,0000,0000,0000,,Те, як філософи розуміють поняття\N"слушний",
Dialogue: 0,0:01:44.23,0:01:47.34,Default,,0000,0000,0000,,дещо різниться від того, як його\Nзазвичай розуміють люди,
Dialogue: 0,0:01:47.34,0:01:50.44,Default,,0000,0000,0000,,коли кажуть, що "порада була слушна",\Nабо
Dialogue: 0,0:01:50.44,0:01:52.90,Default,,0000,0000,0000,,"вона висловила слушні судження
Dialogue: 0,0:01:52.90,0:01:55.49,Default,,0000,0000,0000,,щодо цього рішення".
Dialogue: 0,0:01:55.49,0:01:58.48,Default,,0000,0000,0000,,У філософії слушність, як і правильність,
Dialogue: 0,0:01:58.48,0:02:00.91,Default,,0000,0000,0000,,застосовується лише до\Nнеобхідних умовиводів.
Dialogue: 0,0:02:00.91,0:02:02.88,Default,,0000,0000,0000,,Щоб бути слушним, умовивід
Dialogue: 0,0:02:02.88,0:02:04.93,Default,,0000,0000,0000,,має відповідати двом вимогам.
Dialogue: 0,0:02:04.93,0:02:08.11,Default,,0000,0000,0000,,Перше: він має бути правильним.
Dialogue: 0,0:02:08.11,0:02:11.57,Default,,0000,0000,0000,,Усі неправильні умовиводи не є слушними.
Dialogue: 0,0:02:11.57,0:02:15.65,Default,,0000,0000,0000,,Друге: засновки умовиводу\Nмають бути істинними.
Dialogue: 0,0:02:15.65,0:02:18.41,Default,,0000,0000,0000,,Якщо в умовиводі\Nхоча б один засновок хибний,
Dialogue: 0,0:02:18.41,0:02:20.37,Default,,0000,0000,0000,,такий умовивід не є слушним.
Dialogue: 0,0:02:20.37,0:02:23.82,Default,,0000,0000,0000,,Щоб бути слушним, умовивід повинен\Nзадовольняти обидві вимоги.
Dialogue: 0,0:02:23.82,0:02:27.10,Default,,0000,0000,0000,,Повернімося до прикладу з\Nфіолетовими котами.
Dialogue: 0,0:02:27.10,0:02:30.50,Default,,0000,0000,0000,,Чи слушний цей умовивід? Перевіримо.
Dialogue: 0,0:02:30.50,0:02:33.74,Default,,0000,0000,0000,,Умовивід правильний, тож першу вимогу\Nвиконано.
Dialogue: 0,0:02:33.74,0:02:36.36,Default,,0000,0000,0000,,А от другу ні, адже
Dialogue: 0,0:02:36.36,0:02:38.55,Default,,0000,0000,0000,,не усі засновки істинні.
Dialogue: 0,0:02:38.55,0:02:41.93,Default,,0000,0000,0000,,Власне, обидва засновки хибні.
Dialogue: 0,0:02:41.93,0:02:44.97,Default,,0000,0000,0000,,Але не кожний не слушний умовивід,\Nмістить хибні засновки.
Dialogue: 0,0:02:44.97,0:02:46.76,Default,,0000,0000,0000,,Розглянемо ще приклад.
Dialogue: 0,0:02:46.76,0:02:50.67,Default,,0000,0000,0000,,Засновок 1: Усі мертві папуги мертві.
Dialogue: 0,0:02:50.67,0:02:54.55,Default,,0000,0000,0000,,Засновок 2: Папуги - не жаби.
Dialogue: 0,0:02:54.55,0:02:58.88,Default,,0000,0000,0000,,Висновок: Отже, жаби існують.
Dialogue: 0,0:02:58.88,0:03:00.96,Default,,0000,0000,0000,,Обидва засновки істинні,
Dialogue: 0,0:03:00.96,0:03:03.20,Default,,0000,0000,0000,,тож цей умовивід відповідає другій вимозі,
Dialogue: 0,0:03:03.20,0:03:04.79,Default,,0000,0000,0000,,щоб називатися слушним.
Dialogue: 0,0:03:04.79,0:03:07.54,Default,,0000,0000,0000,,Однак, не відповідає першій,
Dialogue: 0,0:03:07.54,0:03:10.10,Default,,0000,0000,0000,,тому що він є неправильним.
Dialogue: 0,0:03:10.10,0:03:12.48,Default,,0000,0000,0000,,Висновок не витікає із засновків.
Dialogue: 0,0:03:12.48,0:03:14.20,Default,,0000,0000,0000,,Тож цей умовивід не слушний,
Dialogue: 0,0:03:14.20,0:03:16.61,Default,,0000,0000,0000,,хоча його засновки й істинні.
Dialogue: 0,0:03:16.61,0:03:18.66,Default,,0000,0000,0000,,Зауважимо, що висновок теж істинний.
Dialogue: 0,0:03:18.66,0:03:19.66,Default,,0000,0000,0000,,Але попри це,
Dialogue: 0,0:03:19.66,0:03:22.45,Default,,0000,0000,0000,,умовивід все одно не слушний.
Dialogue: 0,0:03:22.45,0:03:24.25,Default,,0000,0000,0000,,Ще один приклад.
Dialogue: 0,0:03:24.25,0:03:27.79,Default,,0000,0000,0000,,Засновок 1. Страуси не можуть літати.
Dialogue: 0,0:03:27.79,0:03:32.14,Default,,0000,0000,0000,,Засновок 2. Усі комахи носять циліндри.
Dialogue: 0,0:03:32.14,0:03:36.48,Default,,0000,0000,0000,,Висновок: Таким чином,\Nстрауси - це комахи.
Dialogue: 0,0:03:36.48,0:03:39.06,Default,,0000,0000,0000,,Цей умовивід не відповідає жодній з вимог.
Dialogue: 0,0:03:39.06,0:03:42.16,Default,,0000,0000,0000,,Він неправильний, а другий засновок\Nще й хибний.
Dialogue: 0,0:03:42.16,0:03:45.17,Default,,0000,0000,0000,,Тож цей умовивід однозначно не слушний.
Dialogue: 0,0:03:45.17,0:03:47.49,Default,,0000,0000,0000,,Ви можете запитати: "Навіщо взагалі
Dialogue: 0,0:03:47.49,0:03:49.43,Default,,0000,0000,0000,,перейматися тим, чи слушний умовивід"?
Dialogue: 0,0:03:49.43,0:03:52.32,Default,,0000,0000,0000,,Причина у тому, що, коли ми знаємо,\Nщо умовивід слушний,
Dialogue: 0,0:03:52.32,0:03:54.47,Default,,0000,0000,0000,,тоді ми знаємо, що висновок\Nцього умовиводу
Dialogue: 0,0:03:54.47,0:03:56.10,Default,,0000,0000,0000,,неодмінно істинний.
Dialogue: 0,0:03:56.10,0:03:57.85,Default,,0000,0000,0000,,Неможливо, щоб умовивід
Dialogue: 0,0:03:57.85,0:03:59.81,Default,,0000,0000,0000,,відповідав обом вимогам до слушності
Dialogue: 0,0:03:59.81,0:04:01.96,Default,,0000,0000,0000,,і при цьому містив хибний висновок.
Dialogue: 0,0:04:01.96,0:04:03.57,Default,,0000,0000,0000,,Щоб задовольнити першу вимогу,
Dialogue: 0,0:04:03.57,0:04:05.26,Default,,0000,0000,0000,,умовивід повинен бути правильним.
Dialogue: 0,0:04:05.26,0:04:07.45,Default,,0000,0000,0000,,А, відповідно до визначення, у правильному
Dialogue: 0,0:04:07.45,0:04:09.85,Default,,0000,0000,0000,,умовиводі висновок не може бути хибним,
Dialogue: 0,0:04:09.85,0:04:12.21,Default,,0000,0000,0000,,якщо засновки істинні.
Dialogue: 0,0:04:12.21,0:04:13.97,Default,,0000,0000,0000,,Щоб задовольнити другу вимогу,
Dialogue: 0,0:04:13.97,0:04:17.27,Default,,0000,0000,0000,,засновки умовиводу повинні бути істинними.
Dialogue: 0,0:04:17.27,0:04:19.71,Default,,0000,0000,0000,,Об’єднуючи разом вимоги до слушності,\Nможна сказати
Dialogue: 0,0:04:19.71,0:04:21.53,Default,,0000,0000,0000,,що слушним умовиводом є такий,
Dialogue: 0,0:04:21.53,0:04:24.02,Default,,0000,0000,0000,,висновок якого не може бути хибним, якщо
Dialogue: 0,0:04:24.02,0:04:25.77,Default,,0000,0000,0000,,засновки істинні,
Dialogue: 0,0:04:25.77,0:04:28.07,Default,,0000,0000,0000,,і в якому усі засновки істинні.
Dialogue: 0,0:04:28.07,0:04:31.57,Default,,0000,0000,0000,,Це доводить, що висновок слушного\Nумовиводу не може бути хибним.
Dialogue: 0,0:04:31.57,0:04:33.68,Default,,0000,0000,0000,,Він повинен бути істинним.
Dialogue: 0,0:04:33.69,0:04:35.92,Default,,0000,0000,0000,,Слушні умовиводи дуже корисні.
Dialogue: 0,0:04:35.92,0:04:38.86,Default,,0000,0000,0000,,Вони дозволяють встановлювати\Nістинність думок.
Dialogue: 0,0:04:38.86,0:04:41.43,Default,,0000,0000,0000,,На завершення розгляньмо один приклад.
Dialogue: 0,0:04:41.43,0:04:44.81,Default,,0000,0000,0000,,Засновок 1. У китів немає хутра.
Dialogue: 0,0:04:44.81,0:04:47.83,Default,,0000,0000,0000,,Засновок 2. Кити - ссавці.
Dialogue: 0,0:04:47.83,0:04:52.68,Default,,0000,0000,0000,,Висновок: Отже, не у всіх ссавців є хутро.
Dialogue: 0,0:04:52.68,0:04:54.41,Default,,0000,0000,0000,,Цей умовивід правильний.
Dialogue: 0,0:04:54.41,0:04:55.93,Default,,0000,0000,0000,,Якщо засновки істинні,
Dialogue: 0,0:04:55.93,0:04:58.34,Default,,0000,0000,0000,,висновок теж має бути істинним.
Dialogue: 0,0:04:58.34,0:05:01.68,Default,,0000,0000,0000,,А засновки тут істинні, тож і умовивід\Nв цілому є слушним,
Dialogue: 0,0:05:01.68,0:05:03.83,Default,,0000,0000,0000,,і його висновок істинний.
Dialogue: 0,0:05:03.83,0:05:05.34,Default,,0000,0000,0000,,Спробуйте самі.
Dialogue: 0,0:05:05.34,0:05:08.31,Default,,0000,0000,0000,,Подивіться, чи зможете ви самі\Nсформулювати слушний умовивід.