Логика и аргументация: Учебное пособие для вузов.

Интересным кажется парадокс, сформулированный еще в IV в. до н.э. Эвбулидом, который можно выразить так: является ли истинным или ложным высказывание "то, что я говорю - ложно" или "данное высказывание ложно"? Допустим, что оно истинно, тогда его следует считать ложным, ибо я говорю правду. Предположим, что оно ложно, тогда оно будет истинным, так как я действительно говорю неправду. Отсюда видно, что парадокс возникает тогда, когда рассуждают по правилам логики, а взаимоисключающие заключения здесь получаются не вследствие нарушения логических правил, а по другим причинам. В данном случае парадоксальные результаты обязаны тому, что мы не проводим различия между объектным языком, на котором сформулировано наше высказывание, и метаязыком, на котором говорят об объектном языке. На этом смешении разных уровней языка основываются и многочисленные дилеммы, известные еще в древности. В качестве примера сошлемся на дилемму, которая возникает перед сфинксом, который обещал отцу ребенка вернуть его, если тот отгадает, вернет ли он ребенка. Если отец скажет, что сфинкс не вернет ребенка, то перед сфинксом возникнет неразрешимая дилемма, аналогичная с вышеописанным парадоксом.

На первый взгляд такие парадоксы кажутся простыми курьезами и служат для логических упражнений. Нельзя, однако, забывать, что парадоксы периодически возникают в развитии каждой науки и служат симптомом неблагополучия в обосновании ее теоретических построений. Мы уже упоминали о парадоксах в анализе бесконечно малых, приведших к кризису в его основаниях. В настоящее время мы являемся свидетелями нового кризиса в основаниях классической математики, которая базируется на теории бесконечных множеств, созданной Г. Кантором. Исходя из самого определения множества, данного Кантором, известный английский философ и математик Б. Рассел обнаружил парадокс, который он популярно разъяснил с помощью примера с деревенским парикмахером, который бреет тех и только тех жителей деревни, которые не бреются сами. На вопрос, как он должен поступить с собой, нельзя дать никакого определенного ответа, точнее говоря, из этого условия можно логически вывести два взаимоисключающих ответа. Аналогично будет обстоять дело с множеством всех тех множеств, которые не содержат себя в качестве своего элемента. На вопрос, куда отнести такое множество, также нельзя дать определенного ответа.

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

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

Проверьте себя

1. Чем отличается доказательство от дедуктивного умозаключения?

2. Можно ли использовать гипотезы при доказательстве?