11 / 11
Теоретико-модельная стратегия обоснования научного знания...
Гуманитарный вестник
# 12·2017 11
The model-theoretic strategy of validating scientific
knowledge in the modern formal philosophy of science
© N.L. Arkhiereev
Bauman Moscow State Technical University, Moscow, 105005, Russia
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 dis-
credit 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 pecu-
liarities 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.
Keywords:
predicate, set, standard formalization, theory axiomatizing, model of theory,
representation theorem, measurement theory
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.
Arkhiereev N.L.,
Cand. Sc. (Philos.), Assoc. Professor, Department of Philosophy,
Bauman Moscow State Technical University. e-mail:
arkh-nikolaj@yandex.ru