Describir: Logical foundations of probability