Login

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

Russian (CIS)English (United Kingdom)

МОСКВА +7(495)-755-19-13

Статьи:
A+ R A-

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

E-mail Печать

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

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

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

 

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


СПИСОК ЛИТЕРАТУРЫ:
1. Balzer W., Moulines C., Sneed J. An Architectonic for Science. The Structuralist Program. Synthese library; v. 186. 1987. 439 p.
2. Da Costa N., Frensh S. Science and Partial Truth. A Unitary Approach to Models and Scientific Reasoning. Oxford: Oxford University Press. 2003. 259 p.
3. Mikenberg L., da Costa N.C.A. and Chuaqui R. 1986: Pragmatic Truth and Approximation to Truth. The Journal of Symbolic Logic 51. pp.201-221.
4. Suppe Frederick. The Semantic Conception of Theories and Scientific realism. Urbana. University of Illinois Press. 1989. 485 р.
5. Suppes Patrick. Introduction to Logic // Princeton: Van Nostrand. 1957. 330 р.
6. Suppes Patrick. A Comparison of the Meaning and Use of Models in Mathematics and the Empirical Sciences// in J. Freudenthal (ed.). The Concept and the Role of the Model in Mathematics and Natural and Social Sciences. Dordrecht. Reidel. 1961. 163-177.
7. Suppes Patrick. Models of Data // in E. Nagel, P. Suppes, and A. Tarski (eds.). Logic, Methodology, and Philosophy of Science. Proceedings of the 1960 International Congress. Stanford: Stanford University Press. 1962. pр. 252-261.
8. Suppes Patrick . Measurement, Empirical Meaningfulness and Three-valued Logic// in Measurement: Definitions and Theories (ed. by C. West Churchman and P. Ratoosh). Wiley.New York. 1959. pp. 129-143.



© 
Н.Л. Архиереев, Журнал "Современная наука: актуальные проблемы теории и практики".
 

 

 

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