A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these
serve much the same purpose as is served by experiments in physical science.

Bertrand Russell: On Denoting