Assertion: order logic | /r/HasProperty | preferred
Facets:
Source sentences:
text: If one wants to study vagueness, the correct logic might be one that allows for intermediate truth-values, whereas if one wants to study identity, perhaps first-order classical logic with identity is to be preferred.