ние с большей степенью проверяемости, является логи-
чески менее вероятным, а высказывание, проверяемое
в меньшей степени, является логически более вероятным
высказыванием.
Как показывается в [70, разд. 72],
численная
ве-
роятность может быть связана с логической вероят-
ностью и, следовательно, со степенью фальсифицируе-
мости. Вполне возможно проинтерпретировать числен-
ную вероятность как применимую к некоторой подпо-
следовательности (выбранной из отношения логической
вероятности), для которой на основании оценок часто-
ты можно определить
систему измерения.
Высказанные соображения о сравнении степеней
фальсифицируемости относятся не только к универсаль-
ным высказываниям или системам теорий. Их можно
обобщить таким образом, чтобы они применялись и к
сингулярным высказываниям. Поэтому наши соображе-
ния верны, например, для теорий в конъюнкции с на-
чальными условиями. В этом случае класс потенциаль-
ных фальсификаторов не следует путать с классом
событий, то есть с классом однотипных базисных выска-
зываний, поскольку класс потенциальных фальсифика-
торов представляет собой класс явлений. (Это замеча-
ние имеет некоторое отношение к связи между логиче-
ской « численной вероятностью, которая анализирует-
ся в [70, разд. 72].)
35. Эмпирическое содержание,
отношение следования и степени фальсифицируемости
В разд. 31-говорилось, что то, что я называю
эмпи-
рическим содержанием
высказывания, возрастает вме-
сте со степенью его фальсифицируемости: чем боль-
ше высказывание запрещает, тем больше оно говорит
о мире опыта (ср. также с разд. 6). То, что я называю
«эмпирическим содержанием», тесно связано с поня-
тием «содержание», как оно определяется, например,
Карнапом [И, с. 458], однако не тождественно ему.
Для карнаповского понятия «содержание» я использую
термин «логическое содержание», чтобы отличить его
от понятия
«эмпирическое
содержание».
Я определяю
эмпирическое содержание
высказыва-
ния
p
как класс его потенциальных фальсификаторов
(см. разд. 31).
Логическое содержание
определяется
168
при помощи понятия выводимости как класс всех не-
тавтологических высказываний, выводимых из рассмат-
риваемого высказывания (такой класс можно назвать
его «классом следствий»). В соответствии с этим логи-
ческое содержание
ρ
по крайней мере равно
(то есть
больше или равно) логическому содержанию высказы-
вания
g,
если
q
выводимо из
ρ
(или символически
«р
—
>q»*
7
).
Если имеет место взаимная выводимость
(символически «р·«-»·^»), то о
ρ
и
q
можно сказать, что
они имеют равное содержание
8
. Если
q
выводимо из
р,
а
р
невыводимо из
q,
то класс следствий
q
должен быть
собственным подмножеством класса следствий
р;
в
этом случае
р
обладает большим классом следствий и,
следовательно, большим логическим содержанием (или
логической силой)*
9
.
Следствием моего определения
Достарыңызбен бөлісу: