В примерах № 4, 5,6 используется один и тот же прием: в одинаковых словах смешиваются различные значения, ситуации, темы, одна из которых не равна другой, то есть нарушается закон тождества.
2. Логические парадоксы
Парадокс (от греч. неожиданный, странный) – это нечто необычное и удивительное, то, что расходится с привычными ожиданиями, здравым смыслом и жизненным опытом.
Логический парадокс – это такая необычная и удивительная ситуация, когда два противоречащих суждения не только являются одновременно истинными (что невозможно в силу логических законов противоречия и исключенного третьего), но еще и вытекают друг из друга, друг друга обуславливают.
Парадокс представляет собой неразрешимую ситуацию, своего рода мыслительный тупик, «камень преткновения» в логике: за всю ее историю было предложено множество разнообразных способов преодоления и устранения парадоксов, однако ни один из них до сих пор не является исчерпывающим, окончательным и общепризнанным.
Некоторые парадоксы (парадоксы «лжеца», «деревенского парикмахера» и т.п.) также называют антиномиями (от греч. противоречие в законе), то есть рассуждениями, в которых доказывается, что два высказывания, отрицающие друг друга, вытекают одно из другого. Считается, что антиномии представляют собой наиболее резкую форму парадоксов. Однако довольно часто термины «логический парадокс» и «антиномия» рассматриваются как синонимы.
Отдельной группой парадоксов являются апории (от греч. – затруднение, недоумение) – рассуждения, которые показывают противоречия между тем, что мы воспринимаем органами чувств (видим, слышим, осязаем и т.п.), и тем, что можно мысленно проанализировать (противоречия между видимым и мыслимым).
Наиболее известные апории выдвинул древнегреческий философ Зенон Элейский, который утверждал, что движение, наблюдаемое нами повсюду, невозможно сделать предметом мысленного анализа. Одна из его известных апорий называется «Ахиллес и черепаха». Она говорит о том, что мы вполне можем увидеть, как быстроногий Ахиллес догоняет и перегоняет медленно ползущею черепаху; однако мысленный анализ приводит нас к необычному заключению, что Ахиллес никогда не сможет догнать черепаху, хотя он движется в 10 раз быстрее нее. Когда он преодолеет расстояние до черепахи, то она за это же время пройдет в 10 раз меньше, а именно 1/10 часть того пути, который прошел Ахиллес, и на эту 1/10 часть будет впереди него. Когда Ахиллес пройдет эту 1/10 часть пути, то черепаха за это же время пройдет в 10 раз меньшее расстояние, то есть 1/100 часть пути, и на эту 1/100 часть будет впереди Ахиллеса. Когда он пройдет 1/100 часть пути, разделяющую его и черепаху, то она за это же время пройдет 1/1000 часть пути, все равно оставаясь впереди Ахиллеса, и так до бесконечности. Мы убеждаемся в том, что глаза говорят нам одно, а мысль – совершенно другое (видимое отрицается мыслимым).
В логике было создано много способов разрешения и преодоления парадоксов. Однако ни один из них не лишен возражений и не является общепризнанным.
2.1 Примеры логических парадоксов
Наиболее известный логический парадокс – это парадокс «лжеца». Часто его называют «королем логических парадоксов». Он был открыт еще в Древней Греции. По преданию, философ Диодор Кронос дал обет не принимать пищи до тех пор, пока не рзрешит этот парадокс и умер от голода, так ничего и не добившись. Существует несколько различных формулировок данного парадокса. Наиболее коротко и просто он формулируется в ситуации, когда человек произносит простую фразу: «Я лжец». Анализ этого высказывания приводит к ошеломляющему результату. Как известно, любое высказывание может быть истинным или ложным. Допустим, что фраза «Я лжец» истинна, то есть человек, который произнес ее, сказал правду, но в этом случае он действительно лжец, следовательно, произнеся данную фразу, он солгал. Допустим, что фраза «Я лжец» ложна, то есть человек, который произнес ее, солгал, но в этом случае он не лжец, а правдолюб, следовательно, произнеся данную фразу, он сказал правду. Получается нечто удивительное и даже невозможное: если человек сказал правду, то он солгал; а если он солгал, то он сказал правду (два противоречащих суждения не только одновременно истины, но и вытекают друг из друга).
Другой известный логический парадокс, обнаруженный в XX в. английским логиком и философом Бертраном Расселом, – это парадокс «деревенского парикмахера». Представим, что в некой деревне есть только один парикмахер, бреющий тех ее жителей, которые не бреются сами. Анализ этой незамысловатой ситуации приводит к необыкновенному выводу. Зададимся вопросом: может ли деревенский парикмахер брить самого себя? Допустим, что деревенский парикмахер сам себя бреет, но тогда он относится к тем жителям деревни, которые бреются сами и которых не бреет парикмахер, следовательно, в этом случае он сам себя не бреет. Допустим, что деревенский парикмахер сам себя не бреет, но тогда он относится к тем жителям деревни, которые не бреются сами и которых бреет парикмахер, следовательно, в этом случае он сам себя бреет. Получается невероятное: если деревенский парикмахер сам себя бреет, то он сам себя не бреет; а если он сам себя не бреет, то он сам себя бреет (два противоречащих суждения являются одновременно истинными и взаимообусловливают друг друга).
Парадокс «Протагор и Эватл» появился в Древней Греции. В его основе лежит незатейливая на первый взгляд история, которая заключается в том, что у софиста Протагора был ученик Эватл, бравший у него уроки логики и риторики. Учитель и ученик договорились таким образом, что Эватл заплатит Протагору гонорар за обучение только в том случае, если выиграет свой первый судебный процесс. Однако по завершении обучения Эватл не стал участвовать ни в одном процессе и денег учителю, разумеется, не платил. Протагор пригрозил ему, что подаст на него в суд и тогда Эватлу в любом случае придется заплатить. «Тебя или присудят к уплате гонорара, или не присудят, –сказал ему Протагор, – если тебя присудят к уплате, ты должен будешь заплатить по приговору суда; если же тебя не присудят к уплате, то ты, как выигравший свой первый судебный процесс, должен будешь заплатить по нашему уговору». На это Эватл ему ответил: «Все правильно: меня или присудят к уплате гонорара, или не присудят; если меня присудят к уплате, то я, как проигравший свой первый судебный процесс, не заплачу по нашему уговору; если же меня не присудят к уплате, то я не заплачу по приговору суда». Таким образом, вопрос о том, должен Эватл заплатить Протагору или нет, является неразрешимым. Договор учителя и ученика, несмотря на его вполне невинный внешний вид, является внутренне, или логически, противоречивым, так как он требует выполнения невозможного действия: Эватл должен и заплатить за обучение, и не заплатить одновременно. В силу этого сам договор между Протагором и Эватлом, а также вопрос об их тяжбе представляет собой нечто иное, как логический парадокс.
Задание 2
Определите структуру, вид суждения, сделайте символическую отношения между терминами, указав их распределенность:
«У отдельных людей есть высокие интеллектуальные способности»
- Структура суждения:
1) Субъект – «высокие интелектуальные способности»
2) Предикат – « у отдельных людей»
3) Связка выражена
4)Кванторное слово « Есть» (выражено)
Частоутвердительные некоторые S есть Р
QS есть Р
2. Суждение общее по количеству и утвердительное по качеству
3. В явной логической форме: «Высокие интелектуальные способности есть у отдельных людей».
4. Формула: Все S есть Р. Суждение – А.
5. Р
7. Субъект распределен, предикат не распределен.
10 -
«Нет такого человека, который не любил бы подарки».
- Структура суждения:
1) Субъект – «Подарки»
2) Предикат – «Человек»
3) Связка выражена – который не любил бы
4)Кванторное слово « Все» (не выражено)
2. Суждение общее по количеству и общеотрицательное по качеству
3. В явной логической форме: «Подарки любят все люди».
4. Формула: Ни одно S не есть Р. Суждение – Е. общеотрицательное
5. Р
6. Термины находятся в отношении – подчинение.
7. Субъект распределен, предикат не распределен
11 -
Задание 3
Определите вид умозаключения, сделайте вывод, постройте схему вывода, установите логическую состоятельность рассуждения:
«Лицо, совершившее преступление небольшой тяжести впервые может быть освобождено от уголовной ответственности, если оно раскаялось или примирилось с потерпевшим. Иванов настроен или раскаяться или примириться с потерпевшим, значит…».
Иванов настроен или раскаяться или примириться с потерпевшим, значит в случае, если он впервые совершил преступление небольшой тяжести, он может быть освобожден от уголовной ответственности.
1. Вид суждений в посылках:
1 –я посылка: «Лицо, совершившее преступление небольшой тяжести впервые может быть освобождено от уголовной ответственности, если оно раскаялось или примирилось с потерпевшим. Иванов настроен или раскаяться или примириться с потерпевшим ». – импликативносоединительное суждение, состоящее из двух импликаций, объединенных конъюкцией.
p – лицо может быть освобождено от уголовной ответственности
g – оно раскаялось в содеянном или оно примерилось с потерпевшим
q – оно не раскаялось и не примерилось
2 –я посылка: «Лицо либо раскается и примерится с потерпевшим, либо нет». – разделительное суждение, состоящее из 2 – х альтернатив.
2.Схема умозаклучения:
(p→g) Λ (¬p→q)
p V ¬p________________
g V q
3. Простая конструктивная дилемма
4. Вывод: « Лицо,
совершившее преступление небольшой тяжести
либо будет освобождено, либо нет » .
5.Список литературы
1) Гетманова А.Д. Учебник по логике. М.: Владос, 1994.
2) Гусев Д.А. Учебное пособие по логике для вузов. Москва: Юнити-Дана, 2004
3) Ивин А.А. Искусство правильно мыслить. М.: Просвещение, 1990.
4) Коваль С. От развлечения к знаниям /Пер. О. Унгурян. Варшава: Начно-техническое изд-во, 1972.
Известно, что сформулировать проблему часто важнее и труднее, чем решить ее. «В науке, - писал английский химик Ф. Содди, - задача, надлежащим образом поставленная, более чем наполовину решена. Процесс умственной подготовки, необходимый для выяснения того, что существует определенная задача, часто отнимает больше времени, чем само решение задачи».
Формы, в которых проявляется и осознается проблемная ситуация, очень разнообразны. Далеко не всегда она обнаруживает себя в виде прямого вопроса, вставшего в самом начале исследования. Мир проблем так же сложен, как и порождающий их процесс познания. Выявление проблем связано с самой сутью творческого мышления. Парадоксы представляют собой наиболее интересный случай неявных, безвопросных способов постановки проблем. Парадоксы обычны на ранних стадиях развития научных теорий, кона делаются первые шаги в еще неизученной области и нащупываются самые общие принципы подхода к ней.
В широком смысле парадокс - это положение, резко расходящееся с общепринятыми, устоявшимися, ортодоксальными мнениями. «Общепризнанные мнения и то, что считают делом давно решенным, чаще всего заслуживают исследования» (Г. Лихтенберг). Парадокс - начало такого исследования.
Парадокс в более узком и специальном значении - это два противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся убедительными аргументы.
Наиболее резкая форма парадокса - антиномия, рассуждение, доказывающее эквивалентность двух утверждений, одно из которых является отрицанием другого.
Особой известностью пользуются парадоксы в самых строгих и точных науках - математике и логике. И это неслучайно.
Логика - абстрактная паука. В ней нет экспериментов, нет даже фактов в обычном смысле этого слова. Строя свои системы, логика исходит, в конечном счете, из анализа реального мышления. По результаты этого анализа носят синтетический, нерасчлененный характер. Они не являются констатациями каких-либо отдельных процессов или событий, которые должна была бы объяснить теория. Такой анализ нельзя, очевидно, назвать наблюдением: наблюдается всегда конкретное явление.
Конструируя новую теорию, ученый обычно отправляется от фактов, от того, что можно наблюдать в опыте. Как бы ни была свободна его творческая фантазия, она должна считаться с одним непременным обстоятельством: теория имеет смысл только в том случае, когда она согласуется с относящимися к ней фактами. Теория, расходящаяся с фактами и наблюдениями, является надуманной и ценности не имеет.
Но если в логике нет экспериментов, нет фактов и нет самого наблюдения, то чем сдерживается логическая фантазия? Какие если не факты, то факторы принимаются во внимание при создании новых логических теорий?
Расхождение логической теории с практикой действительного мышления нередко обнаруживается в форме более или менее острого логического парадокса, а иногда даже в форме логической антиномии, говорящей о внутренней противоречивости теории. Этим как раз объясняется то значение, которое придается парадоксам в логике, и то большое внимание, которым они в ней пользуются.
«Король логических парадоксов»
Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс «Лжец». Он-то главным образом и прославил имя открывшего его Евбулида из Милета.
Имеются варианты этого парадокса, или антиномии, многие из которых только по видимости парадоксальны.
В простейшем варианте «Лжеца» человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».
Если высказывание ложно, то говорящий сказал правду, и значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то это его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
В Средние века распространенной была такая формулировка:
- - Сказанное Платоном - ложно, - говорит Сократ.
- - То, что сказал Сократ, - истина, - говорит Платон. Возникает вопрос, кто из них высказывает истину, а кто ложь?
А вот современная перефразировка этого парадокса. Допустим, что на лицевой стороне карточки написаны только слова: «Па другой стороне этой карточки написано истинное высказывание». Ясно, что эти слова представляют собой осмысленное утверждение. Перевернув карточку, мы должны либо обнаружить обещанное высказывание, либо его нет. Если оно написано на обороте, то оно является либо истинным, либо нет. Однако на обороте стоят слова: «На другой стороне этой карточки написано ложное высказывание» - и ничего более. Допустим, что утверждение на лицевой стороне истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение на лицевой стороне ложно, тогда утверждение на обороте также должно быть ложным, и, следовательно, утверждение на лицевой стороне должно быть истинным. В итоге - парадокс.
Парадокс «Лжец» произвел громадное впечатление на греков. И легко понять почему. Вопрос, который в нем ставится, с первого взгляда кажется совсем простым: лжец ли тот, кто говорит только то, что он лжет? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какую-то неясную и неизмеримую глубину.
Ходит даже легенда, что некий Филит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решения «Лжеца», и вскоре умер, так ничего не добившись.
В Средние века этот парадокс был отнесен к так называемым неразрешимым предложениям и сделался объектом систематического анализа.
И Повое время «Лжец» долго no привлекал никакого внимания. В нем не видели никаких, даже малозначительных затруднений, касающихся употребления языка. И только в наше, так называемое новейшее время развитие логики достигло, наконец, уровня, когда проблемы, стоящие, как представляется, за этим парадоксом, стало возможным формулировать уже в строгих терминах.
Теперь «Лжец» - этот типичный бывший софизм - нередко именуется королем логических парадоксов. Ему посвящена обширная научная литература. И, тем не менее, как и в случае многих других парадоксов, остается не вполне ясным, какие именно проблемы скрываются за ним и как следует избавляться от него.
Если в результате прочтения этой подборки вы не запутаетесь полностью, значит вы мыслите недостаточно ясно.
Учёные и мыслители с давних времён любят развлекать себя и коллег постановкой неразрешимых задач и формулированием разного рода парадоксов. Некоторые из подобных мысленных экспериментов сохраняют актуальность на протяжении тысяч лет, что свидетельствует о несовершенстве многих популярных научных моделей и «дырах» в общепринятых теориях, давно считающихся фундаментальными. Предлагаем вам поразмыслить над наиболее интересными и удивительными парадоксами, которые, как сейчас выражаются, «взорвали мозг» не одному поколению логиков, философов и математиков.
Апория «Ахиллес и черепаха»
Парадокс Ахиллеса и черепахи - одна из апорий (логически верных, но противоречивых высказываний), сформулированных древнегреческим философом Зеноном Элейским в V-м веке до нашей эры. Суть её в следующем: легендарный герой Ахиллес решил посоревноваться в беге с черепахой. Как известно, черепахи не отличаются прыткостью, поэтому Ахиллес дал сопернику фору в 500 м. Когда черепаха преодолевает эту дистанцию, герой пускается в погоню со скоростью в 10 раз большей, то есть пока черепаха ползёт 50 м, Ахиллес успевает пробежать данные ей 500 м форы. Затем бегун преодолевает следующие 50 м, но черепаха в это время отползает ещё на 5 м, кажется, что Ахиллес вот-вот её догонит, однако соперница всё ещё впереди и пока он бежит 5 м, ей удаётся продвинуться ещё на полметра и так далее. Дистанция между ними бесконечно сокращается, но по идее, герою так и не удаётся догнать медлительную черепаху, она ненамного, но всегда опережает его.
Конечно, с точки зрения физики парадокс не имеет смысла - если Ахиллес движется намного быстрее, он в любом случае вырвется вперёд, однако Зенон, в первую очередь, хотел продемонстрировать своими рассуждениями, что идеализированные математические понятия «точка пространства» и «момент времени» не слишком подходят для корректного применения к реальному движению. Апория выявляет расхождение между математически обоснованной идеей, что ненулевые интервалы пространства и времени можно делить бесконечно (поэтому черепаха должна всегда оставаться впереди) и реальностью, в которой герой, конечно, выигрывает гонку.
Парадокс временной петли
Парадоксы, описывающие путешествия во времени, давно служат источником вдохновения для писателей-фантастов и создателей научно-фантастических фильмов и сериалов. Существует несколько вариантов парадоксов временной петли, один из самых простых и наглядных примеров подобной проблемы привёл в своей книге «The New Time Travelers» («Новые путешественники во времени») Дэвид Туми, профессор из Университета Массачусетса.
Представьте себе, что путешественник во времени купил в книжном магазине экземпляр шекспировского «Гамлета». Затем он отправился в Англию времён Королевы-девы Елизаветы I и отыскав Уильяма Шекспира, вручил ему книгу. Тот переписал её и издал, как собственное сочинение. Проходят сотни лет, «Гамлета» переводят на десятки языков, бесконечно переиздают, и одна из копий оказывается в том самом книжном магазине, где путешественник во времени покупает её и отдаёт Шекспиру, а тот снимает копию и так далее… Кого в таком случае нужно считать автором бессмертной трагедии?
Парадокс девочки и мальчика
В теории вероятностей этот парадокс также называют «Дети мистера Смита» или «Проблемы миссис Смит». Впервые он был сформулирован американским математиком Мартином Гарднером в одном из номеров журнала «Scientific American». Учёные спорят над парадоксом уже несколько десятилетий и существует несколько способов его разрешения. Поразмыслив над проблемой, вы можете предложить и свой собственный вариант.
В семье есть двое детей и точно известно, что один из них - мальчик. Какова вероятность того, что второй ребёнок тоже имеет мужской пол? На первый взгляд, ответ вполне очевиден - 50 на 50, либо он действительно мальчик, либо девочка, шансы должны быть равными. Проблема в том, что для двухдетных семей существует четыре возможных комбинации полов детей - две девочки, два мальчика, старший мальчик и младшая девочка и наоборот - девочка старшего возраста и мальчик младшего. Первую можно исключить, так как один из детей совершенно точно мальчик, но в таком случае остаются три возможных варианта, а не два и вероятность того, что второе чадо тоже мальчик - один шанс из трёх.
Парадокс Журдена с карточкой
Проблему, предложенную британским логиком и математиком Филиппом Журденом в начале XX-го века, можно считать одной из разновидностей знаменитого парадокса лжеца.
Представьте себе - вы держите в руках открытку, на которой написано: «Утверждение на обратной стороне открытки истинно». Перевернув открытку, вы обнаруживаете фразу «Утверждение на другой стороне ложно». Как вы понимаете, противоречие налицо: если первое утверждение правдиво, то второе тоже соответствует действительности, но в таком случае первое должно оказаться ложным. Если же первая сторона открытки лжива, то фразу на второй также нельзя считать истинной, а это значит, первое утверждение опять-таки становится правдой… Ещё более интересный вариант парадокса лжеца - в следующем пункте.
Софизм «Крокодил»
На берегу реки стоят мать с ребёнком, вдруг к ним подплывает крокодил и затаскивает ребёнка в воду. Безутешная мать просит вернуть её чадо, на что крокодил отвечает, что согласен отдать его целым и невредимым, если женщина правильно ответит на его вопрос: «Вернёт ли он её ребёнка?». Понятно, что у женщины два варианта ответа - да или нет. Если она утверждает, что крокодил отдаст ей ребёнка, то всё зависит от животного - посчитав ответ правдой, похититель отпустит ребёнка, если же он скажет, что мать ошиблась, то ребёнка ей не видать, согласно всем правилам договора.
Отрицательный ответ женщины всё значительно усложняет - если он оказывается верным, похититель должен выполнить условия сделки и отпустить дитя, но таким образом ответ матери не будет соответствовать действительности. Чтобы обеспечить лживость такого ответа, крокодилу нужно вернуть ребёнка матери, но это противоречит договору, ведь её ошибка должна оставить чадо у крокодила.
Стоит отметить, что сделка, предложенная крокодилом, содержит логическое противоречие, поэтому его обещание невыполнимо. Автором этого классического софизма считается оратор, мыслитель и политический деятель Коракс Сиракузский, живший в V-м веке до нашей эры.
Апория «Дихотомия»
Ещё один парадокс от Зенона Элейского, демонстрирующий некорректность идеализированной математической модели движения. Проблему можно поставить так - скажем, вы задались целью пройти какую-нибудь улицу вашего города от начала и до конца. Для этого вам необходимо преодолеть первую её половину, затем половину оставшейся половины, далее половину следующего отрезка и так далее. Иначе говоря - вы проходите половину всего расстояния, затем четверть, одну восьмую, одну шестнадцатую - количество уменьшающихся отрезков пути стремится к бесконечности, так как любую оставшуюся часть можно разделить надвое, значит пройти весь путь целиком невозможно. Формулируя несколько надуманный на первый взгляд парадокс, Зенон хотел показать, что математические законы противоречат реальности, ведь на самом деле вы можете без труда пройти всё расстояние без остатка.
Апория «Летящая стрела»
Знаменитый парадокс Зенона Элейского затрагивает глубочайшие противоречия в представлениях учёных о природе движения и времени. Апория сформулирована так: стрела, выпущенная из лука, остаётся неподвижной, так как в любой момент времени она покоится, не совершая перемещения. Если в каждый момент времени стрела покоится, значит она всегда находится в состоянии покоя и не движется вообще, так как нет момента времени, в который стрела перемещается в пространстве.
Выдающиеся умы человечества веками пытаются разрешить парадокс летящей стрелы, однако с логической точки зрения он составлен абсолютно верно. Для его опровержения требуется объяснить, каким образом конечный временной отрезок может состоять из бесконечного числа моментов времени - доказать это не удалось даже Аристотелю, убедительно критиковавшему апорию Зенона. Аристотель справедливо указывал, что отрезок времени нельзя считать суммой неких неделимых изолированных моментов, однако многие учёные считают, что его подход не отличается глубиной и не опровергает наличие парадокса. Стоит отметить, что постановкой проблемы летящей стрелы Зенон стремился не опровергнуть возможность движения, как таковую, а выявить противоречия в идеалистических математических концепциях.
Парадокс Галилея
В своём труде «Беседы и математические доказательства, касающиеся двух новых отраслей науки» Галилео Галилей предложил парадокс, демонстрирующий любопытные свойства бесконечных множеств. Учёный сформулировал два противоречащих друг другу суждения. Первое: есть числа, представляющие собой квадраты других целых чисел, например 1, 9, 16, 25, 36 и так далее. Существуют и другие числа, у которых нет этого свойства - 2, 3, 5, 6, 7, 8, 10 и тому подобные. Таким образом, общее количество точных квадратов и обычных чисел должно быть больше, чем количество только точных квадратов. Второе суждение: для каждого натурального числа найдётся его точный квадрат, а для каждого квадрата существует целый квадратный корень, то есть, количество квадратов равно количеству натуральных чисел.
На основании этого противоречия Галилей сделал вывод, что рассуждения о количестве элементов применены только к конечным множествам, хотя позже математики ввели понятие мощности множества - с его помощью была доказана верность второго суждения Галилея и для бесконечных множеств.
Парадокс мешка картофеля
Допустим, у некоего фермера имеется мешок картофеля весом ровно 100 кг. Изучив его содержимое, фермер обнаруживает, что мешок хранился в сырости - 99% его массы составляет вода и 1% остальные вещества, содержащиеся в картофеле. Он решает немного высушить картофель, чтобы содержание воды в нём снизилось до 98% и переносит мешок в сухое место. На следующий день оказывается, что, один литр (1 кг) воды действительно испарился, но вес мешка уменьшился со 100 до 50 кг, как такое может быть? Давайте посчитаем - 99% от 100 кг это 99 кг, значит соотношение массы сухого остатка и массы воды изначально было равно 1/99. После сушки вода насчитывает 98% от общей массы мешка, значит соотношение массы сухого остатка к массе воды теперь составляет 1/49. Так как масса остатка не изменилась, оставшаяся вода весит 49 кг.
Конечно, внимательный читатель сразу обнаружит грубейшую математическую ошибку в расчётах - мнимый шуточный «парадокс мешка картофеля» можно считать отличным примером того, как с помощью на первый взгляд «логичных» и «научно подкреплённых» рассуждений можно буквально на пустом месте выстроить теорию, противоречащую здравому смыслу.
Парадокс воронов
Проблема также известна, как парадокс Гемпеля - второе название она получила в честь немецкого математика Карла Густава Гемпеля, автора её классического варианта. Проблема формулируется довольно просто: каждый ворон имеет чёрный цвет. Из этого следует, что всё, что не чёрного цвета, не может быть вороном. Этот закон называется логическая контрапозиция, то есть если некая посылка «А» имеет следствие «Б», то отрицание «Б» равнозначно отрицанию «А». Если человек видит чёрного ворона, это укрепляет его уверенность, что все вороны имеют чёрный окрас, что вполне логично, однако в соответствии с контрапозицией и принципом индукции, закономерно утверждать, что наблюдение предметов не чёрного цвета (скажем, красных яблок) также доказывает, что все вороны окрашены в чёрный цвет. Иными словами - то, что человек живёт в Санкт-Петербурге доказывает, что он живёт не в Москве.
С точки зрения логики парадокс выглядит безукоризненно, однако он противоречит реальной жизни - красные яблоки никоим образом не могут подтверждать тот факт, что все вороны чёрного цвета.
Не потеряйте. Подпишитесь и получите ссылку на статью себе на почту.
Что такое парадокс? Парадоксом называются два несовместимых и противоположных утверждения, имеющие убедительные аргументы каждый в свою сторону. Наиболее ярко выраженной формой парадокса является антиномия – рассуждение, которое доказывает равносильность утверждений, одно из которых представляет собой явное отрицание другого. И особого внимания заслуживают именно парадоксы в наиболее точных и строгих науках, таких как, например, логика.
Логика, как известно, является абстрактной наукой. В ней нет места экспериментам и каким-либо конкретным фактам в обычном их понимании; она всегда предполагает анализ реального мышления. Но расхождения в теории логики и практике реального мышления всё же имеют место быть. И самым явным подтверждением этому служат логические парадоксы, а иногда даже логическая антиномия, олицетворяющая собой противоречивость самой логической теории. Именно это и объясняет значение логических парадоксов и то внимание, которое уделяется этим парадоксам в логической науке. Ниже мы познакомим вас с самыми яркими примерами логических парадоксов. Эта информации будет непременно интересна как тем, кто углублённо изучает логику, так и тем, кто просто любит узнавать новую и интересную информацию.
Начнём же мы с парадоксов, составленных древнегреческим философом Зеноном Элейским, жившим в V веке до н.э. Его парадоксы получили название «Апории Зенона» и даже имеют свою трактовку.
Апории Зенона
Апории Зенона являются внешне парадоксальными рассуждениями о движении и множестве. Всего современниками Зенона было упомянуто свыше 40 апорий (кстати, слово «апория» с древнегреческого языка переводится как «трудность») его авторства, однако до нашего времени дошли только девять из них. При желании вы можете ознакомиться с ними в трудах Аристотеля, Диогена Лаэртского, Платона, Фемистия, Филопона, Элия и Сипмликия. Мы же приведём в пример три самые известные.
Ахиллес и черепаха
Представим, что Ахиллес бежит со скоростью, в десять раз превышающей скорость черепахи, и находится от неё на расстоянии в тысячу шагов позади. Пока Ахиллес пробежит тысячу шагов, черепаха сделает только сто. Пока Ахиллес преодолеет ещё сотню, черепаха успеет сделать десять и т.д. И этот процесс будет продолжаться бесконечно долго и Ахиллес никогда не догонит черепаху.
Дихотомия
Для того чтобы преодолеть определённый путь, нужно изначально преодолеть его половину, а чтобы преодолеть половину, нужно преодолеть половину этой половины и т.д. Исходя из этого, движение никогда так и не начнётся.
Летящая стрела
Летящая стрела всегда остаётся на месте, т.к. в любой момент времени она находится в состоянии покоя, а поскольку она в состоянии покоя в любой момент времени, она находится в состоянии покоя всегда.
Здесь же будет уместно привести ещё один парадокс.
Парадокс лжеца
Авторство этого парадокса приписывается древнегреческому жрецу и провидцу Эпимениду. Парадокс звучит так: «То, что я в данный момент говорю — ложь», т.е. выходит: либо «Я лгу», либо «Моё высказывание — ложно». Это значит, что если высказывание правдиво, то, основываясь на его содержании, оно является ложью, но если это высказывание изначально ложно, то его и утверждение — ложь. Получается, ложно, что это высказывание – ложь. Следовательно, высказывание правдиво – это вывод возвращает нас к началу наших рассуждений.
В наше время парадокс лжеца рассматривается в качестве одной из формулировок парадокса Рассела.
Парадокс Рассела
Парадокс Рассела был открыт в 1901 году британским философом Бертраном Расселом, а позже его независимо переоткрыл немецкий математик Эрнст Цермело (иногда этот парадокс называют «парадоксом Рассела-Цермело»). Данный парадокс демонстрирует противоречивость логической системы Фреге, в которой математика сводится к логике. У парадокса Рассела есть несколько формулировок:
- Парадокс всемогущества – способно ли всемогущее существо создать что-либо, что может ограничить его всемогущество?
- Допустим, какая-то библиотека поставила задачу составить один большой библиографический каталог, в который должны входить все и лишь те библиографические каталоги, в которых не содержится ссылок на самих себя. Вопрос: нужно ли включить в этот каталог ссылку на него?
- Например, в какой-то стране вышел закон о том, что мэрам всех городов запрещено жить в своём городе, и разрешено жить только в «Городе мэров». Где, в таком случае, будет жить мэр этого города?
- Парадокс брадобрея – в деревне только один брадобрей, и ему приказано брить всех, кто не бреется сам, и не брить тех, кто сам бреется. Вопрос: кто должен брить брадобрея?
Не менее интересны и занятны следующие парадоксы.
Парадокс Бурали-Форти
Предположение о том, что идея о возможности множества порядковых чисел может привести к противоречиям, а это значит, что противоречивой будет теория множеств, в которой возможно построение множества порядковых чисел.
Парадокс Кантора
Предположение о возможности множества всех множеств может привести к противоречиям, а это значит, что противоречивой будет и теория, согласно которой возможно построение такого множества.
Парадокс Гильберта
Идея о том, что если все номера в гостинице с бесконечным количеством номеров заняты, в неё в любом случае можно поселить ещё людей, и их число может быть бесконечным. В этом парадоксе объясняется, что законы логики абсолютно неприемлемы к свойствам бесконечности.
Ложный вывод Монте-Карло
Вывод о том, что, играя в рулетку, можно смело ставить на красный цвет, если чёрный выпал десять раз подряд. Данный вывод считается ложным по той причине, что, согласно теории вероятностей, на наступление любого последующего события не оказывает никакого влияния событие, ему предшествующее.
Парадокс Эйнштейна-Подольского-Розена
Вопрос о том, способны ли развивающиеся вдали друг от друга процессы и события оказывать друг на друга влияние? К примеру, воздействует ли каким-либо образом рождение в отдалённой галактике сверхновой звезды на погоду в Москве? В качестве ответа можно привести следующее: исходя из законов квантовой механики, такое влияние невозможно по причине того, что как скорость света, так и скорость переноса информации являются конечными величинами, а Вселенная является бесконечной.
Парадокс близнецов
Вопрос: будет ли близнец-путешественник, вернувшийся из космического странствия на сверхсветовом звездолёте моложе своего брата, остававшегося всё это время на Земле? Если исходить из теории относительности, то на Земле (по земному течению времени) прошло больше времени, чем в звездолёте, летящем со сверхсветовой скоростью, а значит, близнец-путешественник будет моложе.
Парадокс убитого дедушки
Представьте, что вы оказались в прошлом и убили своего дедушку до его знакомства с вашей бабушкой. Следует вывод, что вы не появитесь на свет и не сможете вернуться в прошлое, чтобы убить дедушку. Представленный парадокс наглядно демонстрирует невозможность путешествий в прошлое.
Парадокс предопределения
К примеру, человек оказывается в прошлом, имеет половой контакт со своей прабабушкой и зачинает её сына, т.е. своего деда. Это становится причиной череды потомков, включая родителей этого человека, а также его самого. Получается, что если бы этот человек не совершил путешествие в прошлое, он бы вообще никогда не появился на свет.
Это всего лишь несколько логических парадоксов, которые занимают сегодня умы многих людей. Пытливому уму не составит труда отыскать ещё не один десяток подобных (например, ). Изучению, опровержению или доказательству каждого из них можно посвятить немалое количество времени и сил. И, вполне вероятно, по поводу каждого парадокса у вас могут сформироваться свои личные оригинальные умозаключения. Но это и говорит нам о том, что, несмотря на преобладание в нашей жизни законов логики и причинно-следственных связей, не всё в нашей жизни зависит от них. Порой аналогичные логическим парадоксам противоречия возникают в повседневной жизни каждого человека. В любом случае, это прекрасная пища для ума и повод для размышлений.
Кстати, касаемо размышлений: на тему логических парадоксов есть очень интересная книга под названием «Гёдель, Ешер и Бах». Её автором является американский физик и информатик Даглас Хофштадтер.
Уважаемые читатели, было бы замечательно, если бы в своих комментариях вы привели несколько знакомых вам примеров логических парадоксов. А также нам будет интересно и ваше мнение по поводу значения логики в нашей жизни — Проголосуйте за одно из расположенных ниже утверждений.
Логические тупики (Парадоксы)
От софизмов следует отличать логические парадоксы (от греч. paradoxes – «неожиданный, странный»). Парадокс в широком смысле слова – это нечто необычное и удивительное, то, что расходится с привычными ожиданиями, здравым смыслом и жизненным опытом. Логический парадокс – это такая необычная и удивительная ситуация, когда два противоречащих суждения не только являются одновременно истинными (что невозможно в силу логических законов противоречия и исключенного третьего), но еще и вытекают друг из друга, друг друга обуславливают. Если софизм – это всегда какая-либо уловка, преднамеренная логическая ошибка, которую можно обнаружить, разоблачить и устранить, то парадокс представляет собой неразрешимую ситуацию, своего рода мыслительный тупик, «камень преткновения» в логике: за всю ее историю было предложено множество разнообразных способов преодоления и устранения парадоксов, однако ни один из них до сих пор не является исчерпывающим, окончательным и общепризнанным.
Наиболее известный логический парадокс – это парадокс «лжеца». Часто его называют «королем логических парадоксов». Он был открыт еще в Древней Греции. По преданию, философ Диодор Кронос дал обет не принимать пищи до тех пор, пока не разрешит этот парадокс и умер от голода, так ничего и не добившись; а другой мыслитель – Филет Косский впал в отчаяние от невозможности найти решение парадокса «лжеца» и покончил с собой, бросившись со скалы в море. Существует несколько различных формулировок данного парадокса. Наиболее коротко и просто он формулируется в ситуации, когда человек произносит простую фразу: Я лжец. Анализ этого элементарного и бесхитростного на первый взгляд высказывания приводит к ошеломляющему результату. Как известно, любое высказывание (в том числе и вышеприведенное) может быть истинным или ложным. Рассмотрим последовательно оба случая, в первом из которых это высказывание является истинным, а во втором – ложным.
Допустим, что фраза Я лжец истинна, т. е. человек, который произнес ее, сказал правду, но в этом случае он действительно лжец, следовательно, произнеся данную фразу, он солгал. Теперь предположим, что фраза Я лжец ложна, т. е. человек, который произнес ее, солгал, но в этом случае он не лжец, а правдолюб, следовательно, произнеся данную фразу, он сказал правду. Получается нечто удивительное и даже невозможное: если человек сказал правду, то он солгал; а если он солгал, то он сказал правду (два противоречащих суждения не только одновременно истинны, но и вытекают друг из друга).
Другой известный логический парадокс, обнаруженный в начале XX века английским логиком и философом
Бертраном Расселом, – это парадокс «деревенского парикмахера». Представим себе, что в некой деревне есть только один парикмахер, бреющий тех ее жителей, которые не бреются сами. Анализ этой незамысловатой ситуации приводит к необыкновенному выводу. Зададимся вопросом: может ли деревенский парикмахер брить самого себя? Рассмотрим оба варианта, в первом из которых он сам себя бреет, а во втором – не бреет.
Допустим, что деревенский парикмахер сам себя бреет, но тогда он относится к тем жителям деревни, которые бреются сами и которых не бреет парикмахер, следовательно, в этом случае, он сам себя не бреет. Теперь предположим, что деревенский парикмахер сам себя не бреет, но тогда он относится к тем жителям деревни, которые не бреются сами и которых бреет парикмахер, следовательно, в этом случае он сам себя бреет. Как видим, получается невероятное: если деревенский парикмахер сам себя бреет, то он сам себя не бреет; а если он сам себя не бреет, то он сам себя бреет (два противоречащих суждения являются одновременно истинными и взаимообуславливают друг друга).
Парадоксы «лжеца» и «деревенского парикмахера» вместе с другими подобными им парадоксами также называют антиномиями (от греч. antinomia – «противоречие в законе»), т. е. рассуждениями, в которых доказывается, что два высказывания, отрицающие друг друга, вытекают одно из другого. Считается, что антиномии представляют собой наиболее крайнюю форму парадоксов. Однако довольно часто термины «логический парадокс» и «антиномия» рассматриваются как синонимы.
Менее удивительную формулировку, но не меньшую известность, чем парадоксы «лжеца» и «деревенского парикмахера», имеет парадокс «Протагор и Эватл», появившийся, как и «лжец», еще в Древней Греции. В его основе лежит незатейливая на первый взгляд история, которая заключается в том, что у софиста Протагора был ученик Эватл, бравший у него уроки логики и риторики
(в данном случае – политического и судебного красноречия). Учитель и ученик договорились, что Эватл заплатит Протагору гонорар за обучение только в том случае, если выиграет свой первый судебный процесс. Однако по завершении обучения Эватл не стал участвовать ни в одном процессе и денег учителю, разумеется, не платил. Протагор пригрозил ему, что подаст на него в суд и тогда Эватлу в любом случае придется заплатить. «Тебя или присудят к уплате гонорара, или не присудят, – сказал ему Протагор, – если тебя присудят к уплате, ты должен будешь заплатить по приговору суда; если же тебя не присудят к уплате, то ты, как выигравший свой первый судебный процесс, должен будешь заплатить по нашему уговору». На это Эватл ему ответил: «Все правильно: меня или присудят к уплате гонорара, или не присудят; если меня присудят к уплате, то я, как проигравший свой первый судебный процесс, не заплачу по нашему уговору; если же меня не присудят к уплате, то я не заплачу по приговору суда». Таким образом, вопрос о том, должен Эватл заплатить Протагору гонорар или нет, является неразрешимым. Договор учителя и ученика, несмотря на его вполне невинный внешний вид, является внутренне, или логически, противоречивым, так как он требует выполнения невозможного действия: Эватл должен и заплатить за обучение, и не заплатить одновременно. В силу этого сам договор между Протагором и Эватлом, а также вопрос об их тяжбе представляет собой не что иное, как логический парадокс.
Отдельной группой парадоксов являются апории (от греч. aporia – «затруднение, недоумение») – рассуждения, которые показывают противоречия между тем, что мы воспринимаем органами чувств (видим, слышим, осязаем и т. п.), и тем, что можно мысленно проанализировать (проще говоря – противоречия между видимым и мыслимым). Наиболее известные апории выдвинул древнегреческий философ Зенон Элейский, который утверждал, что движение, наблюдаемое нами повсюду, невозможно сделать предметом мысленного анализа, т. е. движение можно видеть, но нельзя мыслить. Одна из его апорий называется «Дихотомия» (греч. dihotomia – «деление пополам»). Допустим, некоему телу надо пройти из пункта А в пункт В. Нет никакого сомнения в том, что мы можем увидеть, как тело, покинув один пункт, через какое-то время достигнет другого. Однако давайте не будем доверять своим глазам, которые говорят нам о том, что тело движется, и попытаемся воспринять движение не глазами, а мыслью, постараемся не увидеть его, а помыслить. В этом случае у нас получится следующее. Прежде чем пройти весь свой путь из пункта А в пункт В, телу надо пройти половину этого пути, ведь если оно не пройдет половину пути, то, конечно же, не пройдет и весь путь. Но прежде чем тело пройдет половину пути, ему надо пройти 1/4 часть пути. Однако до того, как оно пройдет эту 1/4 часть пути, ему надо пройти 1/8 часть пути; а еще раньше ему требуется пройти 1/16 часть пути, а перед этим – 1/32 часть, а прежде того – 1/64 часть, а до этого – 1/128 часть и так до бесконечности. Значит, чтобы пройти из пункта A в пункт В, телу надо пройти бесконечное количество отрезков этого пути. Возможно ли пройти бесконечность? Невозможно! Следовательно, тело никогда не сможет пройти свой путь. Таким образом, глаза свидетельствуют, что путь будет пройден, а мысль, наоборот, отрицает это (видимое противоречит мыслимому).
Другая известная апория Зенона Элейского – «Ахиллес и черепаха» – говорит о том, что мы вполне можем увидеть, как быстроногий Ахиллес догоняет и перегоняет медленно ползущую впереди него черепаху; однако мысленный анализ приводит нас к необычному заключению, что Ахиллес никогда не сможет догнать черепаху, хотя он и движется в 10 раз быстрее нее. Когда он преодолеет расстояние до черепахи, то она за это же время (ведь она тоже движется) пройдет в 10 раз меньше (так как движется в 10 раз медленнее), а именно 1/10 часть того пути, который прошел Ахиллес, и на эту 1/10 часть будет впереди него.
Когда Ахиллес пройдет эту 1/10 часть пути, то черепаха за это же время пройдет в 10 раз меньшее расстояние, т. е. 1/100 часть пути и на эту 1/100 часть будет впереди Ахиллеса. Когда он пройдет 1/100 часть пути, разделяющую его и черепаху, то она за это же время пройдет 1/1000 часть пути, все равно оставаясь впереди Ахиллеса, и так до бесконечности. Итак, мы вновь убеждаемся в том, что глаза говорят нам об одном, а мысль – о совершенно другом (видимое отрицается мыслимым).
Еще одна апория Зенона – «Стрела» – предлагает нам мысленно рассмотреть полет стрелы из одной точки пространства в другую. Наши глаза, конечно же, говорят о том, что стрела летит, или движется. Однако что будет, если мы попытаемся, отвлекаясь от зрительного впечатления, помыслить ее полет? Для этого зададим себе простой вопрос: где сейчас находится летящая стрела? Если, отвечая на данный вопрос, мы скажем, например, Она сейчас здесь, или Она сейчас тут, или Она сейчас там, то все эти ответы будут означать не полет стрелы, а как раз ее неподвижность, ведь находиться здесь, или тут, или там – означает именно покоиться, а не двигаться. Как же нам ответить на вопрос – где сейчас находится летящая стрела – таким образом, чтобы в ответе отразился ее полет, а не неподвижность? Единственно возможный в данном случае ответ должен быть таким: Она сейчас везде и нигде. Но разве возможно быть везде и нигде одновременно? Итак, при попытке помыслить полет стрелы мы натолкнулись на логическое противоречие, на нелепость – стрела находится везде и нигде. Получается, что движение стрелы вполне можно увидеть, но его нельзя помыслить, вследствие чего оно невозможно, как и любое движение вообще. Иначе говоря, двигаться, с точки зрения мысли, а не чувственных восприятий, означает – быть в некоем месте и не быть в нем одновременно, что, конечно же, невозможно.
В своих апориях Зенон столкнул на «очной ставке» данные органов чувств (говорящих о множественности, делимости и движении всего существующего, уверяющих нас, что быстроногий Ахиллес догонит медлительную черепаху, а стрела долетит до цели) и умозрение (которое не может помыслить движение или множественность объектов мира, не впадая при этом в противоречие).
Однажды, когда Зенон доказывал при стечении народа немыслимость и невозможность движения, среди его слушателей оказался не менее известный в Древней Греции философ Диоген Синопский. Ничего не говоря, он встал и начал расхаживать, полагая, что этим он лучше всяких слов доказывает реальность движения. Однако Зенон не растерялся и ответил: «Ты не ходи и руками-то не маши, а попробуй разумом разрешить сию сложную проблему». По поводу этой ситуации есть даже следующее стихотворение А. С. Пушкина:
Движенья нет, сказал мудрец брадатый,
Другой смолчал и стал пред ним ходить.
Сильнее бы не мог он возразить;
Хвалили все ответ замысловатый.
Но, господа, забавный случай сей
Другой пример на память мне приводит:
Ведь каждый день пред нами Солнце ходит,
Однако ж прав упрямый Галилей.
И действительно, видим же мы совершенно отчетливо, что Солнце движется по небу каждый день с востока на запад, а на самом-то деле оно неподвижно (по отношению к Земле). Так почему бы нам не предположить, что и другие объекты, которые мы видим движущимися, на самом деле могут быть неподвижными, и не спешить с утверждением о том, что элейский мыслитель был неправ?
Как уже отмечалось, в логике было создано много способов разрешения и преодоления парадоксов. Однако ни один из них не лишен возражений и не является общепризнанным. Рассмотрение этих способов – долгая и утомительная теоретическая процедура, которая остается в данном случае за пределами нашего внимания. Любознательный читатель сможет познакомиться с разнообразными подходами к решению проблемы логических парадоксов по дополнительной литературе. Логические парадоксы представляют собой свидетельство в пользу того, что логика, как, впрочем, и любая другая наука, является не завершенной, а постоянно развивающейся. По всей видимости, парадоксы указывают на какие-то глубокие проблемы логической теории, приоткрывают завесу над чем-то еще не вполне известным и понятным, намечают новые горизонты в развитии логики.