This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.

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. (shrink)