Description: PhD thesis of Peter Flach, investigating the `logic of induction' from philosophical and machine-learning perspectives.