Логика
Ловушки: Неправильные формы
Цели урока
- Распознавать утверждение консеквента
- Выявлять отрицание антецедента
- Сравнивать валидные и невалидные формы
- Понимать разницу между формальной и содержательной ошибкой
"У него температура - значит, вирус!" "Он не студент - значит, не молодой!" Эти рассуждения кажутся логичными, но оба - ловушки. Научимся их видеть.
- Медицина: симптом ≠ диагноз (утверждение консеквента)
- Криминалистика: отсутствие улик ≠ невиновность
- Маркетинг: "Успешные используют X" ≠ "Используй X — станешь успешным"
- Наука: подтверждение предсказания ≠ доказательство теории
Утверждение консеквента: классическая ловушка
**Утверждение консеквента** - это попытка заключить P из "если P, то Q" и Q. Звучит логично, но это ошибка!
**Почему кажется правильным:** Мы интуитивно думаем: "Ну, Q же есть, откуда ему взяться если не от P?" Но это путает достаточное условие с единственным. P достаточно для Q, но не необходимо!
Утверждение консеквента - путаница направления импликации. P → Q не означает Q → P. Помни пример с собакой: все собаки - животные, но не все животные - собаки.
"Если программист → знает логику. Вася знает логику. Значит, Вася - программист." Верно ли рассуждение?
Отрицание антецедента: вторая ловушка
**Отрицание антецедента** - попытка заключить ¬Q из "если P, то Q" и ¬P. Тоже звучит логично, и тоже ошибка!
**Сравни с Modus Tollens:** ❌ Отрицание антецедента: P → Q, ¬P ⇒ ¬Q (неверно) ✓ Modus Tollens: P → Q, ¬Q ⇒ ¬P (верно) Нужно отрицать СЛЕДСТВИЕ, не условие!
Отрицание антецедента путает достаточное с необходимым. P достаточно для Q, но отсутствие P не означает отсутствие Q - могут быть другие причины.
"Если диплом → найдёшь работу. У Пети нет диплома. Значит, Петя не найдёт работу." Ошибка ли это?
Сравнение: правильные vs неправильные
Давай поставим все четыре формы рядом. Две работают, две - нет. Ключ - понять структуру.
**Запомни диагональ:** P ↔ Q (условие ↔ следствие) • Утверждаем условие → утверждаем следствие (Modus Ponens) • Отрицаем следствие → отрицаем условие (Modus Tollens) Диагонали работают! Всё остальное - нет.
Если запутался - проверяй на примере с дождём и мокрой улицей. Он интуитивно понятен и сразу показывает, работает форма или нет.
Какая форма валидна? P → Q, и...
Формальные ошибки: почему форма важнее содержания
Утверждение консеквента и отрицание антецедента - **формальные ошибки**. Они неверны из-за структуры, независимо от содержания.
**Коварство формальных ошибок:** Они могут дать истинный вывод случайно! "Если собака → четыре ноги. У Шарика четыре ноги. ∴ Шарик - собака." Если Шарик действительно собака - вывод истинен. Но рассуждение невалидно! У кошки тоже четыре ноги.
Теперь ты знаешь две главные ловушки логики. Когда слышишь "ну, если Q истинно, значит было P" - стоп! Это может быть утверждение консеквента.
Если вывод оказался верным, значит рассуждение было правильным
Верный вывод не гарантирует правильность рассуждения
Можно случайно угадать правильный ответ через неправильное рассуждение. "Собака → четыре ноги, четыре ноги → собака" - если это действительно собака, вывод верен, но форма рассуждения (утверждение консеквента) невалидна. В следующий раз с кошкой этот метод провалится.
В чём разница между формальной и содержательной ошибкой?
Главное
- Утверждение консеквента: P → Q, Q ⇒ P — НЕВЕРНО!
- Отрицание антецедента: P → Q, ¬P ⇒ ¬Q — НЕВЕРНО!
- Валидны только: Modus Ponens (P, P→Q ⇒ Q) и Modus Tollens (¬Q, P→Q ⇒ ¬P)
- Формальная ошибка — в структуре, не в фактах. Даже истинный вывод не спасает
Дальше
Теперь перейдём к неформальным ошибкам - софизмам и манипуляциям в аргументации
- Введение в софизмы — следующий урок
- Правильные формы — предыдущий урок
Вопросы для размышления
- Вспомни рекламу "Успешные люди пьют кофе X". Какую ошибку она провоцирует?
- Почему врачи не ставят диагноз по одному симптому?
- Когда ты последний раз делал вывод по схеме "есть следствие → была причина"?