Зачем нужна логика

Цели урока

• Понять, почему знания без логики бесполезны
• Узнать, что такое логика и чем она отличается от здравого смысла
• Научиться различать логику и риторику
• Увидеть, где в повседневной жизни нужна логика

1994 год. Intel выпускает процессор Pentium. В делении с плавающей точкой - ошибка. Одна булева ошибка в логике микрокода. Стоимость отзыва: 475 миллионов долларов. 2017 год. Инженер Amazon набирает команду в консоли чуть быстрее, чем нужно. Один опечаток в аргументе удаляет слишком много серверов S3. AWS падает на четыре часа - с ним полинтернета. Therac-25, радиационный аппарат, убил пациентов из-за race condition в булевом условии. Логика - это не абстракция из учебника. Это инженерная дисциплина с ценой ошибки в человеческих жизнях и сотнях миллионов долларов.

• **Верификация кода** - формальные методы проверки логики программ используются в авиации (ARINC 653), ядерной энергетике, автопилотах Tesla. Один логический баг в safety-critical системе = катастрофа
• **LLM-галлюцинации** - это логические ошибки в рассуждениях модели. Chain-of-thought prompting (Wei et al. 2022) работает именно потому, что заставляет модель строить явные логические шаги вместо прямых ответов
• **SQL-инъекции** остаются #1 в OWASP Top 10 не потому что программисты не знают синтаксис - а потому что не проверяют логику доверия к входным данным
• **A/B-тесты** - без понимания логики статистических выводов компании делают неверные бизнес-решения на «значимых» p-value. Facebook теряет на этом миллионы ежегодно

Парадокс: знать много != думать правильно

**Парадокс:** Человек может знать тысячи фактов - и при этом принимать нелепые решения. Почему?

**Ключевой инсайт:** Знания - это данные. Логика - это алгоритм их обработки. Без хорошего алгоритма даже лучшие данные дают мусор на выходе.

Google не делает человека умнее, если нет навыка отличать хороший аргумент от плохого. Миллион статей в Википедии бесполезны, если не видно, где факт, а где интерпретация. Объём информации не равен качеству вывода.

Что такое логика (и что она НЕ)

**Логика** - это наука о правильных рассуждениях. Она изучает не *что* истинно, а *как* из одних утверждений следуют другие.

**Логика - это НЕ:** ❌ Здравый смысл (часто противоречит ему!) ❌ Интуиция (её логика как раз проверяет) ❌ Математика (но они родственники) ❌ Способ доказать что угодно **Логика - это:** ✅ Правила, по которым строятся выводы ✅ Инструмент проверки рассуждений ✅ Язык для анализа аргументов

Главная задача логики - не сказать *что* истинно, а проверить *правильно ли* мы рассуждаем. Истинность фактов - задача науки. Правильность выводов - задача логики.

Логика vs Риторика: найди манипуляцию

**Риторика** - искусство убеждения. **Логика** - искусство правильных выводов. Это разные вещи.

**Ловушка:** Самые убедительные аргументы часто самые слабые логически. Чем сильнее эмоциональный эффект, тем внимательнее проверяй логику.

Реклама, политика, соцсети - везде риторика маскируется под логику. Именно поэтому самые умные люди попадаются на самые грубые манипуляции: техническая компетентность не защищает от логических ловушек в нетехнических областях.

Главное

• **Знания - это данные, логика - алгоритм их обработки.** Без алгоритма даже лучшие данные дают мусор
• **Логика изучает не что истинно, а как из одного следует другое** - именно это проверяет компилятор типов и формальный верификатор
• **Риторика убеждает через эмоции, логика проверяет через структуру.** Самые убедительные аргументы часто логически самые слабые
• **Intel FDIV, Amazon S3, Therac-25** - три напоминания, что логические ошибки убивают не только аргументы в спорах

Дальше

Теперь научимся различать высказывания - базовые кирпичики логики

• Высказывания — следующий урок

Связанные уроки

• ml-01