Logical foundations of stat. inference by Kyburg