Logic and Imagination