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

.

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

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

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

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

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

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

Общая структура гипотетико-дедуктивного метода

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