Подробнее см. Pearl, "Causality: Models, reasoning and inference".
Цитата:
We will make no distinction between sentential propositions and the actual events represented by those propositions. For example, if

stands for the statement “Ted Kennedy will seek the nomination for president in year 2012,” then

stands for a person’s subjective belief in the event described by

given a body of knowledge

, which might include that person’s assumptions about American politics, specific proclamations made by Kennedy, and an assessment of Kennedy’s age and personality. In defining probability expressions, we often simply write

, leaving out the symbol

. However, when the background information undergoes changes, we need to identify specifically the assumptions that account for our beliefs and explicitly articulate

(or some of its elements).
Вот прямо в тему антропного принципа.

обязательно включает в себя как достоверное знание утверждение про существование самого рассуждающего человека, даже если для краткости записи его и опускают.
-- 30.06.2025, 16:50 --На опыте основаны только те условные вероятности (их ещё называют апостериорными), в условиях которых стоят результаты опыта.

Именно так. Но про то, что результаты опыта нужно запихнуть в условия апостериорных вероятностей, пожалуй, не забывают. В отличие от того, что во все вероятности нужно запихнуть как условие существование самого рассуждающего субъекта.
Подчеркну, что тут речь идёт не про чистый теорвер как математическую теорию, а про применение теорвера к моделированию знаний об окружающем мире, то есть, про его применение в физике и других естественных науках.