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

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

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

# 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.