отношения включения классов, несмотря на то, что
этот
вопрос тесно связан с проблемой проверяемости и
фальсифицируемое™ и их степеней. Чем меньше необ-
ходимо величин для определения начальных условий,
тем менее неэлементарными (см. прям. *3 к этой гла-
ве) будут базисные высказывания, обеспечивающие
фальсификацию теории, так как фальсифицирующее
базисное высказывание представляет собой конъюнкцию
начальных условий с отрицанием выводимого предска-
зания (см. разд. 28). Таким образом, можно сравнивать
теории по степени их проверяемости путем установле-
ния минимальной степени неэлементарности, которую
должно иметь базисное высказывание, чтобы оно мог-
ло вступить в противоречие с теорией. Конечно, все
это возможно при условии, что мы можем найти способ
сравнивать базисные высказывания, позволяющий уста-
новить, являются ли они более или менее неэлементар-
ными, то есть соединениями большего или меньшего
числа базисных высказываний более простого вида. Не-
зависимо от своего содержания все базисные высказы-
вания, чья степень неэлементарности не достигает не-
обходимого минимума, допускаются теорией просто по
причине их малой степени неэлементарности.
Однако любая такая программа сталкивается с за-
труднениями, поскольку в общем случае на основании
простого наблюдения не так легко установить, является
ли некоторое высказывание неэлементарным, то есть эк-
вивалентным конъюнкции более простых высказыва-
ний. Действительно, во все высказывания входят уни-
версальные имена и,
анализируя эти имена, часто
можно разложить такие высказывания на конъюнктив-
ные компоненты (так, высказывание «В месте
Достарыңызбен бөлісу: