Об обозначении

Бесполезность тождества объясняется теорией, изложенной выше. За рамками книг по логике никто даже не стремится сказать 'х есть х ', и тем не менее утверждения тождества часто высказываются в форме типа 'Скотт был автором Уэверли ' или 'И Ты - человече'. Смысл таких пропозиций не может быть установлен без понятия тождества, хотя они не являются просто высказываниями о том, что Скотт тождествен другому элементу, автору Уэверли , или что ты тождествен другому элементу, определённому человеку. Кратчайшее высказывание 'Скотт есть автор Уэверли ', по-видимому, таково: 'Скотт написал Уэверли ; и всегда истинно для у , что если у написал Уэверли , то у тождествен Скотту'. Таким способом тождество входит в 'Скотт есть автор Уэверли '; и благодаря такому употреблению утверждается ценность тождества.

Один интересный результат изложенной выше теории обозначения следующий. Когда существует нечто такое, с чем мы не имеем непосредственного знакомства, но знаем только по определению через обозначающие фразы, то пропозиции, в которые эта вещь вводится посредством обозначающих фраз, на самом деле не содержат эту вещь как конституенту, но вместо этого содержат конституенты, выраженные несколькими словами обозначающей фразы. Поэтому в каждой пропозиции, которую мы в состоянии понять (т.е. не только в тех, об истинности и ложности которых мы можем судить, но и во всех тех, которые мы можем помыслить), все конституенты в действительности являются сущностями, с которыми мы имеем непосредственное знакомство. Такие же вещи, как материя (в том смысле, в котором материя встречается в физике) и сознания других людей, известны нам только через обозначающие фразы, т.е. мы не знакомы с ними, но знаем их как то, что имеет такие-то и такие-то свойства. Следовательно, хотя мы можем образовать пропозициональную функцию С (х ), которая должна иметь силу для такой-то материальной частицы или такого-то сознания, мы тем не менее не знакомы с пропозициями, в которых утверждается об этих вещах и которые, как мы знаем, должны быть истинными, поскольку мы не можем постичь действительные сущности, с которыми имеем дело. То, что мы знаем, это следующее 'Такой-то обладает сознанием, которое имеет такие-то свойства', но мы не знаем 'А имеет такие-то свойства', где Аесть рассматриваемое сознание. В этом случае мы знаем свойства вещи, не имея знакомства с самой вещью, и, следовательно, не зная ни одной пропозиции, в которой сама эта вещь была бы конституентой.

О множестве других следствий защищаемой мною теории я ничего говорить не буду. Я лишь попрошу читателя не настраивать себя против этой точки зрения - как это может быть ввиду её чрезвычайной усложненности - до тех пор, пока он сам не попытается сконструировать свою собственную теорию значения. Я думаю, эта попытка убедит его в том, что какой бы ни оказалась истинная теория, она не будет столь простой, как можно было бы ожидать заранее.