David Berlinski
- The Advent of the Algorithm
By the seventeenth century, logic had become a discipline immured in custom and convenience, a barely noticed intellectual tool, its bones bleached white by time. Logic is the science of correct reasoning - correct, as in right, proper, indubitable, ineluctable, irrefragable, necessary, categorical; and reasoning, as in the passage from premise to conclusion, from what is assumed to what is inferred, or from what is given to what is shown.