|
Говоря в этой связи о «Лжеце», А. Тарский пишет: «Антиномия лжеца впервые появляется в нашей дискуссии (относительно понятий истины и доказуемости в их связи.—А. Б.) как разновидность злой силы, обладающей большой разрушительной энергией. В качестве гарантии против возможного появления данной антиномии мы вынуждены были существенно усложнить дискуссию, введя различие между языком и его метаязыком. Однако впоследствии в новой, ограниченной области оказалось возможным «приручить» деструктивную энергию и использовать ее в мирных, конструктивных целях: антиномия не появляется, но ее основная идея используется для достижения существенного методологического результата с далеко идущими последствиями» (84, 145). А. Тарский хорошо сформулировал здесь смысл операций с логическими парадоксами: устранение антиномии представляет собой важный элемент прогресса познания. Каждый раз, как антиномия появляется, «мы должны подвергнуть наши способы мышления основательной ревизии, отвергнуть какие-то посылки, в которые верили, и усовершенствовать способы аргументации, которыми пользовались. Мы делаем это, стремясь не только избавиться от антиномий, но и с целью Не допустить возникновения новых» (84, 139). И все же предло- 231 женный А. Тарским «средний путь» между двумя крайностями не учитывает одного обстоятельства. Существуют две крайние точки зрения в отношении антиномий: (1) они—«софистические выдумки», «несерьезные и скорее злобные шутки» и (2) антиномии «должны вновь и вновь возникать в интеллектуальной деятельности, и их наличие есть основной источник действительного прогресса» (см. 84, 139). А. Тарский по существу призывает «устранять» антиномии, как если бы они отвечали (1), но видит в них (2). Думается, однако, что следует различать апории элеатов и парадоксы софистов и мегариков. Парадоксы типа «Еватла» или «Лжеца» основываются на формально-логическом противоречии, и это противоречие должно устраняться. Конечно, устранение парадоксов ведет к важным методологическим результатам, скажем к концепции истины в формализованных языках. Апории же элейцев, разработанные Зеноном, суть противоречия диалектические и должны не устраняться, но разрешаться посредством выработки новых понятий (теорий), «снимающих» такое противоречие. Именно эти противоречия, говоря словами Тарского, «составляют весьма существенный элемент человеческого мышления»; они с необходимостью появляются «на границах» теоретического построения, указывая выход за его пределы, к новой, более глубокой теории. — 176 —
|