[Script Info]
Title: 
[Events]
Format: Layer, Start, End, Style, Name, MarginL, MarginR, MarginV, Effect, Text
Dialogue: 0,0:00:00.00,0:00:05.84,Default,,0000,0000,0000,,(музика)
Dialogue: 0,0:00:05.84,0:00:07.92,Default,,0000,0000,0000,,Привіт. Я Пол Генн,
Dialogue: 0,0:00:07.92,0:00:11.09,Default,,0000,0000,0000,,магістрант відділення філософії\NДюкського університету.
Dialogue: 0,0:00:11.09,0:00:14.40,Default,,0000,0000,0000,,У цьому відео я планую поговорити\Nпро правильність -
Dialogue: 0,0:00:14.40,0:00:18.95,Default,,0000,0000,0000,,важливий інструмент у оцінюванні\Nнеобхідних умовиводів.
Dialogue: 0,0:00:18.96,0:00:20.79,Default,,0000,0000,0000,,Ви, напевно, чули, як хтось каже:
Dialogue: 0,0:00:20.79,0:00:22.40,Default,,0000,0000,0000,,"Це правильна справа", чи, може,
Dialogue: 0,0:00:22.40,0:00:23.83,Default,,0000,0000,0000,,під час суперечки
Dialogue: 0,0:00:23.83,0:00:26.58,Default,,0000,0000,0000,,хтось із друзів казав: \N"Це правильно, але...".
Dialogue: 0,0:00:26.58,0:00:29.14,Default,,0000,0000,0000,,У щоденному вжитку цього терміна
Dialogue: 0,0:00:29.14,0:00:31.70,Default,,0000,0000,0000,,"правильний" або "правильність",
Dialogue: 0,0:00:31.70,0:00:34.27,Default,,0000,0000,0000,,люди, як правило, мають на увазі щось типу
Dialogue: 0,0:00:34.27,0:00:35.93,Default,,0000,0000,0000,,"це слушне зауваження" або
Dialogue: 0,0:00:35.93,0:00:37.70,Default,,0000,0000,0000,,"це твердження істинне".
Dialogue: 0,0:00:37.70,0:00:38.81,Default,,0000,0000,0000,,Але я не говоритиму,
Dialogue: 0,0:00:38.81,0:00:40.27,Default,,0000,0000,0000,,принаймні, у цьому відео,
Dialogue: 0,0:00:40.27,0:00:42.29,Default,,0000,0000,0000,,про ці значення.
Dialogue: 0,0:00:42.29,0:00:44.90,Default,,0000,0000,0000,,Натомість, я розповім про правильність як
Dialogue: 0,0:00:44.90,0:00:47.64,Default,,0000,0000,0000,,про технічне поняття філософії, як от
Dialogue: 0,0:00:47.64,0:00:50.10,Default,,0000,0000,0000,,у фразі "правильний умовивід".
Dialogue: 0,0:00:50.10,0:00:53.54,Default,,0000,0000,0000,,Ви вже знаєте, що умовивід - це\Nнабір тверджень,
Dialogue: 0,0:00:53.54,0:00:56.38,Default,,0000,0000,0000,,в якому, спираючись на одні твердження,
Dialogue: 0,0:00:56.38,0:00:58.20,Default,,0000,0000,0000,,із них виводиться
Dialogue: 0,0:00:58.20,0:01:00.82,Default,,0000,0000,0000,,деяке інше твердження.
Dialogue: 0,0:01:00.82,0:01:03.36,Default,,0000,0000,0000,,Твердження, на які спираються,
Dialogue: 0,0:01:03.36,0:01:05.44,Default,,0000,0000,0000,,називаються "засновками"
Dialogue: 0,0:01:05.44,0:01:07.56,Default,,0000,0000,0000,,а те, яке виводиться -
Dialogue: 0,0:01:07.56,0:01:10.08,Default,,0000,0000,0000,,називається "висновок".
Dialogue: 0,0:01:10.08,0:01:12.60,Default,,0000,0000,0000,,Правильність у тому розумінні, \Nяке я маю на увазі,
Dialogue: 0,0:01:12.60,0:01:15.32,Default,,0000,0000,0000,,стосується необхідних умовиводів.
Dialogue: 0,0:01:15.32,0:01:18.73,Default,,0000,0000,0000,,Тож умовиводи бувають \Nправильними або неправильними.
Dialogue: 0,0:01:18.73,0:01:21.10,Default,,0000,0000,0000,,Правильність, однак, не є\Nвластивістю тверджень
Dialogue: 0,0:01:21.10,0:01:22.48,Default,,0000,0000,0000,,чи чогось подібного.
Dialogue: 0,0:01:22.48,0:01:25.89,Default,,0000,0000,0000,,То що ж таке тоді правильний умовивід?
Dialogue: 0,0:01:25.89,0:01:28.43,Default,,0000,0000,0000,,Припустимо, що ми сформулювали \Nтакий умовивід -
Dialogue: 0,0:01:28.43,0:01:31.55,Default,,0000,0000,0000,,я писатиму "P" для засновків
Dialogue: 0,0:01:31.55,0:01:34.97,Default,,0000,0000,0000,,і "С" для висновку.
Dialogue: 0,0:01:34.97,0:01:37.92,Default,,0000,0000,0000,,Р1: Усі люди смертні.
Dialogue: 0,0:01:37.92,0:01:41.06,Default,,0000,0000,0000,,Р2: Айріс Мердок - людина.
Dialogue: 0,0:01:41.06,0:01:46.04,Default,,0000,0000,0000,,С: Отже, Айріс Мердок смертна.
Dialogue: 0,0:01:46.06,0:01:49.04,Default,,0000,0000,0000,,Припустимо, я кажу, що цей\Nумовивід правильний.
Dialogue: 0,0:01:49.04,0:01:52.08,Default,,0000,0000,0000,,Чи маю я на увазі, що він хороший?
Dialogue: 0,0:01:52.08,0:01:54.24,Default,,0000,0000,0000,,Чи я маю на увазі, що висновок
Dialogue: 0,0:01:54.24,0:01:57.70,Default,,0000,0000,0000,,або усі засновки і висновок є істинними?
Dialogue: 0,0:01:57.70,0:02:00.14,Default,,0000,0000,0000,,Навіть якщо це так і звучить,
Dialogue: 0,0:02:00.14,0:02:01.80,Default,,0000,0000,0000,,правильність не стосується
Dialogue: 0,0:02:01.80,0:02:03.84,Default,,0000,0000,0000,,істинності висновку,
Dialogue: 0,0:02:03.84,0:02:08.32,Default,,0000,0000,0000,,або того, наскільки хорошим є\Nумовивід в цілому.
Dialogue: 0,0:02:08.32,0:02:10.19,Default,,0000,0000,0000,,Тож, давайте-но з’ясуємо.
Dialogue: 0,0:02:10.19,0:02:14.40,Default,,0000,0000,0000,,Умовивід є правильним тоді і лише тоді,
Dialogue: 0,0:02:14.40,0:02:16.46,Default,,0000,0000,0000,,коли істинність засновків
Dialogue: 0,0:02:16.46,0:02:20.17,Default,,0000,0000,0000,,гарантує істинність висновку.
Dialogue: 0,0:02:20.17,0:02:23.96,Default,,0000,0000,0000,,Отже, правильність є властивістю\Nумовиводів, яка передбачає, що,
Dialogue: 0,0:02:23.96,0:02:28.07,Default,,0000,0000,0000,,коли засновки умовиводу є істинними,
Dialogue: 0,0:02:28.07,0:02:32.17,Default,,0000,0000,0000,,тоді і висновок має бути істинним.
Dialogue: 0,0:02:32.17,0:02:35.91,Default,,0000,0000,0000,,Тож не може бути, щоб у\Nправильному умовиводі
Dialogue: 0,0:02:35.91,0:02:38.60,Default,,0000,0000,0000,,були істинні засновки,
Dialogue: 0,0:02:38.60,0:02:42.47,Default,,0000,0000,0000,,але хибний висновок.
Dialogue: 0,0:02:42.47,0:02:45.16,Default,,0000,0000,0000,,Коли умовивід справді правильний,
Dialogue: 0,0:02:45.16,0:02:50.04,Default,,0000,0000,0000,,із засновків випливає висновок.
Dialogue: 0,0:02:50.04,0:02:52.89,Default,,0000,0000,0000,,Повернімося на хвилинку.
Dialogue: 0,0:02:52.89,0:02:55.52,Default,,0000,0000,0000,,Умовивід складається з тверджень,\Nа твердження
Dialogue: 0,0:02:55.52,0:02:57.44,Default,,0000,0000,0000,,можуть бути істинними або хибними,
Dialogue: 0,0:02:57.44,0:03:00.52,Default,,0000,0000,0000,,як от твердження, що цей квадрат\Nпомаранчевий.
Dialogue: 0,0:03:00.52,0:03:03.13,Default,,0000,0000,0000,,Умовиводи не можуть бути істинними\Nабо хибними.
Dialogue: 0,0:03:03.15,0:03:06.43,Default,,0000,0000,0000,,Однак, можуть бути\Nправильними й неправильними,
Dialogue: 0,0:03:06.43,0:03:08.24,Default,,0000,0000,0000,,як й інші речі.
Dialogue: 0,0:03:08.24,0:03:11.02,Default,,0000,0000,0000,,І, якщо умовивід правильний,
Dialogue: 0,0:03:11.02,0:03:13.12,Default,,0000,0000,0000,,якщо засновки у ньому істинні,
Dialogue: 0,0:03:13.12,0:03:16.17,Default,,0000,0000,0000,,тоді його висновок теж істинний.
Dialogue: 0,0:03:16.18,0:03:19.40,Default,,0000,0000,0000,,Зауважте, я не кажу, \Nщо правильний умовивід
Dialogue: 0,0:03:19.40,0:03:21.82,Default,,0000,0000,0000,,має істинні чи хибні засновки
Dialogue: 0,0:03:21.82,0:03:23.98,Default,,0000,0000,0000,,або істинний чи хибний висновок.
Dialogue: 0,0:03:23.98,0:03:26.56,Default,,0000,0000,0000,,Я кажу умовно.
Dialogue: 0,0:03:26.56,0:03:29.50,Default,,0000,0000,0000,,Якщо умовивід правильний,
Dialogue: 0,0:03:29.50,0:03:31.36,Default,,0000,0000,0000,,то істинність його висновку
Dialogue: 0,0:03:31.36,0:03:34.77,Default,,0000,0000,0000,,випливає з істинності засновків.
Dialogue: 0,0:03:34.77,0:03:38.11,Default,,0000,0000,0000,,І навпаки: якщо з істинності засновків
Dialogue: 0,0:03:38.11,0:03:39.83,Default,,0000,0000,0000,,випливає істинність висновку,
Dialogue: 0,0:03:39.83,0:03:43.82,Default,,0000,0000,0000,,то умовивід є правильним.
Dialogue: 0,0:03:43.82,0:03:45.17,Default,,0000,0000,0000,,Усе це досить абстрактно,
Dialogue: 0,0:03:45.17,0:03:46.82,Default,,0000,0000,0000,,тож звернімося до прикладів.
Dialogue: 0,0:03:46.82,0:03:48.68,Default,,0000,0000,0000,,Погляньмо на попередній приклад.
Dialogue: 0,0:03:48.68,0:03:49.84,Default,,0000,0000,0000,,Я сказав, що умовивід
Dialogue: 0,0:03:49.84,0:03:53.31,Default,,0000,0000,0000,,про британського філософа Айріс Мердок\Nє правильним.
Dialogue: 0,0:03:53.31,0:03:54.73,Default,,0000,0000,0000,,Я маю рацію?
Dialogue: 0,0:03:54.73,0:03:55.31,Default,,0000,0000,0000,,Так!
Dialogue: 0,0:03:55.31,0:03:57.87,Default,,0000,0000,0000,,Якщо засновки умовиводу істинні,
Dialogue: 0,0:03:57.87,0:04:01.30,Default,,0000,0000,0000,,у такому випадку й висновок має бути\Nістинним.
Dialogue: 0,0:04:01.30,0:04:02.60,Default,,0000,0000,0000,,Пам’ятайте: неважливо,
Dialogue: 0,0:04:02.60,0:04:05.09,Default,,0000,0000,0000,,істинні наші засновки чи хибні.
Dialogue: 0,0:04:05.09,0:04:06.50,Default,,0000,0000,0000,,Уявімо, наприклад, умовивід
Dialogue: 0,0:04:06.50,0:04:08.84,Default,,0000,0000,0000,,у якому засновки містять хибу.
Dialogue: 0,0:04:08.84,0:04:12.53,Default,,0000,0000,0000,,Р1: Усі люди безсмертні.
Dialogue: 0,0:04:12.53,0:04:15.72,Default,,0000,0000,0000,,Р2: Айріс Мердок - людина.
Dialogue: 0,0:04:15.72,0:04:20.83,Default,,0000,0000,0000,,Висновок: Отже, Айріс Мердок - безсмертна.
Dialogue: 0,0:04:20.83,0:04:23.24,Default,,0000,0000,0000,,Цей умовивід також правильний,
Dialogue: 0,0:04:23.24,0:04:24.51,Default,,0000,0000,0000,,як і перший.
Dialogue: 0,0:04:24.51,0:04:26.68,Default,,0000,0000,0000,,Істинність засновків тягне за собою
Dialogue: 0,0:04:26.68,0:04:29.10,Default,,0000,0000,0000,,істинність висновку, правильно?
Dialogue: 0,0:04:29.10,0:04:32.84,Default,,0000,0000,0000,,Якщо люди справді безсмертні
Dialogue: 0,0:04:32.84,0:04:37.15,Default,,0000,0000,0000,,і якщо Айріс Мердок - одна з цих людей,
Dialogue: 0,0:04:37.15,0:04:38.89,Default,,0000,0000,0000,,тоді виходить,
Dialogue: 0,0:04:38.89,0:04:41.43,Default,,0000,0000,0000,,що Айріс Мердок - безсмертна.
Dialogue: 0,0:04:41.43,0:04:43.53,Default,,0000,0000,0000,,Розгляньмо приклад, істинність
Dialogue: 0,0:04:43.53,0:04:46.03,Default,,0000,0000,0000,,засновків якого нам невідома.
Dialogue: 0,0:04:46.03,0:04:49.51,Default,,0000,0000,0000,,Р1: Усі інопланетяни говорять англійською.
Dialogue: 0,0:04:49.51,0:04:52.58,Default,,0000,0000,0000,,Р2: Сплок - інопланетянин.
Dialogue: 0,0:04:52.58,0:04:56.46,Default,,0000,0000,0000,,Висновок: Отже, Сплок\Nговорить англійською.
Dialogue: 0,0:04:56.46,0:04:58.43,Default,,0000,0000,0000,,Ми не знаємо, чи існують інопланетяни
Dialogue: 0,0:04:58.43,0:05:00.32,Default,,0000,0000,0000,,і тим більше, чи вміють вони говорити.
Dialogue: 0,0:05:00.32,0:05:02.37,Default,,0000,0000,0000,,Ми не знаємо, чи говорять\Nвони англійською.
Dialogue: 0,0:05:02.37,0:05:03.17,Default,,0000,0000,0000,,Може так,
Dialogue: 0,0:05:03.17,0:05:04.69,Default,,0000,0000,0000,,а може й ні.
Dialogue: 0,0:05:04.69,0:05:07.29,Default,,0000,0000,0000,,Але цей умовивід все одно правильний.
Dialogue: 0,0:05:07.29,0:05:10.03,Default,,0000,0000,0000,,Якщо і перший, і другий засновок істинний,
Dialogue: 0,0:05:10.03,0:05:12.66,Default,,0000,0000,0000,,то і висновок має бути істинним.
Dialogue: 0,0:05:12.66,0:05:14.87,Default,,0000,0000,0000,,Можна використати навіть невизначені\Nтерміни:
Dialogue: 0,0:05:14.87,0:05:18.03,Default,,0000,0000,0000,,Р1: Усі сліфи є шматками деревини.
Dialogue: 0,0:05:18.03,0:05:21.02,Default,,0000,0000,0000,,Р2: Сніфф є сліфом.
Dialogue: 0,0:05:21.02,0:05:24.89,Default,,0000,0000,0000,,Висновок: Сніфф - це шматок деревини.
Dialogue: 0,0:05:24.89,0:05:28.63,Default,,0000,0000,0000,,Знову ж таки, істинність засновків\Nнам невідома,
Dialogue: 0,0:05:28.63,0:05:30.34,Default,,0000,0000,0000,,але умовивід все одно правильний.
Dialogue: 0,0:05:30.34,0:05:32.97,Default,,0000,0000,0000,,Це лише одна з форм правильних\Nумовиводів.
Dialogue: 0,0:05:32.97,0:05:34.33,Default,,0000,0000,0000,,Про інші можна дізнатися
Dialogue: 0,0:05:34.33,0:05:35.96,Default,,0000,0000,0000,,з наступних відео.
Dialogue: 0,0:05:35.96,0:05:37.48,Default,,0000,0000,0000,,Тепер подивимося, що означає,
Dialogue: 0,0:05:37.48,0:05:39.32,Default,,0000,0000,0000,,що умовивід неправильний.
Dialogue: 0,0:05:39.32,0:05:41.66,Default,,0000,0000,0000,,З істинності засновків
Dialogue: 0,0:05:41.66,0:05:45.52,Default,,0000,0000,0000,,не випливає істинність висновку.
Dialogue: 0,0:05:45.52,0:05:46.60,Default,,0000,0000,0000,,Наприклад:
Dialogue: 0,0:05:46.60,0:05:49.60,Default,,0000,0000,0000,,Р1: В усіх собак є хутро.
Dialogue: 0,0:05:49.60,0:05:52.48,Default,,0000,0000,0000,,Р2: У Клер є багато хутра.
Dialogue: 0,0:05:52.48,0:05:56.11,Default,,0000,0000,0000,,Висновок: Отже, Клер - собака.
Dialogue: 0,0:05:56.11,0:05:57.75,Default,,0000,0000,0000,,Це той випадок, коли
Dialogue: 0,0:05:57.75,0:05:59.80,Default,,0000,0000,0000,,усі засновки умовиводу
Dialogue: 0,0:05:59.80,0:06:03.14,Default,,0000,0000,0000,,істинні, але висновок хибний.
Dialogue: 0,0:06:03.14,0:06:04.54,Default,,0000,0000,0000,,Іншими словами,
Dialogue: 0,0:06:04.54,0:06:05.49,Default,,0000,0000,0000,,істинність висновку
Dialogue: 0,0:06:05.49,0:06:08.50,Default,,0000,0000,0000,,не випливає із цих засновків, правильно?
Dialogue: 0,0:06:08.50,0:06:11.91,Default,,0000,0000,0000,,Адже коти теж мають багато хутра.
Dialogue: 0,0:06:11.91,0:06:15.65,Default,,0000,0000,0000,,Тож цей умовивід неправильний.
Dialogue: 0,0:06:15.65,0:06:18.67,Default,,0000,0000,0000,,Ви можете поцікавитись, чому\Nправильність взагалі має значення,
Dialogue: 0,0:06:18.67,0:06:21.47,Default,,0000,0000,0000,,якщо для неї неважлива\Nістинність засновків.
Dialogue: 0,0:06:21.47,0:06:22.71,Default,,0000,0000,0000,,Це хороше питання
Dialogue: 0,0:06:22.71,0:06:24.72,Default,,0000,0000,0000,,і його можна довго обговорювати.
Dialogue: 0,0:06:24.72,0:06:26.93,Default,,0000,0000,0000,,Та, якщо коротко, правильність\Nвикористовується,
Dialogue: 0,0:06:26.93,0:06:29.87,Default,,0000,0000,0000,,щоб визначити, чи підпорядковується\Nумовивід законам
Dialogue: 0,0:06:29.87,0:06:33.43,Default,,0000,0000,0000,,дедуктивної логіки.
Dialogue: 0,0:06:33.43,0:06:36.75,Default,,0000,0000,0000,,Ми, таким чином, переконуємося,\Nщо виведення висновку
Dialogue: 0,0:06:36.75,0:06:39.74,Default,,0000,0000,0000,,в умовиводі є адекватним.
Dialogue: 0,0:06:39.75,0:06:41.63,Default,,0000,0000,0000,,І, наостанок, ще один приклад,
Dialogue: 0,0:06:41.63,0:06:42.73,Default,,0000,0000,0000,,спробуйте самостійно
Dialogue: 0,0:06:42.73,0:06:45.53,Default,,0000,0000,0000,,визначити його правильність \Nчи неправильність:
Dialogue: 0,0:06:45.53,0:06:48.61,Default,,0000,0000,0000,,Р1: Усі фрукти є стільцями.
Dialogue: 0,0:06:48.61,0:06:51.84,Default,,0000,0000,0000,,Р2: Квадрат є стільцем.
Dialogue: 0,0:06:51.84,0:06:55.73,Default,,0000,0000,0000,,Висновок: Отже, квадрат - це фрукт.
Dialogue: 0,0:06:55.73,0:06:57.41,Default,,0000,0000,0000,,Що думаєте?