Previous Page  11 / 11
Information
Show Menu
Previous Page 11 / 11
Page Background

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

Гуманитарный вестник

# 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