Первый недостаток можно проиллюстрировать следующим предложением: «Существование  Ромула сомнительно, поскольку существуют причины, ставящие под вопрос доверие к существующим  легендам о первом веке существования Рима». Противоположный  недостаток, когда несколько выражений имеют одинаковое значение, иллюстрируется в исследовании м-ра Варнока, когда он рассматривает предложения «Имеются простые числа», «Львы всё ещё существуют в Африке», «На Луне есть пятна». Последняя фраза, как ему представляется, не влечёт существования пятен; он отвергает её только на том основании, что большинство людей ею не пользуется. Логик считает, что предпочтителен тот язык, в котором одно имя приписывается одному предмету. И когда я говорю «предпочтителен», я не имею в виду «предпочтителен» для повседневного употребления, но «предпочтителен» при попытке точно высказаться о мире.    Теперь я приступаю к частному вопросу о «существовании». Я настаиваю - и считаю, что это имеет большое значение в избежании путаницы - что слово «существование» в его обычном употреблении приводит к синтаксической путанице и является источником  многих метафизических путаниц. Возьмём, например, следующее  рассуждение: «моё данное ощущение существует; это дано в моём ощущении; следовательно, это существует». Я утверждаю, что обе посылки могут быть истинными, а заключение лишено смысла. Последнее невозможно прояснить в обыденном языке. Это аргумент против обыденного языка. Я утверждаю, что единственное законное понятие, которое можно привлечь, это понятие, представленное посредством 3. Это понятие может быть определено следующим  образом: возьмём выражение ,/х, содержащее переменную х, и становящееся пропозицией, когда переменной приписывается значение; мы говорим, что выражение (3x).fa должно означать, что существует по крайней мере одно значение х, для которого jx является истинным. Сам я предпочёл бы относиться к этому как к определению «существует», но если бы я так поступил, то не достиг бы понимания.    Когда мы говорим «существует» или «существуют», из истинности наших суждений не следует, что то, о чём мы говорим как о существующем,  является частью содержимого мира, если намеренно использовать туманную фразу. Математическая логика допускает высказывание «существуют числа», а металогика - высказывание «числа являются логическими фикциями или символическими конвенциями». Числа представляют собой классы классов, а классы являются символическими конвенциями. Попытка перевода 3 на обычный язык непременно заканчивается неудачей, поскольку переводимое понятие - одно из тех понятий, которые неизвестны в рамках обычного словоупотребления. Высказывание «существуют числа» должно интерпретироваться с помощью более детально разработанного способа. Прежде всего, нужно начать с некоторой пропозициональной функции, например jx, затем определить «число предметов, имеющих свойство,/», далее определить «число» как то, «что является числом предметов, имеющих то или иное свойство». С помощью  этого мы получим определение пропозициональной функции «и есть число» и найдём, что если заменить и на то, что мы определили как «I», получится истинное высказывание. Это и есть как раз то, что мы имеем в виду, когда говорим о существовании по крайней мере одного числа. Но в обыденном языке очень трудно показать, что мы не высказываемся о реальности чисел на платонический манер. Отношение логики к онтологии фактически очень комплексно. Мы  можем в некоторой степени отделить лингвистические аспекты проблемы  от аспектов, связанных с онтологией. Лингвистические проблемы, по крайней мере в теории, поддаются точному решению, но онтологические проблемы остаются гораздо более туманными. Однако  чисто лингвистические проблемы имеют онтологическую подоплёку, хотя и достаточно неясную. Предложения ео-ставлены из слов, и если они должны быть пригодными для утверждений  о фактах, то по крайней мере некоторые слова должны удовлетворять тому роду отношений к чему-либо ещё, который называется «значение». Если официант в ресторане говорит мне: «У  нас есть очень хорошая свежая спаржа», я буду справедливо рассержен, если он объяснит, что его замечание было чисто лингвистическим и не имело отношение к какой-либо действительной спарже. Этот уровень онтологических обязательств затрагивается во всём обычном словоупотреблении. Но отношение слов к отличнь1м от них объектам различается в соответствии с интересующим родом слов, и это приводит к логизированной форме учения о частях речи. Если предложение должно иметь значение, если оно не является предложением чистой логики, некоторые из составляющих его слов должны на нечто указывать, хотя другие слова могут и не иметь значение. Предложение не могло бы осмысленно содержать фразу The Qween of England [королева Англии], если бы в мире не существовало нечто такое, на что указывали бы слова Qween [королева] и England [Англия], но совсем не обязательно, чтобы существовало нечто соответствующее слову the или слову lang=EN-US> of.