§ 4. Логические парадоксы

Определения и обозначения

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

Высказывание — предложение, которому можно приписать истинность или ложность. Например, фраза «7 — простое число» является высказыванием, а вопрос и приказ — нет, потому что их нельзя оценить как истинные или ложные. Это различие необходимо, иначе логические правила применяются к объектам, для которых они не предназначены.

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

Логическое противоречие — несовместимость утверждения и его отрицания. Нельзя одновременно получить, что одно и то же высказывание истинно и ложно в одном и том же смысле. Поиск такого столкновения помогает точно указать место, где условие или рассуждение перестаёт работать.

Как это устроено

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

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

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

Парадокс Рассела связан с попыткой рассмотреть множество всех множеств, не содержащих самих себя. Если обозначить его через R, то вопрос «R ∈ R?» нужно проверить по тому же правилу, которое определяет R. При ответе «да» получается требование «нет», а при ответе «нет» — требование «да», поэтому без ограничений такое определение множества недопустимо.

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

Логические парадоксы: условие и источник противоречия

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

Разбор задач

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

1. Предположим, что предложение истинно. Тогда его содержание верно, значит, предложение ложно.
2. Предположим, что предложение ложно. Тогда утверждение «предложение ложно» неверно, следовательно, предложение истинно.
3. Оба варианта возвращают нас к противоположному значению и не дают согласованной оценки.

Ответ: предложение образует парадокс лжеца; его нельзя однозначно назвать истинным или ложным в обычной схеме рассуждения.

2. Цирюльник в деревне. Обозначим вопрос о нём самим собой: бреет ли цирюльник себя? Условие нужно применить к нему так же, как к любому другому жителю.

1. Если цирюльник бреет себя, то он относится к тем, кто бреется сам, и по условию не должен брить себя.
2. Если цирюльник не бреет себя, то он относится к тем, кто не бреется сам, и по условию должен брить себя.
3. Каждый вариант нарушает правило, поэтому описанный цирюльник не может существовать.

Ответ: нельзя сказать, что он бреет или не бреет себя; противоречиво само условие существования такого цирюльника.

3. Множество R. Пусть R — множество всех множеств, которые не содержат самих себя. Проверим, принадлежит ли R самому себе, применяя определение буквально.

1. Если R ∈ R, то R должно быть множеством, не содержащим себя, поэтому R ∉ R.
2. Если R ∉ R, то R удовлетворяет условию «не содержит себя» и должно входить в R, то есть R ∈ R.
3. Оба случая приводят к противоположному исходу, потому что исходное описание слишком широко.

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

Типичные ошибки

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

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

Сразу объявлять предложение лжеца истинным или ложным. Такой выбор пропускает главный смысл парадокса: каждый вариант надо проверить отдельно. Запишите два предположения и проследите, не приводит ли каждое к противоположному выводу.

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

Связь с другими темами

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

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

Проверка условий и цепочки выводов пригодится в доказательствах и при анализе математических определений. Такой навык помогает заметить скрытое предположение ещё до выполнения вычислений.

Что запомнить

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