Софизм

Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка, мудрость») в ложное умозаключение, которое, тем не менее, при поверхностном рассмотрении кажется правильным. Софизм основан на преднамеренном, сознательном нарушении правил логики. Это отличает его от паралогизма и апории, которые могут содержать непреднамеренную ошибку либо вообще не иметь логических ошибок, но приводить к явно неверному выводу.

История

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

Вот один из древних софизмов («рогатый»), приписываемый Эвбулиду: «Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога». Здесь маскируется двусмысленность большей посылки. Если она мыслится универсальной: «Всё, что ты не терялв», то вывод логически безупречен, но неинтересен, поскольку очевидно, что большая посылка ложна; если же она мыслится частной, то заключение не следует логически. Последнее, однако, стало известно лишь после того, как Аристотель сформулировал логику.

А вот современный софизм, обосновывающий, что с возрастом «годы жизни» не только кажутся, но и на самом деле короче: «Каждый год вашей жизни в это её $1/n$ часть, где $n$ в число прожитых вами лет. Но $n + 1>n$. Следовательно, $1 / (n + 1) < 1 / n$».

Исторически с понятием «софизм» неизменно связывают идею о намеренной фальсификации, руководствуясь признанием Протагора о том, что задача софиста в представить наихудший аргумент как наилучший путём хитроумных уловок в речи, в рассуждении, заботясь не об истине, а об успехе в споре или о практической выгоде. (Известно, что сам Протагор оказался жертвой «софизма Эватла»). С этой же идеей обычно связывают и «критерий основания», сформулированный Протагором: мнение человека есть мера истины. Уже Платон заметил, что основание не должно заключаться в субъективной воле человека, иначе придётся признать законность противоречий (что, между прочим, и утверждали софисты), а поэтому любые суждения считать обоснованными. Эта мысль Платона была развита в аристотелевском «принципе непротиворечия» (см. Логический закон) и, уже в современной логике, в в истолкованиях и требовании доказательств «абсолютной» непротиворечивости. Перенесённая из области чистой логики в область «фактических истин», она породила особый «стиль мышления», игнорирующий диалектику «интервальных ситуаций», то есть таких ситуаций, в которых критерий Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам её познания, оказывается весьма существенным. Именно поэтому многие рассуждения, приводящие к парадоксам и в остальном безупречные, квалифицируются как софизмы, хотя по существу они только демонстрируют интервальный характер связанных с ними гносеологических ситуаций. Так, софизм «куча» («Одно зерно в не куча. Если $n$ зёрен не куча, то $n + 1$ зерно в тоже не куча. Следовательно, любое число зёрен в не куча») в это лишь один из «парадоксов транзитивности», возникающих в ситуации «неразличимости». Последняя служит типичным примером интервальной ситуации, в которой свойство транзитивности равенства при переходе от одного «интервала неразличимости» к другому, вообще говоря, не сохраняется, и поэтому принцип математической индукции в таких ситуациях неприменим. Стремление усматривать в этом свойственное опыту «нетерпимое противоречие», которое математическая мысль «преодолевает» в абстрактном понятии числового континуума (А. Пуанкаре), не обосновывается, однако, общим доказательством устранимости подобного рода ситуаций в сфере математического мышления и опыта. Достаточно сказать, что описание и практика применения столь важных в этой сфере «законов тождества» (равенства) так же, вообще говоря, как и в эмпирических науках, зависит от того, какой смысл вкладывают в выражение «один и тот же объект», какими средствами или критериями отождествления при этом пользуются. Другими словами, идёт ли речь о математических объектах или, к примеру, об объектах квантовой механики, ответы на вопрос о тождестве неустранимым образом связаны с интервальными ситуациями. При этом далеко не всегда тому или иному решению этого вопроса «внутри» интервала неразличимости можно противопоставить решение «над этим интервалом», то есть заменить абстракцию неразличимости абстракцией отождествления. А только в этом последнем случае и можно говорить о «преодолении» противоречия.

По-видимому, первыми, кто понял важность семиотического анализа софизмов, были сами софисты. Учение о речи, о правильном употреблении имён Продик считал важнейшим. Анализ и примеры софизмов часто встречаются в диалогах Платона. Аристотель написал специальную книгу «О софистических опровержениях», а математик Евклид в «Псевдарий» в своеобразный каталог софизмов в геометрических доказательствах. Сочинение «Софизмы» (в двух книгах) написал ученик Аристотеля Феофраст (D.L. V. 45). В средние века в Западной Европе составлялись целые коллекции софизмов. Например, собрание, приписываемое английскому философу и логику XIII века Ричарду Софисту, насчитывает свыше трехсот софизмов. Некоторые из них напоминают высказывания представителей древнекитайской школы имён (мин цзя).

Классификация ошибок

Логические

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

1. Вывод с отрицательной меньшей посылкой в первой фигуре: «Все люди суть разумные существа, жители планет не суть люди, следовательно, они не суть разумные существа»;
2. Вывод с утвердительными посылками во второй фигуре: «Все, находящие эту женщину невинной, должны быть против наказания её; вы в против наказания её, значит, вы находите её невинной»;
3. Вывод с отрицательной меньшей посылкой в третьей фигуре: «Закон Моисеев запрещал воровство, закон Моисеев потерял свою силу, следовательно, воровство не запрещено»;
4. Особенно распространённая ошибка quaternio terminorum, то есть употребление среднего термина в большой паллетный и в меньшей посылке не в одинаковом значении: «Все металлы в простые вещества, бронза в металл: бронза в простое вещество» (здесь в меньшей посылке слово «металл» употреблено не в точном химическом значении слова, обозначая сплав металлов): отсюда в силлогизме получаются четыре термина.

Терминологические

Грамматические, терминологические и риторические источники софизмов выражаются

• в неточном или неправильном словоупотреблении и построении фразы (всякое quaternio terminorum предполагает такое словоупотребление); наиболее характерные:
  1. Ошибка омонимии (equivocation). Например: реакция в смысле химическом, биологическом и историческом; доктор как врач и как учёная степень.
  2. Ошибка сложения в когда разделительному термину придаётся значение собирательного. «Все углы треугольника $< \pi$» в том смысле, что «каждый угол $< \pi$».
  3. Ошибка разделения, обратная, когда собирательному термину даётся значение разделительного: «все углы треугольника $= \pi$» в смысле «сумма углов треугольника $= \pi$».
  4. Ошибка ударения, когда подчёркивание повышением голоса в речи и курсивом в письме определённого слова или нескольких слов во фразе искажает её первоначальный смысл.
  5. Ошибка выражения, заключающаяся в неправильном или неясном для уразумения смысла построении фразы, например: «сколько будет пять плюс два умножить на два?» Здесь трудно решить имеется ли в виду 9 (т.е. $5 + (2 * 2)$) или 14 (т.е. $(5 + 2) * 2$).

В устную речь математиками введены такие слова как «сумма», «произведение», «разность». Так $5 + 2 * 2$ в сумма произведения два на два и пятерки, а $(5 + 2) * 2$ в удвоенная сумма двух и пяти.

• Более сложные софизмы проистекают из неправильного построения целого сложного хода доказательств, где логические ошибки являются замаскированными неточностями внешнего выражения. Сюда относятся:
  1. Petitio principii: введение заключения, которое требуется доказать, в скрытом виде в доказательство в качестве одной из посылок. Если мы, например, желая доказать безнравственность материализма, будем красноречиво настаивать на его деморализующем влиянии, не заботясь дать отчёт, почему именно материализм в безнравственная теория, то наши рассуждения будут заключать в себе petitio principii.
  2. Ignoratio elenchi заключается в том, что начав доказывать некоторый тезис, постепенно в ходе доказательства переходят к доказательству другого положения, сходного с тезисом.
  3. A dicto secundum ad dictum simpliciter подменяет утверждение, сказанное с оговоркой, на утверждение, не сопровождаемое этой оговоркой.
  4. Non sequitur представляет отсутствие внутренней логической связи в ходе рассуждения: всякое беспорядочное следование мыслей представляет частный случай этой ошибки.

Психологические

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

Интеллектуальные причины

Интеллектуальные причины софизма заключаются в преобладании в уме лица, поддающегося С., ассоциаций по смежности над ассоциациями по сходству, в отсутствии развития способности управлять вниманием, активно мыслить, в слабой памяти, непривычке к точному словоупотреблению, бедности фактических знаний по данному предмету, лености в мышлении (ignava ratio) и т. п. Обратные качества, разумеется, являются наиболее выгодными для лица, защищающего С.: обозначим первые отрицательные качества через $b$, вторые соответствующие им положительные через $a$.

Аффективные причины

Сюда относятся трусость в мышлении в боязнь опасных практических последствий, вытекающих от принятия известного положения; надежда найти факты, подтверждающие ценные для нас взгляды, побуждающая нас видеть эти факты там, где их нет, любовь и ненависть, прочно ассоциировавшиеся с известными представлениями, и т. д. Желающий обольстить ум своего соперника софист должен быть не только искусным диалектиком, но и знатоком человеческого сердца, умеющим виртуозно распоряжаться чужими страстями для своих целей. Обозначим аффективный элемент в душе искусного диалектика, который распоряжается им как актёр, чтобы тронуть противника, через $c$, а те страсти, которые пробуждаются в душе его жертвы и омрачают в ней ясность мышления через $d$. Argumentum ad hominem, вводящий в спор личные счёты, и argumentum ad populum, влияющий на аффекты толпы, представляют типичные С. с преобладанием аффективного элемента.

Волевые причины

При обмене мнений мы воздействуем не только на ум и чувства собеседника, но и на его волю. Во всякой аргументации (особенно устной) есть элемент волевой в императивный в элемент внушения. Категоричность тона, не допускающего возражения, определённая мимика и т. п. ($e$) действуют неотразимым образом на лиц, легко поддающихся внушению, особенно на массы. С другой стороны, пассивность ($f$) слушателя особенно благоприятствует успешности аргументации противника. Таким образом, всякий С. предполагает взаимоотношение между шестью психическими факторами: $a + b + c + d + e + f$. Успешность С. определяется величиной этой суммы, в которой $a + c + e$ составляет показатель силы диалектика, $b + d + f$ есть показатель слабости его жертвы. Прекрасный психологический анализ софистики даёт Шопенгауэр в своей «Эристике» (перев. кн. Д. Н. Цертелева). Само собой разумеется, что логические, грамматические и психологические факторы теснейшим образом связаны между собой; поэтому С., представляющий, например, с логической точки зрения quaternio ter.

Способ нахождения ошибки в софизме

• Внимательно прочитать условие предложенной вам задачи. Начинать поиск ошибки лучше с условия предложенного софизма. В некоторых софизмах абсурдный результат, получается, из-за противоречивых или неполных данных в условии, неправильного чертежа, ложного первоначального предположения, а далее все рассуждения проводятся верно. Это и вызывает затруднения при поиске ошибки. Все привыкли, что задания, предполагаемые в различной литературе, не содержат ошибок в условии и, поэтому, если получается неверный результат, то ошибку они ищут непременно по ходу решения.
• Установите области знаний (темы), которые отражены в софизме, предложенных преобразованиях. Софизм может делиться на несколько тем, которые потребуют детального анализа каждой из них.
• Выясните, соблюдены ли все условия применимости теорем, правил, формул, соблюдена ли логичность. Некоторые софизмы построены на неверном использовании определений, законов, на «забывании» условий применимости. Очень часто в формулировках, правилах запоминаются основные, главные фразы и предложения, всё остальное упускаются. И тогда второй признак равенства треугольников превращается в признак «по стороне и двум углам».
• Проверяйте результаты преобразования обратным действием.
• Часто следует разбить работу на небольшие блоки и проконтролировать правильность каждого такого блока.

Примеры софизмов

Полупустое и полуполное

Полупустое есть то же, что и полуполное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное.

Чётное и нечётное

5 есть $2+3$ («два и три»). Два в число чётное, три в нечётное, выходит, что пять в число и чётное и нечётное. Пять не делится на два, также, как и $2+3$, значит, оба числа нечётные.

Не знаешь то, что знаешь

в Знаешь ли ты то, о чём я хочу тебя спросить?
в Нет.
в Знаешь ли ты, что добродетель есть добро?
в Знаю.
в Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь.

Лекарства

Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше.

Вор

Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего.

Мать в собака

в А что, у тебя есть собака?
в Да, есть, сучка, и преогромная.
в А есть ли у неё щенята?
в Да, есть, родила недавно.
в То есть получается, что эта собака в мать?
в Да.
в И эта собака твоя, не так ли?
в Ну да, моя, я же сказал.
в Ага, ты сам признал, что твоя мать в собака. Значит, ты сын собаки!

Рогатый

Есть ли у тебя то, что ты не терял? Конечно есть. Ты рога не терял, значит они у тебя есть.

2=3

10-10=0

15-15=0

10-10=15-15

2(5-5)=3(5-5)

2=3

Литература

• Ахманов А. С., Логическое учение Аристотеля, М., 1960;
• Брутян Г. Паралогизм, софизм и парадокс // Вопросы философии.1959.в„– 1.С.56-66.
• Брадис В. М., Минковский В. Л., Еленев Л. К., Ошибки в математических рассуждениях, 3 изд., М., 1967.
• Билык А.М., Билык Я.М. К вопросу о проблемной технике софизма (ее связь с современным пониманием научной проблемы) // Философские науки. в„– 2. 1989. - С.114-117.
• Морозов Н. А. О научном значении математических софизмов // Известия научного института им. П. Ф. Лесгафта. Пг., 1919.Т.1.С.193-207.
• Павлюкевич В. В. Логико-методологический статус софизмов // Современная логика:проблемы теории, истории и применения в науке. СПб.,2002. С. 97-98.
• Read, Stephen (ed).: Sophisms in Medieval Logic and Grammar, Acts of the 8th European Symposium for Medieval Logic and Semantics, Kluwer, 1993
• Cassagnac, Joachim .: Merde à Celui qui le lira, Flammarion, 1974
• Тульчинский М. Е. Занимательные задачи-парадоксы и софизмы по физике. М. 1971.
• Дёмин Р. Н. Собрание «задач» Ричарда Софиста как контекст для «парадоксов» древнекитайской школы имен // Вестник РХГА в„– 6, СПб., 2005. С. 217в221. http://www.rchgi.spb.ru/Pr/vest_6.htm
• Неркарарян К. В., Софизмы и парадоксы, 1 издание, 2001

См. также

• Апория
• Правила простого категорического силлогизма
• Софисты
• Парадокс лжеца
• Парадокс

При написании этой статьи использовался материал из Энциклопедического словаря Брокгауза и Ефрона (1890в1907).