Большая Советская Энциклопедия (цитаты)

Вероятностная логика

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

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

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

  В соответствии с др. трактовкой понятия вероятности, связанной с так называемой частотной концепцией (определением) вероятности (А. Пуанкаре, М. Смолуховский, Р. Мизес), в В получили развитие идеи, согласно которым основным объектом ее рассмотрения являются не вероятности отдельных событий, а случайные процессы, реализуемые в простейшем случае в виде случайных двоичных последовательностей, то есть последовательностей нулей и единиц (соответствующих единичным актам не наступления и наступления некоторого события при повторных испытаниях).

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

  Лит. см. при статьях Вероятностей теория, Индуктивная логика, Многозначная логика.

  Ю. А. Гастев.


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 28.03.2024 17:11:30