Существование в том смысле, в котором оно приписывается отдельным объектам, тем самым полностью устраняется из списка основных принципов. Этот онтологический аргумент и большинство его опровержений находятся в зависимости от плохой грамматики (См. «Principia Mathematica», 14).
Существует много других примеров замены построений для заключений в чистой математике, например, ряды, ординальные числа, действительные числа. Но я перейду к примерам из физики.
Очевидными примерами являются точки и моменты времени: д-р Уайтхед показал, как построить их из множеств событий, которые имеют конечный размер и конечную длительность. В теории относительности не точки и моменты, в которых мы прежде нуждались, а события-частицы соответствуют тому, что в прежнем языке могло описываться как точки в момент времени или моментные точки. (Раньше точки пространства распространяли на протяжении всего времени, а моменты времени охватывали все пространство. Теперь единица, которая необходима математической физике, не имеет ни пространственного ни временного протяжения). События-частицы строятся посредством того же самого логического процесса, с помощью которого строились точки и моменты времени. В таких построениях мы имеем, однако, различные основы в сравнении с основами построения в чистой математике.
Возможность построения события-частицы зависит от существования множеств событий с определенными свойствами. Существуют ли требуемые свойства, можно узнать только эмпирически, если вообще можно узнать. Таким образом, не существует никакого основания a priori ожидать непрерывности (в математическом смысле) или верить, что события-частицы могут быть построены. Если квантовая теория будет требовать дискретного пространства-времени, тогда наша логика также должна быть готова удовлетворить ее требования, как она удовлетворяла требования традиционной физики, основывающиеся на непрерывности. Этот вопрос чисто эмпирический, и наша логика должна (или обязана) адаптироваться к другой альтернативе.
Сходные рассуждения применимы к частице материи или же к части материи конечного размера. Материя традиционно имеет два таких «чистых» свойства, которые характерны для логических конструкций. Во-первых, две части материи не могут находиться в том же самом месте в то же самое время. Во-вторых, одна часть материи не может быть в двух местах в то же самое время. Опыт по замене конструкциями выводов делает подозрительным такую аккуратность и точность.
