Stav dette: Aspects of inductive logic