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"
 |