Josh Dever

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..

Cosmological arguments attempt to prove the existence of God by appeal to the necessity of a first cause. Schematically, a cosmological argument will thus appear as: (1) All contingent beings have a cause of existence. (2) There can be no infinite causal chains. (3) Therefore, there must be some non-contingent First Cause. Cosmological arguments come in two species, depending on their justification of the second premiss. Non-temporal cosmological arguments, such as those of Aristotle and Aquinas, view causation as requiring explanatory or conceptual priority, and thus insist that there can be no infinite regresses in such priority. Temporal cosmological arguments, also called kalam cosmological arguments due to their historical roots in Islamic kalam philosophers such as Abu Yusuf Ya'qub b. Ishaq al-Kindi and Abu Ali al-Hussain ibn Sina, view causation as requiring temporal priority, and thus insist that there can be no infinite temporal regresses.1 The kalam cosmological argument thus requires some supporting argument showing the incoherence of an infinite temporal regress of causally related events. William Lane Craig, in "The Finitude of the Past and the Existence of God"2, attempts to provide such an argument: (4) An actual infinite cannot exist. (5) An infinite temporal regress of events is an actual infinite. (6) Therefore an infinite temporal regress of events cannot exist. (9) I will not be concerned here with the general status of cosmological arguments, kalam or otherwise, or with contesting Craig's assumption that an infinite past would (unlike an infinite future) constitute a problematic actual infinity. I am rather concerned with Craig's general working principle, embodied in (4) above, that actual infinities are impossible. Craig, of course, is not alone in denying the possibility of the actually infinite. Resistance to such infinities is at least as old as Aristotle (Physics 3.5.204b1 – 206a8), and, as Craig rightly points out, persists through much of modern (i.e., post-scholastic, pre-twentieth-century) philosophy..