Assertion: order logic | /r/CapableOf | differ in this respect
Facets:
value: from first-order logic
type: OTHER
Source sentences:
text: In this respect second-order logic with standard semantics differs from first-order logic; Quine (1970, pp. 90–91) pointed to the lack of a complete proof system as a reason for thinking of second-order logic as not logic, properly speaking.