A Logical Theory of Teaching