Философия / исследуем тему
Что изучает логика: валидность вывода, истинность посылок, доказательства и контрпримеры. Основные разделы, понятные задачи и маршруты изучения.
Внутри темы
Отдельные разделы раскрывают большую тему; материалы позволяют начать с конкретной ситуации.
Из чего состоит аргументация: тезис, основания, скрытые предпосылки и возражения. Разбор практического решения, оценка доводов и самостоятельное упражнение.
↗02Раздел
Как распознать логическую ошибку: подмена тезиса, ложная дилемма, круг и утверждение следствия. Примеры разбора, границы критики и упражнения с ответами.
↗03Раздел
Чем дедукция отличается от индукции: необходимый вывод, обобщение и прогноз. Разбор примера из типографии, абдукция, контрпримеры и упражнения с ответами.
↗04Раздел
Как разбирать парадокс: точные условия, два направления вывода и цена решения. Лжец, куча, учебный каталог, различия и задания с ответами.
↗О чём этот раздел
Логика исследует отношения между утверждениями: что из чего следует, какие положения совместимы и как строится доказательство. Её вопрос возникает в самой обычной ситуации: «Допустим, всё сказанное верно. Достаточно ли этого для предложенного вывода?» Ответ зависит от устройства рассуждения, а не от уверенности говорящего.
Здесь нужны две проверки. Сначала — сохраняет ли переход от посылок к заключению истину. Затем — истинны ли сами посылки. Правильная форма рассуждения с ошибочным исходным утверждением ещё не даёт надёжного знания. И наоборот: случайно угаданный ответ не исправляет плохой довод. Умение разделять эти проверки полезнее привычки называть любое несогласие «нелогичным».
Начать можно без сложной символики: выделить посылки, точно сформулировать заключение и поискать контрпример. Далее появляются логика высказываний, предикаты, кванторы и системы доказательств. Силлогизмы — важная часть учебной традиции, но круг задач намного шире: от совместимости условий до рассуждений о возможности и необходимости.
Библиотека темы
Материалы по теме: выберите вопрос, который интересует вас сейчас.
Несколько ракурсов
Перепишите довод так, чтобы каждое исходное утверждение занимало отдельную строку. Под ним поместите то, что требуется установить. Слова «поэтому» и «поскольку» помогают, но сами по себе ничего не гарантируют. Часть основания может быть пропущена; тогда её следует назвать и проверить, а не незаметно принять за факт.
Дедуктивный аргумент валиден, если невозможен случай, в котором все его посылки истинны, а заключение ложно. Это требование к связи утверждений. В формальном анализе уточняют язык и допустимые интерпретации: без этого житейское «иначе быть не может» слишком легко принять за логическую необходимость.
Валидный аргумент с истинными посылками называют sound; по-русски встречаются разные переводы этого термина. Здесь важна сама связка двух условий. Логика проверяет переход, а данные наблюдения, определения или другие аргументы помогают оценивать посылки. Эти задачи нельзя выполнить одним впечатлением от убедительной речи.
Для опровержения дедуктивной валидности достаточно одного допустимого случая с истинными посылками и ложным заключением. Простая история, в которой всё ложно, не годится. А неудача нескольких попыток найти контрпример ещё не равна доказательству: возможно, нужный случай просто не был рассмотрен.
Это вопросы для чтения и размышления. Объяснение конкретной ситуации требует учитывать её обстоятельства.
Карта вопроса
Логический язык выбирают под структуру вопроса. Не всякая связь видна на одном уровне описания.
Дедуктивные выводы↗01ВысказыванияЛогика высказываний работает с конструкциями «и», «или», «не», «если… то…». Таблица истинности позволяет проверить все сочетания значений для конечного набора простых высказываний. Но сначала нужно согласовать смысл перевода: обычное «или» иногда исключает одновременность вариантов, а стандартная логическая дизъюнкция её допускает.
Ошибки в рассуждениях↗02ПредикатыЛогика предикатов показывает внутреннее устройство утверждений: кто обладает свойством, кто с кем связан, говорится ли обо всех или хотя бы об одном. Перед записью формулы задают область объектов и смысл отношений. Без этого слово «все» может незаметно менять охват, а одинаковый символ — обозначать разные связи.
Философские парадоксы↗03МодальностиМодальные логики добавляют средства для анализа возможности и необходимости; родственные системы рассматривают знание, время или долженствование. У этих задач разные правила. Из того, что событие возможно, не следует, что оно произойдёт; а из того, что действие обязательно, — что его действительно выполнят.
Условная ситуация для разбора
Условная мастерская сообщает: каждому из трёх участников назначен наставник. Организатор заключает, что есть наставник, который ведёт всех троих. Проверим именно этот переход.
Для любого участника найдётся подходящий ему наставник. Сообщение пока ничего не говорит о том, совпадают ли эти люди. Для Ани и Бориса наставником может быть Ольга, а для Веры — Павел.
Предположим, других назначений нет. Тогда каждый участник обеспечен наставником, однако ни Ольга, ни Павел не ведут всех троих. Посылка истинна, заключение ложно: предложенный вывод невалиден. Этот случай не опровергает исходное сообщение мастерской.
В исходном утверждении выбор наставника может зависеть от участника. В заключении сначала выбирают одного человека, а затем требуют, чтобы он подходил каждому. Переход от «для каждого есть» к «есть один для всех» нуждается в дополнительном основании.
Проверить список назначений и установить общее имя, если оно действительно есть. Добавлять условие о едином наставнике только ради удобного вывода нельзя. Обратный переход работает: если один наставник ведёт всех участников, у каждого из них наставник есть.
Сравнение понятий
Эти различия не требуют специальной терминологии в повседневной речи, но помогают точно поставить вопрос.
Утверждение и его отрицание в одном смысле и контексте.
Разные позиции, которые ещё могут оказаться совместимыми после уточнения.
Вывод по допустимым правилам из указанных оснований.
Несколько подтверждающих случаев; сам по себе не охватывает все возможности.
Проверка связей и совместимости утверждений.
Исследование того, как люди фактически рассуждают и почему ошибаются.
Опорные понятия
Короткие пояснения помогают ориентироваться в материалах этого раздела.
С чего начать
Выберите вопрос и пройдите от базового разбора к исследованию или практике.
Чем отличаются строгий вывод, вероятное заключение и ошибка?
Как использовать логический анализ при сравнении доводов?
Практика понимания
Отдельно оцените форму, посылки и заключение следующего рассуждения.
Все музыкальные инструменты имеют струны. Скрипка — музыкальный инструмент. Следовательно, скрипка имеет струны.
Что здесь неверно — форма вывода, одна из посылок или заключение?
Форма валидна: если вся группа обладает свойством и предмет входит в неё, свойство принадлежит предмету. Первая посылка ложна — например, у флейты нет струн. При этом заключение о скрипке истинно. Ложное основание не делает заключение автоматически ложным, но лишает этот аргумент сочетания валидности и истинных посылок.
Флейта опровергает общую посылку, а не правильность перехода от общей посылки к частному выводу.
Частые вопросы
Нет. Сначала полезно научиться точно записывать довод словами. Символы нужны там, где они делают связи обозримыми и убирают двусмысленность. Необъяснённая формула может скрыть ошибку перевода столь же успешно, как длинная фраза.
Таблица перебирает оценки высказываний; доказательство показывает разрешённые переходы. Это разные способы исследования логического следования. Для языка с кванторами нужны методы, учитывающие также объекты и отношения: одной таблицы значений целых высказываний недостаточно.
Для дедуктивной валидности важна допустимость случая при заданных условиях, а не его частота. Но при оценке вероятностного довода редкое исключение само по себе ещё не уничтожает поддержку заключения. Сначала определите, какое требование предъявлено к аргументу.
Она помогает обнаружить несовместимые условия и последствия принятых оснований. Но выбор цели требует также содержательных соображений о том, что ценно и почему. Формально безупречный расчёт средств не заменяет обсуждения самой цели.
Источники и контекст
Учебные, академические и исследовательские источники для знакомства с темой. Материалы раздела содержат собственные пояснения и ссылки.
Как мы работаем с материалами ↗Разделы 1–3: следование, логическая форма и семантический подход.
Глава 2: валидность, истинные посылки и soundness аргумента.
Глава 5: связки, включающее «или» и ограничения формализации.
Раздел 25.3: почему порядок кванторов меняет содержание.
Глава 16: таблицы истинности и доказательства по правилам.
Введение и раздел 1: модальности и разнообразие задач.
Разделы 1 и 4: цели, средства и содержательные основания выбора.
Продолжить маршрут