|
Лицензионное соглашение об использовании научных материалов.
|
ОСНОВЫ ТЕОРЕТИКО-МНОЖЕСТВЕННОЙ СТРАТЕГИИ ФОРМАЛИЗАЦИИ И АКСИОМАТИЗАЦИИ НАУЧНОГО ЗНАНИЯ
|
Архиереев Николай Львович
Московский государственный технический университет имени Н. Э. Баумана
|
|
Дата поступления рукописи в редакцию:
1 декабря 2017
г.
|
|
Аннотация.
В статье анализируется проблема применения аксиоматического метода к характеристике структуры естественно-научных теорий, рассматриваются особенности применения понятия модели в смысле А. Тарского к аксиоматизации теорий математики и физики, выявляется специфика истолкования понятия истины при характеристике предложений естественно-научных теорий. Приводятся формулировки теоремы представления (репрезентации), лежащей в основе теории измерения и характеризующей классы допустимых моделей различных теорий.
|
Ключевые слова и фразы:
предикат
множество
аксиоматизация теории
модель теории
теорема представления
теория измерения
predicate
set
axiomatization of theory
model of theory
representation theorem
measurement theory
|
|
Открыть
полный текст статьи в формате PDF. Бесплатный просмотрщик PDF-файлов можно скачать здесь.
|
|
Список литературы:
- Balzer W., Moulines C., Sneed J. An Architectonic for Science. The Structuralist Program. Dordrecht: Reidel Publishing Company, 1987. 439 p.
- Da Costa N., Frensh S. Science and Partial Truth. A Unitary Approach to Models and Scientific Reasoning. Oxford: Oxford University Press, 2003. 259 p.
- Suppe F. The Semantic Conception of Theories and Scientific Realism. Urbana: University of Illinois Press, 1989. 485 р.
- Suppe F. Understanding Scientific Theories: An Assessment of Developments, 1969-1998 // Philosophy of Science. 2000. Vol. 67. Р. 102-115.
- Suppes P. A Comparison of the Meaning and Use of Models in Mathematics and the Empirical Sciences // The Concept and the Role of the Model in Mathematics and Natural and Social Sciences / ed. by J. Freudenthal. Dordrecht: Reidel, 1961. Р. 163-177.
- Suppes P. Introduction to Logic. Princeton: Van Nostrand, 1957. 330 р.
- Suppes P. Measurement, Empirical Meaningfulness and Three-valued Logic // Measurement: Definitions and Theories / ed. by C. West Churchman and P. Ratoosh. Wiley - N. Y., 1959. Р. 129-143.
- Suppes P. Models of Data // Logic, Methodology, and Philosophy of Science. Proceedings of the 1960 International Congress / ed. by E. Nagel, P. Suppes, and A. Tarski. Stanford: Stanford University Press, 1962. Р. 252-261.
- Van Fraassen B. The Scientific Image. N. Y.: Oxford University Press, 1980. 248 p.
|
|
