В донаучном мышлении мы понимаем истину как соответствие суждения оцениваемому реальному. Это понятие истины должно быть расширено, поскольку в науке мы высказываем суждения не только о реальных, но и о нереальных объектах (например, о мнимых числах). В целом мы понимаем истину как соответствие логического содержания суждения оцениваемому объекту, или, точнее, как соответствие смысла предиката определенности субъекта объекту. Другие (локковские, неокантианские, прагматистские) концепции истины не выдерживают критики.

Вся эпистемология и логика должны быть последовательно разработаны с точки зрения концепции истины. Мы начинаем с логики, потому что эпистемология должна привести нас к дальнейшим проблемам.

Во многих логических суждениях истинность, согласие с объектом, должна быть установлена путем неопровержимого доказательства, при этом, однако, суждения всегда носят предположительный характер. Логика имеет дело с инференциальным доказательством. Убедительные доказательства образуются из умозаключений и в простых случаях тождественны умозаключениям. Поэтому основная задача логики – анализ умозаключений. Заключения состоят из суждений, и сами они представляют собой (сложные, а именно гипотетические) суждения, поскольку могут быть истинными или ложными (правильными или неправильными). Соответственно, учение об умозаключении предполагает учение о суждении. Поскольку суждения сами по себе являются составными сущностями, придется рассматривать и их компоненты, «понятия», но всегда в связи с суждениями, поскольку понятия как таковые еще не подчинены точке зрения истины; поэтому логика должна начинаться с учения о суждении, к которому должно быть отнесено учение о составных частях суждения. Затем идет учение об умозаключении, за которым следует учение о доказательстве и рассуждении. Остальные задачи, которые обычно ставятся перед логикой, являются более или менее важными второстепенными проблемами.

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

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