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

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

# 12·2017 1

УДК 163 DOI 10.18698/2306-8477-2017-12-492

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

знания в современной формальной философии науки

МГТУ им. Н.Э. Баумана, Москва, 105005, Россия

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

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

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

ет достаточно точно описать класс предполагаемых моделей теории, что до

определенной степени дискредитирует применение формальных методов в фило-

софии науки. Естественной альтернативой стандартной формализации и обосно-

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

стве основного семантическое понятие модели теории в смысле А. Тарского и ли-

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

позитивизма

Рассмотрены основные принципы данной стратегии обоснования

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

Тарского к аксиоматизации теорий математики и физики, выявлена специфика

истолкования понятия истины при характеристике предложений естественно-

научных теорий.

Ключевые слова:

предикат, множество, стандартная формализация, аксиома-

тизация теории, модель теории, теорема представления, теория измерения

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

ется описание различных процедур обоснования научного знания.

Под обоснованием научного знания (

теории

) обычно понимают

описание логических методов введения (определения) исходных по-

нятий теории, способов уточнения их объемов и содержаний, выяв-

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

тов (законов) теории, строгое описание способов верификации и

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

отношений между моделями теории.

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

научного знания предложили сторонники логического позитивизма.

Данная программа предполагала решение ряда фундаментальных

эпистемических

формально-логических задач

. К основным

эписте-

мическим

задачам можно отнести обнаружение элементарных и до-

стоверных основ научного знания, строгое различение аналитических

и синтетических высказываний, входящих в состав научного знания,

формулировку процедур обоснования теоретического знания (сведе-

ния теоретического знания к эмпирическому), которая одновременно

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