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