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

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

Литература
[1] Suppe F. The Semantic Conception of Theories and Scientific realism. Urbana. University of Illinois Press, 1989, 485 р.
[2] Suppes P. Introduction to Logic. New York, Van Nostrand Reinhold Company Publ., 1957, 330 р.
[3] Suppes P. A Comparison of the Meaning and Use of Models in Mathematics and the Empirical Sciences. In: The concept and the role of the model in mathematics and natural and social sciences. Synthese Library. Dordrecht, Springer Publ., 1961, vol. 3, рр. 163-177. DOI: https://doi.org/10.1007/978-94-010-3667-2_16
[4] Suppes P. Models of Data. In: Nagel E., Suppes P., Tarski A., eds. Logic, Methodology, and Philosophy of Science. Proceedings of the 1960 International Congress. Stanford, Stanford University Press, 1962, pр. 252-261.
[5] Suppes P. Measurement, Empirical Meaningfulness and Three-valued Logic. In: West Churchman C., Ratoosh P., eds. Measurement: Definitions and Theories. New York, Wiley, 1959, pp. 129-143.
[6] Balzer W., Moulines C., Sneed J. An Architectonic for Science. The Structuralist Program. Synthese library. Dordrecht, Springer Netherlands Publ., 1987, vol. 186, 440 p. DOI: 10.1007/978-94-009-3765-9.
[7] Van Fraassen B. The Scientific Image. New York, Oxford University Press, 1980, 248 p.
[8] Suppe F. Understanding Scientific Theories: An Assessment of Developments, 1969-1998. Philosophy of Science, vol. 67, рp. 102-115.
[9] Da Costa N., Frensh S. Science and Partial Truth. A Unitary Approach to Models and Scientific Reasoning. Oxford, Oxford University Press, 2003, 259 p.