Одним из самых важных достижений больцановской логики была его теория логического следования. Ее разработка оказалась возможной именно благодаря введению понятия изменяющихся представлений. Основанием для определения выводимости, или следования (Больцано еще не различает понятия логического следования и логической выводимости), является понятие совместимости предложений относительно их истинности или ложности. Совместимыми предложениями являются предложения А, В, С, D если на место переменных в них представлений i, j… можно подставить такие представления, что все А, В, С, D… окажутся истинными. Так, если мы в предложениях «Этот цветок красный», «Этот цветок благоухает» и «Этот цветок принадлежит к 12-му классу системы Линнея» заменим представление «этот цветок» на представление «роза», то все предложения окажутся совместимыми. Примером несовместимых предложений будут следующие: «Ни одно конечное существо не всезнающе», «Человек — конечное существо» и «Человек всезнающ», если представления «конечное существо», «человек» и «всезнающий» рассматриваются в них как переменные. Какое бы представление ни поставить на их место, предложения не станут истинными все вместе. Выводимыми предложения М, N, О… из предложений А, В, С… относительно переменных i, j… будут в том случае, если каждая совокупность представлений, которая делает истинными на месте i, j… А, В, С…, делает также истинными М, N, О… Семантическое по своей сущности определение выводимости у Больцано близко к понятию логического следования у А. Тарского[5].
Нужно особенно подчеркнуть значение исследований Больцано по вероятностной логике, которую он строит, исходя из открытого им способа вариации представлений. Вероятность понимается им как логическое отношение между высказываниями. Если из совместимых предложений А, В, С, D… при замене в них представлений i, j становятся истинными всегда А, В, С, D… и какое-либо предложение М, то вероятность выведения М из этих предложений относительно i, j равна единице и М является достоверным относительно этих посылок. Если М несовместимо с А, В, С, D… относительно i, j, то вероятность его выведения равна нулю. Во всех остальных случаях мы имеем значения вероятности выведения М из А, В, С, D… в пределах между 1 и 0. Больцано предложил и метод вычисления вероятности. Понятие логической вероятности у Больцано очень близко экстенсиональной вероятностной функции Р. Карнапа, который, по всей видимости, не знал результатов, полученных чешским логиком.
