YIII.4.3.Формализация. Язык науки

 

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

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

Для построения любой формальной системы необходимо: а) задание алфавита, т.е. определенного набора знаков; б) задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»; в) задание правил, по которым от одних слов, формул данной системы можно переходить к другим словам и формулам (так называемые правила вывода).

В результате создается формальная знаковая система в виде определенного искусственного языка. Важным достоинством этой системы является возможность проведения в ее рамках исследования какого-либо объекта чисто формальным путем (оперирование знаками) без непосредственного обращения к этому объекту.

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

Разумеется, формализованные искусственные языки не обладают гибкостью и богатством языка естественного. Зато в них отсутствует многозначность терминов (полисемия), свойственная естественным языкам. Они характеризуются точно построенным синтаксисом (устанавливающим правила связи между знаками безотносительно их содержания) и однозначной семантикой (семантические правила формализованного языка вполне однозначно определяют соотнесенность знаковой системы с определенной предметной областью). Таким образом, формализованный язык обладает свойством моносемичности.

Возможность представить те или иные теоретические положения науки в виде формализованной знаковой системы имеет большое значение для познания. Но при этом следует иметь в виду, что формализация той или иной теории возможна только при учете ее содержательной стороны. Только в этом случае могут быть правильно применены те или иные формализмы. «Голое математическое уравнение еще не представляет физической теории, чтобы получить физическую теорию, необходимо придать математическим символам конкретное эмпирическое содержание».[378]

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

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

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

Вместе с тем следует иметь в виду, что создание какого-то единого формализованного языка науки не представляется возможным. Дело в том, что даже достаточно богатые формализованные языки не удовлетворяют требованию полноты, т.е. некоторое множество правильно сформулированных предложений такого языка (в том числе и истинных) не может быть выведено чисто формальным путем внутри этого языка. Данное положение вытекает из результатов, полученных в начале 30-х годов ХХ столетия австрийским логиком и математиком Куртом Геделем. Знаменитая теорема Геделя утверждает, что каждая формальная система либо противоречива, либо содержит некоторую неразрешимую (хотя и истинную) формулу, т.е. такую формулу, которую в данной системе нельзя ни доказать, ни опровергнуть.

Правда, то, что не выводимо в данной формальной системе, выводимо в другой системе, более богатой. Но, тем не менее, все более полная формализация содержания никогда не может достигнуть абсолютной полноты, т.е. возможности любого формализованного языка остаются принципиально ограниченными. Таким образом, Гедель дал строго логическое обоснование невыполнимости идеи Р.Карнапа о создании единого, универсального, формализованного «физикалистского» языка науки.

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

Формализованные языки не могут быть единственной формой языка современной науки, ибо стремление к максимальной адекватности требует использовать и неформализованные системы. Но в той мере, в какой адекватность немыслима без точности, тенденция к возрастающей формализации языков всех и особенно естественных наук является объективной и прогрессивной...».[379]

YIII.5. ОБЩЕНАУЧНЫЕ МЕТОДЫ,

ПРИМЕНЯЕМЫЕ НА ЭМПИРИЧЕСКОМ И ТЕОРЕТИЧЕСКОМ УРОВНЯХ ПОЗНАНИЯ

YIII.5.1.Анализ и синтез

 

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

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

Заметим, что метод анализа сыграл в свое время важную роль в крушении теории флогистона. «... Теория флогистона тормозила развитие химии. Новые открытия и полнейшая неудача попыток обнаружить флогистон аналитическим путем (курсив наш. - Авт.) постепенно расшатывали теорию».[380]

Однако в науке Нового времени аналитический метод был абсолютизирован. В указанный период ученые, изучая природу, «рассекали ее на части» (по выражению Ф.Бэкона) и, исследуя части, не замечали значения целого. Это было результатом метафизического метода мышления, который господствовал тогда в умах естествоиспытателей.

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

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

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

Анализ и синтез с успехом используются и в сфере мыслительной деятельности человека, т.е. в теоретическом познании. Но и здесь, как и на эмпирическом уровне познания, анализ и синтез - это не две оторванные друг от друга операции. По своему существу они - как бы две стороны единого аналитико-синтетического метода познания. Как подчеркивал Ф.Энгельс, «мышление состоит столько же в разложении предметов сознания на их элементы, сколько в объединении связанных друг с другом элементов в некоторое единство. Без анализа нет синтеза».[381]