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