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 (...) 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)

We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof (...) of completeness for the corresponding Hilbert-style axiomatization, but also in the development of a mosaic-based tableau system. We further consider extensions for dealing with the case when interactions between the two dimensions exist, thus covering a wide class of bundled Ockhamist branching-time logics, and present for them some partial results, such as a non-analytic version of the tableau system. (shrink)

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those (...) metaphysical views that its predecessors rule out by fiat. (shrink)

“Counterfactual” readings of might/could have were previously analyzed using metaphysical modal bases. This paper presents examples and scenarios where the assumptions of such a branching-time semantics are not met, because there are facts at the base world that preclude the complement of the modal becoming true. Additional arguments show that counterfactual readings are context dependent. These data motivate a semantics using a circumstantial (or factual) modal base, which refers to context-dependent facts about a world and time. The analysis is formulated (...) in a version of premise semantics for modality. (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)

We take the well-known intuitionistic modal logic of Fischer Servi with semantics in bi-relational Kripke frames, and give the natural extension to topological Kripke frames. Fischer Servi’s two interaction conditions relating the intuitionistic pre-order with the modal accessibility relation generalize to the requirement that the relation and its inverse be lower semi-continuous with respect to the topology. We then investigate the notion of topological bisimulation relations between topological Kripke frames, as introduced by Aiello and van Benthem, and show that (...) their topology-preserving conditions are equivalent to the properties that the inverse relation and the relation are lower semi-continuous with respect to the topologies on the two models. The first main result is that this notion of topological bisimulation yields semantic preservation w.r.t. topological Kripke models for both intuitionistic tense logics, and for their classical companion multi-modal logics in the setting of the Gödel translation. After giving canonical topological Kripke models for the Hilbert-style axiomatizations of the Fischer Servi logic and its classical companion logic, we use the canonical model in a second main result to characterize a Hennessy–Milner class of topological models between any pair of which there is a maximal topological bisimulation that preserve the intuitionistic semantics. (shrink)

This study investigates the aptitude–treatment interaction between text modality and learners’ modality preference on learning outcomes and cognitive load, which is currently a point of controversy. The Meshing Hypothesis postulates there are better learning outcomes when the modality of a learning environment matches the learner´s preference. However, previous research supporting the Meshing Hypothesis shows methodological issues. Therefore, clear empirical support is needed. We tested 42 learners in a between-subject design: Their preferences were either auditive–ambiguous or (...) visual, and half of each preference group randomly learned either with an auditive or a visual text. As expected, we did not find any main effects, but a significant interaction between the text modality and the learner´s preference for comprehension outcomes, extraneous cognitive load, and germane cognitive load. Specifically, learners with a preference for visual texts benefit from learning with their preferred modality, they showed higher comprehension scores and less extraneous load when learning from a visual text. Auditive–ambiguous learners showed almost equal results with both text modalities. This might be explained by the fact that most texts in everyday life are presented visually, and therefore learners with an auditive preference needed to develop appropriate reading strategies. Thus, our results partly support the Meshing Hypothesis. (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)

This book advertises itself as an exploration of the world-time parallel, that is, the parallel between the modal dimension, on the one hand, and the temporal dimension, on the other. It is that, and much more. As the authors point out, there is reasonable agreement that we can model times, through temporal logic, in ways that are analogous to those by which we model modality through the logic of possible worlds. But this formal parallel has almost universally been (...) taken to be a merely formal parallel: thus it is held that no metaphysical conclusions ought to be drawn from it. Thus, it is generally thought that one is free to accept an argument for actualism, say, but to reject a parallel argument for presentism. Rini and Cresswell compellingly argue that this is a mistake: the temporal and the modal are more than merely formally analogous. (shrink)

We give an equivalent formulation of topological algebras, interpreting S4, as boolean algebras equipped with intuitionistic negation. The intuitionistic substructure—Heyting algebra—of such an algebra can be then seen as an “epistemic subuniverse”, and modalities arise from the interaction between the intuitionistic and classical negations or, we might perhaps say, between the epistemic and the ontological aspects: they are not relations between arbitrary alternatives but between intuitionistic substructures and one common world governed by the classical (propositional) logic. (...) As an example of the generality of the obtained view, we apply it also to S5. We give a sound, complete and decidable sequent calculus, extending a classical system with the rules for handling the intuitionistic negation, in which one can prove all classical, intuitionistic and S4 valid sequents. (shrink)

Classical mereology (CM) is usually taken to be formulated in a tenseless language, and is therefore associated with a four-dimensionalist metaphysics. This paper presents three ways one might integrate the core idea of flat plenitude, i.e., that every suitable condition or property has exactly one mereological fusion, with a tensed logical setting. All require a revised notion of mereological fusion. The candidates differ over how they conceive parthood to interact with existence in time, which connects to the distinction between (...) endurance and perdurance. Similar issues arise for the integration of mereology with modality, and much of our discussion applies to this project as well. (shrink)

Brain mapping studies using dynamic imaging methods demonstrate areas regional cerebral blood flow (rCBF) decreases, as well as areas where increases, during performance of various experimental tasks. Task holds for both sets of cerebral blood flow changes (CBF), providing the opportunity to investigate areas that become and “activated” in the experimental condition relative to control state. Such data yield the intriguing observation that in areas in emotional processing, such as the amygdala, the posteromedial cortex, and the ventral anterior cingulate cortex, (...) although flow as expected during specific emotion-related tasks, flow decreases performance of some attentionally demanding, cognitive tasks. Conversely, in some of the areas that appear to subserve cognitive functions, as the dorsal anterior cingulate and the dorsolateral prefrontal cortices, increases while performing attentionally demanding cognitive tasks, but during some experimentally induced and pathological emotional Although the specific nature of such reciprocal patterns of regional remains unclear, they may reflect an important cross-modal interaction during mental operations. The possibility that neural activity is less in areas required in emotional processing during some higher cognitive processes holds implications for the mechanisms underlying interactions cognition and emotion. Furthermore, the possibility that neural in some cognitive-processing areas is suppressed during intense states suggests mechanisms by which extreme fear or severe may interfere with cognitive performance. (shrink)

Brain mapping studies using dynamic imaging methods demonstrate areas regional cerebral blood flow (rCBF) decreases, as well as areas where increases, during performance of various experimental tasks. Task holds for both sets of cerebral blood flow changes (CBF), providing the opportunity to investigate areas that become and “activated” in the experimental condition relative to control state. Such data yield the intriguing observation that in areas in emotional processing, such as the amygdala, the posteromedial cortex, and the ventral anterior cingulate cortex, (...) although flow as expected during specific emotion-related tasks, flow decreases performance of some attentionally demanding, cognitive tasks. Conversely, in some of the areas that appear to subserve cognitive functions, as the dorsal anterior cingulate and the dorsolateral prefrontal cortices, increases while performing attentionally demanding cognitive tasks, but during some experimentally induced and pathological emotional Although the specific nature of such reciprocal patterns of regional remains unclear, they may reflect an important cross-modal interaction during mental operations. The possibility that neural activity is less in areas required in emotional processing during some higher cognitive processes holds implications for the mechanisms underlying interactions cognition and emotion. Furthermore, the possibility that neural in some cognitive-processing areas is suppressed during intense states suggests mechanisms by which extreme fear or severe may interfere with cognitive performance. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And (...) putative counterexamples to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.

There is a common form of problem, to be found in many areas of philosophy, concerning the relationship between our perspective on reality and reality itself. We make statements (or form judgements) about how things are from a given standpoint or perspective. We make the statement ‘it is raining’ from the standpoint of the present time, for example, or the statement‘it is here’ from the standpoint of where we are, or the statement ‘I am glad’ from the standpoint of (...) a subject. In each of these cases, the statement has a certain ‘aspect’ or perspectival character in virtue of which its truth is capable of varying from one standpoint to another. Thus the statement ‘it is raining’ is tensed, the statement ‘it is here’ is ‘spatiocentric’ and the statement ‘I am glad’ is first-personal. The problem we then face is to determine whether this aspect is a feature of the reality which is described or merely a feature of the statement by which it is described. Is reality itself somehow tensed or spatiocentric or firstpersonal or is it merely that we describe a tenseless or spatially uncentered or impersonal reality from a tensed or spatiocentric or first-personal point of view? (shrink)

A dynamic semantics for epistemically modalized sentences is an attractive alternative to the orthodox view that our best theory of meaning ascribes to such sentences truth-conditions relative to what is known. This essay demonstrates that a dynamic theory about might and must offers elegant explanations of a range of puzzling observations about epistemic modals. The first part of the story offers a unifying treatment of disputes about epistemic modality and disputes about matters of fact while at the same time (...) avoiding the complexities of alternative theories. The second part of the story extends the basic framework to cover some complicated data about retraction and the interaction between epistemic modality and tense. A comparison between the suggestion made in this essay and current versions of the orthodoxy is provided. (shrink)

Social interaction, especially for older people living alone is a challenge currently facing human-robot interaction (HRI). There has been little research on user preference towards HRI interfaces. In this paper, we took both objective observations and participants’ opinions into account in studying older users with a robot partner. The developed dual-modal robot interface offered older users options of speech or touch screen to perform tasks. Fifteen people aged from 70 to 89 years old, participated. We analyzed the spontaneous actions of (...) the participants, including their attentional activities and conversational activities, the temporal characteristics of these social behaviours, as well as questionnaires. It has been revealed that social engagement with the robot demonstrated by older people was no different from what might be expected towards a human partner. This study is an early attempt to reveal the social connections between human beings and a personal robot in real life. (shrink)

In this paper, I discuss the distribution and the interpretation of the temporal suffix -kue in Mbyá, a Guaraní language that is closely related to Paraguayan Guaraní. This suffix is attested both inside noun phrases and inside clauses. Interestingly, its nominal uses give rise to inferences that are unattested in its clausal uses. These inferences were first identified in Paraguayan Guaraní by Tonhauser, who called them the existence property and the change of state property. Tonhauser further argued that these properties (...) are built into the lexical entry of the nominal temporal marker -kue. By contrast, I argue that -kue denotes a relative past tense both in its nominal and clausal uses, and that the existence and change of state properties are pragmatic inferences that arise from the interaction of the literal meaning of -kue with general constraints on the interpretation of noun phrases, notably constraints on the topicality of the time of evaluation of noun phrases. This allows me to maintain a uniform analysis of -kue across its nominal uses and its clausal uses. The analysis of -kue in Mbyá is relevant to a number of current debates on the expression of tense crosslinguistically. Firstly, the existence of relative tenses has sometimes been called into question. Klein notably argues that relative tenses are actually combinations of tense with the perfect aspect. Others have argued that there exist true relative tenses in certain languages. I argue that facts of Mbyá support the latter view. Secondly, Klein famously defined tenses as relations between topic times and the time of utterance. I argue, on the other hand, that relative tenses only denote relations between times, and that the topicality or non-topicality of their temporal arguments depends on their context of use, including their syntactic environment. Thirdly, this paper contributes to debates on the nature and reality of nominal tenses The Oxford handbook of tense and aspect, 2012), by arguing that tense in Mbyá is a genuinely nominal category, in the sense that temporal functional projections are part of the extended projection of the noun phrase. (shrink)

This book is collection of the the author’s previously published papers on the philosophy of modality and tense and it also includes three unpublished papers. The author provides an exposition and defence of certain positions for which he is well-known: the intelligibility of modality de re; the primitiveness of the modal; and the primacy of the actual over the possible. He also argues for some less familiar positions: the existence of distinctive forms of natural and normative necessity, (...) not reducible to any form of metaphysical necessity; the need to make a distinction between the worldly and unworldly, analogous to the distinction between the tensed and the tenseless; and the viability of a nonstandard form of realism about tense, which recognizes the tensed character of reality without conceding there is any privileged standpoint from which it is to be viewed. (shrink)

Derek Nurse looks at variations in the form and function of tense and aspect in Bantu, a branch of Niger-Congo, the world's largest language phylum. Bantu languages are spoken in central, eastern, and southern sub-Saharan Africa south of a line between Nigeria and Somalia. By current estimates there are between 250 and 600 of them, as yet neither adequately classified nor fully described. Professor Nurse's account is based on data from more than 200 Bantu languages and varieties, (...) a representative sample of which is freely available on the publisher's website. He devotes substantial chapters to the analysis and comparison of the different tense and aspect systems found in Bantu. He also examines the verbal categories with which they interact, including negation and focus. Synchronic and diachronic perspectives are interwoven throughout the book. Following a brief history of Bantu over the last five thousand years, the final two chapters look systematically at the history of tense and aspect in Bantu. The first deals with the reconstruction of the earlier forms from which contemporary structures, morphemes, and categories are derived, and the second with the processes of change, including grammaticalization, by means of which older analytical structures and independent lexical items moved as they became incorporated as grammatical inflections and categories. (shrink)

The goal of this paper is to re-examine some aspects of the nature of specificational copular constructions by looking at the ways in which the semantics of tense interacts with the semantics of the copula in English. I propose that Tense Harmony (restrictions on the tense of a relative clause in the subject position of specificational copular constructions) is imposed by the interaction between the matrix and embedded tenses.

We propose the “grammatical profile” as a means of probing the aspectual behavior of verbs. A grammatical profile is the relative frequency distribution of the inflected forms of a word in a corpus. The grammatical profiles of Russian verbs provide data on two crucial issues: a) the overall relationship between perfective and imperfective verbs and b) the identification of verbs that characterize various intersections of aspect, tense and mood (TAM) with lexical classes. There is a long-standing debate over (...) whether Russian aspectual “pairs” are formed only via suffixation (the Isacenko hypothesis) or whether they are formed via both suffixation and prefixation (the traditional view). We test the Isacenko hypothesis using data on the corpus frequency of inflected forms of verbs. We find that the behavior of perfective and imperfective verbs is the same regardless of whether the aspectual relationship is marked by prefixes or suffixes; our finding thus supports the traditional view. Introspective descriptions of Russian aspect have often connected the use of particular inflectional forms with certain uses of aspect; for example, the use of imperative forms with the imperfective aspect to produce expressions that are very polite. Grammatical profiles make it possible to identify verbs that behave as outliers, presenting unusually large proportions of usage in parts of the paradigm. This analysis both gives substance to and extends previous introspective descriptions by identifying the verbs most involved in certain TAM-category interactions. On a methodological level, this study contributes to current discussions on the use of inflected forms vs. lemmas in corpus studies. Newman (Aiming low in linguistics: Low-level generalizations in corpus-based research: National Chiao Tung University, 2008) finds valuable information at the level of the inflectional form, and Gries (forthcoming) argues that inflectional forms do not necessarily provide a better basis for analysis than lemmas. We agree with them that the appropriate level of granularity is determined by both the language and the linguistic phenomenon under analysis. (shrink)

According to a number of authors it is possible to give tenseless (B-series) truth conditions for tensed sentences by utilizing token indexicals in something like the following fashion. (1a) An utterance u of 'Past S' is true iff at some time earlier than u, S is true (1b) An utterance u of 'Pres S' is true iff at some time overlapping u, S is true This strategy has been challenged on the grounds that it will break down in cases like (...) (2). (2) There was no spoken language A number of strategies have been attempted to circumvent this difficult, including the introduction of possible utterances, etc. In this paper I argue that such moves are unnecessary — that the problem turns on scope interactions with hidden modals in the theorems of the T-theory. (shrink)

Recent studies of naturalistic face‐to‐face communication have demonstrated coordination patterns such as the temporal matching of verbal and non‐verbal behavior, which provides evidence for the proposal that verbal and non‐verbal communicative control derives from one system. In this study, we argue that the observed relationship between verbal and non‐verbal behaviors depends on the level of analysis. In a reanalysis of a corpus of naturalistic multimodal communication (Louwerse, Dale, Bard, & Jeuniaux, ), we focus on measuring the temporal patterns of (...) specific communicative behaviors in terms of their burstiness. We examined burstiness estimates across different roles of the speaker and different communicative modalities. We observed more burstiness for verbal versus non‐verbal channels, and for more versus less informative language subchannels. Using this new method for analyzing temporal patterns in communicative behaviors, we show that there is a complex relationship between verbal and non‐verbal channels. We propose a “temporal heterogeneity” hypothesis to explain how the language system adapts to the demands of dialog. (shrink)

This paper deals with the exceptions-tolerance property of generic sentences with indefinite singular and bare plural subjects (IS and BP generics, respectively) and with the way this property is connected to some well-known observations about felicity differences between the two types of generics (e.g. Lawler's 1973, Madrigals are popular vs. #A madrigal is popular). I show that whereas both IS and BP generics tolerate exceptional and contextually irrelevant individuals and situations in a strikingly similar way, which indicates the existence (...) of a basically equivalent tolerance mechanism, there is also a difference between them, unnoticed so far, which concerns the degree to which the properties of the legitimate exceptions can be characterized in advance. Following claims in Greenberg (2003), I argue that both this newly observed difference as well as the traditional felicity differences result from an underlying contrast in the type of ‘non-accidentalness’ expressed by the two types of generic sentences, and more formally, in the accessibility relations that their generic quantifier (Gen) is compatible with. To capture the new difference in tolerance of exceptions, I develop an improved version of the exceptions-tolerance mechanism for generic sentences suggested in Kadmon & Landman (1993), namely, a restriction on the set of individuals and situations quantified by Gen, which is partially vague to two different degrees using supervaluationist methods. The different degrees of vagueness in this restriction are shown to be systematically dependent on the two types of accessibility relations that IS and BP generics are compatible with, which are redefined as precise and vague restrictions on the generic quantification over worlds. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been (...) provided to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

Spanish has a series of evidential discourse markers that combine the lexical semantics of visual perception with reference to inference or hearsay, for example, evidentemente ‘evidently’, por lo visto ‘visibly, seemingly’, al parecer ‘seemingly’ and se ve ‘one sees that, apparently’. The main aim of this article is to examine the grammatical, semantic and interactional properties of these four evidential discourse markers in informal and formal spoken Spanish. From a semantic point of view, we study the evidential values expressed by (...) these markers and discuss the correlations between them. From a functional point of view, we analyse the evidential markers on the basis of discourse-interactional criteria such as illocutionary force, position in the turn and kind of turn. From a grammatical point of view, we address the preferences in terms of person and Tense/aspect/modality experienced by these evidential markers in discourse. The main result of our analysis is that, as far as the semantic and discourse properties are concerned, evidentemente differs from por lo visto, al parecer and se ve que. The former seems to refer primarily to shared thoughts, developing a reading that goes beyond any of the traditionally distinguished evidential values. The three other markers, by contrast, refer to indirect evidence, often combining the evidential values of reported knowledge and inference. In talk-in-interaction, the two types of markers behave differently: evidentemente does not enhance turn-taking, whereas the other markers leave room for the co-participant to give his or her view of the state of affairs. (shrink)

How should we understand de re modal features of objects, if there are such features? Any answer to the question is connected to how we should think about coincident objects, objects which occupy the same spatio-temporal region and share the same underlying matter. This thesis is mainly about the connections between de re modality and coincidence. My interest in the connections is twofold: First, how do theories of de re modality interact with theories about coincidence? Details of (...) interactions are discussed from chapter 2 to chapter 5. Second, do the considerations about de re modality offer reasons to favour a particular position about coincidence? And how does this answer contribute to current meta-ontological debate? These are raised in chapter 1 and are answered in conclusion. (shrink)

We examined how language supports the expression of temporality within sentence boundaries in English, which has a rich inventory of grammatical means to express temporality. Using a computational model that mimics how humans learn from exposure we explored what the use of different tense and aspect combinations reveals about the interaction between our experience of time and the cognitive demands that talking about time puts on the language user. Our model was trained on n-grams extracted from the BNC (...) to select the TA combination that fits the context best. It revealed the existence of two different sub-systems within the set of TA combinations, a “simplex” one that is supported lexically and is easy to learn, and a “complex” one that is supported contextually and is hard to learn. The finding that some TA combinations are essentially lexical in nature necessitates a rethink of tense and aspect as grammatical categories that form the axes of the temporal system. We argue that the system of temporal reference may be more fruitfully thought of as the result of learning a system that is steeped in experience and organised along a number of functional principles. (shrink)

This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.

The paper proposes an account of the contrast (noticed in Karttunen 1976) between the interpretations of the following two discourses: Harvey courts a girl at every convention. {She is very pretty. vs. She always comes to the banquet with him.}. The initial sentence is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is (...) captured by means of a new dynamic system couched in classical type logic, which extends Compositional DRT (Muskens 1996) with plural information states (modeled, following van den Berg 1996, as sets of variable assignments). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The paper also shows that modal subordination (A wolf might come in. It would eat Harvey first) can be analyzed in a parallel way, i.e. the system captures the anaphoric and quantificational parallels between the individual and modal domains argued for in Stone (1999) (among others). In the process, we see that modal / individual-level quantifiers enter anaphoric connections as a matter of course, usually functioning simultaneously as both indefinites and pronouns. (shrink)

The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator B t and a non-normal information operator I t which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the proposed logic, the AGM theory of belief revision and the notion of plausibility (...) is discussed. (shrink)

Many languages allow for “fake” uses of their past tense marker: the marker: can occur in certain contexts without conveying temporal pastness. Instead it appears to bear a modal meaning. Iatridou :231–270, 2000) has dubbed this phenomenon Fake Tense. Fake Tense is particularly common to conditional constructions. This paper analyzes Fake Tense in English conditional sentences as a certain kind of ambiguity: the past tense morphology can mark the presence of a temporal operator, but it (...) can also signal a specific modal operator. The ambiguity is proposed to be the result of recategorization: the Simple Past develops a second, modal meaning because of structural similarities between the temporal and the modal/epistemic domain. The proposal is spelled out in the generative semantics framework, using the restrictor approach to conditionals Semantics from different points of view, 1979; in: A. von Stechow and D. Wunderlich Semantics: an international handbook of contemporary research, 1991), and building on von Stechows et al.’s recent work on the English tense system The expression of time in language, 2010; Romero and von Stechow, Tense: introduction, 2008). (shrink)

The class of true modal verbs in English is usually understood to include auxiliary verbs conveying possibility and necessity (including predictive future) that lack non-finite morphological forms; from a syntactic perspective, these verbs occur only in finite clauses (as opposed to infinitives or gerunds). Nevertheless the true modals do not inflect for third-person singular agreement, unlike normal present-tense verbs. When they are negated, true modals always precede the negative particle not, regardless of their understood scope relative to negation, and (...) never give rise to do-support. (shrink)

At the centre of the genre of dating advertisements is a tension between speech and writing, process and product, interaction and transaction. In this article I investigate some of the interpersonal resources available to writers of advertisements to achieve the goal of interacting in writing with a potential partner. I first consider the ways in which advertisers use questions and answers to enact and project speech-like interactional roles for themselves and their readers, in order to encourage an overt response (...) to their textual initiations and open a conversation with a suitable partner. I then consider their use of modality to engage potential partners and negotiate mutual suitability. I conclude by comparing the generic function of these two areas of interpersonal resource and suggest a relationship of agnation between them. (shrink)

Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...) temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that (...) interacts directly with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...) temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view. (shrink)

This paper explores how the meaning of evidentiality is temporally constrained, by investigating the meaning of Korean evidential sentences with –te. Unlike evidential sentences in languages that have previously been formally analyzed , e.g. Cuzco Quechua and Cheyenne, Korean evidential sentences with –te are compatible with both direct and indirect evidence types. In this paper, I analyze –te as an evidential that lexically encodes the meaning of a ‘sensory observation’. I account for the availability of both direct and indirect evidential (...) readings in terms of the variable temporal relation between relevant eventualities. I show that this temporal relation is compositionally determined by the interaction between –te and tense, and that it in turn constrains possible (direct vs. indirect) evidence types. I also provide empirical evidence for the modal meaning contributions of –te sentences, and develop a formal analysis in terms of Kratzer’s modal theory. The paper concludes by discussing the empirical and theoretical improvements of the proposed analysis over earlier analyses by Chung, and the implications for crosslinguistic studies of evidentials. (shrink)

Edited by Ivette Fred-Rivera and Jessica Leech. What is the relationship between ontology and modality: between what there is, and what there could be, must be, or might have been? Throughout a distinguished career, Bob Hale’s work has addressed this question on a number of fronts, through the development of a Fregean approach to ontology, an essentialist theory of modality, and in his work on neo-logicism in the philosophy of mathematics. This collection of new essays engages (...) with these themes in Hale’s work in order to make further progress in our understanding of ontology, modality, and the relations between them. Some essays directly address questions in modal metaphysics, drawing on ontological concerns. Others raise questions in modal epistemology and its links to matters of ontology, such as the challenge to give an epistemology of essence. There are also several essays engaging with questions of what might be called ‘modal ontology’: the study of whether and what things exist necessarily or contingently. Such issues can be raised and addressed directly, but they also have an important bearing on the kinds of semantic commitments engendered in logic and mathematics, e.g., to the existence of sets, or numbers, or properties, and so on. It is thus explored in some chapters to what extent one’s ontology—and indeed, one’s ontology of necessary beings—interacts with other plausible assumptions and commitments. (shrink)

What is the relationship between ontology and modality - between what there is, and what there could be, must be, or might have been? Bob Hale interwove these two strands of metaphysics throughout his long and distinguished career, putting forward his theses in his book, Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them (OUP 2013). Hale addressed questions of ontology and modality on a number of fronts: through the development of (...) a Fregean approach to ontology, an essentialist theory of modality, and in his work on neo-logicism in the philosophy of mathematics. The essays in this volume engage with these themes in Hale's work in order to progress our understanding of ontology, modality, and the relations between them. Some directly address questions in modal metaphysics, drawing on ontological concerns, while others raise questions in modal epistemology and of its links to matters of ontology, such as the challenge to give an epistemology of essence. Several essays also engage with questions of what might be called 'modal ontology': the study of whether and what things exist necessarily or contingently. Such issues have an important bearing on the kinds of semantic commitments engendered in logic and mathematics (to the existence of sets, or numbers, or properties, and so on) and the extent to which one's ontology of necessary beings interacts with other plausible assumptions and commitments. (shrink)

The common ground in an inquiry consists of what the participants agree on, at least for the sake of the inquiry. The relations between the factual and linguistic components of common ground are notoriously difficult to trace. I clarify them by exploring how modal disagreements – disagreements about how things might be – interact with the linguistic and the factual common ground. I argue that modal agreement is essential to common ground of any kind.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of (...) large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

What is the interaction between storage and computation in language processing? What is the psychological status of grammatical rules? What are the relative strengths of connectionist and symbolic models of cognition? How are the components of language implemented in the brain? The English past tense has served as an arena for debates on these issues. We defend the theory that irregular past-tense forms are stored in the lexicon, a division of declarative memory, whereas regular forms can be (...) computed by a concatenation rule, which requires the procedural system. Irregulars have the psychological, linguistic and neuropsychological signatures of lexical memory, whereas regulars often have the signatures of grammatical processing. Furthermore, because regular inflection is rule-driven, speakers can apply it whenever memory fails. (shrink)