Позже эта проблема была изучена и представлена К. Гемпелем под названием дилемма теоретика. «Почему наука должна обращаться к гипотетическим сущностям, в то время как она заинтересована в установлении предсказательных и объяснительных связей между наблюдаемыми сущностями?» — спрашивает он1. Установление связи между наблюдаемыми объектами К. Гемпель называет систематизацией. Так, если теория устанавливает между наблюдаемыми объектами некоторую дедуктивно-но-мологическую связь (см. § 1.3), то можно говорить о дедуктивной систематизации, если же эта связь недедуктивная, вероятностная, то можно говорить об индуктивной систематизации. Далее ход его рассуждений таков. Если теоретические термины не выполняют функции систематизации, они не нужны. Но если они выполняют эти функции, т.е. устанавливают связи между наблюдаемыми явлениями, то эти же связи можно установить и напрямую, без использования дополнительных понятий. Тогда опять же теоретические термины не нужны.
Прежде всего возникает вопрос о технической возможности логически корректно осуществить Рамсей-элиминацию, т.е. переформулировку теории без использования неэмпирических понятий. Первое положительное решение дал сам Ф.П. Рамсей, предложив процедуру замены теоретических терминов логическими конструкциями. Однако результаты Ф.П. Рамсея, показывающие принципиальную возможность устранимости неэмпирических терминов из теории, ни в коем случае не означают, что ученые должны отказаться от использования таких терминов. Как подчеркивает Р. Карнап, процедуры Ф.П. Рамсея выявляют полное содержание наблюдений, на которых базируется та или иная теория; решение Ф.П. Рамсея лишь устраняет все неявно подразумеваемые дополнительные значения неэмпирических терминов и выявляет действительный эмпирический базис теории2. Однако решение Ф.П. Рамсея оставляет открытым вопрос, зачем нужны неэмпирические термины. Следующий шаг в решении этой проблемы принадлежит американскому логику В. Крэйгу. Он пришел (в работах1953 г. и последующих) к более общему результату, из которого процедура Ф.П. Рамсея может быть получена как следствие. Метод, предложенный Крэйгом, оказался громоздким. Сам В. Крэйг считал его достаточно искусственным и имеющим лишь теоретический интерес. И вот результат принципиальной важности: теория, из которой были методом Крэйга изъяты неэмпирические термины, оказывалась непригодной для использования, нежизнеспособной.