Stav dette: Logical foundations of probability