Creativity and logic