Search

In her Transient Truths (New York: Oxford University Press, 2012), Berit Brogaard defends temporalism about proposition content from the more traditional eternalist views. I argue that both temporalism and eternalism are equally capable of accommodating all the data, and thus suggest that we should adopt a neutralism that holds there is no serious or resolvable dispute. Contra Brogaard, I argue that neither disagreement patterns nor belief dynamics favor temporalism over eternalism. I also suggest that Brogaard's defense of operator over quantificational semantics for tense is unnecessary, because quantificational tense semantics can be given a temporalist reading, and operator tense semantics can be given an eternalist reading.

Since Kaplan's “Demonstratives,” it has become common 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, in “Context and Logical Form,” that all contextual ambiguity must be linked to “elements in the actual syntactic structure of the sentence uttered”, and in my arguments against character-based theories of complex demonstratives in my “Complex Demonstratives.“

A compositional meaning theory is, very roughly, a meaning theory which shows how the meanings of wholes depend upon the meanings of component parts. Compositionality is, for various reasons, often taken to be a desirable trait in a meaning theory, and moreover, a trait which is not always easy to come by. Considerable ink has been spilled in debating whether certain features of English, or other natural languages, obviate the possibility of a compositional semantics for the language

A "slingshot" proof suggested by Kurt Godel (1944) has been recast by Stephen Neale (1995) as a deductive argument showing that no non-truthfunctional sentence connective can permit the combined use, within its scope, of two truth-functionally valid inference principles involving definite descriptions. According to Neale, this result provides indirect support for Russell's Theory of Descriptions and has broader philosophical repercussions because descriptions occur in non-truth-functional constructions used to motivate talk about (e.g.) necessity, time, probability, causation, obligation, facts, states of affairs, and propositions. We develop Neale's claims and rebut Graham Oppy's (1997) criticism of Neale. In particular, we (i) work out the details of several formal, philosophical, and historical points raised by Neale, Oppy, and Quine, (ii) explore the consequences of Godel's Slingshot for specific theories of facts, (iii) demonstrate the integrity of Godel's Slingshot and the claims Neale bases on it, and the falsity of all of Oppy's main claims.

Contemporary students of logic tend to think of the logic of the connectives as the most basic area of the subject, which can then be extended with a logic of quantifiers. Historically, however, the logic of the quantifiers, in the form of the Aristotelian theory of the syllogism, came first. Truth conditions for negation, conjunction, and disjunction were well understood in ancient times, though not until Leibniz did anyone appreciate the algebraic features of these connectives. Approaches to the conditional, meanwhile, depended on drawing an analogy between conditionals and universal affirmative propositions. That remained true throughout the ancient, medieval, and early modern periods, and extended well into the nineteenth century, when Boole constructed an algebraic theory designed to handle sentential and quantificational phenomena in one go. The strength of the analogy, moreover, undercuts a common and otherwise appealing picture of the history of logic, according to which sentential and quantificational threads developed largely independently and, sometimes, in opposition to each other, until Frege wove them together in what we now consider classical logic. Frege did contribute greatly to our understanding of the connectives as well as the quantifiers. But his contribution consists in something other than unifying them into a single theory.