Софизм

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

История

Античность

Термин «софизм» происходит от древнегреческого слова σόφισμα (sophisma), что означает «мастерство», «хитрость», «уловка» или «мудрость». Само понятие неразрывно связано с деятельностью древнегреческих софистов — платных учителей красноречия и философии, действовавших в V—IV веках до н. э. (Протагор, Горгий, Гиппий, Продик). Софисты обучали искусству убеждения (эристике) и умению доказывать любую точку зрения, часто пренебрегая истинностью посылок. Критику софистики как метода, основанного на манипуляции, дал Сократ, а затем систематически разобрал Аристотель в трактате «О софистических опровержениях» (лат. De Sophisticis Elenchis), где он классифицировал основные виды софизмов и указал на их отличие от паралогизмов (непреднамеренных логических ошибок).

Средневековье и Новое время

В схоластической философии Средневековья софизмы использовались как учебные упражнения для тренировки логического мышления. В Новое время интерес к софизмам возродился в связи с развитием риторики и теории аргументации. Философы (Ф. Бэкон, Дж. Локк, А. Шопенгауэр) анализировали софизмы как приёмы недобросовестной полемики. Шопенгауэр в «Эристике, или Искусстве побеждать в спорах» описал десятки уловок, многие из которых являются софизмами.

Отличие от паралогизма и парадокса

Софизм необходимо отличать от смежных логических явлений:

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

Классификация и виды софизмов

Существует множество классификаций софизмов. Наиболее распространённая основана на природе допускаемой ошибки.

Лингвистические (языковые) софизмы

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

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

Логические софизмы

Основаны на нарушении законов и правил формальной логики.

• Подмена тезиса (ignoratio elenchi): В ходе спора доказывается не то утверждение, которое было выдвинуто изначально, а другое, часто похожее.
• Пример: Вместо доказательства того, что человек не совершал преступления, оппонент начинает доказывать, что он «хороший человек».
• Четыре термина (quaternio terminorum): Нарушение правила силлогизма, согласно которому в нём должно быть ровно три термина. Ошибка возникает из-за омонимии среднего термина.
• Пример: «Все люди смертны. Сократ — человек. Следовательно, Сократ смертен» — это правильный силлогизм. Софизм: «Все люди смертны. Сократ — человек. Следовательно, Сократ — это имя». Здесь средний термин «человек» понимается по-разному: как биологический вид и как имя собственное.
• Ложный аргумент (non sequitur): Вывод не следует из посылок.
• Пример: «Если идёт дождь, земля мокрая. Земля мокрая. Следовательно, идёт дождь». (Земля может быть мокрой по другой причине).
• Порочный круг (circulus vitiosus): Доказательство утверждения с помощью самого себя.
• Пример: «Этот текст правдив, потому что он написан в Библии. Библия истинна, потому что она — слово Божье. А слово Божье истинно, потому что так написано в Библии».
• Предвосхищение основания (petitio principii): Доказательство строится на недоказанной посылке, которая сама нуждается в доказательстве.
• Пример: «Бог существует, потому что так написано в Библии, а Библия — богодухновенная книга».

Математические софизмы

Псевдоматематические рассуждения, содержащие скрытые ошибки (деление на ноль, извлечение корня без учёта знака, некорректные преобразования). Их цель — доказать заведомо ложное равенство (например, 2×2=5 или 1=0).

• Пример: «Докажем», что 4=5. 16-36=25-45. Прибавляем 81/4: 16-36+81/4=25-45+81/4. Левая часть — (4-9/2)², правая — (5-9/2)². Извлекаем корень: 4-9/2=5-9/2, откуда 4=5. Ошибка: √(a²) = |a|, а не a.

Применение и значение

В риторике и полемике

Софизмы являются инструментом недобросовестной аргументации (демагогии). Их использование преследует цель не установить истину, а одержать победу в споре любой ценой, ввести оппонента и аудиторию в заблуждение. Знание софизмов необходимо для критического анализа речи и защиты от манипуляций.

В образовании

Софизмы (особенно математические) используются в учебном процессе как дидактический материал. Разбор софизмов развивает логическое мышление, внимательность, учит находить ошибки в рассуждениях и понимать границы применимости правил. В античности и средневековье это была стандартная практика.

В психологии и когнитивной науке

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

Интересные факты

• Известный софизм «Рогатый» приписывается древнегреческому философу Евбулиду Милетскому: «То, что ты не терял, ты имеешь. Рога ты не терял. Значит, у тебя есть рога». Ошибка — в подмене общего понятия «терять» (как лишаться чего-то, что у тебя было) конкретным случаем «не терять» (того, чего у тебя никогда не было).
• Аристотель в своей работе «О софистических опровержениях» выделил 13 видов софизмов, разделив их на две группы: зависящие от языка (6 видов) и не зависящие от языка (7 видов).
• В современной логике и информатике понятие софизма используется для иллюстрации ограничений формальных систем и анализа ошибок в алгоритмах и базах знаний.

Источники

1. Аристотель. «О софистических опровержениях» (в составе «Органона»).
2. Шопенгауэр А. «Эристика, или Искусство побеждать в спорах».
3. Ивин А. А. «Логика: Учебное пособие».
4. Гетманова А. Д. «Логика: Учебник».
5. Мадер В. В. «Математические софизмы».