Теоретико-модельная стратегия обоснования научного знания в современной формальной философии науки

Н.Л. Архиереев

Гуманитарный вестник

# 12·2017

риев осмысленности высказываний и критериев демаркации научно-

го и ненаучного знания. Необходимым условием успешного осу-

ществления этого методологического проекта в рамках программы

логического позитивизма объявлялось успешное решение формаль-

но-логической задачи строгой экспликации указанных проблем в не-

котором искусственном языке. В современной историко-философской и

логической литературе в качестве такого формализованного языка при-

нято называть язык логики предикатов первого порядка с равенством

(далее — Я.К.Л.П.-1=). При этом сама научная теория, подлежащая ана-

лизу, формулировалась в виде частично интерпретированной аксио-

матической системы, аксиомы которой представляли собой фунда-

ментальные законы соответствующей теории, выраженные в некото-

ром теоретическом языке

. Наблюдаемые следствия из данных

законов формулировались в отдельном языке наблюдения

, а связь

между понятиями из языков

осуществлялась с помощью правил

соответствия С (в более поздних редакциях данной программы — с по-

мощью предложений редукции

). Прямыми семантическими значени-

ями при этом обладали только понятия из языка

Собственно теория отождествляется при этом с множеством фун-

даментальных постулатов

и правил соответствия С, упорядочен-

ным отношением формальной дедуктивной выводимости.

Трактовка теории как некоторого множества предложений (вы-

сказываний), связанных отношением выводимости, называется стан-

дартной или высказывательной (statement view).

Программа обоснования научного знания, предложенная сторон-

никами логического позитивизма, была, безусловно, далеко не пер-

вой в истории философии и науки попыткой обнаружения фундамен-

тальных и непосредственно очевидных основ знания, редукции

сложных концептуальных построений к некоторым элементарным

составляющим, различения аналитических и синтетических сужде-

ний и т. д. Однако уникальность данной программы заключается, по

мнению автора, в принципиальной и последовательной опоре на со-

временные формально-логические методы анализа научного знания,

предполагавшей использование искусственных языков с однозначно

фиксированной структурой, строгих методов определения вводимых

понятий, описание отношений между исходными понятиями теории с

помощью системы аксиом.

Более того, поскольку реализация эпистемической части про-

граммы была поставлена в прямую зависимость от ее формально-

логической части, именно логический позитивизм, несмотря на по-

следовавшую в итоге дискредитацию ряда его исходных принципов,

выявил первостепенную роль принимаемых норм и способов форма-

лизации знания в решении фундаментальных содержательных про-

блем философии науки.