Теоретико-модельная стратегия обоснования научного знания...
Гуманитарный вестник
# 12·2017 5
Карлоса Мулинеса [6], Б. ван Враассена [7], Фредерика Саппа [1, 8],
Стивена Френча, Ньютона да Косты [9] и ряда других авторов.
В англоязычной литературе по философии науки различные вер-
сии данной программы называются теоретико-множественными, тео-
ретико-модельными, семантическими, структуралистскими.
При этом общими для различных версий данного подхода к ана-
лизу научного знания являются следующие положения.
Конкретная лингвистическая формулировка научной теории (ее
аксиоматизация в виде последовательности предложений некоторого
формализованного языка) второстепенна при ее описании и иденти-
фикации. Наиболее эффективный способ идентификации теории —
описание ее структуры, характеризующей класс реальных и потенци-
альных моделей теории (в смысле А. Тарского). При этом структура
теории может трактоваться как абстрактный теоретико-
множественный предикат (Суппес, Снид, Бальцер, Мулинес), фазо-
вое пространство (допустимых) состояний эмпирической области
теории (ван Фраассен) или как реляционная система, описывающая
каузально допустимые изменения состояний физической системы
(Сапп).
Поскольку структура теории в указанном выше смысле — объект
не лингвистический, а теоретико-множественный, сам вопрос о ее
истинности/ложности является некорректным. Речь может идти лишь
об истинности/ложности следующего фундаментального эмпириче-
ского утверждения соответствующей теории:
между элементами
предметной области теории (наблюдаемыми феноменами) и моде-
лями теории, определяемыми ее законами, существует некоторое
соответствие, обеспечивающее адекватную репрезентацию реаль-
ности в моделях теории.
Степень строгости упомянутого отношения соответствия (изо-
морфизм, частичный изоморфизм, гомоморфизм, более слабые вари-
анты отношения подобия) может варьировать в различных версиях
теоретико-модельной программы. Общим, однако, является следую-
щий факт: в каждом конкретном случае лингвистическая формули-
ровка законов теории не определяет точный тип данного отношения
соответствия/отображения. Этот факт радикально отличает семанти-
ческую трактовку научных теорий от стандартной, в рамках которой
они рассматриваются как конъюнкции предложений — формулиро-
вок законов теории и правил соответствия, которые однозначно де-
терминируют способ проявления законов в наблюдаемых феноменах.
Согласно классической редакции теоретико-множественного
подхода, изложенной в указанных работах Суппеса, именно понятие
модели в смысле А. Тарского (а не понятие стандартной аксиомати-
зации теории в Я.К.Л.П.-1=) является общим как для структурных,