Inclosures, vagueness, and self-reference (Q976536)

The author shows that the sorites-type paradoxes can be subsumed under the inclosure schema, discussed, e.g., in his [Beyond the limits of thought. Cambridge: Cambridge Univ. Press (1995; Zbl 0851.03001)], in a similar way as this is possible for the self-referential paradoxes of the liar type. Therefore these sorites-type paradoxes allow for a dialetheic solution, i.e.\ a solution in the context of paraconsistent logic. The basic ideas and the main technical details are clearly explained.