Abstract

According to alethic pluralism, there is more than one way of being true: truth is not unique, in that there is a plurality of truth properties, each of which pertains to a specific domain of discourse. This paper shows how such a plurality can be represented in a coherent formal framework by means of a Kripke-style construction that yields intuitively correct extensions for distinct truth predicates. The theory of truth we develop can handle at least three crucial problems that have been raised in connection with alethic pluralism: mixed compounds, mixed inferences, and semantic paradoxes.