Философия: Учебник для вузов

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

Взаимодействие объектов в экспериментальном исследовании может быть одновременно рассмотрено в двух планах: и как деятельность человека, и как взаимодействие самой природы. Вопросы природе задает исследователь, ответы на них дает сама природа.

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

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

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

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

Аксиомы – это утверждения, доказательства истинности которых не требуется. Логический вывод позволяет переносить истинность аксиом на выводимые из них следствия. Следование определенным, четко зафиксированным правилам вывода позволяет упорядочить процесс рассуждения при развертывании аксиоматической системы, сделать это рассуждение более строгим и корректным.

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

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

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

Дальнейшее развитие аксиоматического метода привело к третьей стадии – построению формализованных аксиоматических систем.