This paper revisits the question of whether propositions in situation semantics must be persistent [Kratzer (1989). Linguistics and Philosophy, 12, 607–653]. It shows that ignoring persistence causes empirical problems for theories which use quantification over minimal situations as a solution for donkey anaphora [Elbourne (2005). Situations and individuals. Cambridge, Mass.: MIT Press]. At the same time, modifying these theories to incorporate persistence makes them incompatible with the use of situations for contextual restriction [Kratzer (2004). Ms., University of Massachusetts].

Critical statements, if true, bear ontological commitments to fictional entities. A well-known version of fictionalism about fictional characters tries to eliminate these ontological commitments by proposing that we understand critical statements as prefixed by a special sentential operator, such as ‘according to a fictional realist theory’. The aim of the present paper is to show that fictionalism about fictional characters is underdeveloped as it stands because it can be shown to be systematically inadequate. Because the fictionalist’s paraphrases of critical statements (...) suggest that fictional realists affirm the propositions expressed by critical statements, the fictionalist mistakenly attributes to fictional realists an expertise in matters that pertain to literary criticism. Importantly, this problem of misattributed expertise paves the way to other issues that might be much more devastating to the fictionalist project. It can be shown that, because she wrongly attributes expertise to fictional realists, the fictionalist unintentionally portrays fictional realist theories in a way that renders them inconsistent and self-defeating. This undermines fictionalism about fictional characters because it leaves no workable fictional realist account in which to ground a fictionalist explanation. This is why the fictionalist about fictional characters should try to eliminate the problem of misattributed expertise and its related issues. At the end of the paper, I sketch some of the available options in this regard. (shrink)

An attractive principle about domains of quantification is the analogue of the Separation Axiom in set theory: restricting a domain by an arbitrary predicate yields a domain. In particular, restricting a domain by a predicate that applies to nothing yields a domain. Thus if there is a nonempty domain, there is an empty domain. But semantics for the empty domain involves some neglected subtleties. Untangling them requires us to revise the usual definition of truth in a model, avoiding the detour (...) through Tarski's notion of satisfaction. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of (...) variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

Personal and demonstrative pronouns are notorious for challenging any theory of natural language. Singular pronouns have received much attention from linguists and philosophers alike during the last three decades. Plural pronouns, on the other hand, have been neglected, especially by philosophers. I want to fill this gap and suggest accounts of ‘we,’ the plural ‘you,’ and ‘they.'Intuitively, singular and plural personal pronouns are ‘counterparts.' Any account of personal pronouns should make sense of this intuition. However, the latter is not very (...) sophisticated and, as we move along, it will be reexamined and relativized. As we shall see, plural pronouns are much more than mere counterparts of the familiar singular ones. It is well known that third person singular pronouns have puzzling behaviors, acting as co-referential terms, bound variables, or unbound anaphora. But co-reference, binding, and unbound anaphora are not confined to the usual examples and extend, in a way, to plural pronouns. My discussion of the latter is partly motivated by this particular behavior. (shrink)

Dans le paradigme russellien, les termes dénotants ou termes quantifiés comme «plusieurs hommes», «quelques hommes», «tous les hommes», sont analysés à l'aide de quantificateurs, de variables, de prédicats et de connecteurs logiques à l'intérieur de phrases complètes exprimant des propositions générales. Les descriptions définies comme les descriptions indéfinies y sont aussi traitées comme des termes quantifiés.

When you think about a particular object, what makes your thought about that object? Roderick Chisholm, Ernest Sosa and Michael McKinsey have defended 'latitudinarian', 'descriptivist', or what I call 'liberal' answers to that question. In this paper I carefully consider the motivation for these liberal views and show how it extends in unanticipated ways to motivate views that are considerably more liberal.

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as 'actually' and 'in fact' are not indexicals like 'here' and 'now'; when e.g. 'Snow is actually white' is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that 'actually' and its cognates do play. It is also argued (...) that the sentence ⌜Actually S ⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S ⌝, it is not sufficient to prefix the word 'necessarily'. (shrink)

The paper is an investigation into the concept of actuality from the standpoint of the philosophy of language. It is argued that expressions such as ‘actually’ and ‘in fact’ are not indexicals like ‘here’ and ‘now’; when e.g. ‘Snow is actually white’ is uttered in a world, what proposition is conveyed does not depend on the world. Nor are such expressions ambiguous. The paper makes a suggestion about the role that ‘actually’ and its cognates do play. It is also argued (...) that the sentence ⌜Actually S⌝ expresses a necessary truth only if S itself expresses one. In order to capture the necessitation of the proposition expressed in ⌜Actually S⌝, it is not sufficient to prefix the word ‘necessarily’. (shrink)

The theory of descriptions, presented informally in "On Denoting" and more formally in Principia Mathematica, has been endorsed by many linguists and philosophers of language as a contribution to natural-language semantics. However, the syntax of Principia’s formal language is far from ideal as a tool for the analysis of natural language. Stephen Neale has proposed a reconstruction of the theory of descriptions in a language of restricted quantification that gives a better approximation of the syntax of English (and, arguably, of (...) other natural languages). This has led to resistance from some Russell scholars who object to the identification of descriptions with quantifiers at the level of logical form in this new language on the grounds that the identification fails to respect the Russellian conception of descriptions as incomplete symbols. I defend Neale’s reconstruction of the theory and argue that he has preserved everything essential to the theory, including the notion of an incomplete symbol. However, I then go on to argue, contrary to Neale and his objectors as well as Russell himself, that the doctrine of incomplete symbols is a superfluous and undesirable element of the theory that is best jettisoned from the theory. (shrink)

This paper argues that there are a number of different things that could be meant by the claim that a given agent 'could have done otherwise', because there are multiple ways of disambiguating the various anaphoric devices which are contained in the phrase. It goes on to suggest that on at least one of these disambiguations, the claim that a Frankfurtian agent could have done otherwise might be defensible, even given the presence of a counterfactual intervener who will ensure that (...) the agent phis. (shrink)

I have written a number of articles recently that have a rather remarkable character. They all point out trivial grammatical facts that, at great cost, have not been respected in twentieth century Logic. A major continuous strand in my previous work, with this same character, I will first summarise, to locate the kind of fact that is involved. But then I shall present an overview of the more recent, and more varied points I have made, which demonstrate the far larger (...) extent of basic grammar that has been overlooked or suppressed. I end with some remarks about how this phenomenon can have arisen – principally through logicians not being attentive enough to their own language, and occupying themselves, instead, with often quite imaginary languages. (shrink)

The epsilon calculus improves upon the predicate calculus by systematically providing complete individual terms. Recent research has shown that epsilon terms are therefore the “logically proper names” Russell was not able to formalize, but their use improves upon Russell’s theory of descriptions not just in that way. This paper details relevant formal aspects of the epsilon calculus before tracing its extensive application not just to the theory of descriptions, but also to more general problems with anaphoric reference. It ends by (...) contrasting a Meinongian account of cross-reference in intensional constructions with the epsilon account. (shrink)

1. Anderson and Lepore (2013) argue that the offensiveness of slur terms can’t consist (merely?) in their having derogatory meanings because even quotation marks fail to prevent offence being cause...

MILLIANISM and DESCRIPTIVISM are without question the two most prominent views with respect to the semantics of proper names. However, debates between MILLIANS and DESCRIPTIVISTS have tended to focus on a fairly narrow set of linguistic data and an equally narrow set of problems, mainly how to solve with Frege's puzzle and how to guarantee rigidity. In this article, the author focuses on a set of data that has been given less attention in these debates—namely, so-called predicative uses, bound uses, (...) and shifted uses of names. The author first shows that these data points seem to favor a DESCRIPTIVIST view over a MILLIAN view, but the author then introduces an alternative view of names that not only provides a simple and elegant way of dealing with the data, but also retains rigidity without becoming subject to the problems raised by Frege's puzzle. This is the view that names are variables, also called VARIABILISM. (shrink)

Two main methods for analysing de re readings of definite descriptions in intensional contexts coexist: that of evaluating the description in the actual world, whether by means of scope, actuality operators, or non-local world binding, and that of substituting another description, usually one expressing a salient or ‘vivid’ acquaintance relation to an attitude holder, prior to evaluation. Recent work on so-called descriptive indexicals suggests that contrary to common assumptions, both methods are needed, for different ends. This paper aims to show (...) that there is indeed a division of labour between the two methods of analysis and to identify criteria for choosing among alternative ways to model the second, substitutional method. (shrink)

The key idea behind the diagrammatic approach presented in the paper is that the sophisticated mechanisms of human visual construction also play an important role in natural languages. We propose a diagrammatic representation of English, giving examples, translation rules, and semantics. Special attention will be paid to anaphoric phenomena, in particular, the possibility of a uniform treatment of anaphoric pronouns.

We discuss the challenge to truth-conditional semantics presented by apparent shifts in extension of predicates such as ‘red’. We propose an explicit indexical semantics for ‘red’ and argue that our account is preferable to the alternatives on conceptual and empirical grounds.

Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that (...) the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

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 quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

Hybrid metaethical theories have significant promise; they would have important upshots if they were true. But they also face severe problems. The problems are severe enough to make many philosophers doubt that they could be true. My ambition is to show that the problems are just instances of a highly general problem: a problem about what are sometimes called ‘intensional anaphora'. I'll also show that any adequate explanation of intensional anaphora immediately solves all the problems for the hybrid theorist. We (...) should regard hybrid tools as among the most legitimate tools in our toolkit—at least when we use them properly. (shrink)

Within natural language semantics, pronouns are often thought to correspond to variables whose values are contributed by contextual assignment functions. This paper concerns the application of this idea to cases where the antecedent of a pronoun is a plural quantifiers. The paper discusses the modelling of accessibility patterns of quantifier antecedents in a dynamic theory of interpretation. The goal is to reach a semantics of quantificational dependency which yields a fully semantic notion of pronominal accessibility. I argue that certain dependency (...) phenomena that arise in quantificationally created contexts require a representation of context wherein the labelling of antecedents is not rigid but rather dynamic itself. I propose a stack-based alternative to classic assignment functions, along the lines of Vermeulen (1993) and van Eijck (2001), and give a dynamic semantics of quantification which correctly accommodates the problematic anaphoric phenomena. (shrink)

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are determined. This is the question that (...) I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (shrink)

If ‘a’ and‘b’are (proper) names and if the meaning of a name is exhausted by its referent, how can‘a = a’differ in cognitive value from‘a = b’if‘a = b’is true? This is Frege's famous puzzle and Bezuidenhout reconstructs it using demonstrative NPs in place of names, i.e.: This X is that X.’Her solution is to posit the‘truth-conditional relevance’of the de re modes of presentation of such expressions. My major objection is that Bezuidenhout's examples are such that the NP to the (...) right of the copula is anaphoric rather than demonstrative and cannot, therefore, support her argument. (shrink)

The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the Russellian assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition, drawing from Stoic logic, has pointed to patterns which suggest that indefinites cannot be treated simply as existential quantifiers. The standard (...) dynamic semantic treatment of those phenomena, however, has well-known problems with negation and disjunction. -/- In this paper I develop a new approach to (in)definites. On my theory, truth-conditions are classical. But in addition to truth-conditions, meanings comprise a second dimension of what I call bounds. It is at the level of bounds, not truth-conditions, that I locate the characteristically dynamic coordination between indefinites and definites. The resulting system thus has a classical logic. This approach avoids dynamic semantics’ logical problems, and, more generally, yields a new perspective on the relation between truth-conditional and dynamic effects in natural language. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

Linguistics and philosophy have provided distinct views on the nature of reference to individuals in language. In philosophy, in particular in the tradition of direct reference, the distinction is between reference and description. In linguistics, in particular in the tradition of generative grammar, the distinction is between pronouns and R-expressions. I argue for a third conception, grounded in dynamic semantics, in which the main watershed is between definites, which trigger presuppositions that want to be bound, and indefinites, which set up (...) new discourse referents. On this view, proper names, indexicals, and definite descriptions are all analyzed as presupposition triggers. (shrink)

Both definite descriptions and pronouns are often anaphoric; that is, part of their interpretation in context depends on prior linguistic material in the discourse. For example: A student walked in. The student sat down. A student walked in. She sat down. One popular view of anaphoric pronouns, the d-type view, is that pronouns like ‘she’ go proxy for definite descriptions like ‘the student who walked in’, which are in turn treated in a classical Russellian or Fregean fashion. I argue for (...) a novel version of the d-type view in which anaphoric definites are restricted existential quantifiers that presuppose discourse uniqueness, which is uniqueness of discourse referent in the context, rather than uniqueness of object in the world. In other words, the anaphoric definites ‘the student’ and ‘she’ in and presuppose that there is a single object under discussion that is a student who walked in. I further argue that, by contrast, non-anaphoric definites are restricted existential quantifiers that presuppose worldly uniqueness, that is, that there is a unique object in the world that satisfies the descriptive information. The semantics for anaphoric and non-anaphoric definites accounts for the differences in truth conditions in discourses involving the two different types of definites, improving on existing accounts. It is further supported by crosslinguistic data. The semantics is formally implemented in a static system employing quantifier domain restriction in the style of Stanley and Szabo :219–261, 2000) and extended to account for bridging definites and donkey sentences. (shrink)

Discourse dynamics, pragmatics, and indefinites Content Type Journal Article Pages 1-30 DOI 10.1007/s11098-012-9882-y Authors Karen S. Lewis, Department of Philosophy, University of Southern California, Los Angeles, CA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of negation is (...) felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (shrink)

What is the semantic contribution of anaphoric links in sentences like, ‘A physicist was late to the party. He brought some bongos’? A natural first thought is that the passage entails a wide-scope existential claim that there is something that both (i) was late to the party and (ii) brought some bongos. Intentional identity sentences are counter-examples to this natural thought applied to anaphora in general. Some have tried to rescue the thought and accommodate the counter-examples by positing mythical objects. (...) I present a new intentional identity sentence that cannot be so accommodated. I then propose a new account of intentional identity and other anaphoric sentences that does not appeal to mythical objects, but instead draws on traditional accounts of definite descriptions. (shrink)

The problem of indistinguishable participants is a well-known problem for D-type theories of donkey pronouns. Recently, Paul Elbourne has offered a D-type theory that purports to dissolve the problem of indistinguishable participants. I argue against Elboune’s solution.