Софизм

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

Черновик [показать страницу] (сравнить)

Данная версия статьи не досматривалась участниками с соответствующими правами. Вы можете прочитать последнюю досмотренную версию от 26 июня 2009, однако она может значительно отличаться от текущей версии. Проверки требуют 2 правки.

Перейти к: навигация, поиск

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

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

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

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

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

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

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

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

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

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

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

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

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

в неточном или неправильном словоупотреблении и построении фразы (всякое quaternio terminorum предполагает такое словоупотребление); наиболее характерные:
1. Ошибка гомонимия (aequivocatio). Например: реакция в смысле химическом, биологическом и историческом; доктор как врач и как учёная степень.
2. Ошибка сложения — когда разделительному термину придаётся значение собирательного. «Все углы треугольника $< π$ » в том смысле, что «каждый угол $< π$ ».
3. Ошибка разделения, обратная, когда собирательному термину даётся значение разделительного: «все углы треугольника $= π$ » в смысле «сумма углов треугольника $= π$ ».
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$ , значит, оба числа не чётные!»

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

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

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

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

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

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

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

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

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

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

[править] Чем больше

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

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

Возьмём два разных числа, такие что:

a < b

Тогда существует такое $c > 0$ , что:

a + c = b

Умножим обе части на $(a - b)$ , имеем:

(a + c)(a - b) = b (a - b)

Раскрываем скобки, имеем:

a 2 + c a - a b - c b = b a - b 2

$c b$ переносим вправо, имеем:

a 2 + c a - a b = b a - b 2 + c b

a (a + c - b) = b (a - b + c)

a = b

Неточность:

По определению : $a + c = b$

Значит,

a + c - b = 0

И выражение

a (a + c - b) = b (a + c - b)

тождественно

a * 0 = b * 0

.

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

Ахманов А. С., Логическое учение Аристотеля, М., 1960;
Брутян Г. Паралогизм,софизм и парадокс // Вопросы философии.1959.№1.С.56-66.
Брадис В. М., Минковский В. Л., Еленев Л. К., Ошибки в математических рассуждениях, 3 изд., М., 1967.
Морозов Н.А. О научном значении математических софизмов // Известия научного института им.П.Ф. Лесгафта.Пг.,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

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

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