Реникса

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

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

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

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

Но в том-то и дело, что слова не инструмент познания. Эту роль играет практика, и слова действенны лишь постольку, поскольку они привязаны к опыту.

Итак, вот первый парадокс. В некоем селе проживает парикмахер. Парикмахер бреет всех мужчин, но только тех, которые не бреются сами. Вопрос – бреет ли парикмахер сам себя?

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

Положение, как видите, безвыходное. Формальная логика приводит к противоречию.

Что же отсюда следует? Да ничего более, чем то, что нет такого парикмахера, который бреет тех мужчин, которые бреются сами. А поскольку его нет, то противоречия внутри игры словами нас могут не беспокоить.

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

Эпименид из Крита сказал: все критяне лжецы. Поскольку сам Эпименид тоже критянин, то, значит, фраза неверна. Но если фраза неверна, то, значит, не все критяне лжецы.

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

– Вы говорите, что все критяне лжецы. Как это проверить?

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

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

– Что вы глупости спрашиваете? Конечно, белый!

– Совершенно верно. Но ведь вы же критянин. Значит, когда вы говорили, что все критяне лжецы…

– Ну, разумеется, я себя не включал в это число.

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

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

Предметы можно разбивать на классы, и притом по-разному. Скажем, перед нами гора камней. Разложить их можно на кучи по весу: в одной будут камни весом до килограмма, в другой – от одного килограмма до двух, в третьей – от двух до трех и т. д. Можно классифицировать их по цвету: отдельно черные, отдельно серые, отдельно зеленые… Можно разбить их на группы в зависимости от формы.

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

Но вот пример другого сорта. Здесь мысленное распределение фактов, явлений, предметов по полкам провести не удастся.