The model-theoretic strategy of validating scientific knowledge in the modern formal philosophy of science

The accepted in the logical positivism program of validating scientific knowledge founded upon the so-called standard formalization of scientific theories in the logical language of the first-order predicates. The standard formalization does not allow describing the class of the suppositional models of theory accurately enough, which to a certain degree brings into discredit the application of the formal methods in the philosophy of science. The commonsensical alternative to the standard formalization and validation of theory is a model-theoretic strategy using the semantic models of theory concept in the sense of A. Tarski as the basic one and deprived of most technical drawbacks in the logical positivism program. The article considers the underlying principles of this strategy of validating scientific knowledge, clarifies the peculiarities of applying the model concept in the sense of A. Tarski to axiomatizing the theories in mathematics and physics, and reveals the specific features of explaining the notion of truth when characterizing the assertions of the scientific theories.

References
[1] Suppe F. The semantic conception of theories and scientific realism. Urbana, University of Illinois Press Publ., 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 uses 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 Publ., 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 Publ., 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. Philosophy of Science, vol. 67, Supplement. Proceedings of the 1998 Biennial Meetings of the Philosophy of Science Association. Part II: Symposia Papers (Sep., 2000), pp. 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.