Стремлением про­давца

Соответствующее определение таково:

Утверждение, что «объект, имеющий свойство ф, имеет свойство ц/», означает:

«Совместное утверждение фх и Ц/ не всегда ложно».

Если права логика, то это то же самое суждение, которое может быть выражено через «некоторые 0'ы есть Ц/'ы»; но риторически здесь имеется разница, потому что в одном случае есть предположение единственности, а в другом — множественности. Это, однако, не очень важно. Важно то, что при правильном анализе суждение, содержащее вербально «такой-то и такой-то» (объект), оказывается на самом деле его не содержащим. Вот по этой причине такие суждения могут быть значимыми, когда нет таких вещей, как такой-то и такой-то объект.

Определение существования, в применении к неопределенным дескрипциям, следует из того, что было сказано в конце предшествующей главы. Мы говорим, что «люди существуют» или «человек существует», если пропозициональная функция «х есть человек» иногда истинна; более обще, «такой-то и такой-то (объект)» существует, если «х есть такой-то и такой-то (объект)» иногда истинна. Мы можем выразить это на другом языке. Суждение «Сократ есть человек», без сомнения, эквивалентно суждению «Сократ есть член рода человеческого», но это не то же самое суждение. Есть в «Сократ есть член рода человеческого» выражает отношение субъекта и предиката, а есть в «Сократ есть человек» выражает тождество. Позор человеческой расе за то, что она выбрала одно слово для двух совершенно разных идей, — позор, от которого избавляет символический логический язык. Тождество в «Сократ есть некоторый человек» есть тождество между поименованным объектом (принимая «Сократ» как имя, по поводу чего мы еще приведем некоторые уточнения позже) и объектом, описанным неопределенно. Неопределенно описанный объект будет «существовать» в том случае, если по крайней мере одно такое суждение является истинным, то есть имеется по крайней мере одно такое суждение формы «х есть такой-то и такой-то (объект)», где х есть имя. Характеристикой неопределенных (в отличие от определенных) дескрипций является то, что может быть любое число истинных суждений такой формы — Сократ есть человек, Платон есть человек и т. д. Таким образом, «человек существует» идет от Сократа, или Платона, или от кого-либо еще. С определенными дескрипциями, с другой стороны, соответствующая форма суждения, а именно «х есть такой-то и такой-то (объект)» (где «х» есть имя), может быть истинной самое большее для одного значения х.