We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the child (...) was reminded of it being a rattle, and emphasising its being a rattle it was put back into box 1. Then the agent returned, the object was hidden in the experimenter’s hands and removed from box 1, described as a ‘‘rattle,” and transferred to box 2. Children who passed false belief had no problem saying where the puppet would look for the ball. However, in a different condition in which the agent was also shown that the ball was a rattle they erroneously said that the agent would look for the ball in box 1, ignoring the agent’s knowledge of the identity of rattle and ball. Their problems cease with their mastery of second-order beliefs. Problems also vanish when the ball is described not as a rattle but as a thing that rattles. We describe how our theory can account for these data as well as all other relevant data in the literature. (shrink)

We use mental files to present an analysis of children's developing understanding of identity in alternative naming tasks and belief. The core assumption is that younger children below the age of about 4 years create different files for an object depending on how the object is individuated. They can anchor them to the same object, hence think of the same object whether they think of it as a rabbit or as an animal. However, the claim is, they cannot yet link (...) their files to one another to represent that they have the same referent. Without linking the information contained in one file is not available in the other file. Hence, when thinking of the object as a rabbit the information that it is also an animal is not available. For representing a person's belief about an object a vicarious file contains what the person believes about the object. To capture that the belief is about that object the vicarious file has to be linked to the regular file, which by assumption children younger than 4 years cannot do. This assumption can therefore explain why problems with alternative naming and understanding false beliefs are overcome at the same age. (shrink)

We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of logical (...) variables (for object tracking), or the variety of inference types investigated in semantics/pragmatics. The aim of this overview is to show how the application of formal linguistic concepts and methodology to non-linguistic objects yields non-trivial insights, thus opening the possibility of a general, precise theory of signs. (An appendix, found in the online supplements to this article, surveys applications of Super Linguistics to animal communication.). (shrink)

We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of logical (...) variables (for object tracking), or the variety of inference types investigated in semantics/pragmatics. The aim of this overview is to show how the application of formal linguistic concepts and methodology to non-linguistic objects yields non-trivial insights, thus opening the possibility of a general, precise theory of signs. (An appendix, found in the online supplements to this article, surveys applications of Super Linguistics to animal communication.). (shrink)

This paper concerns the phenomenon of pragmatic enrichment, and has a proposal for predicting the occurrence of such enrichments. The idea is that an enrichment of an expressed content c occurs as a means of strengthening the coherence between c and a salient given content c’ of the context, whether c’ is given in discourse, as sentence parts, or through perception. After enrichment, a stronger coherence relation is instantiated than before enrichment. An idea of a strength scale of types of (...) coherence relations is proposed and applied. (shrink)

One of the big questions about indefinites is why they can escape scope islands. In the recent approach of Brasoveanu and Farkas :1–55, 2011) scopal relations with syntactically dominating quantifiers are hard wired into the semantic definition of the existential quantifier, which immediately explains why the semantic scope of indefinites may exceed their syntactic scope. In this paper, I argue for the revival of an alternative approach which places the explanatory burden on the idea that indefinites are essentially referential expressions, (...) similar to definites, and not plain existential quantifiers. I propose one fully explicit variant of such theories and argue that it comes with a number of conceptual and empirical advantages over competing theories. (shrink)

We show in this paper that some expressions indicating source of evidence are part of propositional content and are best analyzed as special kind of epistemic modal. Our evidence comes from the Japanese evidential system. We consider six evidentials in Japanese, showing that they can be embedded in conditionals and under modals and that their properties with respect to modal subordination are similar to those of ordinary modals. We show that these facts are difficult for existing theories of evidentials, which (...) assign evidentials necessarily widest scope, to explain. We then provide an analysis using a logical system designed to account for evidential reasoning; this logic is the first developed system of probabilistic dynamic predicate logic. This analysis is shown to account for the data we provide that is problematic for other theories. (shrink)

The paper concerns the expression of non-strict comparison, focusing in particular on constructions of the form [no(t) . . .-er than] in modified numerals. The main empirical finding is the observation that negated comparatives contrast with regular comparatives in that the former but not the latter can give rise to (scalar) implicatures. It is shown that such a contrast falls out of theories of exhaustive interpretation that claim alternatives to form dense scales. An important result is that the paper sharpens (...) the desiderata for theories of exhaustification. (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)

Abstract This paper discusses the semantic theory presented in Robert Brandom’s Making It Explicit . I argue that it is best understood as a special version of dynamic semantics, so that these semantics by themselves offer an interesting theoretical alternative to more standard truth-conditional theories. This reorientation also has implications for more foundational issues. I argue that it gives us the resources for a renewed argument for the normativity of meaning. The paper ends by critically assessing the view in both (...) its development and motivations. Content Type Journal Article Pages 1-22 DOI 10.1007/s11098-011-9768-4 Authors Bernhard Nickel, Harvard University, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

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)

This paper provides a formal analysis of the grammatical encoding of temporal information in Hausa (Chadic, Afro-Asiatic), thereby contributing to the recent debate on temporality in languages without overt tense morphology. By testing the hypothesis of covert tense against recently obtained empirical data, the study yields the result that Hausa is tenseless and that temporal reference is pragmatically inferred from aspectual, modal and contextual information. The second part of the paper addresses the coding of future in particular. It is shown (...) that future time reference in Hausa is realized as a combination of a modal operator and a Prospective aspect marker, involving the modal meaning components of intention and prediction as well as event time shifting. The discussion relates directly to recent approaches to other seemingly tenseless languages such as St’át’imcets (Matthewson, Linguist Philos 29:673–713, 2006) or Paraguayan Guaraní (Tonhauser, Linguist Philos 34:257–303, 2011b) and provides further evidence for the suggested analyses of the future markers in these languages. (shrink)

This paper provides a formal semantic analysis of past interpretation in Medumba, a graded tense language. Based on original fieldwork, the study explores the empirical behavior and meaning contribution of graded past morphemes in Medumba and relates these to the account of the phenomenon proposed in Cable for Gĩkũyũ. Investigation reveals that the behavior of Medumba gradedness markers differs from that of their Gĩkũyũ counterparts in meaningful ways and, more broadly, discourages an analysis as presuppositional eventuality or reference time modifiers. (...) Instead, the Medumba markers are most appropriately analyzed as quantificational tenses. It also turns out that Medumba, though belonging to the typological class of graded tense languages, shows intriguing similarities to genuinely tenseless languages in allowing for temporally unmarked sentences and exploiting aspectual and pragmatic cues for reference time resolution. The more general cross-linguistic implication of the study is that the set of languages often subsumed under the label “graded tense” does not in fact form a natural class and that more case-by-case research is needed to refine this category. (shrink)

Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full NP whose semantics (...) is assumed to be known (e.g. a definite description). In this paper, I argue that there are serious problems with any version of the E-type account as well as the (original form of the) dynamic account. I will explore a new account based on structured propositions, which can be considered a conservative extension of a traditional proposition-based semantics, but which at the same time incorporates some crucial insights of the dynamic account. (shrink)

In this paper, I will argue for a new account of presuppositions which is based on double indexing as well as minimal representational contexts providing antecedent material for anaphoric presuppositions, rather than notions of context defined in terms of the interlocutors’ pragmatic presuppositions or the information accumulated from the preceding discourse. This account applies in particular to new phenomena concerning the presupposition of quantifier domains. But it is also intended to be an account of presuppositions in general. The account differs (...) from the Satisfaction Theory and the Binding Theory of presuppositions in that it can be viewed as a conservative extension of traditional static semantics and in that it does not involve the notion of pragmatic presupposition. (shrink)

Viebahn (2018) has recently argued that several tests for ambiguity, such as the conjunction-reduction test, are not reliable as tests for polysemy, but only as tests for homonymy. I look at the more fine-grained distinction between regular and irregular polysemy and I argue for a more nuanced conclusion: the tests under discussion provide systematic evidence for homonymy and irregular polysemy but need to be used with more care to test for regular polysemy. I put this conclusion at work in the (...) context of the debate over the alleged referential-attributive ambiguity of the definite article. In reply to various criticisms, defenders of the ambiguity view argue that this is a case of polysemy. But opponents object that the dual use of the definite article fails tests for ambiguity. The debate seems to have come to stalemate, unless the relevance of the tests is determined for cases of alleged polysemy. I conclude that the balance of considerations incline towards rejecting the ambiguity thesis. (shrink)

A sentence in the Resultative perfect licenses two inferences: (a) the occurrence of an event (b) the state caused by this event obtains at evaluation time. In this paper I show that this use of the perfect is subject to a large number of distributional restrictions that all serve to highlight the result inference at the expense of the event inference. Nevertheless, only the event inference determines the truth conditions of this use of the perfect, the result inference being a (...) unique type of conventional implicature. I argue furthermore that, since the result state is singular, the event that causes it must also be singular, whereas the Experiential perfect is purely quantificational. But in out-of-the-blue contexts the past tense is also normally interpreted as singular. This leads to a certain amount of competition between the Resultative perfect and the past tense, and it is this competition, I suggest, that maintains the conventional (non-truth conditional) result state inference. (shrink)

The paper focuses on the semantics of distributivity, grammatical number, and cardinality predicates. I argue that constructions involving so-called ‘dependent plurals’, i.e. plurals lacking cardinality predicates occurring in the scope of certain quantificational items such as all and most, pose a challenge to familiar semantic frameworks that distinguish between two sources of multiplicity: mereological plurality and distributive quantification. I argue that dependent plural readings should be analysed as distinct both from cumulative readings and distributive readings, in the classical sense. I (...) demonstrate how this can be accomplished in a semantic framework where expressions are evaluated relative to sets of assignments, or plural info states Proceedings of the 7th Amsterdam Colloquium, ILLC, University of Amsterdam, Amsterdam, 1990, in Dekker and Stokhof Proceedings of the 9th Amsterdam Colloquium, ILLC, University of Amsterdam, Amsterdam, 1994, Some aspects of the Internal Structure of Discourse. The Dynamics of Nominal Anaphora. PhD thesis, University of Amsterdam, 1996). The specific formal implementation is based on a modified version of Brasoveanu’s :129–209. https://doi.org/10.1007/s10988-008-9035-0, 2008) Plural Compositional DRT. In this framework we are able to distinguish between two types of distributivity: weak distributivity across the assignments in a single plural info state and strong distributivity across multiple info states. I argue that both of these types of distributivity play a role in the semantics of natural language, accounting for the contrasting properties of ‘singular quantifiers’, such as each and every, and ‘plural quantifiers’, such as all and most. The contrasting properties of bare plurals and plurals involving cardinality modifiers are analysed in terms of the distinction between state-level and assignment-level plurality. (shrink)

This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.

This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic.

We offer a formal account of the English past tenses. We see the perfect as having reference time at speech time and the preterite as having reference time at event time. We formalize four constraints on reference time, which we bundle together under the term ‘perspective’. Once these constraints are satisfied at the different reference times of the perfect and preterite, the contrasting functions of these tenses are explained. Thus we can account formally for the ‘definiteness effect’ and the ‘lifetime (...) effect’ of the perfect, for the fact that the perfect seems to ‘explain’ something about the present, and that the perfect cannot presuppose a past time point. We explain why perfect and preterite can sometimes be interchangeable, and we offer a solution to the ’present perfect puzzle’. We explain the unacceptability of notorious examples of the perfect such as * Gutenberg has discovered the art of printing . We give greater definition to the familiar notions of ‘current relevance’ and ‘extended now’. (shrink)

We show in this paper that some expressions indicating source of evidence are part of propositional content and are best analyzed as special kind of epistemic modal. Our evidence comes from the Japanese evidential system. We consider six evidentials in Japanese, showing that they can be embedded in conditionals and under modals and that their properties with respect to modal subordination are similar to those of ordinary modals. We show that these facts are difficult for existing theories of evidentials, which (...) assign evidentials necessarily widest scope, to explain. We then provide an analysis using a logical system designed to account for evidential reasoning; this logic is the first developed system of probabilistic dynamic predicate logic. This analysis is shown to account for the data we provide that is problematic for other theories. (shrink)

We present a generic denotational semantic framework for protocols for dialogs between rational and autonomous agents over action which allows for retraction and revocation of proposals for action. The semantic framework views participants in a deliberation dialog as jointly and incrementally manipulating the contents of shared spaces of action-intention tokens. The framework extends prior work by decoupling the identity of an agent who first articulates a proposal for action from the identity of any agent then empowered to retract or revoke (...) the proposal, thereby permitting proposals, entreaties, commands, promises, etc., to be distinguished semantically. (shrink)

When we talk about creation, we use the progressive and verbs of creation as in ‘Mary is building a house’. The modal account of the progressive says that a sentence such as ‘Mary is building a house’ is true just in case Mary eventually builds a house in all worlds in which her house-building proceeds normally. Recently, the modal account has come under fire from those who claim that it over-generates modal entailments and those who think the progressive should be (...) treated as a predicate of events. By properly situating the modal account within a contemporary semantic framework for natural language modals, I argue that it gives the best semantic treatment of the progressive. (shrink)

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse (...) semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

Rhetorical Structure Theory has enjoyed continuous attention since its origins in the 1980s. It has been applied, compared to other approaches, and also criticized in a number of areas in discourse analysis, theoretical linguistics, psycholinguistics, and computational linguistics. In this article, we review some of the discussions about the theory itself, especially addressing issues of the reliability of analyses and psychological validity, together with a discussion of the nature of text relations. We also propose areas for further research. A follow-up (...) article will discuss applications of the theory in various fields. (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)

Karttunen observes that a presupposition triggered inside an attitude ascription, can be filtered out by a seemingly inaccessible antecedent under the scope of a preceding belief ascription. This poses a major challenge for presupposition theory and the semantics of attitude ascriptions. I solve the problem by enriching the semantics of attitude ascriptions with some independently argued assumptions on the structure and interpretation of mental states. In particular, I propose a DRT-based representation of mental states with a global belief-layer and a (...) variety of labeled attitude compartments embedded within it. Hence, desires and other non-doxastic attitudes are asymmetrically dependent on beliefs. I integrate these mental state representations into a general semantic account of attitude ascriptions which relies on the parasitic nature of non-doxastic attitudes to solve Karttunen’s puzzle. (shrink)

This paper deals with the semantics of de dicto , de re and de se belief reports. First, I flesh out in some detail the established, classical theories that assume syntactic distinctions between all three types of reports. I then propose a new, unified analysis, based on two ideas discarded by the classical theory. These are: (i) modeling the de re/de dicto distinction as a difference in scope, and (ii) analyzing de se as merely a special case of relational de (...) re attitudes. The resurrection of these ideas takes place in a dynamic setting. My formalization of the first idea involves a modification of the presupposition-as-anaphora resolution algorithm for DRT. The second involves treating acquaintance relations as second-order presuppositions, to be bound in the context by means of higher-order unification, or accommodated if necessary. The resulting framework requires no syntactic distinctions between different modes of attitude, with the exception of a specific subclass of de se reports characterized by special ‘ de se pronouns’ (i.e. PRO and logophors). These special pronouns are handled in syntax; everything alse is passed on to the pragmatic resolution module as it appears on the surface. The more sophisticated contextual resolution process nonetheless ensures adequate output truth conditions for a variety of classical and novel puzzles. In particular, I compare the new pragmasemantic system to the classical, syntactic analysis with respect to iterated and quantified reports, and monstrously shifted indexicals. (shrink)

Causation is generally conceived of as a relation that holds between events. Apart from a few cursory remarks, the case of stative causation has been widely neglected. The paper aims at contributing to a more balanced perspective by arguing for a stative variant of causation, on a par with eventive causation. The stative variant is analyzed in terms of Moltmann’s ontological notion of tropes. German causal von-modifiers are taken as a linguistic window into our understanding of causation. The study of (...) von is particularly suited to this endeavor, because von-modifiers are confined to expressing the core notion of “direct causation” :1–48, 2003). The paper develops a compositional semantics of causal von-modifiers that derives their eventive and stative readings from a single lexical entry and allows for coercive adaptions to account for the observed range of interpretive adjustments. Characteristic features of the interpretation such as the inferential behavior of causal von-modifiers and the holistic effect of the stative reading are traced back to independently motivated conceptual assumptions concerning the spatiotemporal grounding of direct causation. The formal analysis is couched in terms of Asher’s type composition logic. (shrink)

I present a concrete DRT-based syntax and semantics for the representation of mental states in the style of Kamp. This system is closely related to Recanati’s Mental Files framework, but adds a crucial distinction between anchors, the analogues of mental files, and attitudes like belief, desire and imagination. Attitudes are represented as separate compartments that can be referentially dependent on anchors. I show how the added distinctions help defend the useful notion of an acquaintance-based mental file against Ninan’s :368–377 2015) (...) recent challenge involving counterfactual de re attitudes. (shrink)

Simple locative sentences show a variety of pseudo-quantificational interpretations. Some locatives give the impression of universal quantification over parts of objects, others involve existential quantification, and yet others cannot be characterized by either of these quantificational terms. This behavior is explained by virtually all semantic theories of locatives. What has not been previously observed is that similar quantificational variability is also exhibited by locative sentences containing indefinites with the ‘a’ article. This phenomenon is especially problematic for traditional existential treatments of (...) indefinites. We propose a solution where indefinites denote properties and are assigned locations similarly to other spatial descriptions. This Property-Eigenspace Hypothesis accounts for the correlation between the interpretations of locative indefinites and the pseudo-quantificational effects with simple entity-denoting NPs. Thereby, the proposal opens up a new empirical domain for property-based theories of indefinites, with implications for the analysis of collective descriptions, generics, negative polarity items and part–whole structure. (shrink)

I argue that ‘actually’ does not have a reading according to which it is synonymous with the actuality operator of modal logic, and propose an alternative account of ‘actually’. The cases that have been thought to show that ‘actually’ is synonymous with the actuality operator are modal and counterfactual sentences in which an embedded clause's evaluation is held fixed at the world of the context. In these cases, though, this embedded clause's evaluation is not due to the presence of ‘actually’. (...) As an alternative, I propose that ‘actually’ is a presupposition trigger along the lines of ‘even’ or ‘too’, and it signals that presupposed information states in the discourse are evolving in a non-standard way. (shrink)

In accordance with the compositionality criterion and hierarchy principle of Rhetorical Structure Theory, this study reframes each tree in the RST Discourse Treebank into three new dependency trees with ultimate nodes being clauses, sentences, and paragraphs, respectively, which also draw on an analogy between syntactic and discourse trees. Detailed percentages of various RST relations at the three granularity levels are examined, illuminating the discourse processes of organizing units of one granularity level into those of the next upper level and suggesting (...) certain homogeneity and interaction across levels in the Treebank, particularly at the two upper levels. The study demonstrates the applicability of RST analysis between same-level terminal units. With unique analytical advantages, the newly constructed discourse dependency trees provide new research prospects. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...

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)