Much of Western philosophy--from classical rhetoric to modern symbolic logic--can be seen as a drive to come up with more systematic and precise formulations of just what constitutes valid reasoning....By concentrating on formalisms and logical rules, the philosopher can develop clear technical results whose validity can be judged in terms of internal coherence and consistency.
    -- T. Winograd, F. Flores, "Understanding Computers and Cognition"