§ 20. Общая формулировка метода обнаружения экспериментальной зависимости.

Пусть у нас есть некоторая эмпирическая аксиоматическая теория M = áObs^V, V, W, S^Vñ, в которой протоколы конкретизированы, как это сделано в предыдущем параграфе. Метод обнаружения эмпирической аксиоматической теории следует понимать как метод индукции, состоящий в увеличении наших знаний об измерительной процедуре Obs^V.

Мы будем предполагать, что увеличение наших знаний должно происходить путем анализа результатов наблюдений pr₀^V и обнаружения на них аксиом в словаре V. Методом может использоваться известная нам априорная информация о величинах и законах , которая, например, содержит аксиомы величин, приведенные в § 9. Таким образом, мы приходим к следующему определению.

Определение 5. Методом обнаружения закономерностей мы будем называть отображение

M : á , pr₀^Vñ ® , (1)

сопоставляющее каждой паре á , pr₀^Vñ, где – истинное на pr₀^V множество формул, а – множество утверждений в словаре V, обнаруживаемых методом. Формулы из не выводимы из .

Мы будем предполагать далее, что эксперимент обладает свойством наследственности и экспериментальная зависимость S^V универсально аксиоматизируема (теорема 3). Из этого предположения следует, что априорная информация и множество высказываний , обнаруживаемых методом, являются подмножествами экспериментальной зависимости ,  Ì S^V.