What, you mean like mathematicians and lawyers and engineers and many others besides?
Really, programmers aren't the only people capable of logical thinking or 'stepwise refinement'.