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