Логика: Логические парадоксы. Логические тупики (Парадоксы)

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

Человеку, занимающемуся математикой, очень часто приходится определять понятия, выяснять связи между ними, рассматривать, на какие группы (виды) могут быть подразделены фигуры, числа, уравнения функции. Но особенно часто в математике приходится путем рассуждений выводить разнообразные формулы, правила и доказывать теоремы. Не случайно находились такие математики, которые думали, что математика – это наука «о производстве необходимых умозаключений». Такой взгляд на математику односторонен, но верно то, что без логики не может быть математики. А это значит, что для успешного изучения математики надо настойчиво учиться правильно рассуждать. Это значит также, что само изучение математики очень полезно для овладения правилами и законами мышления. Не без оснований называют иногда математику «оселком для ума».

Логика – абстрактная наука. В ней нет экспериментов, нет даже фактов в обычном смысле этого слова. Строя свои системы, логика исходит в конечном счете из анализа реального мышления. Но результаты этого анализа носят синтетический характер. Они не являются констатациями каких-либо отдельных процессов или событий, которые должна была бы объяснить теория. Такой анализ нельзя назвать наблюдением: наблюдается всегда конкретное явление.

Исследование всевозможных логических цепочек (силлогизмов) привело к обнаружению знаменитых парадоксов и софизмов. Парадокс – ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами.

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

Пример силлогизма:

Всякий человек смертен (большая посылка)

Сократ – человек (меньшая посылка)

Сократ смертен (заключение)

Цель работы: в этой работе я продолжу развивать мысль своей прошлой работы. Я рассмотрю более подробно софизмы, познакомлю вас с логическими цепочками и с великим человекам, открывшие нам их законы. Изучу несколько новых парадоксов. А также опровергну или найду подтверждения своей гипотезе.

Гипотеза: при решении софизмов и парадоксов используется логика.

Логика ведет своё происхождение от ораторского искусства. Убедить собеседника невозможно, если оратор сам себе противоречит (уж если ты сказал, что снег белый, не следует ссылаться на его черноту). В Древней Греции, где важнейшие вопросы решались на советах, всякий уважающий себя философ, политический деятель или литератор старался строить речь так, чтобы она была доходчива и разумна. В античном мире чрезвычайно ценилось умение высказываться точно, кратко и остроумно.

Любовь к точной фразе привела древнегреческих философов к логике. Что из чего следует и почему? Можно ли, например, утверждать, что Сократ смертен, если дано, что все люди смертны и Сократ человек? Можно. А если дано, что все люди смертны и Сократ тоже смертен, верно ли, что Сократ человек? Неверно: вдруг Сократом зовут не только греческого мудреца, но и, скажем, его собаку?

Законы логики, правила вывода верных утверждений из заданных посылок наиболее полно исследовал великий древнегреческий философ Аристотель.

АРИСТОТЕЛЬ (384-322 до н. э.)

В 366 году до нашей эры в Академии Платона появился новый ученик. Он был родом из Стагира, и было ему 18 лет. Ученика звали Аристотель.

Почти 20 лет провел Аристотель в Академии. Из ученика он превратился в мудреца-философа, соперничавшего в знаниях и глубокомыслии с самим Платоном. Это соперничество подчас становилось весьма острым, но ни разу научные споры Платона с Аристотелем не переросли в личную вражду.

Вскоре после смерти Платона Аристотель покинул Академию. Македонский царь Филипп пригласил его воспитывать царевича Александра. В 335г. до н. э. Аристотель вернулся из Македонии в Афины, где основал собственную школу. Её название – Ликей – вошло впоследствии в латинский и во многие другие языки, изменившись на одну букву: лицей.

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

Вот несколько законов, сформулированных Аристотелем. Сякое суждение либо истинно, либо ложно. Ни одно суждение не может быть истинным и ложным одновременно. Из общих утверждений следуют частные (например, из того, что все люди смертны, следует, что Сократ тоже смертен). В течение многих веков научный авторитет Аристотеля был непререкаем.

«ИЛИ», «И», «ЕСЛИ» И «НЕ»

Всякое высказывание может быть истинным или ложным. Третий вариант трудно себе представить, поэтому древнегреческие философы и пользовались «принципом исключенного третьего» - считали, что не может утверждение быть и не истинным, и не ложным. Вслед за ними так считаем и мы. Логика без принципа «исключенного третьего» упоминается разве лишь в фантастических романах, да и то в шутку

А теперь попробуем собрать одно высказывание из двух частей. Как мы часто это делаем, соединим две фразы словечком «или». «В углу шуршит мышь или крокодил». Верно ли это высказывание? Зависит от того, кто на самом деле шуршит в углу. Если это и вправду мышь, фраза верна. Если (как ни трудно себе такое представить) это крокодил, опять же высказывание верно. Если в углу дружно шуршат мышь с крокодилом, она верна снова! И лишь если в углу нет ни мыши, ни крокодила, а шуршит сбежавший из клетки хомяк, высказывание оказывается ложным. Это – свойство, присущее именно «или»: два утверждения, связанные этим словом, составляют верное высказывание, если хотя бы одно из утверждений справедливо, и ложное, если оба утверждения неверны. А теперь составим маленькую табличку (здесь И – «истинное утверждение», Л – «ложное»):

И или И = И,

И или Л = И,

Л или И = И.

Л или Л = Л.

Сравним теперь, как себя ведет связка «и». Разберем пример: «Мимо окна летят воробей и летающая тарелка». Если за окном нет ни воробья, ни тарелки, это высказывание ложно. Если воробей есть, а тарелки нет – оно все равно ложно. Если есть тарелка, но нет воробья – то же самое. И лишь одновременное присутствие обоих означает. Что фраза истинна. Вот таблица истинности для словечка «и»:

Фраза, связанная этим словом, верна в том единственном случае, когда верна в том единственном случае, когда верны обе части!

В этом тексте несколько раз употреблялась конструкция фразы «если так, то будет эдак». Посмотрим, когда верно утверждение такого типа? Оно верно, если верна первая часть (посылка) и одновременно верна вторая (заключение). Оно неверно, если верна посылка, но неверен вывод: несомненно ложным является высказывание «если разбить чашку, то будет землетрясение». А если посылка неверна? Может показаться невероятным, но в этом случае высказывание истинно. Из ложной посылки следует что угодно! На самом деле ничего удивительного в этом нет: вам самим случалось, и не раз, употреблять фразы вроде «если 2х2=5, то я папа римский». Попробуйте доказать, что такое утверждение ложно! Оно означает лишь, что 2х2 не равно пяти, и вы не папа римский, следовательно, оно истинно. Получим такую таблицу истинности:

«И» и «или» - это элементарные действия логики, так же как сложение и умножение – это действия арифметики. Между логическими и арифметическими операциями есть некоторое сходство, и сейчас мы его продемонстрируем. Пусть у нас только две цифры, 0 и 1. Будем обозначать истину единицей, а ложь – нулем. Тогда наша табличка истинности для «или» напоминает таблицу двоичного сложения: 0+0=0; 1+0=1; 0+1=1, и только для «сложения» двух истин (1+1=1) мы получим не тот ответ, который дает нам двоичная арифметика (там 1+1=10), но по большому счету он не слишком сильно отличается от арифметического, ибо нуля мы не получим все равно. Результат же логического умножения – «и» - полностью совпадает с арифметическим: 0х0=0, 1х0=0, 0х1=0, 1х1=1.

Аналога операции «если» на первый взгляд в арифметике нет. Но если ввести ещё одно логическое действие, не рассмотренное нами подробно – «не», отрицание, устроенное чрезвычайно просто (не истина есть ложь, не ложь есть истина, т. е. в чистом виде закон исключенного третьего), - оказывается, можно выразить «если» через «или», «и» и «не». Самом деле, конструкция «А и В, или не А» ведет себя точно так же, как «если А, то В». Если А истинно, то не А ложно, и истинность всего высказывания зависит от истинности В; если же А ложно, то не А истинно, и независимо от истинности или ложности В высказывание будет верным.

Мы не зря упомянули здесь арифметическую аналогию логических операций. Поскольку можно (с некоторыми поправками) выразить цифрами и арифметическими знаками истинность или ложность высказываний, то можно научить логике вычислительную машину. Ей будут доступны все логические рассуждения, сколь угодно сложные – нужно лишь выразить их через «и», «или» и «не».

ПАРАДОКСЫ.

Парадокс (от греческого para – протии и doxa – мнение) – противоречивое высказывание.

В широком смысле парадокс – неочевидное высказывание, истинность которого устанавливается трудно; в этом смысле парадоксальными принято называть любые неожиданные противоречивые высказывания, особенно если неожиданность их смысла выражена в остроумной форме.

В математике парадокс – ситуация, когда в данной теории доказываются два взаимоисключающих суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами, т. е. парадокс – высказывание, которое в данной теории равным образом может быть доказано и как истина, и как ложь.

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

СОБАКА И ЗАЯЦ

На охоте собака погналась за зайцем, находившимся от неё на расстоянии 100 сажен, но не догнала его. Охотники были весьма огорчены подобной неудачей, но вот один из них и говорит: «Эх, господа, стоит ли расстраиваться из-за такого пустяка? Да и стоит ли вообще гонять собак за зайцами? Всё равно собака его никогда догнать не сможет, даже в том случае, если побежит со скоростью в 10 раз большею. »

Как так?! – изумились охотники. – Что за вздор?

Какой там вздор, господа! Вовсе не вздор! И я вас уверяю, что всегда так будет!

Ну, что за чепуха! - сказали слушавшие. – Объясните, пожалуйста, как это может случиться?

А вот как1 Положим, например, что собаку вначале отделяет от зайца расстояние в 100 сажен. Если даже собака будет бежать в 10 раз скорее зайца, то когда она пробежит эти 100 сажен, заяц успеет пробежать ещё 10 сажен. Когда собака пробежит и эти 10 сажен, заяц пробежит ещё 1 сажень, и все-таки будет впереди собаки; когда собака пробежит и эту сажень, то заяц пробежит снова 1/10 сажени и т. д. Таким образом, заяц всегда будет впереди собаки, хотя бы на небольшое расстояние. Следовательно, собака никогда не догонит зайца. Этот парадокс известен очень давно и носит название «парадокс Зенона об Ахиллесе и черепахе».

КУЧА ПЕСКА

Два приятеля однажды вели такой разговор. «Видишь кучу песка?» - спросил первый. «Я-то её вижу, - ответил второй, - но её нет на самом деле». Первый удивился: «Почему?» -Очень просто,- ответил второй. - Давай рассудим: одна песчинка, очевидно, не образует кучи песка. Если n песчинок не могут образовать кучи песка, то и после прибавления ещё одной песчинки они по-прежнему не могут образовать кучи. Следовательно, никакое число песчинок не образует кучи, т. е. кучи песка нет. Этот парадокс носит название «парадокс кучи».

ПАРАДОКС «ЛЖЕЦ»

Наиболее известным и самым интересным из всех логических парадоксов является парадокс «Лжец». «Я – лжец» - говорит некто и впадает в неразрешимое противоречие! Ведь если он действительно лжец, он солгал, говоря, что он лжец, и, следовательно, он не лжец; но если он не лжец, он сказал правду и, следовательно, он лжец.

Парадокс «Лжец» произвел громадное впечатление на греков. И легко понять почему. Вопрос, который в нем ставится, с первого взгляда кажется совсем простым: лжет ли тот, кто говорит только то, что он лжет? Но ответ «да» приводит к ответу «нет», и наоборот. И размышление ничуть не проясняет ситуацию. За простотой и даже обыденностью вопроса оно открывает какую-то неясную и неизмеримую глубину.

Ходит даже легенда, что некий Филлит Косский, отчаявшись разрешить этот парадокс, покончил с собой. Говорят также, что один из известных древнегреческих логиков, Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «Лжеца», и вскоре умер, так ничего и не добившись.

Софизмом называется умышленное умозаключение, которое имеет видимость правильного. Каков бы ни был софизм, он обязательно содержит одну или несколько замаскированных ошибок. Особенно часто в математических софизмах выполняются «запрещенные» действия или не учитываются условия применимости теорем, формул и правил. Иногда рассуждения ведутся с использованием ошибочного чертежа или опираются на приводящие к ошибочным заключениям «очевидности». Встречаются софизмы, содержащие и другие ошибки.

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

Чем же полезны софизмы для изучающих математику?

Разбор софизмов прежде всего развивает логическое мышление, т. е. прививает навыки правильного мышления. Обнаружить ошибку в софизме – это значит осознать её, а осознание ошибки предупреждает от повторения её в других математических рассуждениях.

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

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

СОФИЗМ «РОГАТЫЙ»

То, что ты не потерял, ты имеешь; ты не потерял рога, следовательно, ты их имеешь.

Ошибка здесь состоит в неправильном переходе от общего правила к частному случаю, который этим правилом не предусмотрен. Действительно, начало первой фразы: «То, что ты не потерял» подразумевает под словом «то» - всё, что ты имеешь, и ясно, что в него не включены «рога». Поэтому заключение «ты имеешь рога» неправомерно.

РАВЕН ЛИ ПОЛНЫЙ СТАКАН ПУСТОМУ?

Оказывается, что да. Действительно, проведем следующее рассуждение. Пусть имеется стакан, наполненный водой до половины. Тогда можно написать, что стакан, наполовину полный равен стакану, наполовину пустому. Увеличивая обе части равенства вдвое, получим, что стакан полный равен стакану пустому.

Ясно, что приведенное рассуждение неверно, так как в нем применяется неправомерное действие: увеличение вдвое. В данной ситуации его применение бессмысленно.

ПОСЛЕДНИЕ ГОДЫ НАШЕЙ ЖИЗНИ КОРОЧЕ, ЧЕМ ПЕРВЫЕ.

Известно старое изречение: в молодости время идёт медленнее, а в старости скорее. Это изречение можно доказать математически. Действительно, человек в течение тридцатого года проживает 1/30 часть своей жизни, в течение сорокового года – 1/40 часть, в течение пятидесятого – 1/50 часть, в течение шестидесятого – 1/60 часть. Совершенно очевидно, что

1/30>1/40>1/50>1/60, откуда ясно, что последние годы нашей жизни короче первых.

Не подвела ли математика?

Действительно, верно, что 1/30>1/40>1/50>1/60. Но неверно утверждение, что в течение тридцатого года человек проживает 1/30 часть своей жизни, он проживает 1/30 только той части жизни, которую он к этому моменту прожил, но именно части, а не всей жизни. Нельзя сравнивать между собой части различных отрезков времени.

ДВАЖДЫ ДВА РАВНО ПЯТИ.

Напишем тождество 4:4=5:5. Вынеся их каждой части тождества общие множители за скобки, получаем: 4∙ (1:1) = 5∙ (1:1) или (2 ∙2) ∙ (1:1) = 5∙ (1:1).

Так как 1:1=1, то 2∙2=5.

Ошибка сделана при вынесении общих множителей 4 из левой части и 5 из правой части. Действительно, 4:4=1:1, но 4:4 ≠ 4∙(1:1).

ЛЮБОЕ ЧИСЛО РАВНО НУЛЮ.

Пусть a – любое фиксированное число. Рассмотрим уравнение 3х2-3ах+а2=0. Перепишем его следующим образом: 3х2-3ах=-а2. Умножая обе части его на –а, получим уравнение -3х2а+3а2х=а3. Прибавляя к обеим частям этого уравнения х3-а3, получаем уравнение х3-3ах2+3а2х-а3=х3 или (х-а)3=х3, откуда х-а=х, т. е. а=0.

При а≠0 не существует числа х, удовлетворяющего уравнению 3х2-3ах+а2=0. Это следует из того, что дискриминант этого квадратного уравнения D= -3а2

В ходе работы моя гипотеза подтвердилась: софизмы и парадоксы строятся исключительно по законам логики.

Рассмотренные парадоксы и софизмы – это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем откроют и многие другие парадоксы, и даже совершенно новые их типы.

С течением времени отношение к парадоксам стало более спокойным и даже более терпимым, чем в момент их обнаружения. Дело не только в том, что парадоксы сделались чем-то привычным. И не в том, что с ними смирились. Поиски их решений активно продолжаются. Ситуация изменилась прежде всего потому, что парадоксы оказались локализованными. Они обрели своё определенное место в широком спектре логических исследований. Стало ясно, что абсолютная строгость – это в принципе недостижимый идеал.

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

ПАРАДОКС ЛОГИЧЕСКИЙ

ПАРАДОКС ЛОГИЧЕСКИЙ

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

Философский энциклопедический словарь . 2010 .

ПАРАДОКС ЛОГИЧЕСКИЙ

Развитие современных логических методов привело к новым логическим парадоксам. Напр., Брауэр указал на следующий парадокс классического существования: в любой достаточно сильной классической теории имеется доказуемая формула вида ЭхА(х), для которой нельзя построить никакого конкретного t, такого, чтодоказуемо A(t).

В частности, нельзя построить в теории множеств ни одной нестандартной модели действительных чисел, хотя можно доказать таких моделей. Этот парадокс показывает, что понятия существования и возможности построения необратимо расходятся в классической математике.

Далее, нестандартные модели, которые потребовали явного различения языка и метаязыка, привели к следующему парадоксу: “Множество всех стандартных действительных чисел является частью нестандартного конечного множества. Т. о., может быть частью конечного”.

Этот парадокс резко противоречит обыденному пониманию соотношения конечного и бесконечного. Он основан на том, что “быть стандартным” принадлежит метаязыку, но может быть точно интерпретировано в нестандартной модели. Поэтому в нестандартной модели можно говорить об истинности и ложности любых математических утверждений, включающих понятие “быть (нестандартным”, но для них не обязаны сохраняться свойства стандартной модели, за исключением логических тавтологий. Данный парадокс стал основой теории полумножеств, в которой могут быть подклассами множеств.

И наконец, последний класс логических парадоксов возникает на границах между формализованными и неформализуемыми понятиями. Рассмотрим один из них ( Саймона); “Все, что может быть выражено точно, может быть выражено на языке машин Тьюринга. Поэтому в гуманитарных науках могут рассматриваться лишь те модели, которые выразимы на языке машин Тьюринга. Более того, согласно методу диагонализации, любое точное возражение против данной точки зрения само переводится на машин Тьюринга и включается в нее”.

Этот парадокс стимулировал появление теории неформализуемых понятий, но ввиду того, что он не был сразу осознан как парадокс, заодно привел к печальным последствиям, поскольку этот , в котором спутаны принципиальная выразимость (требующая нереальных ресурсов) и реальные описания, был воспринят как точное рассуждение и, как отмечено в трудах по когнитивной науке, парализовал почти на 10 лет западную психологию. Отрицание аргумента Саймона после осознания его софистической природы было построено так, что привело к полному отказу от точных понятий и тем самым по существу послужило мотивом для течений типа постмодернизма. В данном случае была допущена логическая ошибка подмены противоречащего суждения противоположным.

Я. Я. Непейвода

Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .

Смотреть что такое "ПАРАДОКС ЛОГИЧЕСКИЙ" в других словарях:

- (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… … Философская энциклопедия

Парадокс Галилея пример, иллюстрирующий свойства бесконечных множеств. В двух словах: натуральных чисел столько же, сколько квадратов натуральных чисел, то есть в множестве 1, 2, 3, 4 … столько же элементов, сколько в множестве 1, 4, 9, 16… … Википедия

Парадокс - (от греч. paradoxos неожиданный, странный) 1) мнение, рассуждение или вывод, резко, неожиданно, непривычно расходящееся с общепринятым, противоречащее (иногда только на первый взгляд) здравому смыслу; 2) необычное, неожиданное явление, не… … Начала современного естествознания

Парадокс убитого дедушки предлагаемый парадокс, касающийся путешествия во времени, впервые описанный (именно под этим названием) писателем фантастом Рене Баржавелем в своей книге 1943 года Le Voyageur Imprudent. Парадокс заключается в… … Википедия

Парадокс Смейла. Одна из промежуточных конфигураций, Поверхность Морина (англ.) Парадокс … Википедия

Парадокс сатанинской бутылки Стивенсона логический парадокс, описанный в сказке Р. Л. Стивенсона «Сатанинская бутылка». Содержание 1 Сюжет 2 Суть парадокса 3 См. также … Википедия

Парадокс неожиданной казни логический парадокс, также известный как парадокс узника. Первым (в июле 1948) опубликовал статью об этом парадоксе Д.Дж.О’Коннор, философ из Эксетерского университета. В формулировке О’Коннора фигурировал офицер,… … Википедия

парадокс - ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… … Энциклопедия эпистемологии и философии науки

Что такое парадокс? Парадоксом называются два несовместимых и противоположных утверждения, имеющие убедительные аргументы каждый в свою сторону. Наиболее ярко выраженной формой парадокса является антиномия – рассуждение, которое доказывает равносильность утверждений, одно из которых представляет собой явное отрицание другого. И особого внимания заслуживают именно парадоксы в наиболее точных и строгих науках, таких как, например, логика.

Логика, как известно, является абстрактной наукой. В ней нет места экспериментам и каким-либо конкретным фактам в обычном их понимании; она всегда предполагает анализ реального мышления. Но расхождения в теории логики и практике реального мышления всё же имеют место быть. И самым явным подтверждением этому служат логические парадоксы, а иногда даже логическая антиномия, олицетворяющая собой противоречивость самой логической теории. Именно это и объясняет значение логических парадоксов и то внимание, которое уделяется этим парадоксам в логической науке. Ниже мы познакомим вас с самыми яркими примерами логических парадоксов. Эта информации будет непременно интересна как тем, кто углублённо изучает логику, так и тем, кто просто любит узнавать новую и интересную информацию.

Начнём же мы с парадоксов, составленных древнегреческим философом Зеноном Элейским, жившим в V веке до н.э. Его парадоксы получили название «Апории Зенона» и даже имеют свою трактовку.

Апории Зенона

Апории Зенона являются внешне парадоксальными рассуждениями о движении и множестве. Всего современниками Зенона было упомянуто свыше 40 апорий (кстати, слово «апория» с древнегреческого языка переводится как «трудность») его авторства, однако до нашего времени дошли только девять из них. При желании вы можете ознакомиться с ними в трудах Аристотеля, Диогена Лаэртского, Платона, Фемистия, Филопона, Элия и Сипмликия. Мы же приведём в пример три самые известные.

Ахиллес и черепаха

Представим, что Ахиллес бежит со скоростью, в десять раз превышающей скорость черепахи, и находится от неё на расстоянии в тысячу шагов позади. Пока Ахиллес пробежит тысячу шагов, черепаха сделает только сто. Пока Ахиллес преодолеет ещё сотню, черепаха успеет сделать десять и т.д. И этот процесс будет продолжаться бесконечно долго и Ахиллес никогда не догонит черепаху.

Дихотомия

Для того чтобы преодолеть определённый путь, нужно изначально преодолеть его половину, а чтобы преодолеть половину, нужно преодолеть половину этой половины и т.д. Исходя из этого, движение никогда так и не начнётся.

Летящая стрела

Летящая стрела всегда остаётся на месте, т.к. в любой момент времени она находится в состоянии покоя, а поскольку она в состоянии покоя в любой момент времени, она находится в состоянии покоя всегда.

Здесь же будет уместно привести ещё один парадокс.

Парадокс лжеца

Авторство этого парадокса приписывается древнегреческому жрецу и провидцу Эпимениду. Парадокс звучит так: «То, что я в данный момент говорю — ложь», т.е. выходит: либо «Я лгу», либо «Моё высказывание — ложно». Это значит, что если высказывание правдиво, то, основываясь на его содержании, оно является ложью, но если это высказывание изначально ложно, то его и утверждение — ложь. Получается, ложно, что это высказывание – ложь. Следовательно, высказывание правдиво – это вывод возвращает нас к началу наших рассуждений.

В наше время парадокс лжеца рассматривается в качестве одной из формулировок парадокса Рассела.

Парадокс Рассела

Парадокс Рассела был открыт в 1901 году британским философом Бертраном Расселом, а позже его независимо переоткрыл немецкий математик Эрнст Цермело (иногда этот парадокс называют «парадоксом Рассела-Цермело»). Данный парадокс демонстрирует противоречивость логической системы Фреге, в которой математика сводится к логике. У парадокса Рассела есть несколько формулировок:

• Парадокс всемогущества – способно ли всемогущее существо создать что-либо, что может ограничить его всемогущество?
• Допустим, какая-то библиотека поставила задачу составить один большой библиографический каталог, в который должны входить все и лишь те библиографические каталоги, в которых не содержится ссылок на самих себя. Вопрос: нужно ли включить в этот каталог ссылку на него?
• Например, в какой-то стране вышел закон о том, что мэрам всех городов запрещено жить в своём городе, и разрешено жить только в «Городе мэров». Где, в таком случае, будет жить мэр этого города?
• Парадокс брадобрея – в деревне только один брадобрей, и ему приказано брить всех, кто не бреется сам, и не брить тех, кто сам бреется. Вопрос: кто должен брить брадобрея?

Не менее интересны и занятны следующие парадоксы.

Парадокс Бурали-Форти

Предположение о том, что идея о возможности множества порядковых чисел может привести к противоречиям, а это значит, что противоречивой будет теория множеств, в которой возможно построение множества порядковых чисел.

Парадокс Кантора

Предположение о возможности множества всех множеств может привести к противоречиям, а это значит, что противоречивой будет и теория, согласно которой возможно построение такого множества.

Парадокс Гильберта

Идея о том, что если все номера в гостинице с бесконечным количеством номеров заняты, в неё в любом случае можно поселить ещё людей, и их число может быть бесконечным. В этом парадоксе объясняется, что законы логики абсолютно неприемлемы к свойствам бесконечности.

Ложный вывод Монте-Карло

Вывод о том, что, играя в рулетку, можно смело ставить на красный цвет, если чёрный выпал десять раз подряд. Данный вывод считается ложным по той причине, что, согласно теории вероятностей, на наступление любого последующего события не оказывает никакого влияния событие, ему предшествующее.

Парадокс Эйнштейна-Подольского-Розена

Вопрос о том, способны ли развивающиеся вдали друг от друга процессы и события оказывать друг на друга влияние? К примеру, воздействует ли каким-либо образом рождение в отдалённой галактике сверхновой звезды на погоду в Москве? В качестве ответа можно привести следующее: исходя из законов квантовой механики, такое влияние невозможно по причине того, что как скорость света, так и скорость переноса информации являются конечными величинами, а Вселенная является бесконечной.

Парадокс близнецов

Вопрос: будет ли близнец-путешественник, вернувшийся из космического странствия на сверхсветовом звездолёте моложе своего брата, остававшегося всё это время на Земле? Если исходить из теории относительности, то на Земле (по земному течению времени) прошло больше времени, чем в звездолёте, летящем со сверхсветовой скоростью, а значит, близнец-путешественник будет моложе.

Парадокс убитого дедушки

Представьте, что вы оказались в прошлом и убили своего дедушку до его знакомства с вашей бабушкой. Следует вывод, что вы не появитесь на свет и не сможете вернуться в прошлое, чтобы убить дедушку. Представленный парадокс наглядно демонстрирует невозможность путешествий в прошлое.

Парадокс предопределения

К примеру, человек оказывается в прошлом, имеет половой контакт со своей прабабушкой и зачинает её сына, т.е. своего деда. Это становится причиной череды потомков, включая родителей этого человека, а также его самого. Получается, что если бы этот человек не совершил путешествие в прошлое, он бы вообще никогда не появился на свет.

Это всего лишь несколько логических парадоксов, которые занимают сегодня умы многих людей. Пытливому уму не составит труда отыскать ещё не один десяток подобных (например, ). Изучению, опровержению или доказательству каждого из них можно посвятить немалое количество времени и сил. И, вполне вероятно, по поводу каждого парадокса у вас могут сформироваться свои личные оригинальные умозаключения. Но это и говорит нам о том, что, несмотря на преобладание в нашей жизни законов логики и причинно-следственных связей, не всё в нашей жизни зависит от них. Порой аналогичные логическим парадоксам противоречия возникают в повседневной жизни каждого человека. В любом случае, это прекрасная пища для ума и повод для размышлений.

Кстати, касаемо размышлений: на тему логических парадоксов есть очень интересная книга под названием «Гёдель, Ешер и Бах». Её автором является американский физик и информатик Даглас Хофштадтер.

Уважаемые читатели, было бы замечательно, если бы в своих комментариях вы привели несколько знакомых вам примеров логических парадоксов. А также нам будет интересно и ваше мнение по поводу значения логики в нашей жизни — Проголосуйте за одно из расположенных ниже утверждений.

2. Парадокс. Понятие, примеры

Переходя к вопросу о парадоксах, нельзя не сказать о соотношении их с софизмами. Дело в том, что четкой грани, по которой можно понять, с чем приходится иметь дело, иногда нет.

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

Сказанное может означать, что современный подход к софизмам не охватывает всего объема проблемы. Многие парадоксы толкуются как софизмы, хотя не теряют своих первоначальных свойств.

Парадоксом можно назвать рассуждение, которое доказывает не только истинность, но и ложность некоторого суждения, т. е. доказывающее как само суждение, так и его отрицание. Другими словами, парадокс - это два противоположных, несовместимых утверждения, для каждого из которых имеются кажущиеся убедительными аргументы.

Один из первых и, безусловно, образцовых парадоксов был записан Эвбулидом - греческим поэтом и философом, критянином. Парадокс носит название «Лжец». До нас этот парадокс дошел в таком виде: «Эпименид утверждает, что все критяне - лжецы. Если он говорит правду, то он лжет. Лжет ли он или же говорит правду?». Этот парадокс именуется «королем логических парадоксов». Разрешить его до настоящего времени не удалось никому. Суть этого парадокса состоит в том, что когда человек говорит: «Я лгу», он не лжет и не говорит правду, а, точнее, делает одновременно и то и это. Другими словами, если предположить, что человек говорит правду, выходит, что он на самом деле лжет, а если он лжет, значит, раньше он сказал правду об этом. Здесь утверждаются оба противоречащих факта. Само собой, по закону исключенного третьего это невозможно, однако именно поэтому данный парадокс и получил столь высокий «титул».

В развитие теории пространства и времени большой вклад внесли жители города Элея, элеаты. Они опирались на идею о невозможности небытия, которая принадлежит Пармениду. Всякая мысль согласно этой идее есть мысль о существующем. При этом отрицалось любое движение: мировое пространство считалось целостным, мир единым, без частей.

Древнегреческий философ Зенон Элейский известен тем, что составил серию парадоксов о бесконечности - так называемые апории Зенона.

Зенон, ученик Парменида, развивал эти идеи, за что был назван Аристотелем «родоначальником диалектики». Под диалектикой понималось искусство достигать истины в споре, выявляя противоречия в суждении противника и уничтожая их.

«Ахиллес и черепаха» представляет собой апорию о движении. Как известно, Ахиллес - это древнегреческий герой. Он обладал недюжинными способностями в спорте. Черепаха очень медлительное животное. Однако в апории Ахиллес проигрывает черепахе состязание в беге. Допустим, Ахиллесу нужно пробежать расстояние, равное 1, а бежит он в два раза быстрее черепахи, последней нужно пробежать 1/2. Движение их начинается одновременно. Получается, что, пробежав расстояние 1/2, Ахиллес обнаружит, что черепаха успела за то же время преодолеть отрезок 1/4. Сколько бы ни пытался Ахиллес обогнать черепаху, она будет находиться впереди ровно на 1/2. Поэтому Ахиллесу не суждено догнать черепаху, это движение вечно, его нельзя завершить.

Невозможность завершить эту последовательность заключается в том, что в ней отсутствует последний элемент. Всякий раз, указав очередной член последовательности, мы можем продолжить указанием следующего.

Парадоксальность здесь заключается в том, что бесконечная последовательность следующих друг за другом событий на самом деле все-таки должна завершиться, хотя бы мы и не могли себе представить этого завершения.

Другая апория носит название «дихотомия». Рассуждение построено на тех же принципах, что и предыдущее. Для того чтобы пройти весь путь, необходимо пройти половину пути. В этом случае половина пути становится путем, и чтобы его пройти, необходимо отмерить половину (т. е. уже половину половины). Так продолжается до бесконечности.

Здесь порядок следования по сравнению с предыдущей апорией перевернут, т. е. (1/2)n…, (1/2)3, (1/2)2, (1/2)1. Ряд тут не имеет первой точки, тогда как апория «Ахиллес и черепаха» не имела последней.

Из этой апории делается вывод, что движение не может начаться. Исходя из рассмотренных апорий движение не может закончиться и не может начаться. Значит, его нет.

Опровержение апории «Ахиллес и черепаха».

Как и в апории, в опровержении ее фигурирует Ахиллес, но не одна, а две черепахи. Одна из них находится ближе другой. Движение также начинается одновременно. Ахиллес бежит последним. За то время, как Ахилл пробежит разделяющее их вначале расстояние, ближняя черепаха успеет уползти несколько вперед, что будет продолжаться до бесконечности. Ахиллес будет все ближе и ближе к черепахе, но никогда не сможет ее догнать. Несмотря на явную ложность, логического опровержения такому утверждению нет. Однако если Ахиллес станет догонять дальнюю черепаху, не обращая внимания на ближнюю, он, согласно этой же апории, сумеет вплотную приблизиться к ней. А раз так, то он обгонит ближнюю черепаху.

Это приводит к логическому противоречию.

Для опровержения опровержения, т. е. защиты апории, что само по себе странно, предлагают откинуть груз образных представлений. И выявить формальную суть дела. Здесь следует сказать, что сама апория основывается на образных представлениях и откинуть их - значит опровергнуть и ее. А опровержение достаточно формально. То, что вместо одной в опровержении взято две черепахи, не делает его более образным, нежели апорию. Вообще же сложно говорить о понятиях, не основанных на образных представлениях. Даже такие высшей абстракции философские понятия, как бытие, сознание и другие, понимаются только благодаря образам, соответствующим им. Без образа, стоящего за словом, последнее оставалось бы лишь набором символов и звуков.

Стадий подразумевает существование неделимых отрезков в пространстве и движение в нем объектов. Эта апория основана на предыдущих. Берется один недвижимый ряд объектов и два двигающихся по направлению друг к другу. При этом каждый двигающийся ряд по отношению к недвижимому проходит за единицу времени лишь один отрезок. Однако по отношению к движущемуся - два. Что признается противоречивым. Также говорится, что в промежуточном положении (когда один ряд уже как бы сдвинулся, другой нет) нет места для неподвижного ряда. Промежуточное положение происходит из того, что отрезки неделимы и движение, хотя бы и начатое одновременно, должно пройти промежуточный этап, когда первое значение одного движущегося ряда совпадает со вторым значением второго (движение при условии неделимости отрезков лишено плавности). Состояние же покоя - когда вторые значения всех рядов совпадают. Неподвижный ряд, если предположить одновременность движения рядов, должен в промежуточном положении находиться между движущимися рядами, а это невозможно, так как отрезки неделимы.

Из книги Логика: конспект лекций автора Шадрин Д А

1. Софизмы. Понятие, примеры Раскрывая данный вопрос, необходимо сказать, что любой софизм является ошибкой. В логике выделяют также паралогизмы. Отличие этих двух видов ошибок состоит в том, что первая (софизм) допущена умышленно, вторая же (паралогизм) - случайно.

Из книги Рыцарь и Буржуа [Исследования по истории морали] автора Оссовская Мария

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

Из книги Избранное. Логика мифа автора Голосовкер Яков Эммануилович

ГЛАВА I ПОНЯТИЕ ОБРАЗЦА И ПОНЯТИЕ ПОДРАЖАНИЯ Следует выбрать кого-нибудь из людей добра и всегда иметь его перед глазами, - чтобы жить так, словно он смотрит на нас, и так поступать, словно он видит нас. Сенека. Нравственные письма к Луцилию, XI, 8 Возьми себе, наконец, за

Из книги Человек среди учений автора Кротов Виктор Гаврилович

2. Понятие о микрообъекте как понятие о транссубъективной реальности или о транссубъективном предмете, именуемом «объект науки», которое приложимо к эстетикеЭто не предмет моих внешних чувств, сущий вне меня и моего сознания: не нечто объективно-реальное.Это не предмет

Из книги Хаос и структура автора Лосев Алексей Федорович

Примеры средств ориентирования Инстинкт – это лоцман тела. Включая, конечно, биологическую, бессознательную часть психики. Он роднит человека со всем остальным живым миром и становится первым нашим рабочим инструментом с самого начала жизни. От нас зависит, насколько мы

Из книги Искусство правильно мыслить автора Ивин Александр Архипович

Примеры ориентиров Цели – ориентиры, намеченные для достижения. Но достигнутая цель – это всего лишь конец одного перехода, совпадающий с началом следующего.Ценности – чисто внутренние ориентиры, связанные с разными измерениями жизни, но имеющие некоторую общую основу

Из книги Учебник логики автора Челпанов Георгий Иванович

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

Из книги Германская военная мысль автора Залесский Константин Александрович

Примеры систем ориентирования Правила игры – вот простейший пример системы ориентирования. Любая игра создаёт свой виртуальный мир с определённой системой ориентирования, явной (как в шахматах) или скрытой (как в сложных компьютерных играх). Но дело, как известно, не

Из книги МИР ТИШИНЫ автора Пикар Макс

6. ПРИМЕРЫ ИЗ НАУК Итак, приведем несколько примеров из конкретной науки, относящихся к «предельному» пониманию логического мышления.Возьмем такое математическое понятие, как «корень», напр. «квадратный корень». Это простейшее понятие есть прекрасный пример для

Из книги Основы теории аргументации [Учебник] автора Ивин Александр Архипович

ЕЩЕ ПРИМЕРЫ В «Исторических материалах» Козьмы Пруткова повествуется о герцоге де Рогане, которому врач прописал принимать особое лекарство по двадцать капель в воде. Когда на другой день врач зашел к больному, тот сидел в холодной ванне н спокойно пил ложечкой

Из книги Логика автора Шадрин Д. А.

Примеры сведений Возьмём теперь все модусы второй, третьей и четвёртой фигур, и сведём их по очереди к первой фигуре.Фигура 2. Модус Cesare П1: Ни один зомби не является вегетарианцем. (Е) П2: Все участники ru_vegetarian (http://ru_vegetarian.livejournal.com/) - вегетарианцы. (А) З: Ни один участник

Из книги автора

Глава 6 Примеры Исторические примеры все делают ясным и, кроме того, представляют собой самое лучшее доказательство в науках, исходящих из опыта. Более, чем где-либо, это наблюдается в военном искусстве.Генерал Шарнхорст, который в своем «Спутнике» лучше всех писал о

Из книги автора

3. Примеры Когда в 1814 г. союзники заняли столицу Бонапарта, цель войны была достигнута. Начали сказываться политические расслоения, базой которых являлся Париж, и огромная трещина вызвала крушение мощи императора. Все это надлежит рассматривать с той точки зрения, что с

Из книги автора

ПРИМЕРЫ ПЕРВОБЫТНЫЕ НАРОДЫ Куда ушла моя душа?Вернись назад, вернись.Она забралась далеко на Юг,Южнее самых южных нам племён.Вернись назад, вернись.Куда ушла моя душа?Вернись назад, вернись.Она забралась далеко на Восток,Восточней самых восточных нам племён.Вернись

Из книги автора

3. Факты как примеры Эмпирические данные могут использоваться в ходе аргументации в качестве примеров, иллюстраций и образцов. Выступая в качестве примера факт или частный случай делает возможным обобщение; в качестве иллюстрации он подкрепляет уже установленное

Из книги автора

1. Введение в курс логики В своем развитии человечество прошло длинный путь – от далеких времен, когда первым представителям нашего рода приходилось ютиться в пещерах, до городов, в которых живем мы и наши современники. Такой временной разрыв не повлиял на сущность