Словарь интеллигента

Абсолютные и сравнительные модальности — модальные характеристики, различающиеся по способу применения: абсолютные относятся к отдельным объектам как свойства, сравнительные — к парам объектов как отношения. Например, можно сказать «это плохо» или «это хуже того»; «событие было» или «событие произошло раньше другого»; «истинно» или «более вероятно». Понятие важно потому, что показывает два взаимодополнительных способа описания мира: через свойства вещей и через отношения между ними, причём эти способы не сводятся друг к другу.

Аксиома силлогизма — основной принцип категорического силлогизма, сформулированный Аристотелем. В классической форме она утверждает: когда одно сказывается о другом как о подлежащем, то всё, что говорится о сказуемом, будет говориться и о подлежащем. Понятие важно потому, что показывает основание традиционного силлогистического вывода, где принадлежность к классу или роду позволяет переносить утверждения на включённые в него виды и предметы.

Антиномии отношения именования возникают, когда правило замены равного равным нарушается в контекстах косвенной речи, знания, веры, мнения, желания или модальности. Выражения могут указывать на один предмет, но не быть взаимозаменимыми для субъекта, который мыслит этот предмет под разными описаниями. Понятие важно потому, что различает денотат, смысл, способ данности и контекст употребления имени.

Аргумент от невежества, или argumentum ad ignorantiam, — софизм, использующий отсутствие доказательств как основание для утверждения или отрицания. Он встречается в спорах о науке, религии, паранормальном, политике и теориях заговора.

Аргумент третьего человека направлен против платоновского учения об идеях и показывает трудность объяснения общего через самостоятельную сверхчувственную сущность. Если множество людей объединяется через идею человека, то нужно объяснить, что объединяет отдельных людей и саму идею человека; для этого требуется новый, «третий» человек — и так до бесконечности. Аргумент важен потому, что выявляет риск овеществления универсалий и бесконечного умножения абстракций.

Ассерторическое суждение — тип суждения, которое просто утверждает или отрицает факт: «идёт дождь», «горит свет», «Волга впадает в Каспийское море». Оно фиксирует действительность, но не претендует на необходимость, как аподиктическое суждение, и не остаётся в сфере возможности, как проблематическое. Понятие важно потому, что показывает скромную, но фундаментальную форму мысли: разум сначала должен уметь сказать «это есть», прежде чем строить теории, выводить законы и спорить о необходимых основаниях.

Булева логика, или булева алгебра, — формальная система, разработанная Джорджем Булем для символического представления логических суждений. Она сводит основные логические связи к операциям «И», «ИЛИ» и «НЕ», позволяя обращаться с рассуждениями как с алгебраическими выражениями. Понятие важно потому, что булева алгебра стала фундаментом автоматизации логики, цифровых вычислений, компьютерных схем, программирования и формального анализа высказываний.

Вилка Мортона обозначает выбор без благоприятного выхода: какой бы вариант ни был выбран, он используется против человека. Исторически выражение связано с налоговой политикой Джона Мортона при Генрихе VII: роскошь доказывала наличие денег, а экономность — накопленный излишек. Сегодня это понятие применяют к ловушкам рассуждения, административным дилеммам и ситуациям принудительной интерпретации.

Деструктивная дилемма — вид условно-разделительного умозаключения, где выбор между альтернативами приводит к отрицательному выводу. В простой форме одно условие влечёт два возможных следствия, затем оба следствия отрицаются, и потому отрицается исходное условие. В сложной форме два разных условия ведут к двум разным следствиям, а отрицание следствий приводит к разделительному отрицанию условий. Понятие важно потому, что показывает строгую логическую технику разрушения основания через проверку его необходимых последствий.

Дискурсивное, или сукцессивное, мышление — форма мышления, которая движется последовательно: от одного определённого представления к другому, выстраивая мысленный образ через логические переходы. В широком смысле дискурсивным называют логическое мышление вообще, противопоставляя его интуитивному познанию через непосредственное созерцание. Понятие важно потому, что показывает различие между мыслью, которая идёт шаг за шагом, и мыслью, которая схватывает целое сразу.

Закон идемпотентности утверждает, что выражения вида «p и p» или «p или p» логически эквивалентны простому «p». Повтор одного и того же высказывания не усиливает и не изменяет его логического содержания. Закон важен потому, что показывает отличие логических операций от арифметических: в логике повторение утверждения не создаёт новой степени или суммы.

Изоморфизм и гомоморфизм — понятия, выражающие два типа структурного соответствия между системами. Изоморфизм означает взаимооднозначное соответствие элементов, свойств, функций и отношений, позволяющее рассматривать системы как структурно одинаковые. Гомоморфизм слабее: соответствие действует в одном направлении и допускает потерю части структуры. Понятие важно потому, что лежит в основе моделирования, переноса знания, работы с картами, переводами, образами, математическими структурами и научными теориями.

Логический фатализм — доктрина, согласно которой из одних только принципов логики будто бы следует предопределённость всех событий и отсутствие свободы воли. Классический аргумент обсуждал Аристотель в трактате «Об истолковании»: если высказывание о завтрашнем морском сражении уже истинно или ложно, то кажется, что будущее уже необходимо.

Пассивный аргумент используется против фатализма и утверждает: если всё предрешено судьбой, то действовать бессмысленно. Стоики отвечали, что судьба касается не изолированного результата, а всей цепочки со-фатальных событий, включая сами действия человека. Аргумент важен потому, что показывает тонкую разницу между предопределением результата и включённостью действия в причинную структуру мира.

Перформативное противоречие возникает не между двумя предложениями, а между содержанием высказывания и самим актом его произнесения. Фраза от первого лица может быть формально непротиворечивой, но разрушаться тем фактом, что говорящий уже занимает позицию, несовместимую с её содержанием. Понятие важно потому, что показывает: логика речи включает не только предложение, но и условия его исполнения.

Подмена тезиса — логическая ошибка, при которой рассуждение начинается с одного утверждения, но постепенно переходит к доказательству другого, лишь похожего на исходное. Из-за сходства создаётся иллюзия, будто доказан именно первоначальный тезис. Эта ошибка важна для критического мышления, потому что позволяет разоблачать аргументы, где спор выигрывается не доказательством, а незаметным смещением предмета.

Принцип объёмности, или экстенсиональности, утверждает, что два множества, состоящие из одних и тех же элементов, являются равными. В логике он переносится на предикаты, свойства и понятия: если они имеют один и тот же объём, их можно считать неразличимыми в определённом экстенсиональном смысле. Понятие важно потому, что показывает силу и границу формального мышления: совпадение объёма позволяет отождествлять классы, но не всегда исчерпывает смысл, способ задания и интенсиональное содержание понятия.

Рогатый силлогизм известен в форме: «То, чего ты не потерял, у тебя есть; ты не потерял рогов; значит, у тебя есть рога». Он показывает, как грамматически гладкое рассуждение может скрывать логическую ловушку. Софизм важен как пример того, что правильный вид вывода ещё не гарантирует истинности его предпосылок и корректности употребления понятий.

Софизм «Крокодил» — древняя логическая история о самореферентном обещании. Крокодил обещает вернуть ребёнка, если мать правильно угадает его решение, но её ответ делает оба исхода противоречивыми. Этот софизм показывает, как условие может стать невыполнимым из-за собственной структуры.

Софизм Эватла показывает, как договорное условие может породить противоречивые аргументы для обеих сторон. Протагор требует плату независимо от исхода дела, а Эватл доказывает, что независимо от исхода платить не должен. Этот сюжет важен для логики, риторики и философии права.

Тезис и антитезис в логике обозначают утверждение, требующее доказательства, и противоположное ему утверждение, часто используемое в доказательстве от противного. В немецкой классической философии эти понятия получили диалектическое значение: тезис и антитезис стали моментами развития, через конфликт которых возникает синтез. Понятие важно потому, что показывает переход от формального отрицания к продуктивной противоположности.

Тенденциозность мышления — склонность мысли подчиняться определённому способу рассуждения, заданному идеологией, догмой, школой или системой правил. В общем смысле она указывает на предвзятость и направленность мышления; в логическом смысле — на обусловленность рассуждения правилами построения вывода, которые формируют его возможные результаты. Понятие важно потому, что показывает: мышление никогда не бывает полностью бесформенным; оно всегда движется внутри некоторой рамки, которая помогает рассуждать, но одновременно ограничивает видимое.

Эротетическая, или интеррогативная, логика изучает вопросы как особые логико-семантические структуры. Она рассматривает не только утверждения, но и то, как формулируется запрос на знание, какие ответы ему соответствуют и какие условия делают вопрос корректным. Это важная область на пересечении логики, языка, поиска информации и теории аргументации.

Argumentum ad hominem — аргумент «к человеку», при котором внимание слушателя или читателя переносится с обсуждаемого тезиса на личность, положение, интересы, качества или особенности восприятия оппонента. В современной логике чаще всего под ad hominem понимают ошибочную атаку на человека вместо анализа аргумента, но исторически это выражение могло обозначать и более широкий риторический ход: учитывать убеждения, уровень развития или восприимчивость аудитории. Понятие важно потому, что показывает, как спор легко смещается от истины высказывания к фигуре того, кто его произносит.

Ignoratio elenchi — одна из классических логических ошибок, описываемая как подмена тезиса или неведение довода. Спорящий может привести убедительные аргументы, но они будут относиться к другому утверждению, а не к исходному вопросу. Опасность этой ошибки в том, что доказательство может выглядеть сильным именно потому, что доказывает нечто реальное, но не относящееся к делу.