Журнал «Современная Наука»

Стандартная и теоретико-множественная стратегии формализации научной теории

Архиереев Николай Львович (К.ф.н., Московский Государственный Технический Университет им. Н. Э. Баумана)

Формализацию научной теории в языке логики предикатов первого порядка принято называть стандартной. Данная техника, принятая в программе логического позитивизма, не позволяет достаточно точно описать класс предполагаемых моделей теории, что до определённой степени дискредитирует применение формальных методов в философии науки. Естественной альтернативой стандартной формализации теории является теоретико-множественная, использующая в качестве основного семантическое понятие модели теории в смысле А. Тарского и лишённая большинства технических недостатков программы логического позитивизма. В статье рассматриваются основные принципы данных стратегий формализации

Ключевые слова:теория, метатеория, модель, формализация, аксиоматизация

Читать полный текст статьи …

Ссылка для цитирования:
Архиереев Н. Л. Стандартная и теоретико-множественная стратегии формализации научной теории // Современная наука: актуальные проблемы теории и практики. Серия: Познание. -2017. -№11-12. -С. 46-50

ПРАВОВАЯ ИНФОРМАЦИЯ:
Перепечатка материалов допускается только в некоммерческих целях со ссылкой на оригинал публикации. Охраняется законами РФ. Любые нарушения закона преследуются в судебном порядке.
© ООО "Научные технологии"