Современные метафизики, напротив, начинают с признания закона неразличимости тождественного:
(LII) Для любых х и у х будет тождественным у, только если все свойства х и у тождественны.
С точки зрения современных приверженцев (LII), в объяснении нуждается изменение во времени, и оно подчас объясняется сложными, если не прямо алогичными способами>54.
Если Аквинат и признает принцип вроде (LII), он выглядит так:
(Принцип Аквината – ПА): При любых х и у х будет тождественным у, только если для любого момента времени t будет истинным следующее: х существует в момент t тогда и только тогда, когда в момент t существует у; причем если х существует в момент t, он обладает всеми – и только теми – свойствами, какими в момент t обладает у.
Согласно ПА, чтобы х был тождествен у, он необязательно должен обладать теми же свойствами, какими обладает у, пока свойства, присущие x в определенный момент времени, остаются теми же, какими обладает в этот момент y, и ни в один момент времени ни х, ни у не существуют один без другого. Для Фомы х и у могут различаться некоторыми акцидентальными свойствами и все же быть численно тождественными, если акцидентальные свойства, их различающие, присущи иксу в момент t>n, а игреку – в момент t>m.
ПА устанавливает лишь необходимое, но не достаточное условие тождества. По мнению Аквината, x и y могут отвечать условиям ПА, не будучи тождественными. Неразличимости свойств в определенный момент времени и одновременного существования, с точки зрения Фомы, недостаточно для тождества. Чтобы убедиться в этом, возьмем двух людей – Аарона Давида и Натана Даниила. Допустим, что вещь, именуемая Аароном, существует только от t1 до t2 и что это будут единственные моменты, в которые существует вещь, обозначаемая именем «Давид». Сходным образом, допустим что вещь, именуемая Натаном, существует только от t3 до t4, так что это будут единственные моменты, когда существует вещь, именуемая Даниилом. Тогда в любой момент в интервале от t1 до t2 Аарон будет иметь все те и только те свойства, которыми в этот момент обладает Давид. Теперь пусть «Цицерон» будет кратким обозначением имен «Аарон и Натан», а Туллий – кратким обозначением имен «Давид и Даниил». Тогда обозначаемое словом «Цицерон» и обозначаемое словом «Туллий» будут отвечать условиям, сформулированным в ПА. Но ни Цицерон, ни Туллий, с точки зрения Фомы, вообще не являются вещами. Таким образом, условие, сформулированное в ПА, не может быть достаточным. Чего же ему не хватает, с точки зрения Фомы?>55
Как мы только что сказали, Аквинат полагал, что нематериальная субстанция всегда индивидуируется субстанциальной формой, которая присуща только ей. Стало быть, с его точки зрения, будет верным следующий принцип:
(ПА1) Для любых нематериальных субстанций х и у х тождествен у тогда и только тогда, когда субстанциальная форма х тождественна субстанциальной форме у.
В противоположность ПА ПА1 не нуждается в темпоральных указателях, потому что, в отличие от акцидентальных форм, субстанциальная форма не может приобретаться и утрачиваться вещью, самотождественной во времени: если субстанциальная форма перестает существовать, то перестает существовать и оформленная ею вещь. С другой стороны, так как субстанциальные формы нематериальных субстанций индивидуируются их специфическими видовыми свойствами, ПА1 предполагает аналогию с LII:
(ПА2) Для любых нематериальных субстанций х и у х тождествен у тогда и только тогда, когда х обладает всеми и только теми специфическими видовыми свойствами, какими обладает у.
Принцип LII – это закон неразличимости тождественного; но фактически, поскольку Фома считает, что видовая субстанциальная форма любой нематериальной субстанции с необходимостью принадлежит лишь одному индивиду, и поскольку эти формы дифференцируются различиями в самих конфигурациях, в этом особом случае сохраняет силу аналогия с законом тождества неразличимого: