Собственно ядром логики, согласно изложенному (после предварительного рассмотрения теории истины как общего основания логики и эпистемологии), является учение о дедукции. Оно делится сначала на учение о дедуктивных умозаключениях и учение об индуктивных умозаключениях, к которым следует добавить учение об аналогии. Не все дедуктивные умозаключения идут от общего к частному; такие умозаключения могут также идти от общего к столь же общему или от единичного к единичному. С другой стороны, аналоговые (а значит, индуктивные в более широком смысле) умозаключения могут вести от частного к частному, от частного к общему, от общего к частному и от общего к общему. Для всех индуктивных (в том числе аналоговых) умозаключений характерно то, что они являются умозаключениями расширения, в то время как для дедуктивных умозаключений это не так. Это связано с тем, что все индуктивные выводы (молчаливо) предполагают наличие правила или закона, который делает возможным расширение знания, тогда как дедуктивные выводы не требуют такого предположения.
Поскольку любой вывод или убедительное доказательство требует суждений, на основании которых делаются выводы, должны существовать окончательные, фундаментальные суждения, которые должны быть признаны без убедительного доказательства, чтобы все убедительные доказательства не повисли в воздухе. Эпистемология занимается этими окончательными, фундаментальными суждениями в подлинном смысле этого слова. Существует четыре типа фундаментальных суждений. Во-первых, это ряд перцептивных суждений. Они имеют дело только с текущим содержанием сознания того, кто выносит суждение. Например, я могу судить^ что ощущение белого, которое я испытываю в данный момент, очень яркое. Это суждение сразу же очевидно, поскольку я непосредственно вижу, что предикатный смысл: «очень яркий» соответствует определенности субъект-объекта: «присутствующее у меня ощущение белого».
Второй класс конечных суждений образуют аналитические суждения, которые также, как нетрудно заметить, сразу очевидны.
В-третьих, это суждения об отношениях сущности, которые постигаются мышлением. К ним относятся такие суждения, как: Красный и зеленый цвета различны, или: Два объекта, которые равны третьему, также равны друг другу.
Как и суждения второго и третьего классов, суждения четвертого являются априорными, то есть не могут быть установлены опытом; но они не очевидны, не необходимы для мышления. Сюда относится последняя, недоказуемая предпосылка, которая заключается в нашем доверии к памяти и которая позволяет нам узнавать прошлое. К этому же классу относится предположение о закономерности реального, которое, будучи применено к той или иной области, делает возможным индуктивное и аналоговое рассуждение, предвидение будущего и знание трансцендентного