Александр Ивин - По законам логики

В самом деле, должен был бы платить Ноздрев в подобной ситуации или нет? С одной стороны, да, поскольку он проиграл. Но с другой — нет, так как игра велась не по правилам, а это вовсе и не игра. Значит, ни выигравшего, ни проигравшего в такой «игре» не может быть. Если бы мошенничал сам Чичиков, Ноздрев, конечно, не обязан был бы платить. Но, однако, мошенничал как раз проигравший Ноздрев…

Здесь ощущается что-то парадоксальное: «с одной стороны…», «с другой стороны…» и «с обеих сторон» в равной мере убедительно, хотя эти стороны несовместимы. Должен все-таки Ноздрев платить или нет?

Есть смысл оставить решение этого вопроса читателю.

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

Ранее шла речь о смысле бессмысленного. Выяснилось как будто, что смысл бессмысленного в том, что оно не имеет смысла. Не является ли это положение парадоксальным?

Говорилось также о попытках уклониться от парадокса «лжеца», ограничивая круг объектов, о которых можно высказаться. Не является ли парадоксом само утверждение: «Ни одно высказывание не должно говорить о самом себе»? Ведь оно касается всех высказываний и, значит, говорит что-то и о самом себе.

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

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

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

«Теоретико-множественные парадоксы являются очень серьезной проблемой, не для математики, однако, а скорее для логики и теории познания», — пишет австрийский математик и логик К. Гёдель. «Логика непротиворечива. Не существует никаких логических парадоксов, — утверждает советский математик Д. Бочвар. — Такого рода расхождения иногда существенны, иногда словесны. Дело во многом в том, что именно понимается под «логическим парадоксом».

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

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

На первых порах изучения логических парадоксов казалось, что их можно выделить по нарушению некоторого, еще не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введенный Б. Расселом «принцип порочного круга». Этот принцип утверждает, что совокупность объектов не может содержать членов, определимых только посредством этой же совокупности.

Все парадоксы имеют одно общее свойство — самоприменимость, или циркулярность. В каждом из них объект, о котором идет речь, характеризуется посредством некоторой совокупности объектов, к которой он сам принадлежит. Если мы выделяем, например, человека как самого хитрого в классе, мы делаем это при помощи совокупности людей, к которой относится и данный человек (при помощи «его класса»). И если мы говорим: «Это высказывание ложно», мы характеризуем интересующее нас высказывание путем ссылки на включающую его совокупность всех ложных высказываний.

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

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

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

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

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

Несомненно полезной была бы какая-то классификация парадоксов, подразделяющая их на типы и виды, группирующая одни парадоксы и противопоставляющая их другим. Однако и в этом деле ничего устойчивого не было достигнуто.

Английский логик Ф. Рамсей, умерший в 1930 году, когда ему еще не исполнилось и двадцати семи лет, предложил разделить все парадоксы на синтаксические и семантические. К первым относится, например, парадокс Рассела, ко вторым — парадоксы «лжеца», Греллинга и др.