Josh Dever

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism.

Supervaluational accounts of vagueness have come under assault from Timothy Williamson for failing to provide either a sufficiently classical logic or a disquotational notion of truth, and from Crispin Wright and others for incorporating a notion of higher-order vagueness, via the determinacy operator, which leads to contradiction when combined with intuitively appealing ‘gap principles’. We argue that these criticisms of supervaluation theory depend on giving supertruth an unnecessarily central role in that theory as the sole notion of truth, rather than as one mode of truth. Allowing for the co-existence of supertruth and local truth, we define a notion of local entailment in supervaluation theory, and show that the resulting logic is fully classical and allows for the truth of the gap principles. Finally, we argue that both supertruth and local truth are disquotational, when disquotational principles are properly understood

Since Kaplan’s "Demonstratives", it has become a common-place to distinguish between the character and content of an expression, where the content of an expression is what it contributes to "what is said" by sentences containing that expression, and the character gives a rule for determining, in a context, the content of an expression. A tacit assumption of theories of character has been that character is autonomous from content – that semantic evaluation starts with character, adds context, and then derives content. One consequence of this autonomy thesis is that the rules for character can contain no variables bound by content-level operators elsewhere in the sentence. Tacit appeal to this consequence features essentially both in Jason Stanley’s recent argument that all contextual ambiguity must be linked to "elements in the actual syntactic structure of the sentence uttered" in his "Context and Logical Form" and in my arguments against character-based theories of complex demonstratives in my "Complex Demonstratives". However, I argue here that the autonomy thesis is unmotivated, and show that we can separate Kaplan’s notion of character into two independent components: an aspect of meaning which is context-sensitive, and an aspect of meaning that is exempted from scopal interactions with other operators. The resulting semantic framework allows constructions similar to Kaplan’s rejected notion of "monsters begat by elegance", but which are both more empirically adequate and more theoretically versatile. Having made the distinction between context-sensitivity and autonomy from scopal interaction, I show how it allows binding into the character of expressions and hence undermines the immediate success of both Stanley’s argument and my former argument against character-based theories of complex demonstratives, and discuss briefly the prospects for reinstating modified versions of those arguments. Finally, I show how that same distinction allows a defusing of Kripke’s modal argument against a descriptive theory of names. Once autonomy from semantic interaction is separated from context-sensitivity, the first of those two alone can be used to capture the modal rigidity of proper names..