Ход моей аргументации будет следующим. Я начну с изложения теории, которую намерен отстаивать[2] ; затем, я рассмотрю теории Фреге и Мейнонга, показывая, почему ни одна из них меня не удовлетворяет; далее я приведу основания в пользу моей теории; и наконец, кратко укажу её философские следствия.
Вкратце моя теория состоит в следующем. Я рассматриваю понятие переменной как фундаментальное и использую 'С (х )' для обозначения пропозиции[3] , в которой х является конституентой, где х , т.е. переменная, существенно и полностью не определена. Мы можем далее рассмотреть два понятия 'С (х ) всегда истинно'[4] и 'С (х ) иногда истинно'. Затем всё, ничто и нечто (которые представляют собой наиболее примитивные обозначающие фразы) должны интерпретироваться следующим образом:
С (всё) подразумевает 'С (х ) всегда истинно';
С (ничто) подразумевает '»С (х ) является ложным» всегда истинно';
С (нечто) подразумевает 'Ложно, что «С (х ) является ложным» всегда истинно'[5] .
Здесь понятие 'С (х ) всегда истинно' рассматривается как предельное и неопределяемое, а другие - как определяемые посредством него. Относительно всё, ничто и нечто не предполагается, что они каким-то образм осмысленны в изоляции. Однако осмысленность приписывается каждой пропозиции, в которой они встречаются. Принцип теории обозначения, которую я намереваюсь защищать, состоит в том, что эти обозначающие фразы никогда не являются осмысленными сами по себе, но каждая пропозиция, в чьём вербальном выражении они встречаются, осмысленна. Я думаю, что все затруднения, затрагивающие обозначение, являются результатом ошибочного анализа пропозиций, чьё вербальное выражение содержит обозначающие фразы. Надлежащий анализ, если я не ошибаюсь, может быть сформулирован следующим образом.
Предположим, что мы хотим интерпретировать пропозицию 'Я встретил какого-то [a] человека'. Если она является истинной, я встретил некоторого определённого человека; но это не то, что я утверждаю. В соответствии с защищаемой мною теорией я утверждаю следующее:
' «Я встретил х , и х есть человек» не всегда ложно'.
В общем случае, определяя класс людей как класс объектов, имеющих предикат человек , мы говорим:
'С (человек)' подразумевает '»C (х ) и х есть человек» не всегда ложно'.
Такой анализ полностью лишает осмысленности фразу 'человек' саму по себе, но придаёт осмысленность каждой пропозиции, в чьём вербальном выражении она встречается.
Рассмотрим следующую пропозицию: 'Все люди смертны'. На самом деле эта пропозиция является условной
