Философские аспекты обоснования научного знания. Проблемы формализации и математизации научных теорий: история и современность

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

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

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

Научное знание, выраженное в рамках соответствующей теории, позволяет человеку:

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

2) изменить эту объективную действительность посредством человеческой деятельности в соответствии с полученными научными знаниями и тем самым подчинить эту действительность человеку и обществу в целом.

Научному знанию присущи строгая доказательность, обоснованность полученных результатов, достоверность выводов.

Для проведения логических исследований собранных фактов при обосновании научного знания используются следующие методы: идеализация, математизация, формализация.

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

Математизация – создание математической модели – абстрактной системы, состоящей из набора математических объектов (преобразование Якобиана). Выделяют два типа математических моделей:

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

- модели объяснения: структура объекта находит себе соответствие в математическом образе, она обладает способностью объяснения.

Формализация – отображение содержательного знания в знаково-символическом виде – позволяет производить операции со знаками и символами вместо операций с мыслями о предметах.

На определен­ном уровне развития познания объектами исследования становятся сами научные теории. Научная теория представляет собой определенную систему взаимосвязанных понятий и высказываний об объектах, изучаемых в данной теории. Чтобы подвергнуть теорию строгому логическому анализу, ее необходимо формализовать.

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

Выделяют два типа формализованных теорий:

1) полностью формализованные (построены в аксиоматически дедуктивной форме с явным указанием используемых логических средств);

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

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

В развитии представлений о существе аксиоматического метода выделяют три этапа:

1. первый — этап содержа­тельных аксиоматик, длившийся с появления «Начал» Евклида и до работ Н.И. Лобачевского по неевклидо­вым геометриям.

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

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

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

Потребность в формализации возникает перед наукой на достаточно высоком уровне ее развития, когда зада­ча логической систематизации и организации налич­ного знания приобретает первостепенное значение.

Философия и наука.

История взаимоотношения философии и науки складывалась не однозначно и тем не менее существуют следующие этапы их взаимоотношений:

-Синкретическое, т.е. неразличимое, единство науки и философии. Они не различаются ни предметом, ни методом , ни достигнутыми результатами (6 в. до н.э. – 17 в. н.э.).

-Начало различия предметной области философии и науки. Представление о том, что философия должна заниматься воспитанием человека, а изучение природы предоставить науке (17-19 в.)

-Многообразие предложений о том, чем должна заниматься философия:

а) ф-ия должна давать единую картину мира, основываясь на новейших достижениях естествознания;

б) ф-ия должна представлять человека во всем ее многообразии проявлений;

в) ф-ия есть теория познания, теория научного познания, теория науки;

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

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

Сейчас ф-ия оказывает наукам многообразную помощь:

1)Помогает формировать новые предметные области научных исследований.

2)Помогает формировать объяснительные принципы и представления, осмыслять и анализировать полученные противоречия.

3)Помогает критически осмыслить полученные результаты.

4)Систематизирует научные знания, помогает наукам определить свое положение в познании мира, устанавливать контакты и взаимодействия.

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

6)Помогает оценить общественную значимость научных результатов.

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

Ф. имеет научное содержание, поэтому она является наукой. Но на ряду с научным философия обладает также эстетическим и этическим содержанием.

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