Bishop sentences such as “If a bishop meets a bishop, he blesses him” have long been considered problematic for the descriptivist (or E-type) approach of donkey anaphora (e.g. Evans, 1977; Heim, 1990; and Neale, 1990). Elbourne (2005) offers a situational descriptivist analysis that allegedly solves the problem, and furthermore extends its explanatory coverage to bishop sentence with coordinate subjects. However, I throw serious doubts on Elbourne’s analysis. Specifically, I argue that the purported solution is committed to the use (...) of unbound anaphora, and it cannot sustain the claimed empirical adequacy. (shrink)

I argues that quantificational adverbs are unselective binders over individuals. The Lewisian analysis, however, fails to recognize the ambiguity in some quantificationally modified conditionals. That the Lewisian approach cannot predict some attested reading is known as the “proportion problem.” I propose a solution based on the following ideas: (a) quantificational adverbs bind selectively; (b) a singular indefinite and its anaphoric pronoun may introduce a plural discourse referent, and (c) plural predication is elusive.

Recent literature contains influential arguments for variabilism, the view that we should understand proper names as analogues not of constants but of variables. In particular, proper names are said to sometimes take semantic values that are not referential but purely general. I present a counter-example to this view.

A number of authors in favor of a unitary account of singular descriptions have alleged that the unitary account can be extrapolated to account for plural definite descriptions. In this paper I take a closer look at this suggestion. I argue that while the unitary account is clearly onto something right, it is in the end empirically inadequate. At the end of the paper I offer a new partitive account of plural definite descriptions that avoids the problems with both the (...) unitary account and standard Russellian analyses. (shrink)

I present data that suggest the universal entailments of counterfactual donkey sentences aren’t as universal as some have claimed. I argue that this favors the strategy of attributing these entailments to a special property of the similarity ordering on worlds provided by some contexts, rather than to a semantically encoded sensitivity to assignment.

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) (...) Compositional Discourse Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

Sobel sequences have had a huge impact on the discussion of counterfactuals. They can be composed of conditionals and mere descriptions. What is especially puzzling about them is that they are often felicitously uttered when their reversal is not. Up to now, there is no unified explanation. I examine two strategies. We might begin with conditionals and proceed to descriptions. Or we might begin with descriptions and proceed to conditionals. I argue for the latter variant and outline a universal theory (...) of Sobel sequences in terms of presuppositional anaphora. One relevant result is that the phenomenon neither counts against nor in favour of the simplified standard account of counterfactuals à la Stalnaker-Lewis. (shrink)

Once upon a time, Aesop says, there was a donkey who wanted to be a pet dog. The pet dog was given many treats by the master and the household servants, and the donkey was envious of him. Hence, the donkey began emulating the pet dog. What happened next? The story ends up with the donkey beaten senseless, chased off to the stables, exhausted and barely alive. Who is to blame for the poor donkey’s unfortunate (...) fate? Well, there could be disagreement upon this, but we think emulation is to blame. And it’s on the kinds of envy-related emulation that we focus in this chapter. More analytically, we aim at vindicating the role of envy for moral exemplars within an exemplarist character educational framework. In the first section, we recall the central tenets of an exemplarist account of moral progress, and highlight how negative emotions, in general, have suffered a bad press within character education, with exemplarism being no exception. Then we provide a brief outline of standard strategies of defending envy by appealing to useful taxonomies of envy (e.g., Taylor 1988; Protasi 2016; Fussi 2018). After that, we put forward our 'Donkey Objection' by recalling Aesop’s fable on "foolish imitation", so as to show that when envy triggers mere emulation, it can bear devastating effects such as conformism and a lack of self-worth and personal integrity. In response to this objection, we bring into play a distinction between two rival forms of imitation—emulation and inspiration—and we coin the label of "inspired envy" for those forms of imitation by inspiration triggered by envy that lead to self-improvement avoiding morally detrimental consequences. (shrink)

Day 1 of advanced course on "Temporal anaphora in tenseless languages" at 2006 ESSLLI.

I survey the role of trivalence in theories of anaphora.

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to (...) so that they can interleave interpretation and coindexing in DRT’s way. (shrink)

The problem concerns quantifiers that seem to hover between universal and existential readings. I argue that they are neither, but a different quantifier that has features of each. NOTE the published paper has a mistake. I have corrected this in the version on this site. A correction note will appear in Analysis.

The standard way to represent anaphoric dependencies is to co-index the anaphor with its antecedent in the syntactic input to semantic rules, which then interpret such indices as variables. Dynamic theories (e.g. Kamp’s DRT, Heim’s File Change Semantics, Muskens’s Compositional DRT, etc) combine syntactic co-indexation with semantic left-to-right asymmetry. This captures the fact that the anaphor gets its referent from the antecedent and not vice versa. Formally, a text updates the input state of information to the output state. In particular, (...) an indexed antecedent updates the entity assigned to its index, and the output entity is then picked up as the referent by any subsequent co-indexed anaphor. (shrink)

It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license (...) anaphora to proper atomic parts (cf. nominal pluralities and kinds). (shrink)

We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.

Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that reflexive (...) and personal pronouns are free variables that get bound by an antecedent through some coindexing mechanism. In variable free semantics the same task is performed by some combinator that identifies two arguments of the function it operates on (a duplicator). This combinator may be built into the lexical semantics of the pronoun, into that of the antecedent, or it may be a free-floating operation applicable to predicates or larger chunks of texts, i.e. a typeshifter. This note is concerned with the case of cross-sentential anaphora. It adopts Hepple’s and Jacobson’s interpretation of pronouns as identity maps and asks how this can be extended to the cross-sentential case, assuming the dynamic semantic view of anaphora. It first outlines the possibility of interpreting indefinites that antecede non-ccommanded pronouns as existential quantifiers enriched with a duplicator. Then it argues that it is preferable to use the duplicator as a type-shifter that applies “on the fly”. The proposal has consequences for two central ingredients of the classical dynamic semantic treatment: it does away with abstraction over assignments and with treating indefinites as inherently existentially quantified. However, cross-sentential anaphora remains a matter of binding, and the idea of propositions as context change potentials is retained. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 2: Anaphora. Abstract: Cross-linguistic evidence shows that anaphora crucially involves context change. The logical representation system must be able to represent rank-based anaphora, because in every language the favorite anaphors -- e.g. Mandarin zeros, Kalaallisut inflections, English pronouns -- are restricted to refer to top-ranked antecedents (top-level anaphors, like Mandarin zeros or Kalaallisut inflections) or top- or 2nd-ranked antecedents (shallow anaphors, like English pronouns).

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

So far, we have focused on discourse reference to atomic individuals and specific times, events, and states. The basic point of the argument was that all types of discourse reference involve attention-guided anaphora (in the sense of Bittner 2012: Ch. 2). We now turn to discourses involving anaphora to and by quantificational expressions. Today, we focus on quantification over individuals but the analysis we develop will directly generalize to other semantic types. The basic idea is that quantification is (...) one more species of top-level anaphora--to wit, anaphora to top-ranked sets. (shrink)

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 truth-conditional contribution. (...) But this difference cannot be accounted for by standard parameter sensitivity. Semanticists, consoled by the thought that this ambiguity would ultimately be needed anyhow to explain anaphora, have been too content to posit massive ambiguities in demonstrative pronouns. This article aims to revived the parameter revolution by showing how to treat demonstrative pronouns as univocal while providing an account of anaphora that doesn't end up re-introducing the ambiguity. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We (...) consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

I reply to Willing's criticism of my 'if I were a dry well-made match', and along the way uncover a puzzle about counterfactuals rather like Geach's donkey sentence problem.

This chapter addresses the assumed connection between de se attitude ascription and logophoricity in the case of Chinese ziji. It is widely believed that logophors are among the paradigm cases of de se marking, and that long-distance ziji is logophoric. Drawing on a critical examination of a variety of analyses, this chapter argues that long-distance anaphora, de se interpretation, and logophoric marking are overlapping but distinct phenomena. Even if ziji is logophoric, it does not automatically trigger de se requirement. (...) A de se-neutral analysis of ziji is consistent with pragmatic derivations of interpretations that emphasize the self. The findings point to a new approach to long-distance binding, and identify the blocking effect as the key issue for further research. (shrink)

In traditional formal semantics the notions of reference, truth and satisfaction are basic and that of representation is derivative and dispensable. If a level of representation is included in the formal presentation of the theory, it is included as a heuristic. Semantics in the traditional sense has no bearing on any form of mental processing. When reference is understood within this framework, cognitive neuroscience cannot possibly provide any insights into the nature of reference. Traditional semantics, however, has numerous shortcomings that (...) render it inadequate as an account of natural language. Dynamic semantic theories, such as discourse representation theory (DRT), treat ever­growing, revisable mental representations as the basic semantic entities. Within this framework, there are two central notions of reference. New information may refer back to previously introduced discourse referents and discourse referents may refer to worldly entities. Because DRT treats mental representations as indispensable elements of the theory, evidence from neuroscience, particularly the recording of electroencephalograms (EEG) and its derivative event-­related potentials (ERPs), can reasonably be thought to shed light on meaning and reference within this framework. In this chapter I first review the advantages of DRT in accommodating linguistic data and then review data from neuroscience that seem to support it. Finally, I consider some methodological concerns that have been raised about the neuroscientific approach to semantics. (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)

Anaphora resolution is one of the most active research areas in natural language processing. This study examines focusing as a tool for the resolution of pronouns which are a kind of anaphora. Focusing is a discourse phenomenon like anaphora. Candy Sidner formalized focusing in her 1979 MIT PhD thesis and devised several algorithms to resolve definite anaphora including pronouns. She presented her theory in a computational framework but did not generally implement the algorithms. Her algorithms related (...) to focusing and pronoun resolution are implemented in this paper. This implementation provides a better comprehension of the theory both from a conceptual and a computational point of view. The resulting program is tested on different discourse segments, and evaluation and analysis of the experiments are presented together with the statistical results. (shrink)

Whether or not deflationism is compatible with truth-conditional theories of meaning has often been discussed in very broad terms. This paper only focuses on Davidsonian semantics and Brandom's anaphoric deflationism and defends the claim that these are perfectly compatible. Critics of this view have voiced several objections, the most prominent of which claims that it involves an unacceptable form of circularity. The paper discusses how this general objection applies to the case of anaphoric deflationism and Davidsonian semantics and evaluates different (...) ways of responding to it (Williams 1999, Horisk 2008 and Lance 1997). Then, three further objections to the compatibility of these theories are assessed and eventually dismissed (Horisk 2007, Patterson 2005 and Collins 2002). It is shown how these considerations shed light on core issues of the debate. (shrink)

Among the many features that go hand in hand with the recent onset of populism in many countries, an interesting phenomenon is surely the shift of public discourse in the direction of social media. Is there any-thing special about communication in social media that is particularly suitable for the development of such movements and ideas? In what fol-lows, I provide an attempt to read Facebook comments as showing an anaphoric structure. This analysis permits me to give emphasis on a number (...) of interesting features that such communications exhibit. Final-ly, I try also to highlight some of the main implications of this model in comparison with ordinary communication. (shrink)

In this paper, I outline a novel approach to the semantics of natural language pronouns. On this account, which I call 'demonstrativism', pronouns are semantically equivalent to demonstratives. I begin by presenting some contrasts that provide support for demonstrativism. Then I try to explain these contrasts by developing a particular demonstrativist proposal. I build on the "hidden argument" theory of demonstratives. On this theory, demonstratives are semantically similar to definite descriptions, with one important difference: demonstratives take two arguments, rather than (...) one. Using these ideas, I propose that pronouns also take two (covert) arguments, and that the second argument needs to be sufficiently salient to members of the conversation in order for the use of a pronoun to be felicitous. As for the first argument, I maintain that its content is constrained by the process of noun-phrase deletion. Taken together, I argue that these constraints provide us with a satisfying account of the uses to which pronouns are put. (shrink)

This paper argues that indexical reference is a species of discourse reference, just like anaphora. Both varieties of discourse reference involve not only context dependence, but also context change. The act of speaking up focuses attention and thereby makes this very speech event available for discourse reference by indexicals. Mentioning something likewise focuses attention, making the mentioned entity available for subsequent discourse reference by anaphors. Empirical evidence is presented from grammatical centering in Kalaallisut and "shifty indexicals" in Slave attitude (...) reports. (shrink)

J.L. Austin is regarded as having an especially acute ear for fine distinctions of meaning overlooked by other philosophers. Austin employs an informal experimental approach to gathering evidence in support of these fine distinctions in meaning, an approach that has become a standard technique for investigating meaning in both philosophy and linguistics. In this paper, we subject Austin's methods to formal experimental investigation. His methods produce mixed results: We find support for his most famous distinction, drawn on the basis of (...) his `donkey stories', that `mistake' and `accident' apply to different cases, but not for some of his other attempts to distinguish the meaning of philosophically significant terms (such as `intentionally' and `deliberately'). We critically examine the methodology of informal experiments employed in ordinary language philosophy and much of contemporary philosophy of language and linguistics, and discuss the role that experimenter bias can play in influencing judgments about informal and formal linguistic experiments. (shrink)

The main concern of this paper is the proper analysis of the NP celui-ci in French. The contribution of L. Tasmowski to this discussion is well known. In my view, this contribution makes two important points: 1) in its anaphoric uses, celui-ci cannot be analysed as a "nominal anaphoric" along the lines suggested by Corblin for its exophoric uses. This point is also made in Kleiber, Zribi-Hertz, Imoto ; 2) eventhough celui-ci like pronouns and definite NPS must be linked in (...) its anaphoric uses to a familiar discourse referent, it involves "une rupture de familiarité" [a familiarity break]. Basically, I will argue in this paper that these two points are correct, although they seem to draw the analysis of celui-ci in two opposite directions and look somewhat paradoxical. In this paper, I propose a solution to those difficulties which is based on the analysis of celui-ci as a "mentional NP". Other mentional NPs in French are, for instance, le premier, le second, ce dernier. Mentional NPS, it will be claimed, are just NPs which are associated to a previously established discourse referent by using only the properties of the previous mention having evoked this discourse referent in the discourse context. I will claim that there is a strong association between mentionals and NPs without a noun in French, namely that mentional references are achieved by NPs without a noun. I will show moreover that this specific kind of reference based on contingent properties of a discourse referent is the key for understanding how a coindexed NP produces the break in topic continuity noted by Tasmowski. (shrink)

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to be (...) that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (shrink)

Proper names are generally taken to be count nouns. This paper argues that this is mistaken and that at least in some languages, for example German, names divide into mass and count. Making use of Kayne's (2005, 2010) theory of light nouns, this paper argues that light nouns are part of (simple) names and that a mass-count distinction among light nouns explains the behavior of certain types of names in German as mass rather than count. The paper elaborates the role (...) of light nouns with new generalizations regarding their linguistic behavior in quantificational and pronominal NPs, their selection of relative pronouns in German, and a general difference in the support of plural anaphora between English and German. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a (...) pair of massive diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

‘Of Ephesus’ begins with a series of vivid impressions of a wild and free nature—vineyards rolling across the landscape, an untrammeled sky, a runaway donkey, flaming pinecones, roosters, and colorful kites and flags. Fire in some form (wildfires, the sun, flames, torches, lightning, sunlight) is the hallmark of a dynamic reality. The reference to ‘St. Heraclitus’ supports this interpretation: Elytis, like Heraclitus, seeks to alert his audience to the possible existence of a higher realm of being. So he fashions (...) a series of striking juxtapositions intended to disrupt our ordinary experience of the world and to spark a vision of an alternative reality. In the process he draws on Heraclitus’ doctrine of the unity of the opposites, on the conception of fire as the basic power that rules the cosmos, and on the conviction that beyond the world we know through ordinary sense experience lies a second, higher reality. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives may (...) show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric (...) moods and/or attitudinal verbs. (shrink)

Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the (...) observed parallels can be formally analyzed. (shrink)

In a well-known apocryphal story, Theresa of Avila falls off the donkey she was riding, straight into mud, and injures herself. In response, she seems to blame God for her fall. A playful if indignant back and forth ensues. But this is puzzling. Theresa should never think that God is blameworthy. Why? Apparently, one cannot blame what one worships. For to worship something is to show it a kind of reverence, respect, or adoration. To worship is, at least in (...) part, to praise. You cannot praise and blame simultaneously. Indeed, Paul counsels against “back-talk” against God, suggesting we lack the standing to blame our creator (Romans 9:20). Drawing on Strawsonian theorizing about praise and blame, this paper argues that, surprisingly, a person can both blame and worship God. Although blameful worship is possibly epistemically akratic, it may sometimes be acceptable given our nature as finite, emotional beings. In fact, blaming God might on occasion be the only way we have to stand with God’s goodness despite apparent evidence of evil in the world. This suggestion, I’ll argue, should change the way we think about the problem of evil. The problem has interpersonal and moral psychological dimensions that merit serious attention. (shrink)

This paper is about how to interpret and evaluate purported evidence for predicativism about proper names. I aim to point out some underappreciated thorny issues and to offer both predicativists and non-predicativists some advice about how best to pursue their respective projects. I hope to establish three related claims: that non-predicativists have to posit relatively exotic, though not entirely implausible, polysemic mechanisms to capture the range of data that predicativists have introduced ; that neither referentialism nor extant versions of predicativism (...) can offer a very plausible account of the interpretive possibilities for singular unmodified definite descriptions containing names ; and that the most plausible version of predicativism would treat bare names as non-anaphoric definite descriptions. (shrink)

We take em-dash as our sample punctuation mark and examine its usage from a discourse perspective, using sentences from well-known corpora. We particularly comment on how dashes can give hints on information structure, focus, and anaphora. Throughout the paper Discourse Representation Theory is used as a framework.

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)

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)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)