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