В «Наукоучении» Больцано рассматривает целый комплекс проблем, связанных с модальными логиками, получившими развитие только в наше время. Больцано исследует такие понятия, как «необходимость», «случайность», «возможность». Заслугой его нужно считать установление четкого различия между логическим и онтологическим употреблением этих понятий. В строгом смысле слова, говорит он, мы применяем эти понятия к бытию, или действительности (см. там же, 21, 1, 229). Во втором, или несобственном, значении понятия «необходимо», «возможно», «случайно» относятся к истинам-в-себе. Так, говорят, что свойство В необходимо присуще предмету А независимо от того, является ли предмет и свойство чем-то существующим или нет. Когда указывают, например, что каждое уравнение непрямой степени имеет реальный корень, то не имеют в виду действительного существования уравнения или корня (см. там же, 231–232). В логическом определении модальностей Больцано исходит из понятия необходимости. Другие модальности определяются из него. Мыслитель рассматривает также ряд важных положений по логике норм, логике вопросов, приказов и т. д.
Для нас наиболее интересны обсуждаемые Больцано металогические и семантические проблемы выводимости, логического следования и аналитического и синтетического знаний. Он вводит в логику понятие переменных и в отличие от своих предшественников полностью осознает значение этого для развития ряда важнейших логических понятий. Переменные называются у него изменяющимися представлениями. На их основании рассматриваются формы высказываний и логического вывода. Вот что Больцано пишет о значении переменных в логике: «Открытие, с правильностью которого, мы полагаем, нельзя было бы не согласиться ни одному читателю, является открытием того, что мы во множестве предложений… отчетливо того не сознавая, предполагаем изменчивыми определенные составные части и их отношение к истине, которое принимают эти предложения, если на месте изменчивых частей появляются другие» (82, 82). Если, например, в предложении «Человек Кай смертен» заменять представление «Человек Кай» на другие, то будем получать формы предложений в отношении к их истинности. Это очень близко к тому, что в логике высказываний называют пропозициональной функцией. «X смертен», «X — человек» и т. п. являются не предложениями, а только функциями, поэтому им нельзя дать характеристики истинности или ложности. При замене переменной X постоянными, определенными понятиями образуются высказывания со значениями «истинно» или «ложно». Так, при замене «Человек Кай» именами людей мы получаем истинные высказывания. Подставляя же на место этого «изменяющегося» представления какие-либо другие понятия, можем получить ложные или беспредметные высказывания. Для Больцано понятие «изменяющиеся представления» не имеет буквального смысла, так как у него ни понятия, ни предложения не изменяются. Изменяющиеся представления, или понятия, образуются как бы при сравнении друг с другом группы предложений, в которых ряд представлений одни и те же. Этот догматизм в понимании логических элементов мешал Больцано рассмотреть формы, структуры предложений и выводов.
