The Edges Of Logic

Logic can be used to solve problems, but it cannot suggest which problems to try. No one has ever formalized significance. To recognize what is significant you need a certain amount of experience, plus that elusive quality: intuition.