ЧТО ТАКОЕ ЛОГИЧЕСКИЙ ПАРАДОКС? - раздел Право, ПО ЗАКОНАМ ЛОГИКИ Никакого Исчерпывающего Перечня Логических Парадоксов Не Существует, Да Он И ...
Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен.
Рассмотренные парадоксы — это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем будут открыты и многие другие и даже совершенно новые их типы. Само понятие парадокса не является настолько определенным, чтобы удалось составить список хотя бы уже известных парадоксов.
«Теоретико-множественные парадоксы являются очень серьезной проблемой, не для математики, однако, а скорее для логики и теории познания», — пишет австрийский математик и логик К. Гёдель. «Логика непротиворечива. Не существует никаких логических парадоксов, — утверждает советский математик Д. Бочвар. — Такого рода расхождения иногда существенны, иногда словесны. Дело во многом в том, что именно понимается под «логическим парадоксом».
Необходимым признаком логических парадоксов считается логический словарь. Парадоксы, относимые к логическим, должны быть сформулированы в логических терминах. Однако в логике нет четких критериев деления терминов на логические и внелогические. Логика, занимающаяся правильностью рассуждений, стремится свести понятия, от которых зависит правильность практически применяемых выводов, к минимуму. Но этот минимум не предопределен однозначно. Кроме того, в логических терминах можно сформулировать и внелогические утверждения. Использует ли конкретный парадокс только чисто логические посылки, далеко не всегда удается определить однозначно.
Логические парадоксы не отделяются жестко от всех иных парадоксов, подобно тому как последние не отграничиваются ясно от всего непарадоксального и согласующегося с господствующими представлениями.
На первых порах изучения логических парадоксов казалось, что их можно выделить по нарушению некоторого, еще не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введенный Б. Расселом «принцип порочного круга». Этот принцип утверждает, что совокупность объектов не может содержать членов, определимых только посредством этой же совокупности.
Все парадоксы имеют одно общее свойство — самоприменимость, или циркулярность. В каждом из них объект, о котором идет речь, характеризуется посредством некоторой совокупности объектов, к которой он сам принадлежит. Если мы выделяем, например, человека как самого хитрого в классе, мы делаем это при помощи совокупности людей, к которой относится и данный человек (при помощи «его класса»). И если мы говорим: «Это высказывание ложно», мы характеризуем интересующее нас высказывание путем ссылки на включающую его совокупность всех ложных высказываний.
Во всех парадоксах имеет место самоприменимость, а значит, есть как бы движение по кругу, приводящее в конце концов к исходному пункту. Стремясь охарактеризовать интересующий нас объект, мы обращаемся к той совокупности объектов, которая включает его. Однако оказывается, что сама она для своей определенности нуждается в рассматриваемом объекте и не может быть ясным образом понята без него. В этом круге, возможно, и кроется источник парадоксов.
Ситуация осложняется, однако, тем, что такой круг имеется также во многих совершенно непарадоксальных рассуждениях. Циркулярным является огромное множество самых обычных, безвредных и вместе с тем удобных способов выражения. Такие примеры, как «самый большой из всех городов», «наименьшее из всех натуральных чисел», «один из электронов атома железа» и т. п., показывают, что далеко не всякий случай самоприменимости ведет к противоречию и что она важна не только в обычном языке, но и в языке науки.
Простая ссылка на использование самоприменимых понятий недостаточна, таким образом, для дискредитации парадоксов. Необходим еще какой-то дополнительный критерий, отделяющий самоприменимость, ведущую к парадоксу, от всех иных ее случаев.
Было много предложений на этот счет, но удачного уточнения циркулярности так и не было найдено. Невозможным оказалось охарактеризовать циркулярность таким образом, чтобы каждое циркулярное рассуждение вело к парадоксу, а каждый парадокс был итогом некоторого циркулярного рассуждения.
Попытка найти какой-то специфический принцип логики, нарушение которого было бы отличительной особенностью всех логических парадоксов, ни к чему определенному не привела.
Несомненно полезной была бы какая-то классификация парадоксов, подразделяющая их на типы и виды, группирующая одни парадоксы и противопоставляющая их другим. Однако и в этом деле ничего устойчивого не было достигнуто.
Английский логик Ф. Рамсей, умерший в 1930 году, когда ему еще не исполнилось и двадцати семи лет, предложил разделить все парадоксы на синтаксические и семантические. К первым относится, например, парадокс Рассела, ко вторым — парадоксы «лжеца», Греллинга и др.
По мнению Ф. Рамсея, парадоксы первой группы содержат только понятия, принадлежащие логике или математике. Вторые включают такие понятия, как «истина», «определимость», «именование», «язык», не являющиеся строго математическими, а относящиеся скорее к лингвистике или даже теории познания. Семантические парадоксы обязаны, как кажется, своим возникновением не какой-то ошибке в логике, а смутности или двусмысленности некоторых нелогических понятий, поэтому поставленные ими проблемы касаются языка и должны решаться лингвистикой.
Ф. Рамсею казалось, что математикам и логикам незачем интересоваться семантическими парадоксами.
В дальнейшем оказалось, однако, что некоторые из наиболее значительных результатов современной логики были получены как раз в связи с более глубоким изучением именно этих «нелогических» парадоксов.
Предложенное Ф. Рамсеем деление парадоксов широко использовалось на первых порах и сохраняет некоторое значение и теперь. Вместе с тем становится все яснее, что это деление довольно-таки расплывчато и опирается по преимуществу на примеры, а не на углубленный сопоставительный анализ двух групп парадоксов. Семантические понятия сейчас получили точные определения, и трудно не признать, что эти понятия действительно относятся к логике. С развитием семантики, определяющей свои основные понятия в терминах теории множеств, различие, проведенное Ф. Рамсеем, все более стирается.
Все темы данного раздела:
ПО ЗАКОНАМ ЛОГИКИ
Несколько вступительных слов
ГЛАВА 1 ПОНЯТЬ ПОНИМАНИЕ
человеческая коммуникация: естественность и простота
понимание — ключевая проблема
интеллект и эмоции
НЕСКОЛЬКО ВСТУПИТЕЛЬНЫХ СЛОВ
Эта книга посвящена логике — науке о законах правильного мышления.
Логика — одна из самых старых наук. Ее богатая событиями история началась еще в Древней Греции и насчитывает две с полови
ЧЕЛОВЕЧЕСКАЯ КОММУНИКАЦИЯ: ЕСТЕСТВЕННОСТЬ И ПРОСТОТА
Казалось бы, что может быть обыденнее и проще общения людей с помощью языка и достигаемого ими понимания друг друга?
Если я советую кому-то, кто не знает английского языка: «StriKe while t
ПОНИМАНИЕ — КЛЮЧЕВАЯ ПРОБЛЕМА
Однако понимание как схватывание смысла сказанного далеко не так просто и прозрачно, как это кажется. Обычность понимания, его элементарность, повседневность и доступность, прежде всего бросающиеся
ИНТЕЛЛЕКТ И ЭМОЦИИ
До сих пор речь шла только об интеллектуальной коммуникации, имеющей дело со значениями и знаками, прежде всего — словами. Очевидно, что она не является единственной формой общения людей. Кроме реч
ОДИН И ТОТ ЖЕ ЯЗЫК
Можно далее обратить внимание и на то, что даже требование говорить на одном языке не так уж однозначно и ясно, как кажется.
Один из собеседников обращается к другому на русском языке, вто
ОДИН И ТОТ ЖЕ ПРЕДМЕТ
И наконец, о требовании, чтобы собеседники говорили об одном и том же предмете.
Разумеется, никакое понимание невозможно, если люди рассуждают о разных вещах, искренне полагая или только д
ПОНИМАНИЕ И ЛОГИКА
Понимание — это та точка, в которой пересекаются все основные темы и проблемы такого сложного и многоаспектного явления, как человеческая коммуникация. Поэтому всякая попытка охарактеризовать поним
АНАЛИЗ И КРИТИКА МЫШЛЕНИЯ
Слово «логика» многозначно. Поэтому, прежде чем начать разговор о «логике», нужно уточнить, о чем именно пойдет речь.
Нередко говорят о логике событий, о логике характера, логике истории и
РАССУЖДАТЬ ПРАВИЛЬНО
Чем отличается формальная логика от всех иных предлагавшихся теорий мышления?
Самый общий ответ на этот вопрос прост: предметом своего исследования и теми методами, которые используются пр
МЫСЛИ ИМЕЮТ ФОРМУ
Формальная логика отделяет правильные способы рассуждения от неправильных и систематизирует первые. Ее можно определить, таким образом, как науку о правильном рассуждении. Она занимается, конечно,
СВЯЗЬ СОДЕРЖАТЕЛЬНЫХ ЧАСТЕЙ
Понятие логической формы, формы рассуждения, или формы мысли, является крайне абстрактным. Смысл его лучше всего раскрыть на примерах.
Сравним два утверждения: «Все лошади едят овес» и «Вс
ТОТАЛЬНЫЙ ОПТИМИЗМ
Каждый умеет рассуждать правильно, хотя редко кто знаком даже с азами теории правильного рассуждения.
Принципы, или схемы, правильных рассуждений усваиваются каждым человеком с усвоением я
СТАРАЯ И НОВАЯ ЛОГИКА
История логического исследования мышления охватывает около двух с половиной тысячелетий. Из других наук раньше формальной логики начали складываться, пожалуй, только философия и математика.
МОГУЩЕСТВО ИСКУССТВЕННОГО ЯЗЫКА
Старая логика пользовалась для описания мышления обычным языком, на котором повседневно общаются люди. Но он имеет целый ряд особенностей, мешающих ему, к сожалению, успешно справляться с этой зада
СОВРЕМЕННАЯ ЛОГИКА И ДРУГИЕ НАУКИ
В заключение этого, по необходимости краткого, разговора о том, чем занимается формальная логика, следует сделать несколько замечаний о ее связях с другими науками.
С момента своего возник
НЕПОСРЕДСТВЕННАЯ ДЕЙСТВИТЕЛЬНОСТЬ МЫШЛЕНИЯ
Французский философ XVII века Р. Декарт доказывал, что способность нормально использовать язык является единственным достоверным признаком того, что некоторое существо обладает человеческим разумом
ЗАПУТАННЫЙ МИР ИМЕН
Особый интерес среди разных языковых выражений представляют имена. Они есть везде. В обычном кругу поименовано все. Попадая в совершенно незнакомое место, человек тут же снабжает его ярлыком: «Незн
ДВЕ ХАРАКТЕРИСТИКИ ИМЕН
В общем случае имя — это выражение языка, обозначающее отдельный предмет или некоторую совокупность предметов.
Способность обозначать что-то является специфической особенностью имени. Толь
НЕТОЧНЫЕ ПОНЯТИЯ
Имена можно классифицировать, исходя из самых разных соображений. Несколько ранее они были подразделены, например, на единичные, общие и пустые. Затем разделены на собственные и не являющиеся собст
ПАРАДОКСЫ НЕТОЧНОСТИ
Говорят, главное во всяком деле — уловить момент. Это относится, пожалуй, и к таким делам, как размышление и рассуждение. Однако здесь «момент» улавливается особенно трудно, и существенную роль в э
НЕЯСНЫЕ ПОНЯТИЯ
До сих пор речь шла о неточных понятиях.
Граница множества вещей, подпадающих под неточное понятие, является размытой и неопределенной. Относительно тех из них, которые лежат на этой грани
СМЫСЛ — ОСНОВА ОСНОВ
И в логике, и в обычной жизни о смысле говорится часто и много, о бессмысленном — только изредка и мимоходом.
Однако бессмысленное — это только обратная сторона той же самой медали, лицева
ТУМАННОЕ И ТЕМНОЕ
Есть градации света: от ослепляющего сияния через постепенно сгущающиеся сумерки до полной, беспросветной темноты. Сходным образом есть в естественном языке разные степени осмысленности: от полного
ТРЕТЬЕГО НЕ ДАНО
Закон исключенного третьего противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух
ОСНОВНЫЕ» ЗАКОНЫ
Еще одним логическим законом, имеющим долгую, хотя и довольно спокойную историю, является закон тождества.
Внешне он самый простой из всех законов. Он говорит: если высказывание истинно, т
ЕЩЕ ЗАКОНЫ
Вернемся, однако, к конкретным законам логики.
Законы двойного отрицания позволяют снимать и вводить такое отрицание. Их можно выразить так: если неверно, что не-А, то А; если А, то неверн
МНОГОЗНАЧНАЯ ЛОГИКА
Классическая логика основывается на принципе, согласно которому всякое высказывание является либо истинным, либо ложным. Это так называемый принцип двузначности. Саму логику, допускающую только ист
МОДУСЫ ИМЕЮЩИХСЯ СВЯЗЕЙ
Модальная логика занимается рассуждениями, в которых встречаются модальные понятия. Примерами последних могут служить: «возможно», «необходимо», «случайно», «убежден», «знает», «полагает», «обязате
ДОБРО И ДОЛГ: ВОЗМОЖНОСТЬ ЛОГИЧЕСКОГО АНАЛИЗА
Этика изучает, как известно, моральные нормы и ценности. Она не является в отличие от, скажем, математики или физики точной наукой. Это отмечал в ясной форме еще Аристотель, первым употребивший наз
ЛОГИЧЕСКИЕ ТАВТОЛОГИИ
В обычном языке слово «тавтология» означает повторение того, что уже было сказано; «Жизнь есть жизнь» или «Не повезет так не повезет».
Тавтологии бессодержательны и пусты, они не несут ник
ВОЗМОЖНЫЕ МИРЫ
Законы логики, подобно всем иным научным законам, являются универсальными и необходимыми.
Они действуют всегда и везде, где для этого есть соответствующие условия. Всякий раз, когда имеютс
СОФИЗМ — ИНТЕЛЛЕКТУАЛЬНОЕ МОШЕННИЧЕСТВО!
Софизмы обычно трактуются вскользь и с очевидным осуждением. И в самом деле, стоит ли задерживаться и размышлять над такими, к примеру, рассуждениями: «Сидящий встал; кто встал, тот стоит; следоват
АПОРИИ ЗЕНОНА
Обратимся теперь к конкретным софизмам и тем проблемам, которые стоят за ними.
Знаменитые рассуждения древнегреческого философа Зенона «Ахиллес и черепаха», «дихотомия» и др., называемые о
НЕОПРЕДМЕЧЕННОЕ» ЗНАНИЕ
Софизмы «Электра» и «покрытый» до сих пор приводятся в качестве характерных образцов «мнимой мудрости».
В одной из трагедий Еврипида есть сцена, в которой Электра и Орест, брат и сестра, в
ВЕЧНО ПЕРЕСТРАИВАЕМОЕ ЗДАНИЕ
Софизм «покрытый» можно переформулировать так, что обнаружится еще одна сторона скрывающейся за ним проблемы.
Допустим, что рядом со мной стоит, накрывшись, не Сидоров, а какой-то другой ч
СОФИЗМЫ И ЗАРОЖДЕНИЕ ЛОГИКИ
Очень многие софизмы выглядят как лишенная смысла и цели игра с языком; игра, опирающаяся на многозначность языковых выражений, их неполноту, недосказанность, зависимость их значений от контекста и
ТРАГЕДИЯ И ФАРС
Чаще всего анализ софизма не может быть завершен раскрытием логической или фактической ошибки, допущенной в нем. Это как раз самая простая часть дела. Сложнее уяснить проблемы, стоящие за софизмом,
РАССЛАИВАНИЕ» ЯЗЫКА
Сейчас «лжец» обычно считается характерным примером тех трудностей, к которым ведет смешение двух языков: «предметного языка», на котором говорится о лежащей вне языка действительности, и «метаязык
НЕРАЗРЕШИМЫЙ СПОР
В основе одного знаменитого парадокса лежит как будто небольшое происшествие, случившееся две с лишним тысячи лет назад и не забытое до сих пор.
У знаменитого софиста Протагора, жившего в
ВЫХОД» ИЗ БЕЗВЫХОДНОГО ПОЛОЖЕНИЯ
Человеческому уму, привыкшему не только к своей силе, но и к своей гибкости и даже изворотливости, трудно, конечно, смириться с этой абсолютной безвыходностью и признать себя загнанным в тупик. Это
ПАРАДОКС РАССЕЛА
Самым знаменитым из открытых уже в нашем веке парадоксов является антиномия, обнаруженная Б. Расселом и сообщенная им в письме к Г. Фреге. Эту же антиномию обсуждали одновременно в Геттингене немец
ПАРАДОКСЫ ГРЕЛЛИНГА И БЕРРИ
Интересный логический парадокс был открыт немецкими логиками К. Греллингом и Л. Нельсоном («парадокс Греллинга»). Этот парадокс можно сформулировать очень просто.
Некоторые слова, обознача
УСТРАНИТЬ ЕЩЕ НЕ ЗНАЧИТ ОБЪЯСНИТЬ
Какие выводы для логики следуют из существования парадоксов?
Прежде всего наличие большого числа парадоксов говорит как раз о силе логики как науки, а не о ее слабости, как это может показ
ПАРАДОКСЫ — ТОЛЬКО СИМПТОМ
У Г. Фреге, признаваемого теперь многими величайшим логиком прошлого века, был, к сожалению, очень скверный характер. Кроме того, он был безоговорочен и даже жесток в своей критике современников. В
О многом шла речь в этой книге. Еще больше интересных и важных тем осталось по необходимости за ее пределами.
Логика — это особый, самобытный мир со своими законами, условностями, традициями, спорами и т. д. То, о чем говорит эта наука, знакомо и близко каждому. Но войти в ее мир, почувствовать его внутрен
Новости и инфо для студентов