1. Введение в формальную логику и структуру аргументации
Введение в формальную логику и структуру аргументации
Добро пожаловать в курс «Мастерство аналитики и логики». Мы начинаем наше путешествие с фундамента, на котором строится любое рациональное мышление — с формальной логики.
Многие считают, что логика — это интуитивный навык: «я и так мыслю логично». Однако в аналитике, программировании, юриспруденции и даже в бытовых спорах интуиция часто подводит нас. Формальная логика — это наука о правильном мышлении, которая позволяет нам отделять верные суждения от ошибочных, независимо от наших эмоций или предубеждений.
В этой статье мы разберем анатомию аргумента, узнаем, чем «истина» отличается от «валидности», и познакомимся с базовыми инструментами дедукции.
Анатомия аргумента
В повседневной речи слово «аргумент» часто воспринимается как синоним спора или конфликта. В логике же аргумент — это упорядоченная совокупность суждений, где одни суждения (посылки) служат основанием для другого (вывода).
Любой логический аргумент состоит из трех ключевых элементов:
Рассмотрим классический пример, известный еще со времен Аристотеля:
> Все люди смертны. (Посылка 1) > Сократ — человек. (Посылка 2) > Следовательно, Сократ смертен. (Вывод)
Если убрать хотя бы одну посылку, конструкция рассыплется. Если мы не знаем, что «все люди смертны», факт того, что «Сократ — человек», не позволяет нам утверждать, что он умрет.
!Графическое представление структуры логического аргумента
Валидность против Истинности
Это, пожалуй, самая важная концепция для начинающего аналитика. В быту мы смешиваем понятия «правильно» и «правда». В логике они строго разделены.
* Истинность относится к содержанию утверждения (соответствует ли оно фактам реальности). * Валидность относится к структуре аргумента (следует ли вывод из посылок с неизбежностью).
Аргумент может быть валидным, но иметь ложный вывод, если одна из посылок ложна. Рассмотрим пример:
> Все птицы умеют играть в шахматы. (Ложная посылка) > Пингвины — это птицы. (Истинная посылка) > Следовательно, пингвины умеют играть в шахматы. (Ложный вывод)
С точки зрения формальной логики, этот аргумент идеален (валиден). Почему? Потому что если бы первая посылка была правдой, то вывод был бы неизбежен. Логика проверяет качество «мясорубки» (структуры), а не качество «мяса» (фактов), которое вы в нее кладете.
Таблица соотношения валидности и истинности
| Структура | Посылки | Вывод | Статус аргумента | | :--- | :--- | :--- | :--- | | Валидная | Истинные | Истинный | Состоятельный (Sound) | | Валидная | Ложные | Ложный/Истинный | Несостоятельный | | Невалидная | Истинные | Любой | Ошибочный |
Наша цель в аналитике — строить состоятельные аргументы. Это такие аргументы, которые одновременно и валидны (логичны), и основаны на истинных посылках.
Дедукция и Индукция
Существует два основных способа рассуждения, которые используются в анализе данных и построении гипотез.
1. Дедукция (от общего к частному)
Дедукция — это процесс выведения частного заключения из общих правил. Главное свойство дедукции: если посылки истинны и форма правильна, вывод гарантированно истинен на 100%.
Пример: * В любой прямоугольной трапеции есть прямой угол. * Фигура — прямоугольная трапеция. * Следовательно, в фигуре есть прямой угол.
Здесь нет места вероятности. Это «железная» логика.
2. Индукция (от частного к общему)
Индукция — это процесс обобщения наблюдений. Здесь вывод вероятен, но не гарантирован.
Пример: * В понедельник шел дождь. * Во вторник шел дождь. * В среду шел дождь. * Следовательно, в четверг тоже пойдет дождь.
Вывод может оказаться ошибочным, даже если все посылки верны. В аналитике мы часто используем индукцию для построения прогнозов (predictive analytics), понимая, что всегда есть погрешность.
Формализация логики
Чтобы анализировать сложные аргументы и избегать двусмысленности естественного языка, логика использует математическую нотацию. Давайте рассмотрим простейшую форму дедуктивного умозаключения, которая называется Modus Ponens.
Обозначим наши суждения переменными: * Пусть — это утверждение «Идет дождь». * Пусть — это утверждение «Асфальт мокрый».
Логическая связка «Если..., то...» (импликация) обозначается стрелкой .
Запишем правило: «Если идет дождь, то асфальт мокрый»:
где — условие (антецедент), — следствие (консеквент), а — знак логического следования.
Теперь запишем структуру аргумента Modus Ponens:
Разберем элементы этой записи: * — первая посылка: «Если , то ». * — вторая посылка: «Утверждение истинно». * Горизонтальная черта отделяет посылки от вывода. * — символ, означающий «следовательно». * — вывод: «Утверждение истинно».
Это математическое доказательство того, что если причина () наступила, и связь () работает, то следствие () неизбежно.
Распространенная ошибка: Подтверждение следствия
Используя те же формулы, мы можем увидеть популярную ошибку мышления. Попробуем перевернуть логику:
Перевод:
Это логическая ошибка. Асфальт может быть мокрым, потому что проехала поливальная машина или кто-то разлил воду. Наличие следствия () не гарантирует наличие конкретной причины (). В аналитике это называется ложной корреляцией или ошибкой атрибуции.
Заключение
Формальная логика — это скелет вашего мышления. Понимая структуру аргумента (посылки и вывод), различая валидность и истинность, а также умея замечать ошибки в формальных записях, вы становитесь менее уязвимы для манипуляций и когнитивных искажений.
В следующей статье мы углубимся в тему логических ошибок и узнаем, как наш мозг обманывает нас, даже когда нам кажется, что мы рассуждаем здраво.