Abstract

The problem of vagueness and the sorites paradox arise because we try to treat natural language as if it were a unitary formal system. In fact, natural language contains a large variety of representational ontologies that serve different purposes and which cannot be united formally, but which can intuitively be taken as ways of seeing a common basic ontology. Using this framework, we can save classical logic from vagueness and avoid the sorites.