The Inductive Logic of Information Systems