Как мы видели, Абеляр пытался сформулировать позицию умеренного реализма на основе понятия статуса и универсалии как смутного образа без строгого разграничения между чувствами и интеллектом; эта позиция в таком виде приближала Абеляра к номинализму. Фома основывает свое понимание умеренного реализма на форме как принципе вещи. Форма в его понимании отлична, но не отделена от материи вне интеллекта, она отделяется от материи в интеллекте благодаря абстракции. Чтобы объяснить существование материальной формы в интеллекте вне материи, Фома прибегал не только к понятию абстракции, но и к понятию умопостигаемых видов: форма обладает интенциональным существованием в интеллекте. Выступая против этого понятия умопостигаемых видов, Оккам выдвигает свой знаменитый принцип «бритвы»: при объяснении какого-либо явления никогда не следует без необходимости умножать сущности[340]
. Как говорит Оккам, абстрактное познание может быть объяснено без помощи понятия умопостигаемых видов, поэтому оно должно быть устранено. В связи с устранением Оккамом умопостигаемых видов из абстрактного познания возникает вопрос, не устраняет ли он тем самым и понятие формы. Другими словами, отменяет ли Оккам форму только как нечто необходимо присущее интеллекту, или вследствие этого он отрицает и форму вне интеллекта? По-видимому, бритва Оккама устраняет все, кроме индивидов вне ума и мысленных терминов или знаков в уме[341]. Мысленный термин есть знак индивидов, а не форма в индивидах. Абстракция не есть отделение формы от материи; скорее, это образование знака, обозначающего индивиды[342]. Понимание Оккамом абстракции столь экономно, что оно отменяет потребность в форме как в метафизическом, так и в эпистемологическом смысле. Абстракция как порождение знака упрощает трактовку универсалий в такой степени, что уже нет потребности в форме в качестве причины универсальности.Как мы видели, объяснение обозначения, данное Оккамом в «Summa totius logicae», описывает мысленный термин как «естественный» знак, однако можем ли мы сказать, что его простая трактовка универсалий не объясняет, почему индивиды естественным и необходимым образом образуют такие мысленные термины? Если естественные термины обозначают индивидов, подобных друг другу, то что делает их подобными? Оккам утверждает, что сходства между индивидами, порождающие мысленные термины, независимы от нашего знания, — это не только полезные для человеческих целей классификации. Другими словами, если универсалии или мысленные термины не только конвенциональны, нуждается ли Оккам в чем-то подобном статусу Абеляра для объяснения сходства между индивидами? Если это так, то «статус» требует дальнейшего объяснения, и оно уже не будет таким простым. Позиция Оккама по вопросу об универсалиях не станет ясной, пока мы не рассмотрим его рассуждения об отношениях, особенно о необходимости причинной связи, ведь в данном контексте он более открыто и в более общем плане обращается к вопросу, является ли возможной необходимость формы или сущности в творении.
Мнение Оккама о том, что не существует отношений, независимых от ума и отличных от самих индивидуальных вещей, не позволяет ему принять что-либо подобное статусу Абеляра, благодаря которому реальные отношения подобия индивидов становились предметом универсального и естественного значения терминов[343]
. Термины отношений не обозначают, т. е. они представляют собой простые, а не персональные суппозиции. Сходство индивидов само по себе не есть реальность: то, что мы знаем, не является каким-то отношением сходства индивидов, но суть сами индивиды. Принцип, тесно связанный с бритвой Оккама, гласит: все реальные различия связаны с разделениями[344]. Индивиды абсолютны в том смысле, что не существует неотделимых отношении между индивидами. Отношение причинности не является исключением[345]. «Причина» и «следствие» реально различны и поэтому отдельны. Необходимое же отношение является чем-то неотделимым; примером этому является традиционное представление о том, что следствие неотделимо от своей причины. Отождествление индивида и абсолюта у Оккама и отождествление реального различия с отделенностью имеет результатом невозможность необходимых отношений между причиной и следствием. И понятие статуса у Абеляра и его традиционное представление о причине и следствии противоречат мнению Оккама об абсолютной индивидуальности реального[346].