The standing tradition in theorizing about meaning, since at least Frege, identifies meaning with propositions, which are, or determine, the truth-conditions of a sentence in a context. But a recent trend has advocated a departure from this tradition: in particular, it has been argued that modal claims do not express standard propositional contents. This non-propositionalism has received different implementations in expressivist semantics and certain kinds of dynamic semantics. They maintain that the key aspect of interpretation of modal claims is (...) the characteristic dynamic effect they have on the context. I argue that pessimism about truth-conditions arises from an overly simplistic picture of content, context and their interaction. While I agree with the critics that an important aspect of modal meaning is the dynamic effect modals have on the context, I argue that they have mischaracterized the nature and the complexity of this effect. A more nuanced account of the interaction between modals and context shows that far from being incompatible with propositional meaning, the dynamic aspect of meaning is precisely what allows us to predict the correct propositional content of an utterance. (shrink)

Veltman’s test semantics and developments thereof reject the canon about semantic contents and attitude ascriptions in favor of dynamic alternatives. According to these theories the semantic content of a sentence is not a proposition, but a context change potential (CCP). Similarly, beliefs are not taken to be relations between agents and propositions, but agents and CCPs. These deviations from the canon come at the cost of an elegant explanation about the correctness of belief. Standardly, it is taken that the (...) content of a belief is correct just in case the content of that belief is true. The proponent of the test semantics cannot appeal to this explanation since they hold that certain contents, namely epistemically modalized contents, do not express propositions, and are neither true nor false. After motivating the need for an account of the correctness of belief within the dynamic framework, I argue that the few extant accounts in the literature are unsatisfactory. A novel account is proposed that avoids the problems of competing views. (shrink)

PROBABILISTIC APPROACH TO EPISTEMIC MODALS IN THE FRAMEWORK OF DYNAMIC SEMANTICS In dynamic semantics meaning of a statement is not equated with its truth conditions but with its context change potential. It has also been claimed that dynamic framework can automatically account for certain paradoxes that involve epistemic modals, such as the following one: it seems odd and incoherent to claim: (1) “It is raining and it might not rain”, whereas claiming (2) “It might not rain and (...) it is raining” does not seem equally odd (Yalcin, 2007). Nevertheless, it seems that it cannot capture the fact that statement (2) seems odd as well, even though not as odd as the statement (1) (Gauker, 2007). I will argue that certain probabilistic extensions to the dynamic model can account for this subtlety of our linguistic intuitions and represent if not an improved than at least an alternative framework for capturing the way contexts are updated and beliefs revised with uncertain information. (shrink)

Una Stojnić's Context and Coherence: The Logic and Grammar of Prominence offers a series of interesting criticisms of the classical dynamic paradigm in natural language semantics and offers a sophisticated alternative outlook, one that does recognize a dynamic, context change inducing dimension of meaning but at the same preserves the idea that (declarative) utterances express propositions in context. The purpose of this note is to set the record straight: existing dynamic analyses of modals and conditionals compare favorably (...) with Stojnić's dynamic propositionalism. (shrink)

In the pair of articles of which this is the second, I present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. These problems are related to the question of how we should represent thought and speech about certain topics. The main issue is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness should be thought (...) of as varying with some (more or less surprising) factor. In the first article, “Relativism 1: Representational Content”, I discussed the general issue of relativism about representational content. I argued for the conciliatory view that both relativist and absoutist conceptions of representational content can be legitimate. In the present continuation, I look in more detail at a special case of the general issue, namely the question of whether semantic contents, i.e. the contents assigned to linguistic utterances in the semantics of natural language, should be construed in an absolutist or in a relativist way. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and (...) classical logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

Context figures in the interpretation of utterances in many different ways. In the tradition of possible-worlds semantics, the seminal account of context-sensitive expressions such as indexicals and demonstratives is that of Kaplan's two-dimensional semantics (the content- character distinction), further pursued in various directions by Stalnaker, Chalmers, and others. This chapter introduces and assesses the notion of context-sensitivity presented in this group of approaches, with a special focus on how it relates to the notion of cognitive significance and whether it includes (...) an intuitively plausible range of expressions within its scope. The chapter concludes with a discussion of the prospects of using two-dimensional semantics to account for context-sensitive expressions in dynamic discourse. (shrink)

[Note 2015: Much of the content of these remarks has now been published in my paper "Presuppositions as Anaphoric Duality Enablers", Topoi.] This is the text of my comments on the project of dynamic semantics for the session on that topic at the Central Division APA meeting on April 21, 2007. The other speakers were Jeroen Groenendijk, Frank Veltman and Thony Gillies. I question the philosophical basis for dynamic semantics. My doubts have to do with the nature of (...) information states and the norms of semantics. I also question the data that inspire the project. In particular, I question the data concerning presupposition and the data concerning modal operators and conditionals. (shrink)

It has been argued within some philosophy of quantum gravity circles that endorsing Lewisian modal metaphysics is incompatible with endorsing the fundamental physical ontology of any quantum gravity theory. Speaking concisely, the unsolvable tension would be between Lewis' metaphysical commitment to the fundamentality of space and time, and the physical lesson of quantum gravity about the disappearance of space and time from the fundamental structure of the world. In this essay I argue against the idea that the tension is unsolvable. (...) The analysis does not apply to quantum gravity in general, but only to the specific perspective delivered by quantum string theory. In the first two sections I describe what I think is the general formal payoff of Lewisian possible worlds semantics, and more importantly the general metaphysical payoff generated by some Lewisian metaphysical applications of that formal framework. Lewisian possible worlds semantics is not among the topics of this essay, still a concise presentation of its basic features is required for a more accurate description of the type of modal metaphysics Lewis delivers by applying that formal machinery. The moral of the story in the first two sections is that an attempt of preserving crucial features of Lewisian modal metaphysics, although endorsing the quantum string theory lesson on spacetime non fundamentality, would be not only possible, but also philosophically worthy in a general sense. Then, section three is divided in three parts. In the first part I summarize some formal tools of the methodology used elsewhere - (Vistarini, Routledge, 2019, chapter 6)- to argue for string theory background independence. More precisely, I briefly re-describe some crucial features of a topological-vector bundle structure there defined on a "space" associated to the theory. Such structure is there shown to carry physical and dynamical information about quantum strings systems supporting the thesis of background independence of quantum strings laws (string theory background independence is not a topic of this essay, and the construction of the full formal structure as well as the full argumentative line can be found in the work cited above). The rationale behind the choice of including these formal tools is explained in the second and third parts of section three: that very same topological-fiber bundle structure associated to string theory, if read differently, is shown to also carry structural properties of the Lewisian metaphysical scheme. More precisely, in the second part of section three I attempt to show that such topological-fiber bundle structure owns a topology which qualifies as a plausible accessibility structure extending the Lewisian similarity accessibility. To avoid confusion, I will denote the extended similarity order with S*, or S*-similarity. The latter has some interesting properties. It is quantitatively describable, and even more interestingly its spectrum of variation is a countable one. Then, insofar Lewisian similarity order can be regained from the S*-similarity, one might say that the latter is a metaphysical accessibility relation underlying the former because "more fundamental". As we will see, the explanation of what "more fundamental" means in this metaphysical context mainly involves the idea that the formal nature of S*-similarity, in particular its property of having a countable spectrum of variation, calibrates a metaphysical similarity that reflects the discreteness of the fundamental quantum nature of reality. The extended modal metaphysics with accessibility structure S*-similarity is informed by quantum string physics. Within the extended scheme, the Lewisian claim "things could have been different in countless ways" (Lewis 1973) is an approximate one because only permitted by ordinary language. As soon as one refines the accessibility structure by using the formal language of quantum string theory, it appears things could have been different in countable ways. But the Lewisian variety of alternative states of affairs can be regained from the underlying countable variety via a specific interpretation of the Humean supervenience thesis, one that changes the metaphysical status of the thesis' content and restricts the thesis' domain of application. Finally, in the third part of section three I attempt to show that the same topological-fiber bundle structure used to extend Lewisian similarity has a bundle component producing the formal scheme for a tentative extension of Lewisian nomological accessibility through the lens of string dualities. This will prove to be a non trivial task, and the Lewisian accessibility structure will be regained from the extended one only partially. Finally, the essay contains two short appendices summarizing two argumentative lines outside the main topic of the essay. They briefly describe different ways in which the non fundamentality of spatiotemporal structures can be found in quantum string theory. These sections can be skipped. Nevertheless, they might contribute to understand more robustly the general view endorsed by this essay, i.e. that there isn't any unsolvable tension between Lewis' commitment to the fundamentality of spatiotemporal relations and quantum gravity's lesson about their non fundamentality. -/- . (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by Romero (...) and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

In the tradition of Stalnaker there is a number of well-known problems that need to be addressed, because revision of iterated belief modalities is required in this case. These problems have already been investigated in detail in recent works on DDL Leitgeb/Segerberg 2007)and DEL see e.g. Ditmarsch et. Another strategy would be to maintain and revise assumptions independently of the beliefs of an agent.I will briefly discuss the advantages and disadvantages of each of these views. In both views, assumptions constitute (...) the subjective context in which an agent interprets an utterance and encounters the world. The result of an interpretation is in turn checked against the agent’s original beliefs, and if the checking operation succeeds the agent revises his beliefs by the result in the normal way described by the AGM paradigm. The second of the above questions needs to be addressed on the basis of concrete examples. Considering utterance like David is ready’ or ‘John is tall’that from a contextualist viewpoint express semantically incomplete content in the sense of Bach is needed in order to obtain a useful model of the checking step, since fortunately not everybody believes everything that other people say. These requirements put the theory of interpretation based on assumptions in the frontline of ongoing research on the implementation of belief revision and update in dynamic logics. Such a theory might also be useful for contextualist accounts of strong knowledge, as it can be argued convincingly that when a knowledge ascription appears to be context-sensitive, this is so because the embedded proposition is context-sensitive and not because knowledge itself is context-sensitive. Hence,the context-sensitivity of embedded propositions in knowledge claims and how different agents in the same situation arrive at different assessments about them may be explained by an inferential theory of interpretation similar to the one outlined here but with another underlying concept of assumptions. Literature Alchourrón, C. E. ; Gärdenfors, P. & Makinson, D., 'On the logic of theory change: partial meet contraction and revision functions', Journal of Symbolic Logic, 510-530. Bach, K., 'Minimalism for Dummies: Reply to Cappelen and Lepore', Technical report, University of San Fransisco, Department of Philosophy. Bach, K., Context ex Machina, in án Gendler Szabó, ed.,'Semantics versus Pragmatics', Oxford UP, Oxford, pp. 16-44. Ditmarsch, H. v. ; Hoek, W. v. d. & Kooi, B., Dynamic Epistemic Logic, Kluwer. Gärdenfors, P., Knowledge in Flux, MIT Press. Leitgeb, H. & Segerberg, K., 'Dynamic doxastic logic: why, how, and where to? ', Synthese155, 167-190. Stalnaker, R., Assertion, in. Cole, ed.,'Pragmatics', Academic Press, New York, pp. 315-332. Stalnaker, R., 'Common Ground', Linguistics and Philosophy25, 701- -721. (shrink)

This is a reply to the commentaries on my paper 'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs'. The paper is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufman, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, and G. Ramchand.

This study is intended to provide in-depth insights into how design thinking and creativity issues are understood and possibly evolve in the course of design discussions in a company context. For that purpose, we use the seminar transcripts of the Design Thinking Research Symposium 12 (DTRS12) dataset “Tech-centred Design Thinking: Perspectives from a Rising Asia,” which are primarily concerned with how Korean companies implement design thinking and what role designers currently play. We employed a novel method of information processing based (...) on constructed dynamic semantic networks to investigate the seminar discussions according to company representatives and company size. We compared the quantitative dynamics in two seminars: the first involved managerial representatives of four companies, and the second involved specialized designers and management of a design center of single company. On the basis of dynamic semantic networks, we quantified the changes in four semantic measures—abstraction, polysemy, information content, and pairwise word similarity—in chronologically reconstructed individual design-thinking processes. Statistical analyses show that design thinking in the seminar with four companies, exhibits significant differences in the dynamics of abstraction, polysemy, and information content, compared to the seminar with the design center of single company. Both the decrease in polysemy and abstraction and the increase in information content in the individual design-thinking processes in the seminar with four companies indicate that design managers are focused on more concrete design issues, with more information and less ambiguous content to the final design product. By contrast, specialized designers manifest more abstract thinking and appear to exhibit a slightly higher level of divergence in their design processes. The results suggest that design thinking and creativity issues are articulated differently depending on designer roles and the company size. (shrink)

In some recent developments of semantic theory, in particular certain versions of dynamic semantics, ‘internal’ contexts, that is, contexts defined in terms of the interlocutors’ pragmatic presuppositions or the information accumulated in the discourse have come to play a central role, replacing the notion of propositional content in favor of a notion of context change potential as the meaning of sentences. I will argue that there are a number of fundamental problems with this conception of sentence meaning and outline (...) a way of dealing with the ‘dynamic phenomena’ from the perspective of the traditional distinctions between propositional content and (internal) context as well between propositional content and illocutionary force, using structured propositions and minimal discourse-driven internal context. (shrink)

Recently, a number of theorists (MacFarlane (2003, 2011), Egan et al. (2005), Egan (2007), Stephenson (2007a,b)) have argued that an adequate semantics and pragmatics for epistemic modals calls for some technical notion of relativist truth and/or relativist content. Much of this work has relied on an empirical thesis about speaker judgments, namely that competent speakers tend to judge a present-tense bare epistemic possibility claim true only if the prejacent is compatible with their information. Relativists have in particular appealed to judgments (...) elicited in so-called eavesdropping and retraction cases to support this empirical thesis. But opposing theorists have denied the judgments, and at present there is no consensus in the literature about how the speaker judgments in fact pattern. Consequently there is little agreement on what exactly a semantics and pragmatics for epistemic modals should predict about the pattern of judgments in these cases. Further theorizing requires greater clarity on the data to be explained. To clarify the data, we subjected eavesdropping and retraction cases to experimental evaluation. Our data provide evidence against the claim that competent speakers tend to judge a present-tense bare epistemic possibility claim true only if the prejacent is compatible with their information. Theories designed to predict this result are accordingly undermined. (shrink)

Stalnaker’s Context deploys the core machinery of common ground, possible worlds, and epistemic accessibility to mount a powerful case for the ‘autonomy of pragmatics’: the utility of theorizing about discourse function independently of specific linguistic mechanisms. Illocutionary force lies at the peripherybetween pragmatics—as the rational, non-conventional dynamics of context change—and semantics—as a conventional compositional mechanism for determining truth-conditional contents—in an interesting way. I argue that the conventionalization of illocutionary force, most notably in assertion, has important crosscontextual consequences that are not (...) fully captured by a specification of dynamic effects on common ground. More generally, I suggest that Stalnaker’s purely informational, propositional analysis of both semantic content and dynamic effects distorts our understanding of the function of language, especially of the real-world commitments and consequences engendered by robustly ‘expressive’ language like slurs, honorifics, and thick terms. (shrink)

It is common in philosophy of language to recognise two different kinds of linguistic meaning: literal or conventional meaning, on the one hand, versus communicated or conveyed meaning, on the other. However, once we recognise these two types of meaning, crucial questions immediately emerge; for instance, exactly which meanings should we treat as the literal (semantic) ones, and exactly which appeals to a context of utterance yield communicated (pragmatic), as opposed to semantic, content? It is these questions and, specifically, how (...) we should model the relationship between semantic content and utterance context, that is the topic of this chapter. We explore five contemporary answers to this modelling question, considering the benefits and challenges of each, before closing by examining some potential new directions for debates in this area. (shrink)

We investigate a basic probabilistic dynamic semantics for a fragment containing conditionals, probability operators, modals, and attitude verbs, with the aim of shedding light on the prospects for adding probabilistic structure to models of the conversational common ground.

It is common in philosophy of language to recognise two different kinds of linguistic meaning: literal or conventional meaning, on the one hand, versus communicated or conveyed meaning, on the other. However, once we recognise these two types of meaning, crucial questions immediately emerge; for instance, exactly which meanings should we treat as the literal (semantic) ones, and exactly which appeals to a context of utterance yield communicated (pragmatic), as opposed to semantic, content? It is these questions and, specifically, how (...) we should model the relationship between semantic content and utterance context, that is the topic of this chapter. We explore five contemporary answers to this modelling question, considering the benefits and challenges of each, before closing by examining some potential new directions for debates in this area. (shrink)

It is common in philosophy of language to recognise two different kinds of linguistic meaning: literal or conventional meaning, on the one hand, versus communicated or conveyed meaning, on the other. However, once we recognise these two types of meaning, crucial questions immediately emerge; for instance, exactly which meanings should we treat as the literal (semantic) ones, and exactly which appeals to a context of utterance yield communicated (pragmatic), as opposed to semantic, content? It is these questions and, specifically, how (...) we should model the relationship between semantic content and utterance context, that is the topic of this chapter. We explore five contemporary answers to this modelling question, considering the benefits and challenges of each, before closing by examining some potential new directions for debates in this area. (shrink)

Some dynamic semantic theories include an attempt to derive truth-conditional meaning from context change potential. This implies defining truth in terms of context change. Focusing on presuppositions and epistemic modals, this paper points out some problems with how this project has been carried out. It then suggests a way of overcoming these problems. This involves appealing to a richer notion of context than the one found in standard dynamic systems.

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

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

We propose a new perspective on logics of computation by combining instantial neighborhood logic INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} with bisimulation safe operations adapted from PDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PDL}$$\end{document}. INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a (...) logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance for instantial neighborhood bisimulations, the appropriate bisimulation concept for INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document}. We also prove that our extended logic IPDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {IPDL}$$\end{document} is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for IPDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {IPDL}$$\end{document}, and establish its finite model property and decidability. (shrink)

We propose a new perspective on logics of computation by combining instantial neighborhood logic \ with bisimulation safe operations adapted from \. \ is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance for (...) instantial neighborhood bisimulations, the appropriate bisimulation concept for \. We also prove that our extended logic \ is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for \, and establish its finite model property and decidability. (shrink)

Imperatives are linguistic devices used by an authority (speaker) to express wishes, requests, commands, orders, instructions, and suggestions to a subject (addressee). This essay's goal is to tentatively address some of the following questions about the imperative. -/- METASEMANTIC. What is the menu of options for understanding fundamental semantic notions like satisfaction, truth-conditions, validity, and entailment in the context of imperatives? Are there good imperative arguments, and, if so, how are they to be characterized? What are the options for understanding (...) the property that an account of good imperative arguments is supposed to track? What constraints on a semantic analysis of the imperative do different positions on the metasemantic issues impose? -/- SEMANTIC. How might we implement metasemantic postures in a rigorous formal system? How much can we do using familiar tools from deontic modal logic? How much leverage over semantic questions can we gain by introducing tools from natural language semantics—ordering sources, dyadic modal operators, salient alternatives, and the like—into a formal semantics for an imperative object language? How much leverage can we gain by introducing tools from rather less-utilized areas of modal logic—devices for representing actions and planning in time, modal operators constructed from action-terms, and the like—into the analysis? -/- DYNAMIC. How do imperatives succeed in performing the speech acts they are used to perform? How do imperatives update discourses? How can we leverage an account of imperative discourse update in giving a dynamic semantics for the imperative? Is there anything about the imperative that demands a dynamic semantic treatment? (shrink)

This meta-study of animal semantics is anchored in two claims, seemingly creating a fuzzy mismatch, that animal utterances generally appear to be simple in structure and content variation and that animals’ communicative understanding seems disproportionally more advanced. A set of excerpted, new studies is chosen as basis to discuss whether the semantics of animal uttering and understanding can be fused into one. Studies are prioritised due to their relatively complex designs, giving priority to dynamics between syntax, semantics, pragmatics, and between (...) utterers and receivers in context. A communicational framework based on utterance theory is applied as a lens for inspection of how these aspects relate to the assumed mismatch. Inspection and discussions of the studies bring several features to surface of which five are stressed in the following. Firstly, both syntactic structures and possible semantic content are seen as lean, although richer than earlier believed, and research continues to reveal new complexities in utterances. Secondly, there is a clear willingness to broaden the perception of animals’ semantic capacity to comprehend communication both by arguing theoretically and by generating empirical research in new contexts. Thirdly, the ambition to make sense of these tendencies is still often motivated by an evolutionary search for early building blocks for verbal language, with the pro et cons that such a position can have. Fourthly, the ‘allowed’ scientific frame for studying semantic capacity among animals is extended to new fields and contexts challenging the only-in-the-wild norm. Fifthly, the dilemma of integrating uttering and understanding as aspects of an after all functional communicational system, calls for new epistemological concepts to make sense of the claimed mismatch. Affordances, abduction, life-genre, and lifeworld are suggested. (shrink)

In this paper we explore the possibility of giving a justification of the “semantic information” content and measure, in the framework of the recent coalgebraic approach to quantum systems and quantum computation, extended to QFT systems. In QFT, indeed, any quantum system has to be considered as an “open” system, because it is always interacting with the background fluctuations of the quantum vacuum. Namely, the Hamiltonian in QFT always includes the quantum system and its inseparable thermal bath, formally “entangled” like (...) an algebra with its coalgebra, according to the principle of the “doubling” of the degrees of freedom between them. This is the core of the representation theory of cognitive neuroscience based on QFT. Moreover, in QFT, the probabilities of the quantum states follow a Wigner distribution, based on the notion and measure of quasiprobability, where regions integrated under given expectation values do not represent mutually exclusive states. This means that a computing agent, either natural or artificial, in QFT, against the quantum Turing machine paradigm, is able to change dynamically the representation space of its computations. This depends on the possibility of interpreting QFT system computations within the framework of category theory logic and its principle of duality between opposed categories, such as the algebra and coalgebra categories of QFT. This allows us to justify and not only to suppose, like in the “theory of strong semantic information” of L. Floridi, the definition of modal “local truth” and the notion of semantic information as a measure of it, despite both measures being defined on quasiprobability distributions. (shrink)

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (shrink)

In non‐literal uses of language, the content an utterance communicates differs from its literal truth conditions. Loose talk is one example of non‐literal language use (amongst many others). For example, what a loose utterance of (1) communicates differs from what it literally expresses: (1) Lena arrived at 9 o'clock. Loose talk is interesting (or so I will argue). It has certain distinctive features which raise important questions about the connection between literal and non‐literal language use. This paper aims to (i.) (...) introduce a range of novel data demonstrating certain overlooked features of loose talk, and (ii.) develop a new theory of the phenomenon which accounts for these data. In particular, this theory is motivated by the need to explain minimal pairs such as (2)-(3): (2) Lena arrived at 9 o'clock, but she did not arrive at 9 o'clock exactly. (3) ?? Lena did not arrive at 9 o'clock exactly, but she arrived at 9 o'clock. (2) and (3) agree in their truth conditions. Yet they differ in felicity. As such, they constitute a problem for any account which hopes to predict the acceptability of the loose use of a sentence from its truth conditions and the context of utterance alone. Instead, it will be argued, to explain loose talk phenomena we must posit an additional layer of meaning outstripping truth conditions. This layer of meaning is shown to exhibit a range of properties, all of which point to its being semantically encoded. Thus, if correct, the theory provides a new example of how semantic meaning must extend beyond literal, truth‐conditional content. (shrink)

Traditional approaches in deontic logic have focused on the so-called reportative reading of obligation sentences, by providing truth-functional semantics based on a primitive ideality order between possible worlds. Those approaches, however, do not take into account that, in natural language, obligation sentences primarily carry a prescriptive effect. The paper focuses precisely on that prescriptive character, and shows that the reportative reading can be derived from the prescriptive one. A dynamic, non truth-functional semantics for necessity deontic modals is developed, in (...) which the ideality relations among possible worlds can be updated. Finally, it is proven that the semantics solves several of the classic deontic paradoxes. (shrink)

Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed 'relational modality', simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

This thesis consists of four essays and an introduction dedicated to two main topics: indexicality and presupposition. The first essay is concerned with an alleged problem for the standard treatment of indexicals on which their linguistic meanings are functions from context to content. Since most indexicals have their content settled, on an occasion of use, by the speaker’s intentions, some authors have argued that this standard picture is inadequate. By demonstrating that intentions can be seen as a parameter of the (...) kind of context that characters operate on, these arguments are rejected. In addition, it is argued that a more recent, variable-based framework is naturally interpreted as an intention-sensitive semantics. The second essay is devoted to the phenomenon of descriptive uses of indexicals on which such an expression seems to contribute, not its standard reference as determined by its character, but a property to the interpretation. An argument that singular readings of the cases in question are incoherent is shown to be incorrect, and an approach to descriptive readings is developed on which they arise from e-type uses akin to other well known cases. Further, descriptive readings of the relevant kind are seen to arise only in the presence of adverbs of quantification, and all sentences in which such an adverb takes scope over an indexical are claimed to be ambiguous between a referential and an e-type reading. The third essay discusses a version of the variable analysis of pronouns on which their descriptive meanings are relegated to the so-called phi-features – person, gender and number. In turn, the phi-features are here seen as triggering semantic presuppositions that place constraints on the definedness of pronouns, and ultimately of sentences in which they appear. It is argued that the descriptive information contributed by the phi-features diverges radically from presuppositional information of both semantic and pragmatic varieties on several dimensions of comparison, and instead the main role of the phi-features is seen to be that of guiding hearers’ attempts to ascertain the speaker’s intentions. The fourth essay addresses an issue concerning the treatment of presuppositions in dynamic semantics. Representing a semantic treatment of pragmatic presuppositions, the dynamic framework is shown to incorrectly regard conversational infelicity as sufficient for semantic undefinedness, given the standard way of defining truth in terms of context change. Further, it is shown that a proposal for a solution fail to make correct predictions for epistemic modals. A novel framework is developed on which context change potentials act on contexts that have more structure than the contexts usually countenanced by dynamic semantics, and it is shown that this framework derives truth from context change while making correct predictions for both presuppositions and modals. (shrink)

This paper presents novel data concerning the optionality (or lack thereof) of implicit conditional readings in various contexts, and proposes to account for these by adopting a dynamic semantic theory of modal subordination which crucially involves lexically variable familiarity presuppositions. The central contrast, first partially observed and discussed by Binnick (1971).

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it (...) means for a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (shrink)

Prof. Ruth Barcan Marcus created quantified modal logic in 1946. She extended the Lewis calculus S2 to cover quantification. Quantified modal logic became an essential tool for the rigorous study of natural language in the hands of R. Montague in the late sixties. Some complex phenomena cannot be properly handled at the level of sentences. Recent researches in formal semantics have concentrated on discourse and led to a rich amount of results. Logical theories introduced for the logical study of programs (...) play an important role in these developments. We shall present a detailed account of the connection between dynamic logic and “static” logic. The core of the paper will be the translation of dynamic logic into S5. Developping an insight due to Prof. J. van Eijck, We shall offer a simplified version of the latter translation. The paper also relates to P. Gärdenfors' Knowledge in Flux. (shrink)

This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.

The article tackles the problem of studying diachronic semantic changes of modal markers in Latin. It proposes to do so by using context as a proxy for tracing the development of otherwise unchanging forms. In the first part, the main theoretical positions in modality studies are presented, especially the notions of deontic modality, epistemic modality, and pathways of modality. In the second part, Heine’s model for studying the role of context in language change is presented and (...) applied to the modal verb licet. In the case study of licet, an attempt is made to identify the so-called switch context which co-creates the conditions necessary for the semantic change. (shrink)

Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as ‘informational entropy’), due, e.g. to perceptual, evidential or linguistic limits. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptually, the present paper proposes graph-based frames as a formal framework suitable for generalising Pawlak's rough set theory to a setting in which inherent limits to knowability exist and need to be considered. Technically, the present paper (...) establishes systematic connections between the first-order correspondents of Sahlqvist modal reduction principles on Kripke frames, and on the more general relational environments of graph-based and polarity-based frames. This work is part of a research line aiming at: (a) comparing and inter-relating the various (first-order) conditions corresponding to a given (modal) axiom in different relational semantics; (b) recognising when first-order sentences in the frame-correspondence languages of different relational structures encode the same ‘modal content’; (c) meaningfully transferring relational properties across different semantic contexts. The present paper develops these results for the graph-based semantics, polarity-based semantics, and all Sahlqvist modal reduction principles. As an application, we study well known modal axioms in rough set theory (such as those corresponding to seriality, reflexivity, and transitivity) on graph-based frames and show that, although these axioms correspond to different first-order conditions on graph-based frames, their intuitive meaning is retained. This allows us to introduce the notion of hyperconstructivist approximation spaces as the subclass of graph-based frames defined by the first-order conditions corresponding to the same modal axioms defining classical generalised approximation spaces, and to transfer the properties and the intuitive understanding of different approximation spaces to the more general framework of graph-based frames. The approach presented in this paper provides a base for systematically comparing and connecting various formal frameworks in rough set theory, and for the transfer of insights across different frameworks. (shrink)

This paper is an informal introduction to some aspects of dynamic semantics. It is a compilation of earlier reports on joint work with Frank Veltman. The opening section can also be found in Groenendijk et al. 1996a. Section 3 is drawn from Groenendijk et al. 1995a. Some of the discussion in section 4 derives from Groenendijk et al. 1996c.

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological (...) system be a topological space X together wError: Corrupted memory profileError: read ICCBased color space profile errorith a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality, and two temporal modalities, and ∗, both interpreted using the continuous function. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a (...) class='Hi'>dynamic topological system be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □, and two temporal modalities, ○ and *, both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a (...) class='Hi'>dynamic topological system be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □ , and two temporal modalities, ○ and * , both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

This book investigates context-sensitivity in natural language by examining the meaning and use of a target class of theoretically recalcitrant expressions. These expressions-including epistemic vocabulary, normative and evaluative vocabulary, and vague language -exhibit systematic differences from paradigm context-sensitive expressions in their discourse dynamics and embedding properties. Many researchers have responded by rethinking the nature of linguistic meaning and communication. Drawing on general insights about the role of context in interpretation and collaborative action, Silk develops an improved contextualist theory of CR-expressions (...) within the classical truth-conditional paradigm: Discourse Contextualism. The aim of Discourse Contextualism is to derive the distinctive linguistic behavior of a CR-expression from a particular contextualist interpretation of an independently motivated formal semantics, along with general principles of interpretation and conversation. It is shown how in using CR-expressions, speakers can exploit their mutual grammatical and world knowledge, and general pragmatic reasoning skills, to coordinate their attitudes and negotiate about how the context should evolve. The book focuses primarily on developing a Discourse Contextualist semantics and pragmatics for epistemic modals. The Discourse Contextualist framework is also applied to other categories of epistemic vocabulary, normative and evaluative vocabulary, and vague adjectives. The similarities/differences among these expressions, and among context-sensitive expressions more generally, have been underexplored. The development of Discourse Contextualism in this book sheds light on general features of meaning and communication, and the variety of ways in which context affects and is affected by uses of language. Discourse Contextualism provides a fruitful framework for theorizing about various broader issues in philosophy, linguistics, and cognitive science. (shrink)

Imperatives may be interpreted with many subvarieties of directive force, for example as orders, invitations, or pieces of advice. I argue that the range of meanings that imperatives can convey should be identified with the variety of interpretations that are possible for non-dynamic root modals (what I call ‘priority modals’), including deontic, bouletic, and teleological readings. This paper presents an analysis of the relationship between imperatives and priority modals in discourse which asserts that, just as declaratives contribute to the (...) Common Ground and thus provide information relevant to the interpretation of epistemic modals in subsequent discourse, imperatives contribute to another component of the discourse context, the addressee’s To-Do List, which serves as a contextual resource for the interpretation of priority modals. This analysis predicts that the interpretation of imperatives and modals in discourse is constrained in surprising ways; these predictions are borne out. (shrink)