Второе основание включения Фреге определенных дескрипций в класс имен собственных было связано с проблемой взаимозаменимости простых и сложных сингулярных обозначений в математическом дискурсе. Оно основывается на том, что в математике простые и сложные знаки, обозначающие определенное число, например, е, свободно заменяются друг на друга (Об этом подробнее см. у Гича33).
Еще одна проблема, которая возникает вследствие того, что Фреге включает определенные дескрипции в класс имен собственных, – это вопрос о том, как отличить имя собственное в качестве логически простого обозначения единичного предмета от предикатного знака, чьим значением является понятие, под которое подпадает всего-навсего один предмет. Для разрешения этой проблемы Фреге предложил определять семантическую категорию интересующего выражения путем его подстановки в предложение типа «Существует ли больше, чем одно (». Пусть «А» будет тем выражением языка, семантическую категорию которого мы должны установить, подставив его на место пробела в указанном выше предложении.Если интерпретировать выражение «А» как понятийное слово, то вопрос «Существует ли больше, чем одно А?» будет вполне осмысленным, даже если мы и будем вынуждены дать на него отрицательный ответ; однако если интерпретировать «А» как имя собственное, то такого рода вопрос вообще нельзя будет значимо сформулировать, поскольку множественная характеристика отдельного предмета вообще есть что-то бессмысленное. Например, в английском языке слово «moon» может обозначать как Луну, так и спутник планеты. Относительно такого рода двусмысленных случаев Фреге использовал возможность задавать вопрос «Существует ли больше, чем одно (» для того, чтобы выяснить, идет ли речь об описательном термине, который может осмысленно применяться во множественном числе («спутники планеты»), или же об имени собственном, относительно которого было бы бессмысленно употреблять множественное число («Луна»).
Итак, Фреге использует термин «имя собственное» в более широком значении, нежели чем только в качестве простого знака, обозначающего отдельный предмет; он применяет его также к относительно сложным обозначениям предметов, которые обычно называются определенными описаниями. Это расширительное истолкование объема термина «имя собственное» открыто для серьезных возражений. Если мы будем считать, что «А» представляет понятийное слово или многословное понятийное выражение, то в этом случае можно утверждать, что «(есть) определенное А» («(is) the A») также будет понятийным выражением; «х (есть) определенное А» («х (is) the A») будет означать «х есть некое (какое-то) А и ничто помимо х не является неким А» («x is an A and nothing besides x is an A»). Ясно, что логически невозможно для более чем одного предмета быть определенным А (the A); однако сам Фреге настаивает на том, что мы должны проводить строгое различие между именемсобственным и понятийнымсловом, которое можно применить только к одному предмету. Фреге при этом принимает во внимание то обстоятельство, что связка «есть» во многих европейских языках используется по крайней мере в четырех ключевых смыслах: 1) для выражения существования «Предмет есть, существует»; 2) для выражения предикации (принадлежности элемента классу): «Сократ (есть) мудрый»; 3) для выражения включения одного класса в другой: «Греки (суть) люди»; 4) для выражения тождества: «Сократ есть муж Ксантиппы»34. Следовательно, Фреге считает, во-первых, что в предложениях типа «х (есть) определенное А» связка есть используется для выражения тождества и, во-вторых, она имеет в этом контексте самостоятельное содержание.
В действительности предложенное Фреге выделение специальной связки для тождества во фразе вида «существует определенное А» является не более убедительным, нежели предложение принимать существование связки принадлежности элемента классу во фразе вида «существует какое-то А», что, на взгляд Фреге, было ошибочно; дело в том, что во всех этих контекстах «есть» не имеет своего собственного отдельного содержания. Например, когда утверждается, что «Не существует (определенного) короля Швейцарии» или что «Не существует числа, являющегося (определенным) корнем квадратным из 4», то тем самым речь идет не об указании, – путем обозначения, – на конкретную личность или на конкретное лицо, после чего заявляется, что никто не тождественен этой личности, или что нет числа, равного этому числу. На самом деле указывается на понятие, в данном случае, – на понятие «быть королем Щвейцарии» или «быть числом, которое является корнем квадратным из 4», которое применимо не более чем к одной личности или числу; после чего утверждается, что ни один предмет не подпадает под это понятие; иными словами, речь идет о том, что это понятие имеет «нулевой» объем35.