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