•  263
    We analyze a solitaire game in which a demon rearranges some cards after each move. The graph edge coloring theorems of K˝onig (1931) and Vizing (1964) follow from the winning strategies developed.
  •  122
    Our aim here is to lay the groundwork for formal tree-ring analysis combining data from dendrochronology with formal techniques from semantics. We will present the basic syntax of, and basic compositional semantics of tree-ring structures.
  •  112
    Wittgenstein asks: “Now what do the words of this language signify?—What is supposed to shew what they signify, if not the kind of use they have?” Might one answer that rhetorical question by giving a compositional semantics for Wittgenstein’s builder language?
  •  121
    Special issue in honour of Landon Rabern, Discrete Mathematics (edited book)
    with D. W. Cranston and H. Keirstead
    Elsevier. 2023.
    Special issue in honour of Landon Rabern. This special issue of Discrete Mathematics is dedicated to his memory, as a tribute to his many research achievements. It contains 10 new articles written by his collaborators, friends, and colleagues that showcase his interests.
  •  391
    Resisting the epistemic argument for compatibilism
    Philosophical Studies 180 (5): 1743-1767. 2023.
    In this paper, we clarify, unpack, and ultimately resist what is perhaps the most prominent argument for the compatibility of free will and determinism: the epistemic argument for compatibilism. We focus on one such argument as articulated by David Lewis: (i) we know we are free, (ii) for all we know everything is predetermined, (iii) if we know we are free but for all we know everything is predetermined, then for all we know we are free but everything is predetermined, (iv) if for all we know w…Read more
  •  185
    Deontic necessity modals (e.g. 'have to', 'ought to', 'must', 'need to', 'should', etc.) seem to vary in how they interact with negation. According to some accounts, what forces modals like 'ought' and 'should' to outscope negation is their polarity sensitivity -- modals that scope over negation do so because they are positive polarity items. But there is a conflict between this account and a widely assumed theory of if-clauses, namely the restrictor analysis. In particular, the conflict arises…Read more
  •  358
    Scorekeeping in a chess game
    Semantics and Pragmatics 15 (12). 2022.
    There is an important analogy between languages and games. Just as a scoresheet records features of the evolution of a game to determine the effect of a move in that game, a conversational score records features of the evolution of a conversation to determine the effect of the linguistic moves that speakers make. Chess is particularly interesting for the study of conversational dynamics because it has language-like notations, and so serves as a simplified study in how the effect of an assertion …Read more
  •  385
    The Onus in 'Ought'
    Analysis 83 (1): 13-21. 2023.
    We present a puzzle about deontic modals. An adequate resolution requires abandoning the standard theory. What to replace it with isn’t clear. We consider two possibilities.
  •  492
    Pure Quotation in Linguistic Context
    Journal of Philosophical Logic 52 (2): 393-413. 2023.
    A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adher…Read more
  •  839
    Against Fregean Quantification
    Ergo: An Open Access Journal of Philosophy 9 (37): 971-1007. 2023.
    There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of…Read more
  •  149
    The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality -- these are the so-called "dangerous" directed graphs. Building on Rabern, et. al (2013) we reformulate this problem in terms of fixed points of c…Read more
  •  775
    The paradox of self-blame
    American Philosophical Quarterly 59 (2). 2022.
    It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for a wrong that x has committed, then all cases in which x blames …Read more
  •  703
    Frege and saving substitution
    Philosophical Studies 178 (8): 2687-2697. 2021.
    Goodman and Lederman (2020) argue that the traditional Fregean strategy for preserving the validity of Leibniz’s Law of substitution fails when confronted with apparent counterexamples involving proper names embedded under propositional attitude verbs. We argue, on the contrary, that the Fregean strategy succeeds and that Goodman and Lederman’s argument misfires.
  •  452
    Might generics
    Snippets 39 8-9. 2020.
    How do generics interact with modals? This note offers one observation about an interaction with 'might' that presents a challenge for standard theories.
  •  855
    The myth of occurrence-based semantics
    Linguistics and Philosophy 44 813-837. 2021.
    The principle of compositionality requires that the meaning of a complex expression remains the same after substitution of synonymous expressions. Alleged counterexamples to compositionality seem to force a theoretical choice: either apparent synonyms are not synonyms or synonyms do not syntactically occur where they appear to occur. Some theorists have instead looked to Frege’s doctrine of “reference shift” according to which the meaning of an expression is sensitive to its linguistic context. …Read more
  •  686
    Semantic monsters
    In Heimir Geirsson & Stephen Biggs (eds.), The Routledge Handbook of Linguistic Reference, Routledge. pp. 515-532. 2021.
    This chapter provides a general overview of the issues surrounding so-called semantic monsters. In section 1, I outline the basics of Kaplan’s framework and spell out how and why the topic of “monsters” arises within that framework. In Section 2, I distinguish four notions of a monster that are discussed in the literature, and show why, although they can pull apart in different frameworks or with different assumptions, they all coincide within Kaplan’s framework. In Section 3, I discuss one noti…Read more
  •  69
    Proceedings of Sinn und Bedeutung 21 (edited book)
    with Rob Truswell, Chris Cummins, Caroline Heycock, and Hannah Rohde
    Semantics Archives. 2018.
    The present volume contains a collection of papers presented at the 21st annual meeting “Sinn und Bedeutung” of the Gesellschaft fur Semantik, which was held at the University of Edinburgh on September 4th–6th, 2016. The Sinn und Bedeutung conferences are one of the leading international venues for research in formal semantics.
  •  715
    Binding bound variables in epistemic contexts
    Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6): 533-563. 2021.
    ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variab…Read more
  •  121
    By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is th…Read more
  •  994
    Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical lo…Read more
  •  628
    Reviving the parameter revolution in semantics
    In Derek Ball & Brian Rabern (eds.), The Science of Meaning, Oxford University Press. pp. 138-171. 2018.
    Montague and Kaplan began a revolution in semantics, which promised to explain how a univocal expression could make distinct truth-conditional contributions in its various occurrences. The idea was to treat context as a parameter at which a sentence is semantically evaluated. But the revolution has stalled. One salient problem comes from recurring demonstratives: "He is tall and he is not tall". For the sentence to be true at a context, each occurrence of the demonstrative must make a different …Read more
  •  666
    Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environ…Read more
  •  1428
    The Antinomy of the Variable: A Tarskian Resolution
    Journal of Philosophy 113 (3): 137-170. 2016.
    Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to s…Read more
  •  461
    Propositions and Multiple Indexing
    Thought: A Journal of Philosophy 1 (2): 116-124. 2012.
    It is argued that propositions cannot be the compositional semantic values of sentences (in context) simply due to issues stemming from the compositional semantics of modal operators (or modal quantifiers). In particular, the fact that the arguments for double indexing generalize to multiple indexing exposes a fundamental tension in the default philosophical conception of semantic theory. This provides further motivation for making a distinction between two sentential semantic contents—what (Dum…Read more
  •  535
    Monsters in Kaplan’s logic of demonstratives
    Philosophical Studies 164 (2): 393-404. 2013.
    Kaplan (1989a) insists that natural languages do not contain displacing devices that operate on character—such displacing devices are called monsters. This thesis has recently faced various empirical challenges (e.g., Schlenker 2003; Anand and Nevins 2004). In this note, the thesis is challenged on grounds of a more theoretical nature. It is argued that the standard compositional semantics of variable binding employs monstrous operations. As a dramatic first example, Kaplan’s formal language, th…Read more
  •  680
    A Bridge from Semantic Value to Content
    Philosophical Topics 45 (2): 181-207. 2017.
    A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of …Read more
  •  396
    A simple solution to the hardest logic puzzle ever
    Analysis 68 (2): 105-112. 2008.
    We present the simplest solution ever to 'the hardest logic puzzle ever'. We then modify the puzzle to make it even harder and give a simple solution to the modified puzzle. The final sections investigate exploding god-heads and a two-question solution to the original puzzle.
  •  396
    Dangerous Reference Graphs and Semantic Paradoxes
    with Landon Rabern and Matthew Macauley
    Journal of Philosophical Logic 42 (5): 727-765. 2013.
    The semantic paradoxes are often associated with self-reference or referential circularity. Yablo (Analysis 53(4):251–252, 1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that sup…Read more
  •  1281
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also bein…Read more
  •  347
    Well Founding Grounding Grounding
    Journal of Philosophical Logic 45 (4): 349-379. 2016.
    Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-groundin…Read more