 |
 |
 |
 |
|
 |
 |
15
выражаются посредством отдельных слов или словосочетаний, суждения и умозаключения – с
помощью простых или сложных предложений. Поэтому логический анализ рассуждений тесно связан с
анализом языка, хотя отнюдь не сводится к последнему. Действительно, при логическом анализе
суждений мы интересуемся его логической структурой, а не грамматической формой. Поэтому
выделяем в суждении те элементы, которые имеют существенное значение для его характеристики с
точки зрения истинности и ложности. В строгом смысле слова только суждения могут рассматриваться
как истинные или ложные, ибо именно они могут верно или неверно, адекватно или неадекватно
относиться к действительности. Предложения же хотя и используются для выражения суждений, сами
по себе не могут рассматриваться как истинные или ложные. Более того, существуют в нашем языке
такие предложения, которые служат не для выражения суждений, а представляют собой вопросы,
повеления и т.п. Подробнее о них речь пойдет в гл.3, здесь же нам хотелось бы обратить внимание на
различие между логическим и грамматическим анализом.
Почему так важен логический анализ, какую роль он играет в повседневном и особенно научном
познании?
1. Поскольку язык развивался как средство коммуникации и взаимопонимания между людьми,
постольку он главным образом совершенствовался для быстрой передачи информации, увеличения
объема передаваемых сообщений, иногда даже за счет неточности и неопределенности их смысла.
Это особенно характерно для образного языка ораторской и художественной речи, которая изобилует
сравнениями, метафорами, синонимами и омонимами и другими языковыми средствами,
придающими ей особую окраску, эмоциональность, наглядность и выразительность. Но все это
значительно затрудняет логический анализ языка, а иногда и затрудняет понимание речи.
2. Как универсальное средство для коммуникации и обмена мыслями и информацией, язык выполняет
множество функций, которые не интересуют логику. Логика, напротив, стремится как можно точнее
передать и преобразовать существующую информацию и тем самым устранить некоторые недостатки
естественного языка путем создания искусственных формализованных языков. Такие искусственные
языки используются прежде всего в научном познании, а в последние годы они нашли широкое
распространение в программировании и алгоритмизации различных процессов с помощью
компьютеров. Достоинство подобных языков состоит прежде всего в их точности, однозначности, а
самое главное – в возможности представления обычного содержательного рассуждения посредством
вычисления.
Формализация рассуждения состоит в представлении его посредством символов и формул
искусственного (формализованного) языка, в котором перечисляются, во-первых, исходные формулы,
выражающие основные утверждения содержательной теории, во-вторых, первоначальные понятия,
которые фигурируют в этих утверждениях, и, в-третьих, явно указываются те правила вывода или
преобразования, с помощью которых в содержательных теориях получают теоремы из аксиом, а в
формальных теориях исходные формулы преобразуют в производные. Нетрудно заметить, что
формализация рассуждения происходит в соответствии с требованиями аксиоматического метода,
знакомого нам из школьного курса геометрии. Разница состоит только в том, что вместо понятий и
суждений в ней используются символы и формулы, а логический вывод теорем из аксиом заменяется
преобразованием исходных формул в производные. Таким образом, при полной формализации
содержательное мышление (рассуждение) его отображается в формальном исчислении. Кроме
формализованных языков логики и математики, к искусственным научным языкам относят также языки
тех наук, в которых широко используются символы и формулы. Типичным является, например, язык
химических символов и формул. Однако в таких языках символы и формулы служат для более
компактной и краткой записи соответствующих понятий и утверждений. Так, в химии символы
употребляются для записи химических элементов или простых веществ, а формулы – для записи их
соединений и сложных веществ. Но само рассуждение проводится как обычно на содержательном
уровне.
Какую роль играет формализация в научном познании вообще и в логике в особенности?
1. Формализация дает возможность анализировать, уточнять, определять и эксплицировать
(разъяснять) понятия. Интуитивные понятия хотя и кажутся более ясными и очевидными с точки
зрения здравого смысла, оказываются не подходящими для научного познания в силу их
неопределенности, неоднозначности и неточности. Так, например, понятия непрерывности функции,
геометрической фигуры в математике, одновременности событий в физике, наследственности в
биологии и многие другие существенно отличаются от тех представлений, которые они имеют в
обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же