(1) Если а тождественно с b , то всё, что истинно для одного, является истинным и для другого и может быть подставлено вместо другого в любую пропозицию без изменения истинности и ложности этой пропозиции. Так, король Георг IV желал знать, является ли Скотт автором Уэверли . Скотт на самом деле был автором Уэверли . Следовательно, мы можем подставить Скотт вместо автор 'Уэверли' и посредством этого доказать, что Георг IV желал знать, является ли СкоттСкоттом . Однако интерес к закону тождества вряд ли может быть приписан первому джентльмену Европы.
(2) По закону исключённого третьего либо 'А есть В ', либо 'А не есть В ' должно быть истинным. Следовательно, истинным должно быть либо 'Нынешний король Франции лыс', либо 'Нынешний король Франции не лыс'. Однако если мы перечислим вещи, которые являются лысыми, а затем вещи, которые не являются лысыми, мы ни в одном списке не найдём нынешнего короля Франции. Гегельянцы, обожающие синтезы, вероятно заключили бы, что он носит парик.
(3) Рассмотрим пропозицию 'А отлично от В '. Если она истинна, то между А и В есть различие, которое фактически может быть выражено в форме 'Различие между А и В существует'. Но если ложно, что А отличается от В , тогда различия между А и В нет, что фактически можно выразить в форме 'Различие между А и В не существует'. Но как может не-сущее быть субъектом пропозиции? 'Я мыслю, следовательно, я существую' является очевидным не в большей степени, чем 'Я есть субъект пропозиции, следовательно, я есть', при условии, что 'Я есть' рассматривается как условие существования или бытия[12], а не наличия. Следовательно, казалось бы, отрицание бытия чего-либо всегда должно быть самопротиворечивым; но мы видели, в связи с Мейнонгом, что признание бытия также иногда ведёт к противоречиям. Поэтому, если А и В не различаются, предполагать либо существование, либо несуществование такого объекта как 'различие между А и В ', по-видимому, равным образом невозможно.
Отношение смысла к значению затрагивает некоторые более любопытные затруднения, которые, по-видимому, сами по себе достаточны для доказательства того, что теория, ведущая к таким затруднениям, является ошибочной.
Когда мы хотим говорить о смысле обозначающей фразы в противовес её значению , естественный способ - использовать кавычки. Так, мы говорим:
Центр массы Солнечной системы - это точка, а не обозначающий комплекс;
'Центр массы Солнечной системы' - это обозначающий комплекс, а не точка.
Или другой случай:
Первая строка Элегии Грея утверждает пропозицию.
'Первая строка Элегии Грея' не утверждает пропозицию.
Таким образом, рассматривая любую обозначающую фразу, скажем С , мы хотим рассмотреть отношение между С и 'С ', где специфика их различия экземплифицирована двумя представленными выше примерами.
Начнём с того, что мы говорим, что когда встречается С , мы говорим о значении , но когда встречается 'С ', мы говорим о смысле . Таким образом, соотношение смысла и значения во фразе является не просто лингвистическим, должно затрагиваться логическое соотношение, которое мы выражаем, говоря, что смысл обозначает значение. Но затруднение, которое встаёт перед нами, состоит в том, что мы не можем продолжать, сохраняя связь смысла и значения и предохраняя их от отождествленияодновременно ; притом смысл нельзя получить, кроме как посредством обозначающих фраз. Это происходит следующим образом.
Одна фраза С должна иметь как смысл, так и значение. Но если мы говорим 'смысл C ' - это даёт нам смысл значения (если таковой имеется). 'Смысл первой строфы Элегии Грея' то же самое, что и 'Смысл фразы «Погребальные звонят колокола в день прощанья"', и отличается от 'Смысл фразы «первая строфа Элегии Грея"'. Поэтому, для того чтобы получить смысл, который нам нужен, мы должны говорить не 'смысл С ', но 'смысл «С «', что совпадет с самим 'С '. Подобным образом 'значение С ' подразумевает не значение, которое нам нужно, но подразумевает нечто такое, что обозначает, если вообще обозначает, то, что обозначается посредством значения, которое нам нужно. Пусть, к примеру, 'C ' будет 'обозначающий комплекс, встречающийся во втором из указанных выше примеров'. Тогда
С = 'первая строфа Элегии Грея',
и значение С = Погребальные звонят колокола в день прощанья. Но то, что мы подразумеваем в качестве значения, было бы 'первая строфа Элегии Грея'. Таким образом, нам не удалось получить то, что мы хотели.