Выделите теоретические методы.

1. Аксиоматизация.

2. Описание.

3. Формализация.

4. Наблюдение.

5. Измерение.

6. Гипотетико-дедуктивный метод.

7. Эксперимент.

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

Для построения любой формальной системы необходимо:

1) задать алфавит (определенный набор знаков) ; 2) задать правила, по которым из исходных знаков алфавита можно получить "слова" или "формулы"; 3) задать правила, по которым из одних слов (формул) можно перейти к другим словам (формулам).

Формальные системы позволяют проводить исследования (в данном случае это оперирование знаками) какого-либо объекта без непосредственного обращения к нему. Краткость и четкость фиксирования информации.

Теорема Геделя о неполноте всех формальных систем. Поэтому искусственный язык не является единственным языком науки.

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

1) Формулируется система основных терминов науки (например, в геометрии Евклида - понятие точки, прямой, угла, плоскости и т. д.)

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

3) Формулируется система правил вывода, позволяющая преобразовывать исходные положения и переходить от одних положений к другим, а также вводить новые термины в теорию.

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

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