7 / 11
Теоретико-модельная стратегия обоснования научного знания...
Гуманитарный вестник
# 12·2017 7
прос о том, какой тип моделей (репрезентирующий или формально-
семантический) является более фундаментальным, несущественен в
силу их структурного тождества. Более того, различие между моде-
лями указанных типов обнаруживается только при явной фиксации
онтологии предметной области теории
D
.
При теоретико-множественной аксиоматизации теории говорить о
ее
истинности
можно по крайней мере в двух различных смыслах:
1) истинность можно понимать сугубо формально как выполни-
мость предложений теории в некоторой модели в смысле Тарского.
Данное понимание истинности может быть названо внутренним, по-
скольку в этом случае собственно эмпирическое содержание теории
не всегда играет решающую роль. Поскольку между предложениями
теории, модели которых относятся к одному и тому же логическому ти-
пу, можно обычным образом устанавливать основные виды отношений
по логическим формам — их совместимость/несовместимость по ис-
тинности и ложности, наличие/отсутствие отношения логического сле-
дования и т. д. Данное понимание истинности также называют горизон-
тальным;
2) под истинностью/ложностью теории можно понимать истин-
ность/ложность ее упомянутого выше фундаментального эмпириче-
ского утверждения, декларирующего некоторое структурное соответ-
ствие между моделями теории и моделями наблюдаемых феноменов
(моделями данных). Это понимание истинности теории является
внешним, так как непосредственно относится к проблеме состоя-
тельности теории и зависит от успешности репрезентации предмет-
ной области теории в ее моделях. Поскольку при решении вопроса об
истинности теории во втором смысле речь идет об оценке иерархии
ее моделей различного уровня, данное понимание истинности можно
также назвать вертикальным.
В трактовке Суппеса понятие внешней истинности теории также
формально по своей природе, однако гораздо сложнее понятия внут-
ренней истинности, поскольку предполагает использование
мате-
матической теории измерения
и
доказательство
фундаментальной
для данного способа аксиоматизации теорий
теоремы представления
(репрезентации).
В рамках теории измерения точным образом устанавливается
способ перехода от качественных по своей природе наблюдений к
количественно точным утверждениям эмпирических наук. Способ
подобного перехода
фиксируется с помощью аксиоматизации соот-
ветствующей алгебры экспериментальных процедур.
На основе аксиоматизированной теории измерения некоторой
эмпирической величины доказана теорема представления для эмпи-
рических и численных моделей этой теории, устанавливающая