Личный кабинет
Подробное описание документа
Архиереев Н. Л.
Теоретико-модельная стратегия обоснования научного знания в современной формальной философии науки / Архиереев Н. Л. - DOI 10.18698/2306-8477-2017-12-492 // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2017. - № 12. -
Скачать документ
Принятая в логическом позитивизме программа обоснования научного знания опиралась на формализацию научных теорий в языке логики предикатов первого порядка, обычно называемую стандартной. Стандартная формализация не позволяет достаточно точно описать класс предполагаемых моделей теории, что до определенной степени дискредитирует применение формальных методов в философии науки. Естественной альтернативой стандартной формализации и обоснования теории является теоретико-модельная стратегия, использующая в качестве основного семантическое понятие модели теории в смысле А. Тарского и лишенная большинства технических недостатков программы логического позитивизма. Рассмотрены основные принципы данной стратегии обоснования научного знания, выяснены особенности применения понятия модели в смысле Тарского к аксиоматизации теорий математики и физики, выявлена специфика истолкования понятия истины при характеристике предложений естественнонаучных теорий.
Статья опубликована в следующих изданиях
№ 12. - 2017.
