We may suppose that the truth predicate that we utilize in our semantic metalanguage is a two-place predicate relating sentences to contexts, the truth-in-context-X predicate. Seeming paradoxes pertaining to the truth-in-context-X predicate can be blocked by placing restrictions on the structure of contexts. While contexts must specify a domain of contexts, and what a context constant denotes relative to a context must be a context in the context domain of that context, no context may belong to its own context domain. A generalization of that restriction appears to block all of the paradoxes of truth-in-context-X. This restriction entails that, in a certain sense, we cannot talk about the context we are in. This result will be defended, up to a point, on broadly ontological grounds. It will also be conjectured that our semantic metalanguage can be regarded as semantically closed.
Read full abstract