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

Таким образом, фраза является обозначающей только ввиду своей формы .

То, что мы знаем, это следующее 'Такой-то обладает сознанием, которое имеет такие-то свойства', но мы не знаем 'А имеет такие-то свойства', где Аесть рассматриваемое сознание. В этом случае мы знаем свойства вещи, не имея знакомства с самой вещью, и, следовательно, не зная ни одной пропозиции, в которой сама эта вещь была бы конституентой

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

'Круглый квадрат является круглым' опять же подразумевает 'Существует одна и только одна сущность х , которая является круглой и квадратной, и эта сущность является круглой', что является ложной, а не истинной пропозицией, как предполагал Мейнонг. 'Самое совершенное существо обладает всеми совершенствами; существование есть совершенство; следовательно, самое совершенное существо существует' принимает вид:

'Существует одна и только одна сущность х , которая является самой совершенной; эта сущность имеет все совершенства; существование есть совершенство; следовательно, эта сущность существует'

'Я думал размер вашей яхты, больше чем размер вашей яхты'. В

'Автор Уэверли был человеком' подставить следующее: 'Одна и только одна сущность написала Уэверли , и эта сущность была человеком'. (То, что имеется в виду, не столь строго как то, что говорилось ранее, но этому легче следовать.) Говоря в общем, если предположить, что мы хотим сказать, что автор Уэверли имеет свойство f , тогда то, что мы хотим сказать, эквивалентно следующему: 'Одна и только одна сущность написала Уэверли , и эта сущность обладает свойством f '

Следовательно, казалось бы, отрицание бытия чего-либо всегда должно быть самопротиворечивым; но мы видели, в связи с Мейнонгом, что признание бытия также иногда ведёт к противоречиям. Поэтому, если А и В не различаются, предполагать либо существование, либо несуществование такого объекта как 'различие между А и В ', по-видимому, равным образом невозможно

Следовательно, истинным должно быть либо 'Нынешний король Франции лыс', либо 'Нынешний король Франции не лыс'. Однако если мы перечислим вещи, которые являются лысыми, а затем вещи, которые не являются лысыми, мы ни в одном списке не найдём нынешнего короля Франции. Гегельянцы, обожающие синтезы, вероятно заключили бы, что он носит парик

. Так, король Георг IV желал знать, является ли Скотт автором Уэверли . Скотт на самом деле был автором Уэверли . Следовательно, мы можем подставить Скотт вместо автор 'Уэверли' и посредством этого доказать, что Георг IV желал знать, является ли СкоттСкоттом . Однако интерес к закону тождества вряд ли может быть приписан первому джентльмену Европы

(1) Если а тождественно с b , то всё, что истинно для одного, является истинным и для другого и может быть подставлено вместо другого в любую пропозицию без изменения истинности и ложности этой пропозиции