Stav dette: Bayesian logical data analysis for the physical sciences :