В точности те же соображения, которые приложимы к отрицанию «нет», приложимы к «или», «но» и всем видам связок. Связки, как следует из их названия, соединяют другие слова и не имеют значения сами по себе; следовательно, они предполагают существование языка. То же самое справедливо для кванторных слов «все» и «некоторые»; вы можете только иметь или все нечто, или некоторую часть этого нечто, а в отсутствие других слов «все» и «некоторые» лишены значения. Наши аргументы уместны и в отношении определенного артикля «этот».
Таким образом, все без исключения логические слова отсутствуют в первичном языке. Фактически все они предполагают пропозициональные формы: «нет» и связки предполагают суждения, в то время как «все», «некоторые» и «этот» предполагают пропозициональные функции.
Обычный язык содержит множество чисто синтаксических слов, таких как «есть» и «чем», которые, безусловно, следует исключить из первичного языка. Эти слова, в отличие от уже рассмотренных, фактически являются полностью ненужными и не появляются в символических логических языках. Вместо фразы: «Л раньше, чем 5» мы говорим: «А предшествует S»; вместо: «А есть желтый» логический язык скажет «желтый (А)»; вместо: «Имеются улыбающиеся плуты» мы говорим: ложно, что для всех значений χ выражение «или χ не улыбается, или χ не плут» — ложно. «Существование» и «Бытие», как они встречаются в традиционной метафизике, представляют гипостазированные формы определенных значений слова «есть». Поскольку «есть» не принадлежит к первичному языку, «существование» и «бытие», если они намерены что-либо означать, должны быть лингвистическими понятиями, неприложи-мыми напрямую к объектам.
Существует другой очень важный класс слов, который следует, по крайней мере пока, исключить, а именно такие слова, как «полагаю», «желаю», «сомневаюсь»; за каждым из них, когда они входят в предложение, должно следовать подчиненное предложение, говорящее, что именно полагают, чего желают, в чем сомневаются. Такие слова, насколько я смог установить, всегда являются пси-