, 169).
В теории науки Больцано делает шаг вперед по сравнению с Декартом и Лейбницем, проводя четкое различие между изложением научного знания и наличным его бытием. Хотя ученый и не видит действительного основания такого различия, отрывая знание не только от конкретного субъекта познания, но и от человеческого рода вообще, его учение о двойственной форме существования знания позволяет ему выдвинуть ряд оригинальных идей по аксиоматизации теории вывода и доказательства.
Метод научного исследования и способ доказательства Больцано рассматривает как тождественные. Разделению предложений на предложения понятий, или априорные предложения, и созерцания, или эмпирические предложения, соответствуют у него два вида доказательств: обоснование истины и удостоверение истины. Ранее указывалось, что в целях логического определения конкретного события, эмпирического явления чешский мыслитель вводит понятие объективного созерцания-в-себе, не связанного с субъектом. Такое созерцание, выраженное в предложении, имеет форму: «Это то, что я теперь вижу, слышу и т. п.». Предложения, субъект и предикат которых состоят из созерцаний, называются предложениями созерцаний. Если одна часть предложения является созерцанием, а другие — понятиями, то такое предложение называется смешанным. Предложения, не имеющие в своем составе созерцаний, называются чистыми предложениями понятий, например «Благодарность является обязанностью», «Бог вездесущ» и т. д. Больцано проводит принципиальное разделение предложений понятий и предложений созерцаний, настаивая на единичности и неповторимости созерцаний, для которых характерна пространственно-временная определенность быть «здесь и теперь». В § 223 «Наукоучения» он подчеркивает отличие истин понятий от истин созерцаний, указывая, что истины понятий всегда находятся в зависимости от других частных понятий и никогда не зависимы от предложений или истин созерцания. Из этого следует, что эмпирическое знание, фиксируемое главным образом в предложениях созерцаний или смешанных предложениях, генетически никак не связано с понятийными истинами, или с теоретическим знанием. Обоснование возможно только для истин понятий, но не для истин созерцаний. Важнейшим условием обоснования является наличие так называемых фундаментальных, первичных и основных истин (Grundwahrheiten). Это истины, которые не являются следствием или заключением из других истин, а сами служат последним основанием для заключений.
