Before revision: It uses a formal approach to study deductive reasoning: it replaces concrete expressions with abstract symbols to examine the logical form of arguments independent of their concrete content.
After revision: It uses a formal approach to study reasoning: it replaces concrete expressions with abstract symbols to examine the logical form of arguments independent of their concrete content.