КЛАССИФИКАЦИЯ МЕТОДОВ НАУЧНОГО ПОЗНАНИЯ. ТЕОРЕТИЧЕСКИЕ МЕТОДЫ НАУЧНОГО ПОЗНАНИЯ.

1. Классификация методов познания может осуществляться по различным основаниям, например, общая классификация методов по масштабам их применения: от универсальных до специфических методов исследования.

· Философские методы познания (метод живого созерцания, умозрения; логический метод (Аристотеля), диалектический метод, метод схоластики, метод мистического озарения, метод диалектической логики, диалектико-материалистический метод, метод интеллектуальной интуиции, герменевтический метод, феноменологический метод и др. ).

· Общенаучные методы познания (дедукция, индукция, системный метод, структурно-функциональный метод, моделирование, наблюдение и др. ).

· Частнонаучные методы познания (методы механики, методы химии и др. ).

· Междисциплинарные методы познания (метод спектрального анализа, вероятностно-статистические методы и др. ).

· Дисциплинарные методы познания.

2. Классификация методов научного познания по характеру:

· Общелогические методы познания (абстрагирование, анализ, синтез, обобщение, идеализация, сравнение, аналогия, дедукция, индукция)

· Эмпирические методы познания (наблюдение, описание, измерение, эксперимент).

· Теоретические методы познания (аксиоматический, гипотетико-дедуктивный, идеализация, формализация)

3. Классификация методов познания по типам рациональности:

· Методы логико-математических наук.

· Методы естествознания.

· Методы технических наук.

· Методы социально-гуманитарных наук.

Теоретические методы научного познания:

1. Идеализация – процесс создания мысленных, не существующих в действительности объектов, позволяющий отразить исследуемое явление «в чистом виде». Создание идеализированных объектов связано, с одной стороны, с отвлечением от тех или иных свойств реальных предметов, от условий в которых они существуют, с другой стороны, идеализированные объекты отражают предельный случай существования определенного свойства или отношения.

Необходимо помнить, что теория не является простым обобщением фактов и не выводится из них логическим путем. Для построения теории через гипотезу вводится идеализированный объект, представляющий собой абстрактную модель действительности, наделенную небольшим количеством свойств и имеющую относительно простую структуру. Например, в специальной теории относительности идеализированным объектом является абстрактное псевдоевклидово четырехмерное множество координат и мгновений времени, при условии, когда отсутствует поле тяготения. Основные свойства идеализированного объекта описываются системой фундаментальных уравнений. В классической механике – это уравнения Ньютона, в электродинамике – уравнения Максвелла, в теории относительности – уравнения Эйнштейна. В результате экспериментов, уравнения могут уточняться, идеализированный объект – меняться. Замена идеализированного объекта теории означает переинтерпретацию основных уравнений теории и всегда ведет к созданию новой теории.

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

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

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

На определенном уровне развития познания сами научные теории становятся объектами исследования. В одном случае необходимо представить в явном виде их логическую структуру, в другом – выяснить, какую роль в теории играет то или иное положение. Этот метод применяется для проведения строгого логического анализа теории. Формализация как метод научного познания применяется в математике, логике в некоторых разделах физики.

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

Впервые метод был применен в античности, в математике Евклида. На современной стадии развития науки используется выдвинутая Гильбертом концепция формального аксиоматического метода, которая ставит задачу точного описания логических средств вывода теорем из аксиом. Основная идея Гильберта – полная формализация языка науки, при которой ее суждения рассматриваются как последовательность знаков (формулы), приобретающие смысл только при конкретной интерпретации. Для вывода теорем из аксиом формулируются специальные правила вывода. Такие теории называются исчислениями. Основные требования, предъявляемые к формальным теориям, исчислениям – это непротиворечивость, полнота и независимость аксиом.

Непротиворечивость теории состоит в том, что из предложений теории нельзя вывести тезис и его отрицание «А и не-А». Аксиоматическая система называется дедуктивно полной по отношению к данной интерпретации, если все ее формулы, истинные при данной интерпретации, доказуемы в ней. В 1931 году К.

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

Важно помнить, что семиотика – это наука, изучающая семиотические отношения знаковых систем, т. е. отношения знака к знакам (синтаксис), знака к обозначаемым им объектам (семантика), знака к потребностям человека (прагматика).

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

Структура теории:

· исходная эмпирическая основа теории – факты, полученные в ходе эмпирической интерпретации теории и объясняемые в рамках данной теории;

· исходная теоретическая основа теории – множество первичных допущений, постулатов, аксиом, общих законов теории, в совокупности описывающих идеализированный объект;

· собственные основания теории – совокупность выведенных в теории утверждений с их доказательствами (законы, типологии, классификации);

· гносеологические основания теории – философские принципы, отражающие специфику отношения идеализированного объекта данной теории к объективной действительности;

· семиотические основания теории – правила и специфика языка теории; синтаксис, семантика и прагматика данного языка теории.

· логические основания теории – правила и законы логического вывода и доказательства.

Функции теории:

· описательная;

· объяснительная;

· предсказательная;

· практическая.

Типология теорий и научных языков

Язык – это семиотическая система, которая задается алфавитом и правилами построения слов из символов алфавита.

Языки

Искусственные Естественные

Неалгоритмически построенные Алгоритмически построенные Специфицированные Неспецифицированные

Чисто формальные Формально-содержательные

С алгоритмической семантикой С неалгоритмической семантикой

Гносеологические Негносеологические

Чисто формальный язык – это язык, термины и предложения которого распознаются только по их форме.

Формально-содержательный язык – это формальный язык, термины и предложения которого имеют содержание (смысл и значение).

Формально-содержательный язык с алгоритмической семантикой – у такого формально-содержательного языка семантика является конструктивной системой. (Язык логики высказываний).

Формально-содержательный язык с неалгоритмической семантикой – у него семантика не является конструктивной системой, а если является, то она не алгоритмически придана синтаксису языка. (Язык формализованной классической теории множеств).

Гносеологические формально-содержательные языки – это языки, у которых семантические отношения являются гносеологическими отношениями. (Язык формализованной арифметики натуральных чисел).

Негносеологические формально-содержательные языки – языки, семантика которых негносеологическая. (Языки многозначных логик, машинные языки).

Классификация теорий производится на основе их языков

Теории

Формальные Чисто содержательные

Чисто формальные Формально-содержательные С гносеологической семантикой С негносеологической семантикой

С гносеологической семантикой С негносеологической семантикой

30.