Наименование: | Вероятностная логика. |
Определение: | Вероятностная логика — это раздел математической логики, изучающий логические системы, в которых множеством значений истинности высказываний служат вероятности как степени правдоподобия или подтверждения. |
Раздел: | Концепты философского дискурса Концепты научного дискурса |
Дискурс: | Наука Философия |
Субдискурс: | Логика Логика математическая |
Связанные концепты: | Вероятность Логика индуктивная |
Текст статьи: © В. Л. Васюков. Подготовка электронной публикации и общая редакция: © Центр гуманитарных технологий. Ответственный редактор: А. В. Агеев. Информация на этой странице периодически обновляется. Последняя редакция: 29.07.2025. | |
Вероятностная логика — это раздел математической логики (см. Логика математическая), изучающий логические системы, в которых множеством значений истинности высказываний служат вероятности (см. Вероятность) как степени правдоподобия или подтверждения. Предметом вероятностной логики являются вероятностные высказывания, независимо от того, рассматривается ли вероятность как свойство отдельного высказывания (тогда вероятность приписывается ему в качестве промежуточного значения между истиной и ложью) или как оценка отношения пары обычных двузначных высказываний. В отличие от теории вероятностей в вероятностной логике обозначение вероятности точным числом не является главным требованием. Чаще всего вероятности добавляются к системе пропозициональной логики в качестве нового отношения, соединяющего множество высказываний и множество их значений из интервала 0 < P(A) < 1, где P(A) — вероятность истинности высказывания A. Таким образом, система аксиом вероятностной логики состоит из трёх частей:
Обычно арифметическая часть опускается и тогда система аксиом и правил вывода может иметь следующий вид: A1. Пропозициональное исчисление, AB1. 0 ≤ P(A\B) ≤ 1 АВ 2. P(A\A) = 1 АВ 3. P(A & B\C) = P(A\C) P(B\АС) АВ 4. ˥BlP(A\B) = ⊢ P(A\B) АВ 5. ( Нередко вероятностную логику рассматривают как уточнение индуктивной логики. Это связано с тем, что отношение между посылками индуктивного рассуждения можно оценивать с помощью вероятности. Значения этой вероятности можно определить либо численно, либо посредством сравнения понятий (больше, меньше, равно). Ещё одной разновидностью систем вероятностной логики являются системы прагматической вероятностной логики, в которых понятие вероятности используется для анализа прагматических аспектов исследования (см. Прагматика). К подобным логикам относятся вероятностные логики действия, вероятностные логики выбора, вероятностные логики изменения, вероятностные логики принятия решения, вероятностные логики предпочтения. При этом в ряде систем понятие вероятности в явном виде не фигурирует, но связь её с основными понятиями в каждом случае можно легко установить. Различение между знанием достоверным и правдоподобным (вероятностным) встречается ещё в Античности, в частности у Парменида и элеатов. Значительное место уделяет в своих работах по логике исследованию познания неопределённых ситуаций и Аристотель. Он противопоставляет аподиктическое, доказательное знание, знанию диалектическому и эвристическому, полученному с помощью умозаключений, основанных на проблематических посылках. Идеи Аристотеля однако не получили развития. Лишь с возникновением в XVII веке математической теории вероятностей можно говорить об оживлении философского интереса к исследованию вероятностных методов. Первые аксиоматические системы, использующие вероятность как логическое отношение между высказываниями, были построены Дальнейшее развитие идеи Кейнса получили в работах Г. Джеффри и Б. Купмана. В более поздней системе Р. Карнапа вместо функции P(A\B) из аксиом AB1 — АВ 5 используются функции уверенности. Помимо этого используются также функции правдоподобия и функции подтверждения. Несколько иначе рассматриваются подобные проблемы в системах вероятностной логики, основанных на эпистемологической интерпретации вероятности (Н. Гудмен, Г. Кайберг). В них вводится вероятностное отношение на множестве предложений («системе знаний») и если утверждение об эквивалентности двух предложений считается разумным, то эти предложения должны иметь одинаковые вероятности. При статистической интерпретации вероятности (Я. Шинделяр) место системы знаний занимает система допущений. Каждая процедура статистического вывода характеризуется при этом конкретным отношением выводимости, числом и рассмотренных допущений и числом m (или отношением m/n) тех допущений, для которых имеет место данное отношение выводимости. С металингвистической интерпретацией имеет дело система Г. Рейхенбаха (1949), где вероятность высказываний вычисляется как относительная частота истинности высказываний этого типа в их бесконечной (или конечной) вероятностной последовательности. В последние десятилетия новым стимулом к возникновению систем вероятностной логики послужил прогресс в развитии приложений логики к искусственному интеллекту. Характерным для новых систем является использование семантики возможных миров (см. Семантика возможных миров) и связанных с ними логических систем (Н. Нильсон, Дж. Хальперн, Дж. Амати, М. Фатторози-Барнаба и другие). Для вероятностных логик, в которых исследуются утверждения об индуктивной вероятности, строится семантика возможных миров с вероятностной мерой, определённой на множестве миров или на множестве правильно построенных формул языка. В случае частотной вероятности более естественным оказывается задание вероятностной меры на множестве индивидов, а не миров. | |
Библиография | |
---|---|
| |