Софизмы и логические парадоксы
Министерство образования и науки
Российской Федерации
ФГБОУ "Южно-Уральский
государственный университет" (НИУ)
Филиал в г. Златоуст
Факультет Экономики
Кафедра "Cоциально-правовых и
гуманитарных наук"
КОНТРОЛЬНАЯ РАБОТА
По дисциплине: "Логика"
Выполнил: студентка 1 курса
Шайбакова Алёна
Проверил: Семенченко Ирина Васильевна
Златоуст 2012
Софизмы и
логические парадоксы
Софизмы
Софи́зм (от
греч.
<#"887329.files/image001.gif"> зёрен не куча, то 
зерно - тоже не куча. Следовательно,
любое число зёрен - не куча") - это лишь один из "парадоксов
транзитивности <http://ru.wikipedia.org/wiki/%D0%A2%D1%80%D0%B0%D0%BD%D0%B7%D0%B8%D1%82%D0%B8%D0%B2%D0%BD%D0%BE%D1%81%D1%82%D1%8C>",
возникающих в ситуации "неразличимости". Последняя служит типичным
примером интервальной ситуации, в которой свойство транзитивности равенства при
переходе от одного "интервала неразличимости" к другому, вообще
говоря, не сохраняется, и поэтому принцип математической индукции в таких
ситуациях неприменим. Стремление усматривать в этом свойственное опыту
"нетерпимое противоречие", которое математическая мысль "преодолевает"
в абстрактном понятии числового континуума
<http://ru.wikipedia.org/w/index.php?title=%D0%A7%D0%B8%D1%81%D0%BB%D0%BE%D0%B2%D0%BE%D0%B9_%D0%BA%D0%BE%D0%BD%D1%82%D0%B8%D0%BD%D1%83%D1%83%D0%BC&action=edit&redlink=1>
(А. Пуанкаре), не обосновывается, однако, общим доказательством устранимости
подобного рода ситуаций в сфере математического мышления и опыта. Достаточно
сказать, что описание и практика применения столь важных в этой сфере
"законов тождества" (равенства) так же, вообще говоря, как и в
эмпирических науках, зависит от того, какой смысл вкладывают в выражение
"один и тот же объект", какими средствами или критериями
отождествления при этом пользуются. Другими словами, идёт ли речь о
математических объектах или, к примеру, об объектах квантовой механики, ответы
на вопрос о тождестве неустранимым образом связаны с интервальными ситуациями.
При этом далеко не всегда тому или иному решению этого вопроса
"внутри" интервала неразличимости можно противопоставить решение
"над этим интервалом", то есть заменить абстракцию неразличимости
абстракцией отождествления. А только в этом последнем случае и можно говорить о
"преодолении" противоречия.
По-видимому, первыми, кто понял важность семиотического анализа
софизмов, были сами софисты. Учение о речи, о правильном употреблении имён
Продик
<http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B4%D0%B8%D0%BA>
считал важнейшим. Анализ и примеры софизмов часто встречаются в диалогах
Платона. Аристотель написал специальную книгу "О софистических опровержениях",
а математик Евклид
<http://ru.wikipedia.org/wiki/%D0%95%D0%B2%D0%BA%D0%BB%D0%B8%D0%B4> -
"Псевдарий" - своеобразный каталог софизмов в геометрических
доказательствах. Сочинение "Софизмы" (в двух книгах) написал ученик
Аристотеля Феофраст <http://ru.wikipedia.org/wiki/%D0%A4%D0%B5%D0%BE%D1%84%D1%80%D0%B0%D1%81%D1%82>
(D. L. V.45). В средние века в Западной Европе составлялись целые коллекции
софизмов.
Виды софизмов
Софизмы строятся на том, что в рассуждении
незаметно подменяются понятия, отождествляются разные вещи или же, наоборот, -
различаются тождественные объекты. Будучи интеллектуальными уловками или
подвохами, все софизмы разоблачимы, только в некоторых из них логическая ошибка
в виде нарушения закона тождества лежит на поверхности и поэтому, как правило,
почти сразу заметна. Такие софизмы разоблачить не трудно. Однако встречаются
софизмы, в которых подвох спрятан достаточно глубоко, хорошо замаскирован, в
силу чего над ними надо изрядно поломать голову.
Приведем пример несложного софизма.
и 4 - это два разных числа, 3 и 4 - это 7,
следовательно, 7 - это два разных числа.
В данном внешне правильном и убедительном
рассуждении смешиваются или отождествляются различные, нетождественные вещи:
простое перечисление чисел (первая часть рассуждения) и математическая операция
сложения (вторая часть рассуждения); между первым и вторым нельзя поставить
знак равенства, т.е. налицо нарушение закона тождества. Рассмотрим еще один
простой софизм.
Два раза по два (т.е. дважды два) будет не
четыре, а три. Возьмем спичку или палочку и сломаем ее пополам. Это один раз
два. Затем возьмем одну из половинок и сломаем ее пополам. Это второй раз два.
В результате получилось три части исходной спички или палочки. Таким образом,
два раза по два будет не четыре, а три.
В этом рассуждении, так же, как и в
предыдущем, смешиваются различные вещи, отождествляется нетождественное:
операция умножения на два и операция деления на два - одно неявно подменяется
другим, в результате чего достигается эффект внешней правильности и убедительности
предложенного "доказательства".
Теперь рассмотрим софизм, в котором вывод,
при всей своей нелепости, представляется верным, т.е. вытекающим из исходных
суждений, а логическая ошибка замаскирована достаточно искусно.
Можно сделать из всего сказанного и другой
вывод: ввиду невозможности для поездов столь высоких скоростей, они вообще не
ходят на экваторе, и железных дорог там нет. Оба этих вывода, очевидно,
являются не только ложными, но и нелепыми, однако они вполне обоснованно
вытекают из вышерассмотренного рассуждения, которое, таким образом,
представляет собой софизм, содержащий хорошо спрятанную ошибку. Если Вы
предложите этот софизм своему собеседнику, он, скорее всего, сразу же скажет,
что выводы о поездах на экваторе ложны. Однако задача разоблачения софизмов
заключается не в том, чтобы констатировать ложность их выводов (которую софисты
не только не скрывают, но и, наоборот, подчеркивают), а в том, чтобы выяснить,
в чем именно заключается логическая ошибка рассуждения, какой подвох в нем
содержится, как нарушается закон тождества (т.е. надо установить, что чем
незаметно подменяется, что с чем неявно отождествляется, будучи
нетождественным). Вряд ли Ваш собеседник сможет быстро справиться с этой
задачей. Обратите его внимание на формальную правильность выводов предложенного
рассуждения, на то, что они неизбежно следуют из исходных утверждений. Для
большей убедительности можете завершить софизм о вращающейся Земле и движущемся
поезде следующим сравнением.
Допустим, что эскалатор движется вниз, а
человек бежит по нему вверх. Если его скорость меньше скорости эскалатора, его
будет постоянно сносить вниз. Если его скорость равна скорости эскалатора, он
будет бежать на месте. Для того, чтобы добраться до верха эскалатора, человеку
надо бежать со скоростью большей, чем скорость движения эскалатора. Точно так
же и поезду, идущему по экватору на запад, против вращения Земли, надо
двигаться со скоростью большей, чем скорость вращения планеты (т.е. надо
преодолевать в час более 1600 км).
Рассматривая этот софизм, следует обратить
внимание на то, что пункт, из которого выехал поезд и пункт, в который он
должен прибыть, движутся вместе с Землей в одном и том же направлении и с одинаковой
скоростью, т.е. их взаимное расположение, а значит, и расстояние между ними, не
меняется. Таким образом, оба данных пункта можно рассматривать как неподвижные
друг относительно друга. Следовательно, с какой бы скоростью не передвигалось
некое тело, оно всегда покинет один из них и обязательно достигнет другого.
Почему же в нашем софистическом рассуждении получилось, что поезду, идущему с
востока, надо развить очень большую скорость, чтобы добраться до западного
пункта своего назначения? Потому что в софизме этот западный пункт
рассматривается как неподвижный, не принимающий участия во вращении Земли.
Действительно, если предположить некую точку где-нибудь над земной
поверхностью, которая является неподвижной, то движущемуся к ней против
вращения Земли телу, конечно же, требуется развить скорость большую, чем
скорость движения планеты. Однако эта точка (или пункт) является движущейся
вместе с Землей, а не неподвижной. В рассуждении факт ее движения хитро и
незаметно подменяется неявным утверждение о ее неподвижности, в результате чего
и достигается требуемый в софизме эффект (закон тождества нарушается путем
отождествления нетождественных явлений: движения и неподвижности). Точно так же
в рассуждении про эскалатор, движущийся вниз, и человека, бегущего по нему
наверх. Для того, чтобы достичь верхней, неподвижной части эскалатора, человеку
действительно надо бежать быстрее, чем движется эскалатор. В софизме западный
пункт, к которому направляется поезд, нарочно и неверно сопоставляется с
неподвижной частью эскалатора, в то время как он должен сопоставляться с
каким-либо объектом, который движется вместе с эскалатором (факт движения
незаметно подменяется утверждением о неподвижности).
Итак, любой софизм полностью раскрыт, или
разоблачен только в том случае, если нам удалось ясно и определенно установить,
какие нетождественные вещи преднамеренно и незаметно отождествляются в том или
ином рассуждении. Софизмы встречаются довольно часто и в самых различных
областях жизни.
Логические
парадоксы. Антиномии
От софизмов следует отличать логические
парадоксы (греч. paradoxos - неожиданный, странный). Парадокс в широком смысле
слова - это нечто необычное и удивительное, то, что расходится с привычными
ожиданиями, здравым смыслом и жизненным опытом. Логический парадокс - это такая
необычная и удивительная ситуация, когда два противоречащих суждения не только
являются одновременно истинными (что невозможно в силу логических законов
противоречия и исключенного третьего), но еще и вытекают друг из друга, друг
друга обуславливают. Если софизм - это всегда какая-либо уловка, преднамеренная
логическая ошибка, которую в любом случае можно обнаружить, разоблачить и
устранить, то парадокс представляет собой неразрешимую ситуацию, своего рода
мыслительный тупик, "камень преткновения" в логике: за всю ее историю
было предложено множество разнообразных способов преодоления и устранения
парадоксов, однако ни один из них, до сих пор, не является исчерпывающим,
окончательным и общепризнанным.
Наиболее известный логический парадокс - это
парадокс "лжеца". Часто его называют "королем логических
парадоксов". Он был открыт еще в Древней Греции. Существует несколько
различных формулировок данного парадокса. Наиболее коротко и просто он
формулируется в ситуации, когда человек произносит простую фразу: "Я
лжец". Анализ этого элементарного и бесхитростного, на первый взгляд,
высказывания приводит к удивительному результату. Как известно, любое
высказывание (в том числе и вышеприведенное) может быть истинным или ложным.
Рассмотрим последовательно оба случая, в первом из которых высказывание "Я
лжец" является истинным, а во втором - ложным.
· Допустим, что фраза
"Я лжец" истинна, т.е. человек, который произнес ее, сказал правду,
но в этом случае он действительно лжец, следовательно, произнеся данную фразу,
он солгал.
· Допустим, что фраза
"Я лжец" ложна, т.е. человек, который произнес ее, солгал, но в этом
случае он не лжец, а правдолюб, следовательно, произнеся данную фразу, он
сказал правду. Получается нечто удивительное и даже невозможное: если человек
сказал правду, то он солгал; а если он солгал, то он сказал правду (два
противоречащих суждения не только одновременно истинны, но и вытекают друг из
друга).
Другой известный логический парадокс,
обнаруженный в начале XX в. английским логиком и философом Бертраном Расселом,
- это парадокс "деревенского парикмахера". Представим себе, что в
некой деревне есть только один парикмахер, бреющий тех ее жителей, которые не
бреются сами. Анализ этой незамысловатой ситуации приводит к необыкновенному
выводу. Зададимся вопросом: может ли деревенский парикмахер брить самого себя?
Рассмотрим оба варианта, в первом из которых он сам себя бреет, а во втором -
не бреет.
· Допустим, что деревенский
парикмахер сам себя бреет, но тогда он относится к тем жителям деревни, которые
бреются сами и которых не бреет парикмахер, следовательно, в этом случае, он
сам себя не бреет.
· Допустим, что деревенский
парикмахер сам себя не бреет, но тогда он относится к тем жителям деревни,
которые не бреются сами и которых бреет парикмахер, следовательно, в этом
случае, он сам себя бреет. Как видим, получается невероятное: если деревенский
парикмахер сам себя бреет, то он сам себя не бреет; а если он сам себя не
бреет, то он сам себя бреет (два противоречащих суждения являются одновременно
истинными и взаимно обуславливают друг друга).
Парадоксы "лжеца" и
"деревенского парикмахера" вместе с другими подобными им парадоксами
также называют антиномиями (греч. antinomia - противоречие в законе,
противозаконие - то, чего не должно быть, но, тем не менее, имеет место), т.е.
рассуждениями, в которых доказывается, что два высказывания, отрицающие друг
друга, вытекают одно из другого. Считается, что антиномии представляют собой
наиболее резкую форму парадоксов. Однако, довольно часто термины "логический
парадокс" и "антиномия" рассматриваются как синонимы.
Парадокс
"Протагор и Эватл"
Менее удивительную формулировку, но не
меньшую известность, чем парадоксы "лжеца" и "деревенского
парикмахера", имеет парадокс "Протагор и Эватл", появившийся,
как и парадокс "лжеца", еще в Древней Греции. В его основе лежит
незатейливая на первый взгляд история.
У софиста Протагора был ученик Эватл,
бравший у него уроки логики и риторики (в данном случае - политического и
судебного красноречия). Учитель и ученик договорились таким образом, что Эватл
заплатит Протагору гонорар за обучение только в том случае, если выиграет свой
первый судебный процесс. Однако по завершении обучения Эватл не стал
участвовать ни в одном процессе и денег учителю, разумеется, не платил. Протагор
пригрозил ему, что подаст на него в суд и тогда Эватлу в любом случае придется
заплатить. "Тебя или присудят к уплате гонорара, или не присудят, - сказал
ему Протагор, - если тебя присудят к уплате, ты должен будешь заплатить по
приговору суда; если же тебя не присудят к уплате, то ты, как выигравший свой
первый судебный процесс, должен будешь заплатить по нашему уговору". На
это Эватл ему ответил: "Все правильно: меня или присудят к уплате
гонорара, или не присудят; если меня присудят к уплате, то я, как проигравший
свой первый судебный процесс, не заплачу по нашему уговору; если же меня не
присудят к уплате, то я не заплачу по приговору суда". Таким образом,
вопрос о том, должен Эватл заплатить Протагору гонорар или нет, является
неразрешимым. Договор учителя и ученика, несмотря на его вполне невинный
внешний вид, является внутренне, или логически противоречивым, т.к. он требует
выполнения невозможного действия: Эватл должен и заплатить за обучение, и не
заплатить одновременно. В силу этого сам договор между Протагором и Эватлом, а
также вопрос об их тяжбе, представляет собой не что иное, как логический
парадокс.
В отличие от парадоксов-антиномий
("лжеца" и "деревенского парикмахера") парадокс
"Протагор и Эватл" имеет менее резкую форму, так как в нем два
противоречащих суждения ("Эватл должен заплатить" и "Эватл не
должен заплатить") являются одновременно истинными, но не вытекают друг из
друга, как в случае с парадоксами-антиномиями.
Парадоксы-апории
Отдельной группой парадоксов являются
апории (греч. aporia - затруднение, недоумение) - рассуждения, которые
показывают противоречия между тем, что мы воспринимаем органами чувств (видим,
слышим, осязаем и т.п.) и тем, что можно мысленно проанализировать (проще
говоря - противоречия между видимым и мыслимым). Наиболее известные апории
выдвинул древнегреческий философ Зенон Элейский, который утверждал, что
движение, наблюдаемое нами повсюду, невозможно сделать предметом мысленного
анализа, т.е. движение можно видеть, но нельзя мыслить. Одна из его апорий называется
"Дихотомия" (в пер. с греч. - деление пополам).
Допустим, некоему телу надо пройти из
пункта А в пункт В. Нет никакого сомнения в том, что мы можем увидеть, как
тело, покинув один пункт, через какое-то время достигнет другого. Однако
давайте попробуем не доверять своим глазам, которые говорят нам о том, что тело
движется, и попытаемся воспринять движение не глазами, а мыслью, постараемся не
увидеть его, а помыслить. В этом случае у нас получится следующее. Прежде, чем
пройти весь свой путь из пункта А в пункт В, телу надо пройти половину этого
пути, ведь если оно не пойдет половину пути, то, конечно же, не пройдет и весь
путь. Но прежде, чем тело пройдет половину пути, ему надо пройти 1/4 часть
пути. Однако до того, как оно пройдет эту 1/4 часть пути, ему надо пройти 1/8
часть пути; а еще раньше ему требуется пройти 1/16 часть пути, а перед этим -
1/32 часть, а прежде того - 1/64 часть, а до этого - 1/128 часть и так до
бесконечности. Значит, чтобы пройти из пункта А в пункт В, телу надо пройти бесконечное
количество отрезков этого пути. Возможно ли пройти бесконечное количество
отрезков пути? Невозможно! Следовательно, тело никогда не сможет пройти свой
путь. Таким образом, глаза свидетельствуют, что путь будет пройден, а мысль,
наоборот, отрицает это (видимое противоречит мыслимому).
Другая известная апория Зенона Элейского -
"Ахиллес и черепаха" - говорит о том, что мы вполне можем увидеть,
как быстроногий Ахиллес догоняет и перегоняет медленно ползущую впереди него
черепаху; однако мысленный анализ приводит нас к необычному заключению, что
Ахиллес никогда не сможет догнать черепаху, хотя он и движется в 10 раз быстрее
нее. Когда он преодолеет расстояние до черепахи, то она за это же время (ведь
она тоже движется) пройдет в 10 раз меньше (т.к. движется в 10 раз медленнее),
а именно 1/10 часть того пути, который прошел Ахиллес, и на эту 1/10 часть
будет впереди него. Когда Ахиллес пройдет эту 1/10 часть пути, то черепаха за
это же время пройдет в 10 раз меньшее расстояние, т.е.1/100 часть пути и на эту
1/100 часть будет впереди Ахиллеса. Когда он пройдет 1/100 часть пути,
разделяющую его и черепаху, то она за это же время пройдет 1/1000 часть пути,
все равно оставаясь впереди Ахиллеса, и так до бесконечности. Итак, мы вновь
убеждаемся в том, что глаза говорят нам об одном, а мысль - о совершенно другом
(видимое отрицается мыслимым).
софизм логический парадокс
Еще одна апория Зенона -
"Стрела" - предлагает нам мысленно рассмотреть полет стрелы из одной
точки пространства в другую. Наши глаза, конечно же, говорят о том, что стрела
летит, или движется. Однако что будет, если мы попытаемся, отвлекаясь от
зрительного впечатления, помыслить ее полет? Для этого зададим себе простой
вопрос: где сейчас находится летящая стрела? Если, отвечая на данный вопрос, мы
скажем, что она в настоящий момент находится там-то, или где-то, то в этом
случае у нас получится, что стрела не летит, а покоится, ведь находиться
где-то, или быть в каком-то определенном месте, - это как раз и означает
находиться в неподвижности, или покоиться. Таким образом, единственное, что мы
можем ответить на вопрос о том, где сейчас находится летящая стрела, - это
следующее: "Везде и нигде конкретно". Но разве возможно быть везде и
нигде одновременно? Итак, при попытке помыслить полет стрелы мы натолкнулись на
логическое противоречие, на нелепость - стрела находится везде и нигде.
Получается, что движение стрелы вполне можно увидеть, но его нельзя помыслить,
вследствие чего оно невозможно, как и любое движение вообще. Иначе говоря,
двигаться, с точки зрения мысли, а не чувственных восприятий, означает быть в
некоем месте и не быть в нем одновременно, что, конечно же, невозможно.
2. Брутян
Г. - Паралогизм, софизм и парадокс // Вопросы философии, 1959.
. Гусев
Д.А. Логика. Учебное пособие для вузов. - М.: ЮНИТИ, 2004. - 272 с. (Гриф УМО).
. Гусев
Д.А. Логика. Учебное пособие. - М.: МПСИ, 2005. - 376 с. (Гриф РАО).
. Ивин
А.А. - Логика, Издание 2-е, Москва, Издательство "Знание", 1998
. Неркарарян
К.В., Софизмы и парадоксы, 1 издание, 2001