Assertion: intelligent reasoning | /r/HasProperty | taken in logicist tradition
Facets:
value: to be a form of calculation
type: PURPOSE
Source sentences:
text: In the logicist tradition intelligent reasoning is taken to be a form of calculation, typically deduction in first order logic, while the tradition based in psychology takes as the defining characteristic of intelligent reasoning that it is a particular variety of human behavior.