ВЕРОЯТНОСТНАЯ ЛОГИКА

логич. система, в к-рой высказываниям (суждениям, утверждениям, предложениям), помимо истины и лжи, приписываются «промежуточные» истинностные значения, наз. вероятностями истинности высказываний, степенями их правдоподобия, степенями подтверждения и т. п. Поскольку понятие вероятности естественно соотносить с нек-рым событием, а наступление события есть факт, допускающий (хотя бы в принципе) эмпирич. проверку, то В. л. представляет собой уточнение индуктивной логики. Взаимные переходы от языка высказываний к языку событий и обратно совершаются т. о., что каждому событию сопоставляется высказывание о его наступлении, а высказыванию сопоставляется событие, состоящее в том, что оно оказалось истинным. Специфика В. л. состоит в принципиальной неустранимости неполной достоверности («относит. истинности») посылок и выводов, присущей всякому индуктивному познанию.

Проблематика В. л. развивалась уже в древности (напр., Аристотель), а в новое время  - Г. В. Лейбницем, Дж. Булем, У. С. Джевонсом, Дж. Венном.

Как логич. система В. л.- разновидность многозначной логики: истинным высказываниям (достоверным событиям) приписывается истинностное значение  (вероятность) 1, ложным высказываниям (невозможным событиям) - значение 0; гипотетич. же высказываниям может приписываться в качестве значения любое действит. число из интервала (0,1). Вероятность гипотезы, зависящая как от её содержания, так и от информации об уже имеющемся знании («опыта»), есть их функция. Над истинностными значениями (вероятностями) гипотез определяются логические операции:  конъюнкция (соответствующая умножению событий в теории вероятностей) и дизъюнкция (соответствующая сложению событий); мерой (значением) отрицания гипотезы является вероятность события, состоящего в её неподтверждении. Значения гипотез образуют при этом т. н. нормированную булеву алгебру, аппарат к-рой позволяет легко аксиоматизировать теорию вероятностей и является простейшим вариантом В. л.

Интенсивное развитие получила проблематика В. л., базирующаяся на связи теоретико-вероятностных понятий с идеями теории информации и логич. семантики.