PHIL3210 - Inductive Logic