Сначала Оккам отказывается от метафизики бытия в модусе аналогий Аквината и однозначного бытия Скота по причине, что нет другой связи между конечным и бесконечным, кроме чистого акта Божественной воли, по поводу которой бессмысленно рефлектировать. Вместе с понятием бытия выводится и понятие субстанции. О вещах теперь мы знаем лишь их качества и акциденции, обнаруживаемые в опыте. Субстанция — разве что неизвестная реальность, ради которой вряд ли следует поступаться принципом экономии разума. По поводу метафизического понятия действующей причины эмпирически устанавливаемо, что есть разница между причиной и следствием, первое предшествует второму. Установление правил следования феноменов возможно, но без метафизических претензий по поводу необходимости типа
Что касается гносеологии, то здесь дело еще проще. Дебаты между томистами и аверроистами об отличиях между интеллектом действующим и интеллектом возможным Оккам называет пустозвонством. Более того, он полагает, что единство познавательного акта то же самое, что и его индивидуальность. Все виды образов промежуточных между объектами и нами бесполезны, если объект не дан непосредственно. "Статуя Геркулеса никогда не приведет к познанию Геркулеса, речь не может идти даже о сходстве, если изначально не было знакомства с самим Геркулесом".
Это последнее суждение показывает нам, что "бритва Оккама" открывает дорогу типу мышления в духе "экономии", выбрасывающей за борт все лишнее, среди чего оказываются метафизические понятия, на коих покоятся науки и сама реальность. Правило — не принимать гипотезы
Новая логика
Возникает вопрос: как в свете такой критики традиционной метафизики выглядит логика с ее правилами, которые любой научный дискурс приучен уважать? Английский францисканец в видах оздоровления логики предлагает освободить мышление от ненужного смешения лингвистических образований с реальными, элементов дискурса с элементами объективными. Знаки, которыми мы располагаем, необходимы для описания и передачи информации, но не следует приписывать символам другой функции, чем указание на то, чем символы являются.
Вот некоторые эмбрионы оккамовской логики. Прежде чем говорить о предложениях, пропозициях, нужно выяснить термины, их составляющие. В "Сумме логики" он выделяет следующие. Термин ментальный, отражающий модификацию души; как обозначающий он становится частью ментальной пропозиции. Термин оральный, или устный, составляет часть устного предложения. Наконец, термин письменный воспринимаем уже не ушами, а глазами. Первый термин натуральный, два других — конвенциональные, ибо от языка к языку меняют свой облик. Есть, среди прочего, еще и "категорематики", т. е. термины, имеющие определенный и точный смысл, как, например, "человек" (обозначающий всех отдельных людей), животное", "белизна" и т. п. Есть и так называемые "синкатегорематики", среди которых такие понятия, как "каждый", "никто", "кто-то , все , только" и подобные этим, не имеющие точного и определенного смысла.
Нужно отличать термины абсолютные от терминов коннотативных, соотнесенных. Так, имя "животное" относится к первому классу, ибо, включая в себя и быков, и ослов, и котов, оно не обозначает их в порядке преимущества, предшествования. Термин же "белое", к примеру, будет коннотативным, ибо предполагает наличие понятия "цвет", с которым он соотносится, или слова "белизна", в свою очередь.
Употребление коннотативных терминов связано с модальностью существ в том смысле, что они могут прямо указывать на какую-то вещь и косвенно на другую, выявляя связь между предметами, которой в реальности нет. Теперь, полагает Оккам, можно включить глагол в дефиницию, выражающую номинальную сущность. Например, на вопрос, что значит термин "причина", можно сказать, что "это нечто, за которым следует нечто другое, или: нечто, способное продуцировать другое".
Термины кроме собственных свойств имеют свойства места, занимаемого в пропозиций. Такая теория получила название теории суппозиций, занимающейся возможными замещениями терминов в предложении. Здесь выделяется персональная суппозиция. Например: "Всякий человек — животное". Предполагается, что термин "человек" замещает собой всех отдельных людей. Простая суппозиция имеет место, когда термин замещен понятием типа: "Человек — это вид" и отсылает к отдельно существующим людям. Наконец, в материальной суппозиции типа: "Человек — это имя термин лишен смысла.