Assertion: order vagueness | /r/HasProperty | problem
Facets:
value: for deviant logicians
type: TRANSITIVE-OBJECT
Source sentences:
text: Higher order vagueness is a problem for deviant logicians because they employ classical logic and set theory in the metalanguages they use to describe vague terms.