Аквинский попытался освободить умы людей от этого заблуждения, но Дунс Скот вновь его утвердил. В итоге логика и теория познания оказались зависимыми от метафизики и теологии. Оккам принялся за дело, чтобы вновь отделить их друг от друга.

Для Оккама логика является инструментом философии природы, который может быть независимым от метафизики. Логика есть анализ дискурсивной науки; наука имеет дело с вещами, логика же с самими вещами дела не имеет. Вещи индивидуальны, универсалии же находятся среди терминов; логика изучает универсалии, в то время как наука пользуется ими без всякого обсуждения. Логика занята терминами или понятиями, рассматривая их не как физические состояния, а как значения. Фраза "человек есть вид" не является логическим предложением, ибо для этого необходимо познание человека. Логика имеет дело с вещами, созданными умом в пределах самого ума, которые не могут существовать иначе, как через посредство существования разума. Понятие – это естественный знак, слово – условный знак. Необходимо отличать, когда о слове мы говорим как о вещи и когда употребляем его в качестве значения, иначе мы можем впасть в софизмы, вроде: "Человек есть вид, Сократ человек, следовательно, Сократ – вид".

Термины, относящиеся к самим вещам, называются "терминами первой интенции"; термины, относящиеся к терминам же, называются "терминами второй интенции". Наука пользуется терминами первой интенции; логика – второй. Своеобразие метафизических терминов состоит в том, что они обозначают как вещи, обозначаемые словами первой интенции, так и вещи, обозначаемые словами второй интенции. Метафизических терминов всего шесть: бытие, вещь, нечто, одно, истинный, благий [38]. Своеобразие этих терминов состоит в том, что все они могут быть высказаны друг о друге. Но в логике можно обходиться и без них.

Познаются вещи, а не формы, порожденные умом; формы эти являются не тем, что познается, а тем, при помощи чего вещи познаются. Универсалии (в логике) представляют собой лишь термины или понятия, утверждающие нечто о многих других терминах или понятиях. Универсалия, род, вид – все это термины второй интенции и потому не могут обозначать вещи. Но так как одно и бытие – термины обратимые, то если бы универсалия реально существовала, она была бы термином некоего и индивидуальной вещи. Универсалия есть просто знак многих вещей. В этом вопросе Оккам согласен с Аквинским и расходится с Аверроэсом, Авиценной и августинианцами. И Оккам и Аквинский полагают, что реально существуют лишь индивидуальные вещи, индивидуальные умы и акты познания. Правда, и Аквинский и Оккам допускают universale ante rem, но только для того, чтобы объяснить сотворение мира; идея сотворения мира должна была быть в уме Бога до того, как он смог его сотворить. Однако это допущение относится к области теологии, а не к объяснению человеческого познания, которое имеет дело лишь с universale post rem. Объясняя человеческое познание, Оккам никогда не допускает, что универсалии суть вещи. Взгляды Сократа сходны с воззрениями Платона, заявляет он, но не потому, что существует третья вещь, называемая сходством. Сходство представляет собой термин второй интенции и является продуктом нашего разума. (Все эти мысли великолепны.)

Предложения о событиях, возможных в будущем, не могут пока считаться, по Оккаму, ни истинными, ни ложными. Он не делает никаких попыток примирить это воззрение с божественным всемогуществом. В данном вопросе, как и во всех других, Оккам полностью отделяет логику от метафизики и теологии.

Несколько примеров рассуждений Оккама могут быть полезными для понимания его взглядов.

Он задает вопрос: "Является ли то, которое известно через понимание первым, в соответствие с первенством возникновения, единственной вещью?"

Довод против: первым и собственным объектом познания служит общее.

Довод за: объект чувства и объект познания совпадают; первый же объект чувства представляет собой единичное.

Таким образом, первоначальная формулировка вопроса остается в силе. (По-видимому, потому, что оба довода кажутся вескими.)

Оккам продолжает: "Вещь, находящаяся вне души и не являющаяся знаком, помается первой таким познанием (то есть познанием единичным); поэтому единичная вещь познается первой, ибо все, что находится вне души, представляет собой единичное".

Далее Оккам заявляет, что абстрактное познание всегда предполагает познание "интуитивное" (то есть основанное на чувственном восприятии), а последнее вызывается единичными вещами.

Затем Оккам перечисляет четыре сомнения, которые могут возникнуть в связи с рассматриваемым вопросом, и все их разрешает.

В заключение Оккам дает утвердительный ответ на свой первый вопрос, но добавляет, что "если считать не по первенству возникновения, а по первенству соответствия, то первым объектом будет универсалия".

Вопрос, лежащий в основе всего этого рассуждения, заключается в следующем: является ли (или насколько является) восприятие источником нашего познания? Не забудем, что Платон в диалоге "Теэтет" отвергает определение познания как восприятия.