Софизм

Материал из Википедии — свободной энциклопедии

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

[править] История

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

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

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

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

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

[править] Классификация ошибок

[править] Логические

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

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

[править] Терминологические

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

• в неточном или неправильном словоупотреблении и построении фразы (всякое quaternio terminorum предполагает такое словоупотребление); наиболее характерные:
  1. ошибка гомонимия (aequivocatio). например: реакция, в смысле химическом, биологическом и историческом; доктор это как врач и как учёная степень.
  2. Ошибка сложения — когда разделительному термину придается значение собирательного. Все углы треугольника >2 π в том смысле, что сумма <2 π.
  3. Ошибка разделения, обратная, когда собирательному термину дается значение разделительного: "все углы треугольника = 2 π" в смысле "каждый угол = сумме 2 прямых углов".
  4. Ошибка ударения, когда подчёркивание повышением голоса в речи и курсивом в письме определенного слова или нескольких слов во фразе искажает её первоначальный смысл.
  5. Ошибка выражения, заключающаяся в неправильном или неясном для уразумения смысла построении фразы, например: сколько будет: дважды два плюс пять? Здесь трудно решить имеется ли в виду 9 (= (2*2)+5)) или 14 (= 2 * (2+5)).
• Более сложные софизмы проистекают из неправильного noстроения целого сложного хода доказательств, где логические ошибки являются замаскированными неточностями внешнего выражения. Сюда относятся:
  1. petitio principii: введение заключения, которое требуется доказать, в скрытом виде в доказательство в качестве одной из посылок. Если мы, например, желая доказать безнравственность материализма, будем красноречиво настаивать на его деморализующем влиянии, не заботясь дать отчет, почему именно он — безнравственная теория, то наши рассуждения будут заключать в себе petitio principii.
  2. Ignoratio elenchi заключается в том, что мы, возражая на чье-нибудь мнение, направляем нашу критику не на те аргументы, которые ей подлежат, а на мнения, которые мы ошибочно приписываем нашим противникам.
  3. A dicto secundum ad dictum simpliciter представляет заключение от сказанного с оговоркой к утверждению, не сопровождаемому этой оговоркой.
  4. Non sequitur представляет отсутствие внутренней логической связи в ходе рассуждения: всякое беспорядочное следование мыслей представляет частный случай этой ошибки.

[править] Психологические

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

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

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

[править] Аффективные причины

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

[править] Волевые причины

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

[править] Примеры софизмов

[править] Чётное и нечётное

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

[править] Не знаешь то, что знаешь

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

[править] Лекарства

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

[править] Вор

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

[править] Отец — собака

«Эта собака имеет детей, значит, она — отец. Но это твоя собака. Значит, она твой отец. Ты её бьёшь, значит, ты бьёшь своего отца и ты — брат щенят».

[править] Рогатый

«Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога».

[править] Литература

• Ахманов А. С., Логическое учение Аристотеля, М., 1960;
• Брадис В. М., Минковский В. Л., Харчева Л. К., Ошибки в математических рассуждениях, 3 изд., М., 1967.

[править] См. также

• Правила простого категорического силлогизма
• Софисты
• Апории Зенона