Читать «Истина и доказательство» онлайн - страница 5

По очевидным причинам очерченная выше процедура не может быть проделана в отношении русского языка в целом. Пытаясь составить полный список предложений русского языка, мы с самого начала сталкиваемся с той трудностью, что правила русской грамматики (как и любого другого разговорного языка) не определяют точно форму выражений (ряды слов), которые следовало бы рассматривать как предложения; некоторое выражение, например, какое-нибудь восклицание, может функционировать как предложение в одном случае и не выполнять этой функции в другом. Более того, множество всех предложений русского языка бесконечно, по крайней мере потенциально. Несмотря на то, что утверждение о конечном числе всех предложений, сформулированных до настоящего момента людьми письменно и устно, является истинным, вероятно, никто не согласился бы с тем, что этот список исчерпывает все предложения русского языка. Напротив, представляется весьма вероятным, что, просматривая такой список, каждый из нас легко смог бы произнести такое предложение на русском языке, которого нет в этом списке.

Из этих замечаний не следует, конечно, что искомая дефиниция истины для произвольных предложений русского языка не может быть получена каким-то другим способом, использующим иные идеи. Существует, однако, причина более серьезная и фундаментальная, которая, по-видимому, ставит под сомнение такую возможность. Простейший аргумент в пользу такого предположения связан с антиномией лжеца. Антиномия лжеца имеет древнее происхождение. Её обычно приписывают знаменитому греческому логику Эвбулиду. Она мучила многих логиков античности и послужила причиной преждевременной смерти по крайней мере одного из них, а именно Филета из Кос. В древности, в средние века и в новое время было обнаружено много других антиномий. В то время как многие из них сейчас, по существу, забыты, антиномия лжеца все еще анализируется и обсуждается в современных работах. Вместе с некоторыми современными антиномиями, открытыми на рубеже столетия (в частности с антиномией Рассела), она оказывает существенное влияние на развитие современной логики.

В литературе по этому предмету можно обнаружить два диаметрально противоположных подхода к антиномиям. Один подход к ним является пренебрежительным, когда их трактуют как софистические выдумки, созданные преимущественно pour epater le bourgeois (для ошеломления обывателей), как несерьезные и скорее злобные шутки, которые в лучшем случае доказывают лишь остроумие их авторов. Противоположиый подход, характерный для некоторых мыслителей девятнадцатого столетия и в меньшей степени для мыслителей текущего столетия, зиждется на убеждений, что антиномии составляют весьма существенный элемент человеческого мышления, что они должны вновь и вновь возникать в интеллектуальной деятельности и их наличие есть основной источник действительного прогресса. Как это часто случается, истина, вероятно, находится где-то посередине. Лично я как логик не смог бы примириться с тем мнением, что антиномии составляют перманентный элемент нашей системы знания. Однако я ни в малейшей степени не склонен трактовать антиномии пренебрежительно. Появление антиномий является для меня симптомом болезни. Любая антиномия, начиная с предпосылок, кажущихся интуитивно очевидными, при использовании форм рассуждения, которые кажутся интуитивно несомненными, приводит нас к бессмыслице, к противоречию. Всякий раз, когда это случается, мы должны подвергнуть наши способы мышления основательной ревизии, отвергнуть какие-то посылки, в которые верили, и усовершенствовать способы аргументации, которыми пользовались. Мы делаем это, стремясь не только избавиться от антиномий, но и не допустить появления новых. С этой целью мы проверяем нашу реформированную систему мышления всеми имеющимися в нашем распоряжении средствами и прежде всего пытаемся воссоздать старую антиномию в новой обстановке (надеясь, конечно, что эта попытка потерпит неудачу). Такая проверка — очень важная область мыслительной деятельности, родственная проведению решающих экспериментов в эмпирической науке.