Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка, мудрость») — ложное высказывание, которое, тем не менее, при поверхностном рассмотрении кажется правильным. Софизм основан на преднамеренном, сознательном нарушении правил логики. Это отличает его от паралогизма и апории, которые могут содержать непреднамеренную ошибку либо вообще не иметь логических ошибок, но приводить к явно неверному выводу.
Содержание |
Аристотель называл софизмом «мнимые доказательства», в которых обоснованность заключения кажется верной и обязана чисто субъективному впечатлению, вызванному недостаточностью логического или семантического анализа. Убедительность на первый взгляд многих софизмов, их «логичность» обычно связана с хорошо замаскированной ошибкой — семиотической: за счёт метафоричности речи, омонимии или полисемии слов, амфиболий и пр., нарушающих однозначность мысли и приводящих к смешению значений терминов, или же логической: подмена основной мысли (тезиса) доказательства, принятие ложных посылок за истинные, несоблюдение допустимых способов рассуждения (правил логического вывода), использование «неразрешённых» или даже «запрещённых» правил или действий, например деления на нуль в математических софизмах (Последнюю ошибку можно считать и семиотической, так как она связана с соглашением о «правильно построенных формулах»).
Вот один из древних софизмов («рогатый»), приписываемый Эвбулиду: «Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога». Здесь маскируется двусмысленность большей посылки. Если она мыслится универсальной: «Всё, что ты не терял…», то вывод логически безупречен, но неинтересен, поскольку очевидно, что большая посылка ложна; если же она мыслится частной, то заключение не следует логически. Последнее, однако, стало известно лишь после того, как Аристотель сформулировал логику.
А вот современный софизм, обосновывающий, что с возрастом «годы жизни» не только кажутся, но и на самом деле короче: «Каждый год вашей жизни — это её часть, где — число прожитых вами лет. Но . Следовательно, ».
Исторически с понятием «софизм» неизменно связывают идею о намеренной фальсификации, руководствуясь признанием Протагора о том, что задача софиста — представить наихудший аргумент как наилучший путём хитроумных уловок в речи, в рассуждении, заботясь не об истине, а об успехе в споре или о практической выгоде. (Известно, что сам Протагор оказался жертвой «софизма Эватла»). С этой же идеей обычно связывают и «критерий основания», сформулированный Протагором: мнение человека есть мера истины. Уже Платон заметил, что основание не должно заключаться в субъективной воле человека, иначе придётся признать законность противоречий (что, между прочим, и утверждали софисты), а поэтому любые суждения считать обоснованными. Эта мысль Платона была развита в аристотелевском «принципе непротиворечия» (см. Логический закон) и, уже в современной логике, — в истолкованиях и требовании доказательств «абсолютной» непротиворечивости. Перенесённая из области чистой логики в область «фактических истин», она породила особый «стиль мышления», игнорирующий диалектику «интервальных ситуаций», то есть таких ситуаций, в которых критерий Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам её познания, оказывается весьма существенным. Именно поэтому многие рассуждения, приводящие к парадоксам и в остальном безупречные, квалифицируются как софизмы, хотя по существу они только демонстрируют интервальный характер связанных с ними гносеологических ситуаций. Так, софизм «куча» («Одно зерно — не куча. Если зёрен не куча, то зерно — тоже не куча. Следовательно, любое число зёрен — не куча») — это лишь один из «парадоксов транзитивности», возникающих в ситуации «неразличимости». Последняя служит типичным примером интервальной ситуации, в которой свойство транзитивности равенства при переходе от одного «интервала неразличимости» к другому, вообще говоря, не сохраняется, и поэтому принцип математической индукции в таких ситуациях неприменим. Стремление усматривать в этом свойственное опыту «нетерпимое противоречие», которое математическая мысль «преодолевает» в абстрактном понятии числового континуума (А. Пуанкаре), не обосновывается, однако, общим доказательством устранимости подобного рода ситуаций в сфере математического мышления и опыта. Достаточно сказать, что описание и практика применения столь важных в этой сфере «законов тождества» (равенства) так же, вообще говоря, как и в эмпирических науках, зависит от того, какой смысл вкладывают в выражение «один и тот же объект», какими средствами или критериями отождествления при этом пользуются. Другими словами, идёт ли речь о математических объектах или, к примеру, об объектах квантовой механики, ответы на вопрос о тождестве неустранимым образом связаны с интервальными ситуациями. При этом далеко не всегда тому или иному решению этого вопроса «внутри» интервала неразличимости можно противопоставить решение «над этим интервалом», то есть заменить абстракцию неразличимости абстракцией отождествления. А только в этом последнем случае и можно говорить о «преодолении» противоречия.
По-видимому, первыми, кто понял важность семиотического анализа софизмов, были сами софисты. Учение о речи, о правильном употреблении имён Продик считал важнейшим. Анализ и примеры софизмов часто встречаются в диалогах Платона. Аристотель написал специальную книгу «О софистических опровержениях», а математик Евклид — «Псевдарий» — своеобразный каталог софизмов в геометрических доказательствах. Сочинение «Софизмы» (в двух книгах) написал ученик Аристотеля Феофраст (D.L. V. 45). В средние века в Западной Европе составлялись целые коллекции софизмов. Например, собрание, приписываемое английскому философу и логику XIII века Ричарду Софисту, насчитывает свыше трехсот софизмов. Некоторые из них напоминают высказывания представителей древнекитайской школы имён (мин цзя).
Так как обычно вывод может быть выражен в силлогистической форме, то и всякий софизм может быть сведён к нарушению правил силлогизма. Наиболее типичными источниками логических софизмов являются следующие нарушения правил силлогизма:
Грамматические, терминологические и риторические источники софизмов выражаются
В устную речь математиками введены такие слова как «сумма», «произведение», «разность». Так — сумма произведения два на два и пятерки, а — удвоенная сумма двух и пяти.
Психологические причины С. бывают троякого рода: интеллектуальные, аффективные и волевые. Во всяком обмене мыслей предполагается взаимодействие между 2 лицами, читателем и автором или лектором и слушателем, или двумя спорящими. Убедительность С. поэтому предполагает два фактора: α — психические свойства одной и β — другой из обменивающихся мыслями сторон. Правдоподобность С. зависит от ловкости того, кто защищает его, и уступчивости оппонента, а эти свойства зависят от различных особенностей обеих индивидуальностей.
Интеллектуальные причины софизма заключаются в преобладании в уме лица, поддающегося С., ассоциаций по смежности над ассоциациями по сходству, в отсутствии развития способности управлять вниманием, активно мыслить, в слабой памяти, непривычке к точному словоупотреблению, бедности фактических знаний по данному предмету, лености в мышлении (ignava ratio) и т. п. Обратные качества, разумеется, являются наиболее выгодными для лица, защищающего С.: обозначим первые отрицательные качества через , вторые соответствующие им положительные через .
Сюда относятся трусость в мышлении — боязнь опасных практических последствий, вытекающих от принятия известного положения; надежда найти факты, подтверждающие ценные для нас взгляды, побуждающая нас видеть эти факты там, где их нет, любовь и ненависть, прочно ассоциировавшиеся с известными представлениями, и т. д. Желающий обольстить ум своего соперника софист должен быть не только искусным диалектиком, но и знатоком человеческого сердца, умеющим виртуозно распоряжаться чужими страстями для своих целей. Обозначим аффективный элемент в душе искусного диалектика, который распоряжается им как актёр, чтобы тронуть противника, через , а те страсти, которые пробуждаются в душе его жертвы и омрачают в ней ясность мышления через . Argumentum ad hominem, вводящий в спор личные счёты, и argumentum ad populum, влияющий на аффекты толпы, представляют типичные С. с преобладанием аффективного элемента.
При обмене мнений мы воздействуем не только на ум и чувства собеседника, но и на его волю. Во всякой аргументации (особенно устной) есть элемент волевой — императивный — элемент внушения. Категоричность тона, не допускающего возражения, определённая мимика и т. п. () действуют неотразимым образом на лиц, легко поддающихся внушению, особенно на массы. С другой стороны, пассивность () слушателя особенно благоприятствует успешности аргументации противника. Таким образом, всякий С. предполагает взаимоотношение между шестью психическими факторами: . Успешность С. определяется величиной этой суммы, в которой составляет показатель силы диалектика, есть показатель слабости его жертвы. Прекрасный психологический анализ софистики даёт Шопенгауэр в своей «Эристике» (перев. кн. Д. Н. Цертелева). Само собой разумеется, что логические, грамматические и психологические факторы теснейшим образом связаны между собой; поэтому С., представляющий, например, с логической точки зрения quaternio ter.
Полупустое есть то же, что и полуполное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное.
5 есть («два и три»). Два — число чётное, три — нечётное, выходит, что пять — число и чётное и нечётное. Пять не делится на два, также, как и , значит, оба числа нечётные.
— Знаешь ли ты то, о чём я хочу тебя спросить?
— Нет.
— Знаешь ли ты, что добродетель есть добро?
— Знаю.
— Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь.
Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше.
Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего.
— А что, у тебя есть собака?
— Да, есть, сучка, и преогромная.
— А есть ли у неё щенята?
— Да, есть, родила недавно.
— То есть получается, что эта собака — мать?
— Да.
— И эта собака твоя, не так ли?
— Ну да, моя, я же сказал.
— Ага, ты сам признал, что твоя мать — собака. Значит, ты сын собаки!
Есть ли у тебя то, что ты не терял? Конечно есть. Ты рога не терял, значит они у тебя есть.
10-10=0
15-15=0
10-10=15-15
2(5-5)=3(5-5)
2=3
Ошибка в том, что на ноль (5-5) делить нельзя.
Что такое софизм, софизм единица равна нулю.