Глава V. Методология научного исследования



 


получать из них новые формулы и соотношения. Тем самым опе­рации с мыслями о предметах заменяются действиями со знака­ми и символами.

Формализация, таким образом, есть обобщение форм различ­ных по содержанию процессов, абстрагарование этих форм от их содержания. Она уточняет содержание путем выявления его фор­мы и может осуществляться с различной степенью полноты. Но, как показал австрийский логик и математик XX в. К. Гедель, в содержательной теории всегда остается невыявленный, неформа-лизуемый остаток. Все более углубляющаяся формализация со­держания знания никогда не достигает абсолютной полноты, ибо никогда не прекращается развитие (изменение) предмета позна­ния и знаний о нем. Это означает, что формализация внутренне ограничена в своих возможностях. Доказано, что всеобщего мето­да, позволяющего любое рассуждение заменить вычислением («сосчитаем!» — как мечтал Лейбниц), не существует. Теоремы Геделя дали достаточно строгое обоснование принципиальной не­возможности полной формализации научных рассуждений и на­учного знания в целом.

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

Аксиоматический метод — лишь один из методов построе­ния уже добытого научного знания. Он имеет ограниченное при­менение, поскольку требует высокого уровня развития аксиома­тизированной содержательной теории. Известный французский^ физик Луи де Бройль обращал внимание на то, что «аксиомати­ческий метод может быть хорошим методом классификации или преподавания, но он не является методом открытия»1.

Бройль Луи де. По тропам науки. М., 1962. С. 179.


3. Гшютетико-дедуктивный метод — метод научного познания, сущность которого заключается в создании системы дедук­тивно связанных между собой гипотез, из которых в конеч­ном счете выводятся утверждения об эмпирических фактах. Тем самым этот метод основан на выведении (дедукции) зак­лючений из гипотез и других посылок, истинностное значе­ние которых неизвестно. А это значит, что заключение, полу­ченное на основе данного метода, неизбежно будет иметь ве­роятностный характер. Общая структура гипотетико-дедуктивного метода (шаги

его реализации):

а) ознакомление с фактическим материалом, требующим теоре­тического объяснения и попытка такового с помощью уже су­ществующих теорий и законов. Если нет, то:

I б) выдвижение догадки (гипотезы, предположения) о причинах

;" и закономерностях данных явлений с помощью разнообраз-

• ных логических приемов;

в) оценка основательности и серьезности предположений и от­
бор из их множества наиболее вероятной;

г) выведение из гипотезы (обычно дедуктивным путем) след­
ствий с уточнением ее содержания;

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

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