Софизмы
----
Софисты
----
Контакты
Думаю, многие хотя бы раз в жизни слышали подобные высказывания: «Все числа равны» или «два равно трём». Таких примеров может быть очень много, но что же это значит? Кто это придумал? Можно-ли как-то объяснить эти высказывания или всё это – вымысел?
На эти вопросы, и на многие другие я хочу ответить в своей работе. Существуют различные софизмы: логические, терминологические, психологические, математические и т.д.
ПОНЯТИЕ «СОФИЗМ»
Софизм – (от греческого sophisma , «мастерство, умение, хитрая выдумка, уловка») - умозаключение или рассуждение, обосновывающее какую-нибудь заведомую нелепость, абсурд или парадоксальное утверждение, противоречащее общепринятым представлениям. Софизм, в отличие от паралогизма, основан на преднамеренном, сознательном нарушении правил логики. Каким бы ни был софизм, он всегда содержит одну или несколько замаскированных ошибок.
Математический софизм – удивительное утверждение, в доказательстве которого кроются незаметные, а подчас и довольно тонкие ошибки. История математики полна неожиданных и интересных софизмов, разрешение которых порой служило толчком к новым открытиям. Математические со-физмы приучают внимательно и настороженно продвигаться вперед, тщательно следить за точностью формулировок, правильностью записи черте-жей, за законностью математических операций. Очень часто понимание ошибок в софизме ведет к пониманию математики в целом, помогает развивать логику и навыки правильного мышления. Если нашел ошибку в софизме, значит, ты ее осознал, а осознание ошибки предупреждает от ее повторения в дальнейших математических рассуждениях. Софизмы не приносят пользы, если их не понимать.
ЭКСКУРС В ИСТОРИЮ
Софистами называли группу древнегреческих философов 4-5 века до н.э., достигших большого искусства в логике. В период падения нравов древнегреческого общества( 5 век) появляются так называемые учителя красноречия, которые целью своей деятельности считали и называли приобретение и распространения мудрости, вследствие чего они именовали себя софистами. Наиболее известна деятельность старших софистов, к которым относят Протагора из Абдеры, Горгия из Леонтип, Гиппия из Элиды и Продика из Кеоса. Но суть деятельности софистов много больше, чем простое обучение искусству красноречия. Они обучали и просвещали древнегреческий народ, старались способствовать достижению нравственности, присутствия духа, способности ума ориентироваться во всяком деле. Но софисты не были учеными. Умение, которое должно было быть достигнуто с их помощью, заключалось в том, что человек учился иметь в виду многообразные точки зрения.
Аристотель называл софизмом «мнимые доказательства», в которых обос-нованность заключения кажущаяся и обязана чисто субъективному впечатлению, вызванному недостаточностью логического анализа. Убедительность на первый взгляд многих софизмов, их «логичность» обычно связана с хорошо замаскированной ошибкой — семиотической: за счёт метафоричности речи, нарушающих однозначность мысли и приводящих к смешению значений терминов, или же логической: подмена основной мысли (тезиса) доказательства, принятие ложных посылок за истинные, несоблюдение допустимых способов рассуждения (правил логического вывода), использование «неразрешённых» или даже «запрещённых» правил или действий, например деления на нуль в математических софизмах.
Исторически с понятием «софизм» неизменно связывают идею о намеренной фальсификации, руководствуясь признанием Протагора, что задача софиста (софист, от греч. sophistes — умелец, изобретатель, мудрец, лжемудрец) — представить наихудший аргумент как наилучший путём хитроумных уловок в речи, в рассуждении, заботясь не об истине, а об успехе в споре или о практической выгоде. С этой же идеей обычно связывают и «критерий основания», сформулированный Протагором: мнение человека есть мера истины. Так, софизм «куча» («Одно зерно — не куча. Если n зё-рен не куча, то n + 1 зерно — тоже не куча. Следовательно, любое число зёрен — не куча») — это лишь один из «парадоксов транзитивности», возникающих в ситуации «неразличимости».
АРИФМЕТИЧЕСКИЕ СОФИЗМЫ
Арифметика - (греч. arithmetika, от arithmys — число), наука о числах, в первую очередь о натуральных (целых положительных) числах и (рацио-нальных) дробях, и действиях над ними.
Так что же такое арифметические софизмы? Арифметические софизмы – это числовые выражения, имеющие неточность или ошибку, не заметную с первого взгляда.
1. « Если А больше В, то А всегда больше, чем 2В»
Возьмем два произвольных положительных числа А и В, такие, что А>В.
Умножив это неравенство на В, получим новое неравенство АВ>В*В, а отняв от обеих его частей А*А, получим неравенство АВ-А*А>В*В-А*А, которое равносильно следующему:
А(В-А)>(В+А)(В-А). (1)
После деления обеих частей неравенства (1) на В-А получим, что
А>В+А (2),
А прибавив к этому неравенству почленно исходное неравенство А>В, имеем 2А>2В+А, откуда
А>2В.
Итак, если А>В, то А>2В. Это означает, к примеру, что из неравенства 6>5 следует, что 6>10.
Где же ошибка???
Здесь совершен неравносильный переход от неравенства (1) к неравенству (2).
Действительно, согласно условию А>В, поэтому В-А<0.Это означает, что обе части неравенства (1) делятся на отрицательное число. Но согласно правилу преобразования неравенств при делении или умножении неравен-ства на одно и то же отрицательное число знак неравенства необходимо изменить на противоположный. С учетом сказанного из неравенства (1) вместо неравенства (2) получим неравенство А<В+А, прибавив к которому почленно исходное неравенство В<А, получим просто исходное неравен-ство А+В<В+2А
2. «Число, равное другому числу, одновременно и больше, и меньше его».
Возьмем два произвольных положительных равных числа А и В и напи-шем и напишем для них следующие очевидные неравенства:
А>-В и В>-В. (1)
Перемножив оба этих неравенства почленно, получим неравенство
А*В>В*В, а после его деления на В, что вполне законно, ведь В>0, придем к выводу, что
А>В. (2)
Записав же два других столь же бесспорных неравенства
В>-А и А>-А, (3)
Аналогично предыдущему получим, что В*А>А*А, а разделив на А>0, придем к неравенству
А>В. (4)
Итак, число А, равное числу В, одновременно и больше, и меньше его.
Где ошибка???
Здесь совершен неравносильный переход от одного неравенства к другому при недопустимом перемножении неравенств.
Проделаем правильные преобразования неравенств.
Запишем неравенство (1) в виде А+В>0, В+В>0.
Левые части этих неравенств положительны, следовательно, умножая почленно оба эти неравенства
(А+В)(В+В)>0, или А>-В,
что представляет собой просто верное неравенство.
Аналогично предыдущему, записывая неравенства (3) в виде
(В+А)>0, А+А>0, получим просто верное неравенство В>-А.
АЛГЕБРАИЧЕСКИЕ СОФИЗМЫ
Алгебра — один из больших разделов математики, принадлежащий наряду с арифметикой и геометрией к числу старейших ветвей этой науки. Задачи, а также методы А., отличающие её от других отраслей математики, создавались постепенно, начиная с древности. Алгебра возникла под влиянием нужд общественной практики, в результате поисков общих приёмов для решения однотипных арифметических задач. Приёмы эти заключаются обычно в составлении и решении уравнений. Т.е. алгебраические софизмы – намеренно скрытые ошибки в уравнениях и числовых выражениях.
1. «Два неодинаковых натуральных числа равны между собой»
решим систему двух уравнений:
х+2у=6, (1)
у=4- х/2 (2)
Сделаем это подстановкой у из 2го уравнения в 1, получаем х+8-х=6, отку-да 8=6
Где же ошибка???
Уравнение (2) можно записать как х+2у=8, так что исходная система за-пишется в виде:
Х+2у=6,
Х+2у=8
В этой системе уравнений коэффициенты при переменных одинаковы, а правые части не равны между собой, из этого следует, что система несо-вместна, т.е. не имеет ни одного решения. Графически это означает, что прямые у=3-х/2 и у=4-х/2 параллельны и не совпадают.
Перед тем, Как решать систему линейных уравнений, полезно проанализировать, имеет ли система единственное решение, бесконечно много решений или не имеет решений вообще.
2. «Отрицательное число больше положительного».
Возьмем два положительных числа а и с. Сравним два отношения:
а/-c и -а/c
Они равны, так как каждое из них равно –(а/с). Можно составить пропорцию:
a/-c=-a/c
Но если в пропорции предыдущий член первого отношения больше последующего, то предыдущий член второго отношения также больше своего последующего. В нашем случае а>-с, следо-вательно, должно быть –а>с, т.е. отрицательное число больше положительного.
Где ошибка???
Данное свойство пропорции может оказаться неверным, если не-которые члены пропорции отрицательны.
3. «Дважды два равно пяти».
Обозначим 4=а, 5=b, (a+b)/2=d. Имеем: a+b=2d, a=2d-b, 2d-a=b. перемножим два последних равенства по частям. Получим: 2da-a*a=2db-b*b. Умножим обе части получившегося равенства на –1 и прибавим к результатам d*d. Будем иметь: a 2-2da+d2=b2 -2bd+d2, или (a-d)(a-d)=(b-d)(b-d), откуда a-d=b-d и a=b, т.е. 2*2=5
Где ошибка???
Из равенства квадратов двух чисел не следует, что сами эти числа равны.
ГЕОМЕТРИЧЕСКИЕ СОФИЗМЫ
Геометрические софизмы – это умозаключения или рассуждения, обосновывающие какую-нибудь заведомую нелепость, абсурд или парадоксальное утверждение, связанное с геометрическими фигурами и действиями над ними.
1. « Спичка вдвое длиннее телеграфного столба»
Пусть, а дм- длина спички и b дм - длина столба. Разность между b и a обозначим через c .
Имеем b - a = c, b = a + c. Перемножаем два эти равенства по частям, нахо-дим: b2 - ab = ca + c2. Вычтем из обеих частей bc. Получим: b2- ab - bc = ca + c2 - bc, или b(b - a - c) = - c(b - a - c), откуда
b = - c, но c = b - a, поэтому b = a - b, или a = 2b.
Где ошибка???
В выражении b(b-a-c )= -c(b-a-c) производится деление на (b-a-c), а этого делать нельзя, так как b-a-c=0.Значит, спичка не может быть вдвое длиннее телеграфного столба.
ПРОЧИЕ СОФИЗМЫ
Кроме математических софизмов, существует множество других, например: логические, терминологические, психологические и т.д. Понять абсурдность таких утверждений проще, но от этого они не становятся менее интересными. Очень многие софизмы выглядят как лишенная смысла и цели игра с языком; игра, опирающаяся на многозначность языковых выражений, их неполноту, недосказанность, зависимость их значений от контекста и т.д. Эти софизмы кажутся особенно наивными и несерьезными.
«Полупустое и полуполное»
«Полупустое есть то же, что и полуполное. Если равны половины, значит, равны и целые. Следовательно, пустое есть то же, что и полное».
«Чётное и нечётное»
«5 есть 2 + 3 («два и три»). Два — число чётное, три — нечётное, выходит, что пять — число и чётное и нечётное. Пять не делится на два, также, как и 2 + 3, значит, оба числа не чётные!»
«Не знаешь то, что знаешь»
«Знаешь ли ты, о чём я хочу тебя спросить?» — «Нет». — «Знаешь ли ты, что добродетель есть добро?» — «Знаю». — «Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь».
«Лекарства»
«Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше. Значит, лекарств нужно принимать как можно больше».
«Вор»
«Вор не желает приобрести ничего дурного. Приобретение хорошего есть дело хорошее. Следовательно, вор желает хорошего».
«Отец — собака»
«Эта собака имеет детей, значит, она — отец. Но это твоя собака. Значит, она твой отец. Ты её бьёшь, значит, ты бьёшь своего отца и ты — брат щенят».
«Рогатый»
«Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога».
«Чем больше»
«Чем больше я пью водки, тем больше у меня трясутся руки. Чем больше у меня трясутся руки, тем больше спиртного я проливаю. Чем больше я проливаю, тем меньше я выпиваю. Значит, чтобы пить меньше, надо пить больше».
«Самое быстрое существо не способно догнать самое медленное»
Быстроногий Ахиллес никогда не настигнет медлительную черепаху. Пока Ахиллес добежит до черепахи, она продвинется немного вперед. Он быстро преодолеет и это расстояние, но черепаха уйдет еще чуточку вперед. И так до бесконечности. Всякий раз, когда Ахиллес будет достигать места, где была перед этим черепаха, она будет оказываться хотя бы немного, но впереди.
«Нет конца»
Движущийся предмет должен дойти до половины своего пути прежде, чем он достигнет его конца. Затем он должен пройти половину оставшейся половины, затем половину этой четвертой части и т.д. до бесконечности. Предмет будет постоянно приближаться к конечной точке, но так никогда ее не достигнет.
«Медимн зерна»
Большая масса мелких, просяных например, зерен при падении на землю всегда производит шум. Он складывается из шума отдельных зерен, и, значит, каждое зерно и каждая малейшая часть зерна должны, падая, произво-дить шум. Однако отдельное зерно падает на землю совершенно бесшумно. Значит, и падающий на землю медимн зерна не должен был бы производить шум, ведь он состоит из множества зерен, каждое из которых падает бесшумно. Но все-таки медимн зерна падает с шумом!
«Куча»
Одна песчинка не есть куча песка. Если n песчинок не есть куча песка, то и n+1 песчинка - тоже не куча. Следовательно, никакое число песчинок не образует кучу песка.
К этому парадоксу можно сделать следующий комментарий: метод полной математической индукции нельзя применять, как показывает парадокс, к объёмно неопределённым понятиям, каковым является понятие "куча песка".
«Может ли всемогущий маг создать камень, который не сможет поднять?»
Если не может - значит, он не всемогущий. Если может - значит, всё равно не всемогущий, т.к. он не может поднять это камень.
«Равен ли полный стакан пустому?»
Да. Проведем рассуждение. Пусть имеется стакан, наполненный водой до половины. Тогда можно сказать, что стакан, наполовину полный равен стакану, наполовину пустому. Увеличивая обе части равенства вдвое, получим, что стакан полный равен стакану пустому.
«Софизм Кратила»
Диалектик Гераклит, провозгласив тезис "все течет", пояснял, что в одну и ту же реку (образ природы) нельзя войти дважды, ибо когда входящий будет входить в следующий раз, на него будет течь уже другая вода. Его ученик Кратил, сделал из утверждения учителя другие выводы: в одну и ту же реку нельзя войти даже один раз, ибо пока ты входишь, она уже изменится.
«Софизм Эватла»
Эватл брал уроки софистики у софиста Протагора под тем условием, что гонорар он уплатит только в том случае, если выиграет первый процесс. Ученик после обучения не взял на себя ведения какого-либо процесса и потому считал себя вправе не платить гонорара. Учитель грозил подать жалобу в суд, говоря ему следующее: "Судьи или присудят тебя к уплате гонорара или не присудят. В обоих случаях ты должен будешь уплатить. В первом случае в силу приговора судьи, во втором случае в силу нашего договора". На это Эватл отвечал: "Ни в том, ни в другом случае я не заплачу. Если меня присудят к уплате, то я, проиграв первый процесс, не заплачу в силу нашего договора, если же меня не присудят к уплате гонорара, то я не заплачу в силу приговора суда".
(Ошибка становится ясной, если мы раздельно поставим два вопроса: 1) должен ли Эватл платить или нет и 2) выполнены ли условия договора или нет.)
Другие примеры софизмов, сформулированных еще в древней Греции:
«Сидящий встал; кто встал, тот стоит; следовательно, сидящий стоит».
«Сократ - человек; человек - не то же самое, что Сократ; значит, Сократ - это нечто иное, чем Сократ».
«Для того чтобы видеть, вовсе необязательно иметь глаза, ведь без правого глаза мы видим, без левого тоже видим; кроме правого и левого, других глаз у нас нет; поэтому ясно, что глаза не являются необходимыми для зрения».
«Тот, кто лжет, говорит о деле, о котором идет речь, или не говорит о нем; если он говорит о деле, он не лжет; если он не говорит о деле, он говорит о чем-то несуществующем, а о нем невозможно не только лгать, но даже мыслить и говорить».
«Если какой-нибудь человек говорит, что он лжет, то лжет ли он или говорит правду?» Допущение того, что он говорит правду, будет означать, что правдой является то, что он лжет (об этом он и говорит), значит, выходит, что лжет. Если же он лжет, то это как раз и есть то, что он открыто признает. Получается, что он говорит правду».
А вот несколько примеров современных софизмов:
«Одна и та же вещь не может иметь какое-то свойство и не иметь его. Хозрасчет предполагает самостоятельность, заинтересованность и ответственность. Заинтересованность — это, очевидно, не ответственность, а ответственность — не самостоятельность. Получается вопреки сказанному вначале, что хозрасчет включает самостоятельность и несамостоятельность, ответственность и безответственность».
«Акционерное общество, получившее когда-то ссуду от государства, те-перь ему уже не должно, так как оно стало иным: в его правлении не осталось никого из тех, кто просил ссуду».
© 2009г.Харламов Кирилл; Все права защищены
