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

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

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

В заключение этого разговора о «Лжеце» можно вспомнить курьёзный эпизод из того времени, когда формальная логика ещё преподавалась в школе. В учебнике логики, изданном в конце 40-х годов, школьникам восьмого класса предлагалось в качестве домашнего задания – в порядке, так сказать, разминки – найти ошибку, допущенную в этом простеньком на вид утверждении: «Я лгу». И, пусть это не покажется странным, считалось, что школьники в большинстве своём успешно справлялись с таким заданием.

2. Парадокс Рассела

Самым знаменитым из открытых уже в нашем веке парадоксов является антиномия, обнаруженная Б. Расселом и сообщённая им в письме к Г. Ферге. Эту же антиномию обсуждали одновременно в Гёттингене немецкие математики 3. Цермело и Д. Гильберт.

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

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

С дальнейшим исследованием антиномии убеждение в необходимости принципиально нового подхода неуклонно росло. Спустя полвека после её открытия специалисты по основаниям логики и математики Л. Френкель и И.Бар-Хиллел уже без всяких оговорок утверждали: «Мы полагаем, что любые попытки выйти из положения с помощью традиционных (то есть имевших хождение до XX столетия) способов мышления, до сих пор неизменно проваливавшихся, заведомо недостаточны для этой цели».