Методы теоретического познания

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

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

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

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

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

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

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

Общая структура гипотетико-дедуктивного метода (шаги его реализации):

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

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

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

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

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

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

4. Восхождение от абстрактного к конкретному — метод тео­ретического исследования и изложения, состоящий в движе­нии научной мысли от исходной абстракции («начало» — од­ностороннее, неполное знание) через последовательные эта­пы углубления и расширения познания к результату — цело­стному воспроизведению в теории исследуемого предмета. В качестве своей предпосылки данный метод включает в себя восхождение от чувственно-конкретного к абстрактному, к выделению в мышлении отдельных сторон предмета и их «зак­реплению» в соответствующих абстрактных определениях. Движение познания от чувственно-конкретного к абстрактно­му — это и есть движение от единичного к общему, здесь преобладают такие логические приемы, как анализ и индук­ция. Восхождение от абстрактного к мысленно-конкретному — это процесс движения от отдельных общих абстракций к их единству, конкретно-всеобщему, здесь господствуют приемы синтеза и дедукции. Такое движение познания — не какая-то формальная, техническая процедура, а диалектически проти­воречивое движение, отражающее противоречивое развитие самого предмета, его переход от одного уровня к другому в соответствии с развертыванием его внутренних противоречий¹¹⁵.