9 / 11
Теоретико-модельная стратегия обоснования научного знания...
Гуманитарный вестник
# 12·2017 9
В качестве языка аксиоматизации теории могут использоваться:
1) язык теории множеств (неформальной или аксиоматической);
2) языки логики предикатов неэлементарного порядка;
3) язык математической теории категорий.
Первый вариант, технически наиболее простой, применяется в
классических работах П. Суппеса, а также в работах Ньютона да Ко-
сты и Стивена Френча. На несколько иной, хотя и схожей технике
основаны и семантические версии формальной философии науки,
представленные в работах Б. ван Фраассена и Ф. Саппа.
Второй вариант, намеченный еще в поздних работах сторонников
стандартной трактовки научной теории, в первую очередь
Р. Карнапа, был полностью реализован в исследованиях представите-
лей структуралистского направления в философии науки — Д. Сни-
да, В. Штегмюллера, В. Бальцера, К. Мулинеса.
Третий, технически наиболее сложный вариант, реализуется в
трудах Х. Халворсона, Дж. Ламбека, У. Ловиера и др.
Относительно всех указанных версий теоретико-модельной стра-
тегии обоснования научного знания справедливы следующие утвер-
ждения: данная техника аксиоматизации научных теорий является
гораздо более гибкой, чем стандартная аксиоматизация теорий в
Я.К.Л.П.-1=, в большей степени соответствует процедурам построе-
ния теорий, применяемым в реальной научной практике, и плодо-
творно используется при анализе структуры и динамики как есте-
ственно-научных, так и социальных теорий.
ЛИТЕРАТУРА
[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.