Собственные имена

своим отличительным признакам, а по пространственно-временному положению.

Тождество неразличимых, аналитически следующее из нашей теории, отвергается Витгенштейном и другими на основании того, что если даже α и b совпадают во всех свойствах, их все же остается два. Этим предполагается, что тождество неопределимо. Более того, в этом случае оказывается теоретически невозможной процедура перечисления. Предположим, нам желательно посчитать совокупность из пяти объектов А, В, С, Д, £, и еще предположим, что В и С — неразличимы. Из этого следует, что в момент счета В мы также посчитаем и С, и отсюда мы заключим, что было посчитано четыре объекта. Сказать про В и С, что их «реально» два, хотя они кажутся одним, значит сказать нечто такое, что совсем лишено смысла, если В и С полностью неразличимы. В самом деле, я бы отметил данное обстоятельство как достоинство отстаиваемой теории, делающее аналитическим тождество неразличимых.

А теперь давайте вернемся к поискам множеств качеств или групп качеств, которые обладают свойствами, требуемыми для построения линейно упорядоченного времени. Не думаю, что это может быть сделано без учета эмпирических законов; следовательно, это не может быть сделано с уверенностью. Но пока мы не заняты поиском логически неуязвимой достоверности, мы можем получить эмпирически приемлемые средства, выбрав то, что вначале было отвергнуто, например память или второй закон термодинамики. Не все причинные законы, которые нам известны, обратимы, а те, которые обратимы, не дают средств для датирования. Легко сделать часы, которые кроме часов и минут будут каждый день показывать число, на единицу большее, чем в предыдущий день. Таким способом можем создать комплекс качеств, который не повторится, по крайней мере пока продолжает существовать наша цивилизация. Больше этого мы не можем знать, хотя мы можем найти основания полагать, что в крупных масштабах строгое повторение ситуаций крайне невероятно.

Мой вывод: качества достаточны, и не требуется предполагать, что у них есть моменты. Случайно мы редуцировали к эмпиричес-