Why do utterances of counterfactual conditionals typically, but not universally, convey the message that their antecedents are false? I demonstrate that two common theoretical commitments–commitment to the existence of scalar implicature and of informative presupposition—can be supplemented with an independently motivated theory of the presuppositions of competing conditional alternatives to jointly predict this information when and only when it appears. The view works best if indicative and counterfactual conditionals have a closely related semantics, so I conclude by undermining two familiar (...) arguments for a nonunified semantics of indicative and counterfactual conditionals. (shrink)

This paper presents an extended version of the Quantified Argument Calculus (Quarc). Quarc is a logic comparable to the first-order predicate calculus. It employs several nonstandard syntactic and semantic devices, which bring it closer to natural language in several respects. Most notably, quantifiers in this logic are attached to one-place predicates; the resulting quantified constructions are then allowed to occupy the argument places of predicates. The version presented here is capable of straightforwardly translating natural-language sentences involving defining clauses. A three-valued, (...) model-theoretic semantics for Quarc is presented. Interpretations in this semantics are not equipped with domains of quantification: they are just interpretation functions. This reflects the analysis of natural-language quantification on which Quarc is based. A proof system is presented, and a completeness result is obtained. The logic presented here is capable of straightforward translation of the classical first-order predicate calculus, the translation preserving truth values as well as entailment. The first-order predicate calculus and its devices of quantification can be seen as resulting from Quarc on certain semantic and syntactic restrictions, akin to simplifying assumptions. An analogous, straightforward translation of Quarc into the first-order predicate calculus is impossible. (shrink)

The essay outlines the character of free logic, and motivation for its construction and development. It details some technical achievements of high philosophical interest, but urges that the role of existence assumptions in logic is still not fully understood, that unresolved old problems, both technical and philosophical, abound, and presents some new problems of considerable philosophical import in free logic.

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

In order to understand a sentence, one must know the relevant semantic rules. Those rules are not learned in a vacuum; they are given to one through one's senses. As a result, knowledge of semantic rules sometimes comes bundled with semantically irrelevant, but cognitively non-innocuous, knowledge of the circumstances in which those rules were learned. Thus, one must work through non-semantic information in order to know what is literally meant by a given sentence-token. A consequence is that one's knowledge of (...) what is literally meant by a given sentence-token is sometimes embedded in non-semantic knowledge, resulting in a cleavage between what that sentence-token literally means and what the auditor in question takes it to mean. Such deviations obviously have nothing to do with the principles put forth by Grice, since those principles only concern sentence-tokens that have already been understood---since, to put it another way, those principles only concern post-semantic implicature. The just-described deviations are appropriately described as being due to "pre-semantic implicature." Given the phenomenon of pre-semantic implicature, it is easily shown that Russell's Theory of Descriptions, if taken as a theory of literal meaning, is false. In the present volume, these rather elementary principles are entirely ignored, and all of the articles in it are sterile repetitions of the points made by Russell and Strawson. The blinkered approach to language embodied in this volume must be reconsidered in light of psychological principles relating to language-acquisition and language-use. Unfortunately, analytic philosophers shy away from such topics, as is made clear by the papers in this grim volume. (shrink)

To reduce ambiguity across a conversation, interlocutors reach temporary conventions or referential precedents on how to refer to an entity. Despite their central role in communication, the cognitive underpinnings of the interpretation of precedents remain unclear, specifically the role and mechanisms by which information related to the speaker is integrated. We contrast predictions of one-stage, original two-stage, and extended two-stage models for the processing of speaker information and provide evidence favoring the latter: we show that both stages are sensitive to (...) speaker-specific information. Using an experimental paradigm based on visual-world eye tracking in the context of a referential communication task, we look at the moment-by-moment interpretation of precedents and focus on the temporal profile of the influence of the speaker and linguistic information when facing ambiguity. We find two clearly identifiable moments where speaker-specific information has its effects on reference resolution. We conclude that these two stages reflect two distinct cognitive mechanisms, with different timings, and rely on different representational formats for encoding and accessing information about the speaker: a cue-driven memory retrieval process that mediates language processing and an inferential mechanism based on perspective-taking abilities. (shrink)

The notion of intentionality is what Franz Brentano is best known for. But disagreements and misunderstandings still surround his account of its nature. In this paper, I argue that Brentano’s mature account of the nature of intentionality construes it, not as a two-place relation between a subject and an object, nor as a three-place relation between a subject’s act, its object, and a ‘content,’ but as an altogether non-relational, intrinsic property of subjects. I will argue that the view is more (...) defensible than might initially appear. (shrink)

Longstanding philosophical debate over the semantics of proper names has yet to examine the distinctive behavior of deadnames, names that have been rejected by their former bearers. The use of these names to deadname individuals is derogatory, but deadnaming derogates differently than other kinds of derogatory speech. This paper examines different accounts of this behavior, illustrates what going views of names will have to say to account for it, and articulates a novel version of predicativism that can give a semantic (...) explanation for this derogation. (shrink)

Higginbotham (1986) observed that quantified conditionals have a stronger meaning than might be expected, as attested by the apparent equivalence of examples like No student will pass if he goofs off and Every student will fail if he goofs off. Higginbotham's observation follows straightforwardly given the validity of conditional excluded middle (CEM; as observed by von Fintel & Iatridou 2002), and as such could be taken as evidence thereof (e.g. Williams forthcoming). However, the empirical status of CEM has been disputed, (...) and it is invalid under many prominent theories of conditionals—notably Lewis (1973) for counterfactuals, also Kratzer (1979, 1991). More acutely, Higginbotham's observation holds even for quantified counterparts of conditionals that appear not to obey CEM (Higginbotham 2003), and the standard way of explaining (away) such apparent counterexamples to the principle, à la Stalnaker (1981), does not directly yield an account of our apparent truth-conditional intuitions about the quantified counterparts (Leslie 2009). This article provides an explanation for the latter intuitions within Stalnaker's framework, the upshot being that CEM does remain a viable explanation, in principle, for Higginbotham's observation. (shrink)

This paper reevaluates Kaplan’s (Themes from Kaplan, Oxford University Press, Oxford, pp 481–563, 1989b) infamous ‘compulsive talker’ objection to Reichenbach’s (Elements of symbolic logic, AQ1 Macmillan, New York, 1947 ) token-reflexive theory of indexicals. It argues that Kaplan’s objection depends on the modal status of Reichenbachian tokens. On one interpretation, Kaplan’s objection stands. But on another, equally plausible interpretation, the following points hold: (i) Reichenbach’s theory effectively preempts contemporary discussion of rigid definite descriptions, (ii) Kaplan’s own analysis of indexicals in (...) terms of _dthat_-terms comes extremely close to Reichenbach’s own analysis, and (iii) Kaplan’s ‘compulsive talker’ objection should be rejected. (shrink)

(2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.

This paper is concerned with an intuitive contrast that arises when we consider sentences containing empty definite descriptions. A sentence like ‘The king of France is bald’ appears neither true nor false, while a sentence like ‘My friend was visited by the king of France’ appears false. Recently, Stephen Yablo has suggested an account of this intuitive contrast. Yablo’s account is particularly interesting, since it has important consequences for the ontological commitments of number sentences like ‘The number of planets is (...) even’. However, the paper argues that Yablo’s account is not convincing and that it can thus not establish these consequences. Further, it develops a Strawsonian account of the intuitive contrast. The developed account allows us to draw important conclusions regarding the correct analysis of definite descriptions and of existence sentences containing definite descriptions. (shrink)

The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.

In this paper, I investigate whether the intuitions that make connexive logics seem plausible might lie in pragmatic phenomena, rather than the semantics of conditional statements. I conclude that pragmatics indeed underwrites these intuitions, at least for indicative statements. Whether this has any effect on logic choice, however, heavily depends on one’s semantic theory of conditionals and on how one chooses to logically treat pragmatic failures.

In this paper, I investigate whether the intuitions that make connexive logics seem plausible might lie in pragmatic phenomena, rather than the semantics of conditional statements. I conclude that pragmatics indeed underwrites these intuitions, at least for indicative statements. Whether this has any effect on logic choice (and what that effect might be), however, heavily depends on one’s semantic theory of conditionals and on how one chooses to logically treat pragmatic failures.

This paper studies the uses of proper names within a communication-theoretic setting, looking at both the conditions that govern the use of a name by a speaker and those involved in the correct interpretation of the name by her audience. The setting in which these conditions are investigated is provided by an extension of Discourse Representation Theory, MSDRT, in which mental states are represented as combinations of propositional attitudes and entity representations . The first half of the paper presents the (...) features of this framework that are needed to understand its application to the account of names that follows. N-labelled entity representations, where N is a proper name, play a pivotal part in this account: A speaker must have an N-labelled ER in order to be in a position to use a name N, and the interpreter must either have such a representation, or else construct one as part of his interpretation. The paper distinguishes different types of name uses in terms of what they presuppose about the role of N-labelled ERs on the side of the interpreter. (shrink)

A free logical analysis of singular terms couched in terms of the semantic theory of Keenan and Faltz is shown to avoid problems with both Frege's and Russell's treatments. At its heart is the proposal of Keenan and Faltz to reverse the usual mode-theoretic conception of individuals and properties, taking the latter as primitive and the former as derived therefrom. A simple extension of the notion 'property' is then shown to enable a parallel treatment of definite generics.

This paper argues that mental models of discourse are key in any theory of the interpretation of definite descriptions. It considers both referential and attributive uses of such descriptions, in the sense introduced by Donnellan.

Nāgārjuna, the famous founder of the Madhyamika School, proposed the positive catuṣkoṭi in his seminal work, Mūlamadhyamakakārikā: ‘All is real, or all is unreal, all is both real and unreal, all is neither unreal nor real; this is the graded teaching of the Buddha’. He also proposed the negative catuṣkoṭi: ‘“It is empty” is not to be said, nor “It is non-empty,” nor that it is both, nor that it is neither; [“empty”] is said only for the sake of instruction’ (...) and the no-thesis view: ‘No dharma whatsoever was ever taught by the Buddha to anyone’. In this essay, I adopt Gricean pragmatics to explain the positive and negative catuṣkoṭi and the no-thesis view proposed by Nāgārjuna in a way that does not violate classical logic. For Nāgārjuna, all statements are false as long as the hearer understands them within a reified conceptual scheme, according to which substance is a basic categorical concept; substances have svabhāva, and names and sentences have svabhāva. (shrink)

I argue that mental descriptivism cannot be reasonably thought superior to rival theories on the grounds that it can (while they cannot) provide an elegant account of reference failure. Descriptivism about the particular-directed intentionality of our mental states fails when applied to desires. Consider, for an example, the desire that Satan not tempt me. On the descriptivist account, it looks like my desire would be fulfilled in conditions in which there exists exactly one thing satisfying some description only Satan satisfies (...) (call it the Satanic Description). However, against this analysis, it is clearly compatible with desiring that Satan not tempt me that I also desire that there exist nothing satisfying the Satanic Description. The descriptivist has room for maneuver here, but the cost of accommodating this phenomenon is that the descriptivist shall no longer be able to use her theory to ameliorate the possibility of reference failure. (shrink)

Definite articles and demonstratives share many features in common including a related etymology and a number of parallel communicative functions. The following paper is concerned with developing a novel proposal on how to distinguish the two types of expression. First, crosslinguistic evidence is presented to argue that demonstratives contain locational markers that are employed in deictic uses to force contrastive focus and accentuate an intended referent against a contextual background. Conversely, definite articles lack such markers. Demonstratives are thus more likely (...) to force referential interpretations, whereas definite descriptions are more open to attributive ones. Second, an analysis of determiner phrases is provided to illustrate that certain syntactic projections capture deictic differences between the two expressions. Semantic correlates of the proposal are then considered before it is situated with respect to contemporary work distinguishing the two categories on the basis of a non‐redundancy condition (that the overt noun phrase complement of a demonstrative may not denote a singleton set), which I suggest is derivative on the presence of contrastive deictic markers in demonstratives. (shrink)

Anti‐substitution intuitions play a central role in discussion of the semantics of propositional attitude ascriptions, and all theorists seem to agree that these intuitions should be explained by either semantic or pragmatic means. Jennifer Saul (2007) has recently argued that it is impossible to explain all our anti‐substitution intuitions thus. In particular, she argues that any account of the semantics of propositional attitude ascriptions faces the ‘Enlightenment Problem’ – i.e. no such account can explain the fact that we have anti‐substitution (...) intuitions about utterances of speakers who are ‘unenlightened’ as to the fact that certain names are co‐referential. In this paper, I suggest an alternative explanation of our intuitions about unenlightened utterances, and in doing so offer an original strategy for explaining truth‐conditional intuitions by either semantic or pragmatic means. (shrink)

The traditional epistemological approach towards judgments like BACHELORS ARE UNMARRIED or ALL KNOWLEDGE IS TRUE is that they are justified or known on the basis of understanding alone. In this paper, I develop an understanding-based account which takes understanding to be a sufficient source of epistemic justification for the relevant judgments. Understanding-based accounts face the problem of the rational revisability of almost all human judgments. Williamson has recently developed a reinforced version of this problem: the challenge from expert revisability. This (...) is the problem that even the best candidate judgments for understanding-based justification can be rationally rejected by the relevant experts, who may not even have any disposition or inclination to accept these judgments. However, I argue that expert revisability is fully compatible with the proposed understanding-based epistemology, because expert revisability is true of sufficient sources of epistemic justification in general. A remaining metaphysical worry is that understanding might end up being ‘too thin’ to play the envisaged epistemological role. This worry can be countered with a novel metaphysics of understanding involving second-order dispositions. (shrink)

This essay explores the significance and implications of the causal theory of reference for the current debate on the necessity and exchangeability of the divine title ‘Father’ in the discourse of the Church. Identifying ‘Father’ as a vocative term historically grounded in the speech of Jesus and his Apostles, the authors assert that it successfully refers to God, functioning very much like a proper name. They also identify linguistic barriers to its replacement by other terms.

Conversational exculpature is a pragmatic process whereby information is subtracted from, rather than added to, what the speaker literally says. This pragmatic content subtraction explains why we can say “Rob is six feet tall” without implying that Rob is between 5'0.99" and 6'0.01" tall, and why we can say “Ellen has a hat like the one Sherlock Holmes always wears” without implying Holmes exists or has a hat. This article presents a simple formalism for understanding this pragmatic mechanism, specifying how, (...) in context, the result of such subtractions is determined. And it shows how the resulting theory of conversational exculpature accounts for a varied range of linguistic phenomena. A distinctive feature of the approach is the crucial role played by the question under discussion in determining the result of a given exculpature. (shrink)

It is argued that Strawson's celebrated attacks on Russell's views about proper names and descriptions are misleading and unfounded. An attempt is made to show that Strawson's alternative views are philosophically more problematic than Russell's. It is also argued that, properly stated, Russell's analyses do not do violence to ordinary usage and that attempts to justify Strawson's analysis on the ground that it fits better with ordinary usage are mistaken.

Presupposition is the semantic-pragmatic phenomenon whereby a statement contains an implicit precondition that must be taken for granted for that statement to be felicitous. This article discusses the role of presupposition in legislative texts, using examples from Swiss constitutional and administrative law. It illustrates how presuppositions are triggered in these texts and what functions they come to serve, placing special emphasis on their constitutive power. It also demonstrates how legislative drafters can distinguish between “good” presuppositions and “bad” presuppositions by weighing (...) their main advantage, conciseness, against their main flaw, reduced transparency. The present study argues that, if employed carefully, presuppositions can be a useful stylistic means to keep legislative texts free from unnecessary clutter that merely elaborates on the obvious; however, it also suggests that, if applied wrongly, presuppositions can camouflage the duties and obligations placed on the subjects of a law and thus impede its accessibility and its efficient and effective implementation. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

This essay explores the validity of Gregory Boyd’s open theistic account of the nature of the future. In particular, it is an investigation into whether Boyd’s logical square of opposition for future contingents provides a model of reality for free will theists that can preserve both bivalence and a classical conception of omniscience. In what follows, I argue that it can.

ABSTRACT In ‘Scorekeeping in a Pornographic Language Game’, Rae Langton and Caroline West borrow ideas from David Lewis to attempt to explain how pornography might subordinate and silence women. Pornography is supposed to express certain misogynistic claims implicitly, through presupposition, and to convey them indirectly, through accommodation. I argue that the appeal to accommodation cannot do the sort of work Langton and West want it to do: Their case rests upon an overly simplified model of that phenomenon. I argue further (...) that, once we are clear about why Langton and West's account fails, a different and more plausible account of pornography's influence emerges. (shrink)

Rae Langton and Caroline West argue that pornography silences women by presupposing misogynistic attitudes, such as that women enjoy being raped. More precisely, they claim that a somewhat infamous pictorial, ‘Dirty Pool’, makes such presuppositions, and that it is typical in this respect. I argue for four claims. (1) There are empirical reasons to doubt that women are silenced in the way that Langton and West claim they are. (2) There is no evidence that very much pornography makes the sorts (...) of presuppositions that Langton and West's explanation of silencing requires it to make. (3) Even ‘Dirty Pool’, for all its other problems, does not make such presuppositions. (4) Langton and West misread ‘Dirty Pool’ because they do not take proper account of the fact that pornography often traffics in sexual fantasy. The broader lesson is that we need to read pornography more sensitively if we are to understand its capacity to shape socio‐sexual norms (for good or for ill). (shrink)

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can be true (...) even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (shrink)

This article points out problems in current dynamic treatments of anaphora and provides a new account that solves these by grafting Muskens' Compositional Discourse Representation Theory onto a partial theory of types. Partiality is exploited to keep track of which discourse referents have been introduced in the text (thus avoiding the overwrite problem) and to account for cases of anaphoric failure. Another key assumption is that the set of discourse referents is well-ordered, so that we can keep track of the (...) order in which they have been introduced, allowing a semantic characterization of anaphoric accessibility across stretches of discourse. Unlike other dynamic approaches, the system defines semantic values for unresolved anaphors. This leads to a clear separation of monotonic and non-monotonic content (in this case anaphoric resolution) and arguably provides a sound basis for a non-monotonic theory of anaphoric resolution. (shrink)

No present theory explains the inferences people draw about the real world when reasoning about “bouletic” relations, that is, predicates that express desires, such aswantin “Lee wants to be in love”. Linguistic accounts ofwantdefine it in terms of a relation to a desirer's beliefs, and how its complement is deemed desirable. In contrast, we describe a new model‐based theory that posits that by default, desire predicates such aswantcontrast desires against facts. In particular,A wants Pimplies by default thatPis not the case, (...) because you cannot want what is already true. On further deliberation, reasoners may infer thatA believes, but does not know for certain, thatPis not the case. The theory makes several empirical predictions about how people interpret, assess the consistency of, and draw conclusions from desire predicates likewant. Seven experiments tested and validated the theory's central predictions. We assess the theory in light of recent proposals of desire predicates. (shrink)

This paper explains how an assertion may be understood despite there being nothing said or meant by the assertion. That such understanding is possible is revealed by cases of the so-called ``felicitous underspecification'' of demonstratives: cases where there is understanding of an assertion containing a demonstrative despite the interlocutors not settling on one or another object as the one the speaker is talking about (King 2014a, 2017, 2021). I begin by showing how Stalnaker's ([1978] 1999) well-known pragmatic principles adequately permit (...) and constrain the felicitous underspecification of demonstratives. I then establish a connection between the satisfaction of Stalnaker's principles and understanding, and show how that connection sheds further light on the relevant cases. After developing and motivating my proposal, I address some objections to it, then briefly discuss the felicitous underspecification of expressions other than demonstratives alongside contrasting my proposal with a similar one from Bowker (2015, 2019) that concerns definite descriptions. (shrink)

In this paper I argue that in addition to the three generally recognized kinds of de re thought, i.e., perception-based, memory-based and communication-based thought, there is a kind of de re thought, which is based on image and cannot be assimilated to any of these recognized kinds of de re thought. I call it simply image-based de re thought. Although image-based thought shares some similarities with the other kinds of de re thought, it should and can be distinguished from each (...) of them. The focus of this paper is on the distinction between image-based thought and perception-based thought, as it is this distinction that is either overlooked or denied by philosophers who have no difficulty seeing the distinct role of images in our thinking about things in the world. (shrink)

There is a widespread assumption that ordinary language philosophy was killed off sometime in the 1960s or 70s by a combination of Gricean pragmatics and the rapid development of systematic semantic theory. Contrary to that widespread assumption, however, contemporary versions of ordinary language philosophy are alive and flourishing, but going by various aliases—in particular (some versions of) "contextualism" and (some versions of) "experimental philosophy". And a growing group of contemporary philosophers are explicitly embracing the methods as well as the title (...) of ordinary language philosophy and arguing that it has been unfairly maligned and was never decisively refuted. In this overview, I will outline the main projects and arguments employed by contemporary ordinary language philosophers, and make the case that updated versions of the arguments made by ordinary language philosophers in the middle of the twentieth century are attracting renewed attention. (shrink)