Логика
Валидность vs Истинность
Цели урока
- Понять разницу между валидностью и истинностью
- Узнать, что такое обоснованный аргумент
- Научиться выявлять ловушку "правильного вывода"
- Освоить анализ формы аргумента
"Все металлы - жидкости. Золото - металл. Значит, золото жидкое." Рассуждение безупречное - но вывод абсурден. Как это возможно?
- Разоблачение аргументов с ложными предпосылками в политике
- Оценка "убедительных" бизнес-кейсов с неверными данными
- Анализ научных статей: корректна ли методология?
- Проверка собственных решений: не обманываю ли я себя?
Валидность: правильность формы
**Валидность** - это свойство аргумента, при котором вывод *обязательно* следует из посылок. Если посылки истинны, вывод *не может* быть ложным.
**Ключевой инсайт:** Валидность проверяет только ФОРМУ рассуждения, не содержание. Валидный аргумент с ложными посылками даст бессмыслицу - но логически правильную бессмыслицу.
Думай о валидности как о водопроводе: если трубы соединены правильно - вода дойдёт до крана. Но если на входе грязь вместо воды, на выходе тоже будет грязь.
"Все программисты носят очки. Маша - программист. Значит, Маша носит очки." Валиден ли этот аргумент?
Обоснованность: валидность + истина
**Обоснованный аргумент** (sound argument) - это валидный аргумент с истинными посылками. Только такой аргумент гарантирует истинный вывод.
**Почему это важно:** Валидность можно проверить логически (анализ формы). Истинность посылок нужно проверять эмпирически (факты, исследования). Обоснованный аргумент требует обоих видов проверки.
В реальных спорах люди часто строят валидные аргументы с ложными посылками. Логика помогает это разоблачить: "Ок, рассуждение правильное, но докажи, что посылка истинна!"
Что нужно проверить, чтобы убедиться в обоснованности аргумента?
Истинность: ловушка правильного вывода
Вот парадокс: **истинный вывод может следовать из невалидного аргумента**. И это самая коварная ловушка - мы верим аргументу, потому что вывод "закономерно правильный".
**Ловушка:** Мы склонны принимать плохие аргументы, если согласны с выводом. "Ну, результат же правильный!" - но это не делает рассуждение надёжным.
Истинный вывод из невалидного аргумента - как случайно угаданный ответ на экзамене. Повезло один раз, но метод не работает.
"Все врачи знают анатомию. Этот человек знает анатомию. Значит, он врач." Что здесь не так?
Форма vs Содержание: суть логического анализа
Логика занимается **формой**, не **содержанием**. Это как грамматика: можно построить грамматически правильное предложение, которое бессмысленно.
**Сила абстракции:** Проверяя форму, мы можем оценить миллионы аргументов одним правилом. Форма "Все A - B. X - A. → X - B" - всегда валидна. Форма "Все A - B. X - B. → X - A" - всегда невалидна. Содержание не важно - важна структура.
Теперь ты понимаешь, почему профессор может верить в гомеопатию: он использует невалидные формы рассуждения, даже если знает много фактов. Знания (содержание) не защищают от ошибок в форме.
Если вывод истинный, значит аргумент хороший
Истинность вывода не гарантирует качество аргумента
Можно случайно прийти к верному выводу через невалидное рассуждение. Хороший аргумент = валидная форма + истинные посылки. Только так истинность вывода гарантирована, а не случайна.
Зачем логики записывают аргументы в абстрактной форме (A, B, X)?
Главное
- Валидность — правильность формы. Если посылки истинны, вывод не может быть ложным
- Обоснованность = валидность + истинные посылки. Только такой аргумент надёжен
- Истинный вывод не гарантирует хороший аргумент — можно "угадать" верный ответ
- Логика анализирует форму, не содержание. Одна форма — бесконечно много аргументов
Дальше
Теперь изучим базовые логические связки - как объединять высказывания в сложные конструкции
- Связки И/ИЛИ — следующий урок
- Структура аргумента — предыдущий урок
Вопросы для размышления
- Вспомни аргумент, с выводом которого ты согласен. Валиден ли он?
- Когда в последний раз ты принял плохой аргумент, потому что вывод казался верным?
- Как бы ты объяснил разницу между валидностью и истинностью пятилетнему ребёнку?