We offer an analysis of future morphemes as epistemic operators. The main empirical motivation comes from the fact that future morphemes have systematic purely epistemic readings—not only in Greek and Italian, but also in Dutch, German, and English will. The existence of epistemic readings suggests that the future expressions quantify over epistemic, not metaphysical alternatives. We provide a unified analysis for epistemic and predictive readings as epistemic necessity, and the shift between the two is determined compositionally by the lower (...) class='Hi'>tense. Our account thus acknowledges a systematic interaction between modality and tense—but the future itself is a pure modal, not a mixed temporal/modal operator. We show that the modal base of the future is nonveridical, i.e. it includes p and ¬p worlds, parallel to epistemic modals such as must, and present arguments that future morphemes are a category that stands in between epistemic modals and predicates of personal taste. We identify, finally, a subclass of epistemic futures which are ratificational, and argue that will is a member of this class. (shrink)

This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field. Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they (...) contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature. (shrink)

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a (...) circumstantial modal base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

In Section 1, we questioned the evidence for iteration of tenses, even with abstraction. To permit abstraction would in any case risk neutralizing our distinction between tensed and untensed sentences. Sequence of tense phenomena, far from supporting iteration, were incompatible with it. Instead, we argued, tense always retains its full deictic character; tenses never have scope over each other. The future modal WILL is exceptional (Section 2), but abstraction is not required to deal with this.An important suggestion, first (...) made in Section 1 and developed further in Section 3, would restrict quantification induced by the interpretation of Past to a domain determined by pragmatic factors. When Past serves as a reference time, e.g. when it forms part of would, as inSam believed that he would be in BostonJames bought a stamp that would be priceless then a previous occurrence of Past serves to define the domain relevant to the quantificational element of Past. Without semantic binding or reference, the two cases of Past in such sentences will thus be satisfied by the same interval in the past.The extension of this idea in Section 3, permits an account of the supposed incompleteness of the past tense without invoking a hidden THEN in e.g. I turned the lights off. In this case, restriction of the relevant domain does not proceed via an earlier occurrence of Past but depends solely on discourse factors.In Section 4, the analysis of have given in Part I is modified to introduce an element of ‘pastness’. The relevant sub-interval must be non-final-and perhaps need not even be a sub-interval of the evaluation interval itself. Empirically necessary, this change makes the incompatibility of Pres,have and a definite adverb like at 6 o'clock in a single sentence even harder to explain semantically. However, the vague restrictions on domain imposed by the present tense and relevant to the sub-interval required by an embedded have below it seem clearly pragmatically incompatible with the explicit restriction of that same interval to a very specific interval in the past — a restriction which, we argue, is imposed by a definite time adverb.Thus, Part II represents a consistent, though entirely informal plea for the embedding of the semantics of Part I in a framework in which pragmatic considerations can interact freely with the semantics, to restrict the domains within which quantification is permitted. It is in effect a plea for the introduction of partial models along the lines suggested by Barwise and Perry (1981). The advantages of the basic distinctions between tense, aspect and adverbs introduced in Part I would, we have suggested in the second part, be yet more obvious in such a framework. Formalization in a system of partial models must await further work. (shrink)

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue (...) that a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

Humans are complex systems, ‘macro-entities’, whose existence, behaviour and consciousness stem out of the configurations of physical entities on the micro-level of the physical world. But an explanation of what humans do and think cannot be found through ‘tracking us back’, so to speak, to micro-particles. So, in explaining human behaviour, including linguistic behaviour on which this paper focuses, emergentism opens up a powerful opportunity to explain what it is exactly that emerged on that level, bearing in mind the end (...) product in the form of the intra- and inter-cultural diversity. Currently there is a gap in emergentism research. On one hand, there are discussions in philosophy of the emergent human reality; on the other, there are discussions of social, cultural, or individual variation of these emergent aspects of humanity in the fields of anthropology, sociology, linguistics or psychology. What I do in this paper is look for a way to ‘trace’ some such diversified emergents from what is universal about their ‘coming to being’, all the way through to their diversification. My chosen emergent is human time, my domain of inquiry is natural-language discourse, and the drive behind this project is to understand the link between ‘real’ time of spacetime on the micro-level from which we emerged and the human time devised by us, paying close attention to the overwhelming diversity in which temporal reference is expressed in human languages. The main question is, where does this diversity fit in? Does understanding of this diversity, as well as of what lurks under the surface of this diversity, aid the emergentism story? My contribution to this volume on ‘the nature of structure and the structure of nature’ thus takes the following take on the title. The structure of human communication is at the same time uniform, universal, and relative to culture, in that it is emergent as a human characteristic, and as such compatible with the micro-level correlates in some essential ways, but also free to fly in different directions that are specific to societies and cultures. I explore here the grey area between the micro-level and the linguistic reflections of time—the middle ground that is emergent itself but that tends to be by-passed by those who approach the question of human flowing time from either end: metaphysics and the philosophy of time on the one hand, and contrastive linguistics, anthropological linguistics and language documentation on the other. I illustrate the debate with examples from tensed and tenseless languages from different language families, entertaining the possibility of a conceptual universal pertaining to time as degrees of epistemic modality. Needless to say, putting the question in this way also sets out my (not unassailable) methodology. (shrink)

Modality is a category of linguistic meaning having to do with the expression of possibility and necessity. A modalized sentence locates an underlying or prejacent proposition in the space of possibilities. Sandy might be home says that there is a possibility that Sandy is home. Sandy must be home says that in all possibilities, Sandy is home. The counterpart of modality in the temporal domain should be called “temporality”, but it is more common to talk of tense (...) and aspect, the prototypical verbal expressions of temporality. Together, modality and temporality are at the heart of the property of “displacement” that enables natural language to talk about affairs beyond the actual here and now. (shrink)

Previous research on linguistic relativity and economic decisions hypothesized that speakers of languages with obligatory tense marking of future time reference (FTR) should value future rewards less than speakers of languages which permit present tense FTR. This was hypothesized on the basis of obligatory linguistic marking (e.g., will) causing speakers to construe future events as more temporally distal and thereby to exhibit increased “temporal discounting”: the subjective devaluation of outcomes as the delay until they will occur increases. However, (...) several aspects of this hypothesis are incomplete. First, it overlooks the role of “modal” FTR structures which encode notions about the likelihood of future outcomes (e.g., might). This may influence “probability discounting”: the subjective devaluation of outcomes as the probability of their occurrence decreases. Second, the extent to which linguistic structures are subjectively related to temporal or probability discounting differences is currently unknown. To address these, we elicited FTR language and subjective ratings of temporal distance and probability from speakers of English, which exhibits strongly grammaticized FTR, and Dutch, which does not. Several findings went against the predictions of the previous hypothesis: Framing an FTR statement in the present (“Ellie arrives later on”) versus the future tense (“…will arrive…”) did not affect ratings of temporal distance; English speakers rated future statements as relatively more temporally proximal than Dutch speakers; and English and Dutch speakers rated future tenses as encoding high certainty, which suggests that obligatory future tense marking might result in less discounting. Additionally, compared with Dutch speakers, English speakers used more low-certainty terms in general (e.g., may) and as a function of various experimental factors. We conclude that the prior cross-linguistic observations of the link between FTR and psychological discounting may be caused by the connection between low-certainty modal structures and probability discounting, rather than future tense and temporality. (shrink)

"This book addresses recent developments in the study of tense from a cross-paradigm and cross-linguistic point of view. Leading international scholars explore challenging ideas about tense at the interfaces between semantics and syntax as well as syntax and morphology. The book is divided into three main subsections: 1) Tense in tenseless languages; 2) Tense, mood, and modality, and 3) Descriptive approaches to some tense phenonema. Although time is a universal dimension of the human experience, (...) some languages encode reference to time without any grammatical tense morphology of the verb. Some of these exceptional "tenseless" languages are investigated in this volume: Kalaallisut, Paraguayan Guaraní and Movima. Modal verbs are polyfunctional in the sense that they express both tense and modality. In this volume, an untypical modal is analyzed, a modal analysis of imperatives is argued for, and sentential mood, which is closely related to modality, is analyzed. It is always interesting to look at the expression of tense in understudied languages, which is done here for Scottish Gaelic, Austronesian Rukai and German dialects. The volume can be used for graduate and undergraduate level teaching."--Publisher's website. (shrink)

This article presents a corpus linguistic analysis of the development in future-oriented political journalism in four Danish newspapers in the period 1997–2013. Keyword analysis and concordance analysis are applied within a framework of grammatical-semantic theory of tense and modal verbs and semantic-pragmatic theory of time meaning, modality and speech acts. The results suggest, unexpectedly, that the newspapers – and news reports in particular – seem to have become less future-oriented in the period. At the same time, however, the (...) articles – and particularly news commentary, in itself increasing – might have become slightly more speculative. Thus, the journalists themselves have become the main source of ‘guessing’, that is, predicting and speculating, with the keywords vil and ville, including unreal and counterfactual speculations in the past tenses. (shrink)

The paper explores the role of the media in influencing public opinion from an inferential-pragmatic perspective. It presents preliminary results of the study focused on representation of Russia in Western newspapers. Drawing on Critical Discourse Analysis (Fairclough 1995,2001; van Dijk 2009) and media linguistics (Fowler 1991, Richardson 2007, among others) the study centres around the linguistic means of construing ambiguity/uncertainty, viewed as a strategy of persuasion. We mostly focus on the semantics of certain groups of words and other textual (...) features such as indefinite pronouns, epistemic modality, passive voice, present perfect tense, interrogative headlines and some other tools used in media texts to construe ambiguity which, in its turn, arguably aims at influencing public opinion. We also look at presupposition, information structure, evaluation and transitivity. Though we have limited our study to the English language sources (The Guardian, The Telegraph, The Independent, The Washington Post, The Wall Street Journal, the Chicago Tribune, news websites of the BBC, Reuters, Express, Politico and Fox News, among others), we are not suggesting that linguistic ambiguity is a feature of Western, rather than Russian, or other languages' media. (shrink)

In this paper we examine Prior's reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic $K_t 4$ plus a new axiom $:p \wedge Gp \supset PGp'$. This formula was used by Prior in his original analysis of Master Argument. is usually added as an extra axiom to (...) an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)

This paper explains how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” The account of times defended here is similar to what is known as “linguistic ersatzism” about possible worlds, but there are noteworthy differences between these two cases. For example, while linguistic ersatzism would support actualism, the view (...) of times defended here does not support presentism. (shrink)

The paper addresses the question how descriptive language is used to express legal norms. Sentences we find in legislative acts, i.e. statutes, constitutions and regulations, express legal norms. Linguistically speaking, there are various grammatical and lexical ways of expressing norms, such as imperative mood, modal verbs, deontic verbs, etc. However, norms may also be expressed by descriptive sentences, namely sentences in present or future tense and indicative (declarative) mood (i.e. _The minister determines the tax rate_). In many civil law (...) countries (including Poland), this is a very common, if not the default, form of expressing norms in legislative texts. Often presented as a legal peculiarity, this phenomenon has yet to draw much academic attention. The normative meaning of descriptive sentences is usually attributed to purely pragmatic factors stemming from our shared assumptions about the legal system. However, a closer look reveals that similar grammatical constructions are ubiquitous in everyday communication and in different languages. We tend to utter various sorts of directives using descriptive sentences (_Now we add a spoon of salt to the sauce_; _credit cards are not accepted_). This suggests the possibility for a linguistic (as opposed to exclusively legal) explanation. This paper aims to offer such an explanation. Rather than resorting to formal semantics, so prevalent in legal theory, it borrows from Cognitive Linguistics to reveal the cognitive underpinnings of our surprising tendency to express normativity in descriptive terms. This involves four different, yet complementary, theories. Firstly, the theory of conceptual metaphor by George Lakoff and Mark Johnson which explains the phenomenon in question in terms of the metaphor “ ought is is ”; with “ ought ” as the more abstract target domain and “ is ” as the more concrete, cognitively simpler source domain. Secondly, the theory of speech act metonymy by Panther and Thornburg which presents descriptive legal sentences as referring to various components of the underlying cognitive scenario of obligation. Thirdly, Ronald Langacker’s notion of the virtuality of language as the explanation for non-present, including future, perpetual and directive, uses of the present tense. Fourtly, the notion of normative generics which points to the nominal, as opposed to verbal, structure of descriptive legal sentences as the source of their normativity. (shrink)

1 This paper has been presented at the workshop “Time and Modality: A Round Table on Tense, Mood, and Modality”, Paris, December 2005, at a CUNY linguistics colloquium in May 2006, and at the 6th Workshop on Formal Linguistics in Florian´opolis, Brazil, August 2006. We thank the audiences at those presentations, in particular Orin Percus, Tim Stowell, Marcel den Dikken, Anna Szabolcsi, Chris Warnasch, Roberta Pires de Oliveira, Renato Miguel Basso, and Ana M¨uller. We thank (...) Noam Chomsky, Cleo Condoravdi, and Irene Heim for very helpful conversations about this material. We thank Bridget Copley for sharing with us her recent manuscript “What Should Should.. (shrink)

This volume is a comprehensive, up-to-date, and readable introduction to linguistic meaning. While partial to conceptual and typological approaches, the book also presents results from formal approaches. Throughout, the focus is on grammatical meaning -- the way languages delineate universal semantic space and encode it in grammatical form. Subjects covered by the author include: the domain of linguistic semantics and the basic tools, assumptions, and issues of semantic analysis; semantic properties of entities, events, and thematic roles; language and space; (...) class='Hi'>tense, aspect, and the internal structure and temporal ordering of events; modality, negation, and the epistemology of the speaker; and modification and attribution. In contrast to most current treatments of semantics, this book is accessible to the beginning student of semantics and linguistics and also useful to the advanced practitioner. A textbook and reference work in a single volume, it can be used in a number of disciplines: psychology, computer science, and anthropology as well as linguistics. (shrink)

This volume constitutes the Proceedings of a workshop on formal seman tics of natural languages which was held in Tiibingen from the 1st to the 3rd of December 1977. Its main body consists of revised versions of most of the papers presented on that occasion. Three supplementary papers are included because they seem to be of particular interest in their respective fields. The area covered by the work of scholars engaged in philosophical logic and the formal analysis of natural languages (...) testifies to the live liness in those disciplines. It would have been impossible to aim at a complete documentation of relevant research within the limits imposed by a short conference whereas concentration on a single topic would have conveyed the false impression of uniformity foreign to a young and active field. It is hoped that the essays collected in this volume strike a reasonable balance between the two extremes. The topics discussed here certainly belong to the most important ones enjoying the attention of linguists and philosophers alike: the analysis of tense in formal and natural languages, the quickly expanding domain of generalized quantifiers, the problem of vagueness, the connected areas of pronominal reference and presupposition and, last but not least, modal logic as a sort of all-embracing theoretical framework. The workshop which led to this collection formed part of the activities celebrating the 500th anniversary of Tiibingen University. (shrink)

This set brings together the most important contributions to semantic theory ranging from Gottlob Frege's 1892 essay "On Sense and Reference" to recent cutting-edge scholarship from leading journals in the field. The collection is structured around three major themes: * Fundamental notions, the relations between semantics and grammar and the relations between meaning and cognition * The semantics of basic grammatical constructions and structures, such as the semantics of determiners, nouns, adjectives and related topics including quantifier scope and the definiteness/indefiniteness (...) distinction. * Topics related to sentential and discourse semantics: events and thematic roles, tense, aspect and modality, negation, ellipsis, questions, pronouns and the semantics/pragmatics interface. (shrink)

The finite model property (FMP) in weakly transitive tense logics is explored. Let \(\mathbb {S}=[\textsf{wK}_t\textsf{4}, \textsf{K}_t\textsf{4}]\) be the interval of tense logics between \(\textsf{wK}_t\textsf{4}\) and \(\textsf{K}_t\textsf{4}\). We introduce the modal formula \(\textrm{t}_0^n\) for each \(n\ge 1\). Within the class of all weakly transitive frames, \(\textrm{t}_0^n\) defines the class of all frames in which every cluster has at most _n_ irreflexive points. For each \(n\ge 1\), we define the interval \(\mathbb {S}_n=[\textsf{wK}_t\textsf{4T}_0^{n+1}, \textsf{wK}_t\textsf{4T}_0^{n}]\) which is a subset of \(\mathbb {S}\). (...) There are \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) lacking the FMP, and there are \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) having the FMP. Then we explore the FMP in finitely alternative tense logics \(L_{n,m}=L\oplus \{\textrm{Alt}_n^F, \textrm{Alt}_m^P\}\) with \(n,m\ge 0\) and \(L\in \mathbb {S}\). For all \(k\ge 0\) and \(n,m\ge 1\), we define intervals \(\mathbb {F}^k_{n,m}\), \(\mathbb {P}^k_{n,m}\) and \(\mathbb {S}^k_{n,m}\) of tense logics. The number of logics lacking the FMP in them is either 0 or \(2^{\aleph _0}\), and the number of logics having the FMP in them is either finite or \(2^{\aleph _0}\). (shrink)

This paper is about the relationship between two questions: the question of what the objects of assertion are and the question of how best to theorise about ‘shifty’ phenomena like modality and tense. I argue that the relationship between these two questions is less direct than is often supposed. I then explore the consequences of this for a number of debates in the philosophy of language.

Fictional truth, or truth in fiction/pretense, has been the object of extended scrutiny among philosophers and logicians in recent decades. Comparatively little attention, however, has been paid to its inferential relationships with time and with certain deliberate and contingent human activities, namely, the creation of fictional works. The aim of the paper is to contribute to filling the gap. Toward this goal, a formal framework is outlined that is consistent with a variety of conceptions of fictional truth and based upon (...) a specific formal treatment of time and agency, that of so-called stit logics. Moreover, a complete axiomatic theory of fiction-making TFM is defined, where fiction-making is understood as the exercise of agency and choice in time over what is fictionally true. The language \ of TFM is an extension of the language of propositional logic, with the addition of temporal and modal operators. A distinctive feature of \ with respect to other modal languages is a variety of operators having to do with fictional truth, including a ‘fictionality’ operator \ . Some applications of TFM are outlined, and some interesting linguistic and inferential phenomena, which are not so easily dealt with in other frameworks, are accounted for. (shrink)

The Aramaic of the Bible and Qumran, unlike Imperial Aramaic, possesses a unique prefix conjugation that functions as a narrative tense. Aramaists have appealed to various notions of tense, aspect, text-linguistics, and even Hebrew and Akkadian influence to solve the conundrum of the so-called preterite prefix conjugation. A novel proposal is offered here, based on the semantic category of modality. By beginning with future functions of the prefix conjugation and working backward through the present temporal sphere (...) to occurrences in the past, it is argued that modality accounts for the full range of the prefix conjugation’s syntactic functions, even those in independent narrative clauses. Thus, a unified theory of the form’s semantics emerges. (shrink)

Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve it. Expressivists should accept (...) this solution, I argue, because it is demonstrably the only way of avoiding the problem, and because it generalizes. Once we see how to solve the negation problem, I show, it becomes easy to state a constructive, compositional expressivist semantics for a purely normative language with the expressive power of propositional logic, in which we can for the first time give explanatory, formally adequate expressivist accounts of logical inconsistency, logical entailment, and logical validity. As a corollary, I give what I take to be the first real expressivist explanation of why Geach’s original moral modus ponens argument is genuinely logically valid. This proves that the problem with expressivism cannot be that it can’t account for the logical properties of complex normative sentences. But it does not show that the same solution can work for a language with both normative and descriptive predicates, let alone that expressivists are able to deal with more complex linguistic constructions like tense, modals, or even quantifiers. In the final section, I show what kind of constraints the solution offered here would place expressivists under, in answering these further questions. (shrink)

Statements about the future are central in everyday conversation and reasoning. How should we understand their meaning? The received view among philosophers treats will as a tense: in ‘Cynthia will pass her exam’, will shifts the reference time forward. Linguists, however, have produced substantial evidence for the view that will is a modal, on a par with must and would. The different accounts are designed to satisfy different theoretical constraints, apparently pulling in opposite directions. We show that these constraints (...) are jointly satisfied by a novel modal account of will. On this account, will is a modal but doesn't work as a quantifier over worlds. Rather, the meaning of will involves a selection function similar to the one used by Stalnaker in his semantics for conditionals. The resulting theory yields a plausible semantics and logic for will and vindicates our intuitive views about the attitudes that rational agents should have towards future-directed contents. (shrink)

Richard Martin's thoroughly philosophical as well as thoroughly tech nical investigations deserve continued and appreciative study. His sympathy and good cheer do not obscure his rigorous standard, nor do his contemporary sophistication and intellectual independence obscure his critical congeniality toward classical and medieval philosophers. So he deals with old and new; his papers, in his neat self-descriptions, consist of reminders, criticisms, and constructions. They might also be seen as studies in the understanding of truth, ramifying as widely in mathematics, logic, (...) and epistemology as well as metaphysics, as such understanding has required. For us it is a pleasant occasion to welcome Richard Martin's new Boston Studies, and to note his continuously con collection to the structive and critical interventions at the Boston Colloquium for the of Science. Philosophy Boston University Center for the R. S. COHEN Philosophy and History of Science M. W. WARTOFSKY July 1979 vii TABLE OF CONTENTS EDITORIAL PREFACE vii PREFACE xi ACKNOWLEDGEMENTS xv I. Truth and Its Illicit Surrogates II. Some Reminders concerning Truth, Satisfaction, and Reference 17 III. On Disquotation and Intensionality 30 IV. On Truth, Belief, and Modes of Description 42 V. The Pragmatics of Self-Reference 55 VI. On Suppositio and Denotation 72 VII. Of Time and the Null Individual 82 VIII. Existence and Logical Form 95 IX. Tense, Aspect, and Modality 110 X. Of 'Of' 130 XI. Events and Actions: Brand and Kim 144 XII. Why I Am Not a Montague Grammarian 160 XIII. (shrink)

The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds (...) of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification. (shrink)

The paper presents an infinite hierarchy of sound and complete axiomatic systems for Two-Dimensional Modal Tense Logic with Historical Necessity, Agents and Acts. A main novelty of these logics is their capacity to represent formally (i) basic action-sentences asserting that such and such an act is performed/omitted by an agent, as well as (ii) causative action-sentences asserting that by performing/omitting a certain act, an agent causes that such and such a state-of-affairs is realized (e.g. comes about/ceases/remains/remains absent). We illustrate (...) how the formal machinery of our systems can be used to reconstruct a number of interesting ideas in the Logic of Agency and Action that have been proposed by authors like von Wright, von Kutschera, Belnap and Segerberg. (shrink)

Realism is the claim that truth may transcend all possible verification. The familiar Dummettian argument against that modal claim is that there is no way to manifest an understanding of it in actual linguistic practice. The Dummettian anti-realist's provisional conclusion is that the modal claim must be false. ;The attack on truth-conditional semantics and on the principle of bivalence are familiar ingredients of the anti-realist negative programme. I agree that, whether mathematical formulae or ordinary sentences in the past tense (...) are concerned, we cannot manifest a knowledge of the truth-conditions of particular instances of 'It is possible that ' by deciding their truth. There is nevertheless a way to argue in favour of specific instances of the modal claim when s is a sentence in the past tense. The proposed argument does not appeal to the recognitional abilities which, in the standard anti-realist perspective, constitute grasp of meaning. It does not commit one to the endorsement of the principle of bivalence, although the principle implies the modal claim. ;Our understanding of the workings of nature, whether grounded on scientific theories or on common sense, implies the modal claim. Since we are only contingently connected to the evidence pro or con past events and since the existence of evidence is itself a contingent matter, sentences which say that those events occurred could be true whether or not we can, at any point in time, detect that they are true. The possibility that truths about past facts transcend all possible verification is a purely natural possibility, grounded on what we know of the workings of nature. ;This implies that decidable statements in the past tense are not immune to the realism vs. anti-realism debate. Although they do not transcend verifiability, they could transcend whatever our recognitional abilities, no matter how extended, would allow us to establish at any point in time, either in the past, right now, or in an indefinitely extensible future. (shrink)

1. Formal semantics in linguistics -- 2. Generalized quantifier theory -- 3. The interface between syntax and semantics -- 4. Anaphora, discourse, and modality -- 5. Focus, presupposition, and negation -- 6. Tense -- 7. Questions -- 8. Plurals -- 9. Computational semantics -- 10. Lexical semantics -- 11. Semantics and related domains.

ABSTRACTThis book assumes that basic ways of thinking about history are hard‐wired in the brain. Since different styles of discourse with which we talk about the past are hardwired, Blum infers that a protohistorical consciousness is necessary for the existence of language. Historical logics reflect some preconceived part–whole relation. Blum discerns four kinds of part‐whole structure, which he terms continuity, quantum, continuum, and dialectic. Blum believes that these part–whole relations rest on universal, prereflective intuitions. He concludes that humans have different (...) prelinguistic intuitions of time.Blum claims that people's variable innate temporality is expressed in their historical style. It follows that historical style antedates history as a genre. Hence we are not talking about historical style, but about how individuals apply their sense of the relation between parts and wholes to the problem of time. Our study of historical context becomes secondary to the assumptions we make about the interface between part–whole relations and time. The temporality of history is derivative of a phenomenon that is not historical.Certain conclusions are suggestive. First, modality precedes tense in evolution. Second, we ourselves are continuing to evolve. Blum believes that we are moving “towards a selection of abstract thinkers ruled by pure reason.” Instead of viewing cultures as organisms, it is more profitable to think of the evolution of structures of thinking, and to show that some are more prominent at present than they have been in the past.For Blum, historical thinking is a dependent variable. It depends on tense and modality, which are given before language and culture. Historical thinking reflects a primary experience, but it is not such a primary experience itself. (shrink)

Despite its somewhat marginal occurrence, unattainability has been acknowledged as a genuine problematic element for the semantic analysis of modal constructions, particularly for those expressing desires (Heim in J Semant 9(3):183–221, 1992; Portner in Nat Lang Semant 5(2):167–211, 1997). However, considerably less attention has been given to unattainable duties. In this article, I suggest that just as worlds that are deemed desirable are not necessarily linked to worlds considered candidates for actuality, some circumstantial arrangements allow for obligational expressions the semantics (...) of which evoke worlds that are deemed obligatory yet unattainable. As I will show, a careful examination of unattainable duties constructions reveals some unexplored semantic aspects of obligational ascriptions that are particularly relevant for the development of both X-marking and modal-tense interaction theories. This article provides a philosophical and linguistic account of the meaning and use of such constructions. (shrink)

Linguists and philosophers examine the representation of temporal reference; the interaction of the temporal information from tense, aspect, modality, and context; and the representation of the temporal relations between facts, events, states, propositions, and utterances. They link this to current research in psychology and anthropology.

What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages inside the formal model of an grammar of applicative, cognitive and enunciative operations , using the applicative formalism, functional types of categorial grammars and combinatory logic . In the enunciative theory and following , an utterance can be decomposed into two components: a modus and a (...) dictum . In GRACE, the modus is a complex operator applied to a proposition and is generated from more elementary operators of the categories of tense, aspect, and modality. The dictum is a proposition generated by a predicative relation. In this way, we can attribute a semantic meaning to different grammatical aspecto-temporal operators. The applicative expressions of CL can be easily translated into a functional programming language such as HASKELL or CAML. (shrink)

In some languages every statement must contain a specification of the type of evidence on which it is based: for example, whether the speaker saw it, or heard it, or inferred it from indirect evidence, or learnt it from someone else. This grammatical reference to information source is called 'evidentiality', and is one of the least described grammatical categories. Evidentiality systems differ in how complex they are: some distinguish just two terms (eyewitness and noneyewitness, or reported and everything else), while (...) others have six or even more terms. Evidentiality is a category in its own right, and not a subcategory of epistemic or some other modality, nor of tense-aspect. Every language has some way of referring to the source of information, but not every language has grammatical evidentiality. In English expressions such as I guess, they say, I hear that, the alleged are not obligatory and do not constitute a grammatical system. Similar expressions in other languages may provide historical sources for evidentials. True evidentials, by contrast, form a grammatical system. In the North Arawak language Tariana an expression such as "the dog bit the man" must be augmented by a grammatical suffix indicating whether the event was seen, or heard, or assumed, or reported. This book provides the first exhaustive cross-linguistic typological study of how languages deal with the marking of information source. Examples are drawn from over 500 languages from all over the world, several of them based on the author's original fieldwork. Professor Aikhenvald also considers the role evidentiality plays in human cognition, and the ways in which evidentiality influences human perception of the world.. This is an important book on an intriguing subject. It will interest anthropologists, cognitive psychologists and philosophers, as well as linguists. (shrink)

This paper contributes to the debate about ‘tenseless languages’ by defending a tensed analysis of a superficially tenseless language. The language investigated is St’át’imcets (Lillooet Salish). I argue that although St’át’imcets lacks overt tense morphology, every finite clause in the language possesses a phonologically covert tense morpheme; this tense morpheme restricts the reference time to being non-future. Future interpretations, as well as ‘past future’ would-readings, are obtained by the combination of covert tense with an operator analogous (...) to Abusch’s (1985) WOLL. I offer St’át’imcets-internal evidence (of a kind not previously adduced) that the WOLL-like operator is modal in nature. It follows from the analysis presented here that there are only two (probably related) differences between St’át’imcets and English in the area of tense. The first is that St’át’imcets lacks tense morphemes which are pronounced. The second is that the St’át’imcets tense morpheme is semantically underspecified compared to English ones. In each of these respects, the St’át’imcets tense morpheme displays similar properties to pronouns, which may be covert and which may fail to distinguish person, number or gender. Along the way, I point out several striking and subtle similarities in the interpretive possibilities of St’át’imcets and English. I suggest that these similarities may reveal non-accidental properties of tense systems in natural language. I conclude with discussion of the implications of the analysis for cross-linguistic variation, learnability and the possible existence of tenseless languages. (shrink)

Despite its small stature, "if" occupies a central place both in everyday language and the philosophical lexicon. In allowing us to talk about hypothetical situations, "if" raises a host of thorny philosophical puzzles about language and logic. Addressing them requires tools from linguistics, logic, probability theory, and metaphysics. Justin Khoo uses these tools to navigate a maze of interconnected issues about conditionals, some of which include: the nature of linguistic communication, the relationship between logical and natural languages, and the (...) relationship between different kinds of modality. According to Khoo's theory, conditionals form a unified class of expressions which share a common semantic core that encodes inferential dispositions. Thus, rather than represent the world, conditionals are devices used to communicate how we are disposed to infer. Khoo shows that this theory can be extended to predict the probabilities of conditionals, as well as how different kinds of conditionals differ both semantically and pragmatically. Khoo's book will make for a significant contribution to the literature on conditionals and should be of interest to philosophers, linguists, and computer scientists. (shrink)

The deontic modal must has two surprising properties: an assertion of must p does not permit a denial of p, and must does not take past tense complements. I first consider an explanation of these phenomena that stays within Angelika Kratzer’s semantic framework for modals, and then offer some reasons for rejecting that explanation. I then propose an alternative account, according to which simple must sentences have the force of an imperative.

Intuitionistic propositional logic with Galois negations ( \(\mathsf {IGN}\) ) is introduced. Heyting algebras with Galois negations are obtained from Heyting algebras by adding the Galois pair \((\lnot,{\sim })\) and dual Galois pair \((\dot{\lnot },\dot{\sim })\) of negations. Discrete duality between GN-frames and algebras as well as the relational semantics for \(\mathsf {IGN}\) are developed. A Hilbert-style axiomatic system \(\mathsf {HN}\) is given for \(\mathsf {IGN}\), and Galois negation logics are defined as extensions of \(\mathsf {IGN}\). We give the bi- (...) class='Hi'>tense logic \(\mathsf {S4N}_t\) which is obtained from the minimal tense extension of the modal logic \(\mathsf {S4}\) by adding tense operators. We give a new extended Gödel translation \(\tau \) and prove that \(\mathsf {IGN}\) is embedded into \(\mathsf {S4N}_t\) by \(\tau \). Moreover, every Kripke-complete Galois negation logic _L_ is embedded into its tense companion \(\tau (L)\). (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 investigates the interpretation of counterfactual conditionals. The main goal of the paper is to provide an account of the semantic role of similarity in the evaluation of counterfactuals. The paper proposes an analysis according to which counterfactuals are treated as predications “ de re ” over past situations in the actual world. The relevant situations enter semantic composition via the interpretation of tense. Counterfactuals are treated as law-like conditionals with de re predication over particular facts. Similarity with (...) respect to particular facts is ensured by the semantics of tense in interaction with the modal, while the modal itself is responsible for invoking laws. In the paper, various arguments are provided to support a local view of similarity over the global approach found in semantics along the line of Lewis’s and Stalnaker’s. Arguments are also provided tying the evaluation of similarity to the interpretation of tense. Finally, arguments are provided to show that in key cases, the approaches make comparable predictions. (shrink)

Expressivism - the sophisticated contemporary incarnation of the noncognitivist research program of Ayer, Stevenson, and Hare - is no longer the province of metaethicists alone. Its comprehensive view about the nature of both normative language and normative thought has also recently been applied to many topics elsewhere in philosophy - including logic, probability, mental and linguistic content, knowledge, epistemic modals, belief, the a priori, and even quantifiers. Yet the semantic commitments of expressivism are still poorly understood and have not been (...) very far developed. As argued within, expressivists have not yet even managed to solve the "negation problem" - to explain why atomic normative sentences are inconsistent with their negations. As a result, it is far from clear that expressivism even could be true, let alone whether it is. Being For seeks to evaluate the semantic commitments of expressivism, by showing how an expressivist semantics would work, what it can do, and what kind of assumptions would be required, in order for it to do it. Building on a highly general understanding of the basic ideas of expressivism, it argues that expressivists can solve the negation problem - but only in one kind of way. It shows how this insight paves the way for an explanatorily powerful, constructive expressivist semantics, which solves many of what have been taken to be the deepest problems for expressivism. But it also argues that no account with these advantages can be generalized to deal with constructions like tense, modals, or binary quantifiers. Expressivism, the book argues, is coherent and interesting, but false. (shrink)

This article discusses what may be referred to as ``adjectival relatives''''in Japanese and related constructions in other languages (such asadjectival passives in English). The most intriguing characteristicof this construction is that the verb contained in it occurs in the pasttense form, but its primary role is to describe a state that obtains atthe local evaluation time, rather than the past event that producedthis state. In fact, in some cases, the putative event that presumablyproduced the target state is non-existent, and the (...) entire constructionreceives a purely stative interpretation. In other words, it is possiblefor an adjectival relative to describe a target state without having itstriggering event. The proposal I put forth in the article states that whatI refer to as an adjectival relative does not have a clausal structure.It rather has a verbal projection (technically a Tense Phrase, or TP). Mod(the modifier head) then combined with TP to yield a MP (modifierphrase), which denotes a property of states that appear to have resultedfrom an event the verb describes. In order to reach this conclusion, I adopttwo additional ideas: (i) Kratzer''s (1996) idea that the so-called externalargument of a verb is not really its argument at all; (ii) direct causationdoes not have to be overtly represented in natural language syntax (Bittner1999). Having incorporated these two ideas, the proposal explains therelation between the state that the adjectival relative describes and theputative event as a modal one, thereby accounting for the non-existenceof putative past events in some examples. (shrink)

Statements are always under the threat of the potential counter-question How do you know? To pre-empt this question, language users often indicate what kind of access they had to the communicated content: Their own perception, inference from other information, 'hearsay', etc. Such expressions, grammatical or lexical, have been studied in recent years under the cover term of evidentiality research. The present volume contributes 11 new studies to this flourishing field, all exploring evidential phenomena in a range of languages (Dutch, Estonian, (...) Finnish, French, German, Khalkha Mongolian, Spanish, Tibetan, Yurakaré), using a variety of methodologies. Evidential meaning is discussed in relation to other semantic dimensions, such as epistemic modality, semantic roles, commitment, quotative meaning, and tense. The volume is of interest to scholars and students who are interested in up-to-date methods and frameworks for studying evidential meaning and the various ways it is expressed in the languages of the world. (shrink)

Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major (...) classical topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types. (shrink)

What follows is a byproduct of a larger work in progress that tries to show the benefits of a ‘thought-oriented’ linguistics, in contrast to the traditional ‘sound-oriented’ approach. It seems obvious that language begins with thoughts in the mind of a speaker and ends with some facsimile of those thoughts in the mind of a listener. Sounds make this communication possible, but they are not the driving force behind the structure that language takes. Because sounds are accessible to public (...) observation and thoughts are not, linguistics has always tilted toward the sounds. I believe, however, that much becomes clearer if thoughts are given the attention they deserve. Among other things, thoughts offer a target for triangulation from multiple perspectives. A compelling illustration is the special attention language gives to number marking, which can be more fully understood in the context of ‘subitizing’, studied by psychologists as the special way the mind processes very small numbers. Yet neither linguists nor psychologists seem to have noticed the mutual relevance of these two phenomena. Another illustration can be found in the relation of past tense to memory. The fact that various languages exhibit multiple past tenses suggests that memories from different periods are qualitatively different, but psychologists are more likely to study how well things are remembered, not how they differ. Linguistics could thus serve as a motivation to broader psychological research. To this list of converging concerns one can add the linguistic expression of ‘modality’, which clearly has broader ramifications. This article has prodded me to look a little further in that direction, incorporating the preoccupation with epistemology that is conspicuous in many indigenous languages of the Western hemisphere. The following, then, is a tentative exploration based on three languages I happen to know something about. Its incompleteness should be obvious, but I hope to carry it further. (shrink)