Логика. Элементарный курс

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

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

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

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

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

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

Парадоксы и современная логика

Какие выводы для логики следуют из существования парадоксов?

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

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

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