Логика и аргументация: Учебное пособие для вузов.
Шрифт:
Каждый из рассмотренных подходов к логике выделяет те или иные особенности логики и поэтому обладает определенными достоинствами, но в то же время имеет и свои недостатки. Психологический анализ мыслительной деятельности дает возможность шире взглянуть на особенности правильных, рациональных рассуждений, выявить необходимые условия психофизического характера, от которых они зависят, и в то же время понять, с какими патологическими процессами связано нарушение рациональности мышления. Но все это не входит в задачи логики, а составляет предмет изучения психологии. С другой стороны, превращение логики в часть психологии, придание ее законам психологического, субъективного характера, как мы уже отмечали, лишает логику объективного критерия правильности и обоснованности ее принципов, законов и методов.
Социологический подход обращает внимание на такую важную особенность рассуждений, которая связана с их принадлежностью к специальным областям исследования. Действительно, некоторые специфические черты рассуждений, которыми пользуется, например, математик, отличаются от методов биолога. В первом случае ученый имеет дело прежде всего с дедуктивными выводами, например с выводом теорем из аксиом, во втором - преимущественно с индуктивными обобщениями или гипотезами, основанными на данных наблюдения или экспериментального исследования. Очевидно, что это влияет на формирование привычек, склонностей и предпочтений к соответствующим методам рассуждений. Нельзя также не учитывать, что именно применение отвечающих предмету изучения рассуждений способствует достижению поставленной цели.
С другой стороны, выдвижение на первый план специфических правил рассуждения в отдельных областях науки может привести к ослаблению взаимопонимания между учеными, дифференциации логики на обособленные теории, утрате связи между ними и общей логикой, не говоря уже о том, что опора на привычное и повторяющееся не может гарантировать правильности и обоснованности форм рассуждения.
Взгляд на логику как на технологию мышления также имеет ряд привлекательных черт хотя бы потому, что на практике мы больше всего нуждаемся именно в том, чтобы умело пользоваться правилами рассуждений, рекомендациями, как эффективно находить аргументы (посылки для заключений), строить и проверять гипотезы, - словом, всем тем, что характеризуют как искусство мышления или догадок. Но здесь снова возникает вопрос, почему технология логики применима к реальному миру человека, обусловлена ли она психологическими его особенностями или же свойствами и отношениями той области мира, о которой рассуждают. Те же самые вопросы можно адресовать сторонникам чисто формального взгляда на логику, которые сводят ее задачу к исследованию формальных отношений между суждениями.
Выход из возникших трудностей относительно природы логики как науки, объективного характера ее законов, принципов и методов в конечном счете следует искать в том, что они отображают основные, постоянно встречающиеся связи и отношения, существующие в реальном мире. Именно поэтому логика и может применяться для её изучения. Но реальный мир, его специфические закономерности служат предметом исследования конкретных естественных, общественных и технических наук. Через анализ понятии, суждении и умозаключении, применяемых в этих науках, логика играет свою роль - теоретического инструмента, служащего для контроля правильности и обоснованности рассуждении и тем самым способствующего поиску и доказательству истины.
Прикладная роль логики в конкретных науках не ограничивается только непосредственным анализом рассуждений. Её методы широко используются в методологии научного познания для анализа таких форм научного мышления, как гипотеза, закон, теория, а также раскрытия логической структуры объяснения и предсказания, как важнейших функций любой науки. Это направление прикладных исследований в последние десятилетия положило начало логике науки, в которой понятия, законы и методы логики успешно применяются для изучения возникающих в научном познании не только чисто логических, но и методологических проблем.
1.4. Понятие о логической форме и правильности мышления
Изучая способы образования и определения понятий, построения суждений и умозаключений, логика неизбежно должна абстрагироваться, отвлекаться от их конкретного содержания. В противном случае она была бы не в состоянии выделить те общие черты, которые характерны для всех понятий, суждений и умозаключений. Так, например, умозаключения: "Если Кай - человек, то он смертей" и "Если треугольник равнобедренный, то углы при его основании равны", всегда приводят к истинным результатам, когда их посылки истинны. Хотя содержание этих умозаключений весьма отлично друг от друга, но форма рассуждения в обоих случаях одинакова. Но чтобы выявить эту логическую форму в чистом виде, необходимо абстрагироваться (отвлечься) от конкретного содержания суждений или мыслей, оставить это в стороне как нечто не имеющее прямого отношения к форме. Для этого лучше всего подходит обозначение понятий и суждений с помощью символов и формул, аналогично тому, как поступают в элементарной алгебре, когда выражают с их помощью арифметические утверждения. Подобными символами в очень ограниченной мере пользовался уже Аристотель и некоторые его последователи.
С возникновением математической логики, которую часто называют символической, использование символов и формул приобрело систематический характер, а в связи с этим в значительной мере возросло и применение математических методов в логике. Прежняя логика была не в состоянии выявить логическую форму рассуждений, поскольку для этого необходимо было построить формализованные языки, с помощью которых можно было бы свести рассуждения на естественном языке к преобразованию формул на специально созданном искусственном логическом языке.
В первом приближении логическую форму мысли можно рассматривать как способ связи элементов мышления в единую структуру. Так, в понятии мы имеем дело со связью его признаков, которые характеризуют смысл понятия или его содержание. В суждении атрибутивного типа выражается связь между субъектом и предикатом, которая отображает реально связь между предметом и его свойством; в реляционном суждении речь идет об отношении между различными предметами, в умозаключении - об отношении между его посылками и заключением, а в доказательстве - между аргументами и тезисом.
С понятием логической формы непосредственно связан вопрос о правильности мышления и отличии его от истинности.
Логическая правильность мышления, в частности рассуждения, связана с соблюдением норм и законов логики. Иначе говоря, правильность мышления напрямую зависит от того, осуществляем ли мы логические операции над формами мысли в соответствии с нормами, обоснованными логикой: например, образуем и определяем понятия, строим и преобразуем суждения, устанавливаем отношения между ними, придерживаемся ли правил логического следования при выводе дедуктивных умозаключений и т.д. Такие правила имеют общий характер и не зависят от конкретного содержания мысли.
Поскольку правильность рассуждения зависит исключительно от его формы, постольку в нем все дескриптивные (описательные) термины можно заменять другими. Поэтому, если нам известно, что некоторое рассуждение является правильным, то путем замены его дескриптивных терминов другими мы может убедиться также в правильности другого рассуждения, имеющего такую же логическую форму. Гораздо более эффективным приемом проверки правильности рассуждения является построение противоречащего рассуждения, или контрпримера.
Фундаментальный принцип логики состоит в том, что в правильном рассуждении из истинных посылок нельзя вывести ложного заключения. Если мы построим рассуждение той же самой формы, в котором посылки будут истинными, а заключение будет ложным, то рассматриваемое нами рассуждение будет логически неправильным. Если же контрпримера построить не удается, тогда рассуждение считается правильным.
Такой прием проверки правильности рассуждений был известен еще Аристотелю и, по-видимому, применялся задолго до него. Однако поиск контрпримера - дело во многом случайное. Ведь если мы не обнаружили противоречащий пример, то не можем окончательно утверждать, что рассуждение будет непременно правильным. Для этого необходимо располагать систематической процедурой для поиска контрпримеров. Традиционная логика не могла решить эту проблему, поскольку не обладала методами формализации рассуждений, с помощью которых только и возможен систематический поиск контрпримеров.