Search results for 'update semantics' (try it on Scholar)

1000+ found
Sort by:
  1. Frank Veltman (1996). Defaults in Update Semantics. Journal of Philosophical Logic 25 (3):221 - 261.score: 132.0
    The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Henk Zeevat (1992). Presupposition and Accommodation in Update Semantics. Journal of Semantics 9 (4):379-412.score: 126.0
    A reconstruction is presented of van der Sandt's theory of presupposition in the framework of update semantics and extended to belief sentences. The resulting view is confronted with earlier approaches to presupposition (especially Heim's) in update semantics, concentrating on the approach to accommodation. It is shown in some detail that the anaphoric view of presupposition can be maintained for only a subclass of presuppositional triggers and must be given up for another class. The paper shows that (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. James Brawner & James Vorbach (1998). An Algorithmic Logic Approach to Formalizing Database Update Semantics. Journal of Applied Non-Classical Logics 8 (3):199-220.score: 120.0
    ABSTRACT To more efficiently cover a wide spectrum of conceptual modeling applications such as computer-aided design, computer-aided manufacturing, and medical information systems, we envision multi-paradigm design environments which have reasoning capability to support analyzing specifcations for correctness. For such applications, information system designers employ conceptual models characterized by semantically-rich specification languages. The problem of providing a comprehensive formal framework for such languages has not been adequately addressed. This paper investigates a formal system for this purpose called Event-Formula Logic (EFL). The (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Rosja Mastop (2011). Imperatives as Semantic Primitives. Linguistics and Philosophy 34 (4):305-340.score: 96.0
    This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Arjen Hommersom, John-jules Meyer & Erik De vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.score: 92.0
    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Arjen Hommersom, John-Jules Meyer & Erik De Vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.score: 92.0
    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agent's beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Malte Willer (2010). New Surprises for the Ramsey Test. Synthese 176 (2):291 - 309.score: 90.0
    In contemporary discussions of the Ramsey Test for conditionals, it is commonly held that (i) supposing the antecedent of a conditional is adopting a potential state of full belief, and (ii) Modus Ponens is a valid rule of inference. I argue on the basis of Thomason Conditionals (such as ' If Sally is deceiving, I do not believe it') and Moore's Paradox that both claims are wrong. I then develop a double-indexed Update Semantics for conditionals which takes these (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Rosja Mastop (2011). Norm Performatives and Deontic Logic. European Journal of Analytic Philosophy 7 (2):83-105.score: 90.0
    Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Fengkui Ju & Fenrong Liu (2011). Prioritized Imperatives and Normative Conflicts. European Journal of Analytic Philosophy 7 (2):35-58.score: 90.0
    Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Berislav Žarnić (2003). Prima Facie Consequence in Update Semantics for Change Expressions. Bulletin of Symbolic Logic 9 (1):111-112.score: 90.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Igor Sedlár (2011). Moorean Sentences in Update Semantics. Organon F 18 (2):142-153.score: 90.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Frank Veltman (1996). ``Defaults in Update Semantics&Quot. Journal of Philosophical Logic 25:221-261.score: 90.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Nate Charlow (2010). Restricting and Embedding Imperatives. In M. Aloni, H. Bastiaanse, T. de Jager & K. Schulz (eds.), Logic, Language, and Meaning: Selected Papers from the 17th Amsterdam Colloquium. Springer.score: 84.0
    We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Anthony S. Gillies (2007). Counterfactual Scorekeeping. Linguistics and Philosophy 30 (3):329 - 360.score: 60.0
    Counterfactuals are typically thought--given the force of Sobel sequences--to be variably strict conditionals. I go the other way. Sobel sequences and (what I call) Hegel sequences push us to a strict conditional analysis of counterfactuals: counterfactuals amount to some necessity modal scoped over a plain material conditional, just which modal being a function of context. To make this worth saying I need to say just how counterfactuals and context interact. No easy feat, but I have something to say on the (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  15. Peter Beim Graben (2014). Order Effects in Dynamic Semantics. Topics in Cognitive Science 6 (1):67-73.score: 60.0
    In their target article, Wang and Busemeyer (2013) discuss question order effects in terms of incompatible projectors on a Hilbert space. In a similar vein, Blutner recently presented an orthoalgebraic query language essentially relying on dynamic update semantics. Here, I shall comment on some interesting analogies between the different variants of dynamic semantics and generalized quantum theory to illustrate other kinds of order effects in human cognition, such as belief revision, the resolution of anaphors, and default reasoning (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Alvaro Val & Yoav Shoham (1994). Deriving Properties of Belief Update From Theories of Action. Journal of Logic, Language and Information 3 (2):81-119.score: 60.0
    We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared “persistent by default”. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold:We prove a representation theorem for KM semantics in terms of a (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Philippe Schlenker (2007). Anti-Dynamics: Presupposition Projection Without Dynamic Semantics. [REVIEW] Journal of Logic, Language and Information 16 (3):325--356.score: 54.0
    Heim 1983 suggested that the analysis of presupposition projection requires that the classical notion of meanings as truth conditions be replaced with a dynamic notion of meanings as Context Change Potentials. But as several researchers (including Heim herself) later noted, the dynamic framework is insufficiently predictive: although it allows one to state that, say, the dynamic effect of F and G is to first update a Context Set C with F and then with G (i.e., C[F and G] = (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Fernando Raymundo Velázquez-Quesada (2009). Inference and Update. Synthese 169 (2):283 - 300.score: 54.0
    We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Jan van Eijck (2012). Action Emulation. Synthese 185 (1):131-151.score: 54.0
    The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Jan Eijck, Ji Ruan & Tomasz Sadzik (2012). Action Emulation. Synthese 185 (S1):131-151.score: 54.0
    The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Jaap van der Does, Willem Groeneveld & Frank Veltman (1997). An Update on “Might”. Journal of Logic, Language and Information 6 (4):361-380.score: 48.0
    This paper is on the update semantics for might of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. Jaap van Der Does, Willem Groeneveld & Frank Veltman (1997). An Update on €œMight”. Journal of Logic, Language and Information 6 (4):361-380.score: 48.0
    This paper is on the update semantics for might of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Alvaro Vadell & Yoav Shoham (1994). Deriving Properties of Belief Update From Theories of Action. Journal of Logic, Language and Information 3 (2).score: 48.0
    We present an approach to database update as a form of non monotonic temporal reasoning, the main idea of which is the (circumscriptive) minimization of changes with respect to a set of facts declared persistent by default. The focus of the paper is on the relation between this approach and the update semantics recently proposed by Katsuno and Mendelzon. Our contribution in this regard is twofold: • We prove a representation theorem for KM semantics in terms (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Daniel Rothschild, Making Dynamics Semantics Explanatory: Presupposition Projection.score: 42.0
    Understanding the pattern by which complex sentences inherit the presuppositions of their parts (presupposition projection) has been a major topic in formal pragmatics since the 1970s. Heim’s classic paper “On the Projection Problem for Presuppositions” (1983) proposed a replacement of truth-conditional semantics with a dynamic semantics that treats meanings as instructions to update the common ground. Heim’s system predicts the basic pattern of presupposition projection quite accurately. The classic objection to this program (including other versions of dynamic (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. James Delgrande & Francis Jeffry Pelletier, Compositional Belief Update.score: 42.0
    In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive decomposition of the update sentence’s structure, and that may be reasonably implemented. In addressing update, we first provide a definition phrased in terms of the models of a knowledge (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.score: 42.0
    Logical frameworks for analysing the dynamics ofinformation processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off. This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Alex Lascarides (1998). The Semantics and Pragmatics of Presupposition. Journal of Semantics 15 (3):239-300.score: 36.0
    In this paper, we offer a novel analysis of presuppositions, paying particular attention to the interaction between the knowledge resources that are required to The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic under-specification (c£ Reyle 1993). Second, resolving this underspecification requires reasoning about how the presupposition is rhetorically connected to the discourse context. This has several consequences. First, since pragmatic information plays a role (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  28. Frank Veltman (2005). Making Counterfactual Assumptions. Journal of Semantics 22 (2):159-180.score: 36.0
    This paper provides an update semantics for counterfactual conditionals. It does so by giving a dynamic twist to the ‘Premise Semantics’ for counterfactuals developed in Veltman (1976) and Kratzer (1981). It also offers an alternative solution to the problems with naive Premise Semantics discussed by Angelika Kratzer in ‘Lumps of Thought’ (Kratzer, 1989). Such an alternative is called for given the triviality results presented in Kanazawa et al. (2005, this issue).
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  29. N. Asher (1998). The Semantics and Pragmatics of Presupposition. Journal of Semantics 15 (3):239-300.score: 36.0
    In this paper, we offer a novel analysis of presuppositions, paying particular attention to the interaction between the knowledge resources that are required to The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic under-specification (c£ Reyle 1993). Second, resolving this underspecification requires reasoning about how the presupposition is rhetorically connected to the discourse context. This has several consequences. First, since pragmatic information plays a role (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Mark Ryan & Pierre-Yves Schobbens (1997). Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6 (2):123-146.score: 36.0
    We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  31. C. Davis (2009). Decisions, Dynamics and the Japanese Particle Yo. Journal of Semantics 26 (4):329-366.score: 36.0
    I provide an account of the Japanese sentence-final particle yo within a dynamic semantics framework. I argue that yo is used with one of two intonational morphemes, corresponding to sentence-final rising or falling tunes. These intonational morphemes modify a sentence's illocutionary force head, adding an addressee-directed update semantics to the utterance. The different intonational contours specify whether this update is monotonic or non-monotonic. The use of yo is then argued to contribute a pragmatic presupposition to the (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  32. Christopher Gauker (2008). Against Accommodation: Heim, van der Sandt, and the Presupposition Projection Problem. Noûs 42 (1):171 - 205.score: 30.0
    This paper criticizes the dominant approaches to presupposition projection and proposes an alternative. Both the update semantics of Heim and the discourse representation theory of van der Sandt have problems in explicating the presuppositions of disjunctions. Moreover, Heim's approach is committed to a conception of accommodation that founders on the problem of informative presuppositions, and van der Sandt's approach is committed to a conception of accommodation that generates over-interpretations of utterances. The present approach borrows Karttunen's idea that instead (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  33. Lennart Åqvist (1964). A Solution to Moore's Paradox. Philosophical Studies 15 (1-2):1 - 5.score: 30.0
    Moore's paradox pits our intuitions about semantic oddness against the concept of truth-functional consistency. Most solutions to the problem proceed by explaining away our intuitions. But "consistency" is a theory-laden concept, having different contours in different semantic theories. Truth-functional consistency is appropriate only if the semantic theory we are using identifies meaning with truth-conditions. I argue that such a framework is not appropriate when it comes to analyzing epistemic modality. I show that a theory which accounts for a wide variety (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Anthony S. Gillies (2001). A New Solution to Moore's Paradox. Philosophical Studies 105 (3):237-250.score: 30.0
    Moore's paradox pits our intuitions about semantic oddnessagainst the concept of truth-functional consistency. Most solutions tothe problem proceed by explaining away our intuitions. But``consistency'' is a theory-laden concept, having different contours indifferent semantic theories. Truth-functional consistency is appropriateonly if the semantic theory we are using identifies meaning withtruth-conditions. I argue that such a framework is not appropriate whenit comes to analzying epistemic modality. I show that a theory whichaccounts for a wide variety of semantic data about epistemic modals(Update (...)) buys us a solution to Moore's paradox as a corollary.It turns out that Moorean propositions, when looked at through the lenseof an appropriate semantic theory, are inconsistent after all. (shrink)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  35. James R. Hurford (2007). Semantics: A Coursebook. Cambridge University Press.score: 30.0
    This practical coursebook introduces all the basics of semantics in a simple, step-by-step fashion. Each unit includes short sections of explanation with examples, followed by stimulating practice exercises to complete in the book. Feedback and comment sections follow each exercise to enable students to monitor their progress. No previous background in semantics is assumed, as students begin by discovering the value and fascination of the subject and then move through all key topics in the field, including sense and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Jiahong Guo (2009). The Incorporation of Moorean Type Information by Introspective Agents. Frontiers of Philosophy in China 4 (3):470-482.score: 30.0
    The main task is to discuss the issue in belief dynamics in which philosophical beliefs and rational introspective agents incorporate Moorean type new information. First, a brief survey is conducted on Moore’s Paradox, and one of its solutions is introduced with the help of Update Semantics. Then, we present a Dynamic Doxastic Logic (DDL) which revises the belief of introspective agents put forward by Lindström & Rabinowicz. Next, we attempt to incorporate Moorean type new information within the DEL (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  37. Paul Gochet (2002). The Dynamic Turn in Twentieth Century Logic. Synthese 130 (2):175 - 184.score: 30.0
    The dynamic nature ofGame-Theoretical Semantics is emphasized. The role of strategic meaning in accounting for linguistic competence is examined. The semantics of epistemic possibility is shown to involve a dynamic ingredient. Update semantics has been designed to capture it. The paper focuses on the interplay betweenlogical and linguistic competences indiscourse understanding.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Martin Stokhof, Coreference and Contextually Restricted Quantification.score: 30.0
    The aim of this paper is to argue that update semantics is a natural framework for contextually restricted quantification, and to illustrate its use in the analysis of anaphoric definite descriptions and certain other anaphoric terms.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Frank Veltman, Coreference and Contextually Restricted Quantification.score: 30.0
    The aim of this paper is to argue that update semantics is a natural framework for contextually restricted quantification, and to illustrate its use in the analysis of anaphoric definite descriptions and certain other anaphoric terms.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. N. van Leusen (2004). Incompatibility in Context: A Diagnosis of Correction. Journal of Semantics 21 (4):415-415.score: 30.0
    Presupposing the Logical Description Grammar of van Leusen & Muskens (2003, Meaning, the Dynamic Turn), we present an analysis of corrections in discourse. In line with Asher (1995, Proceedings of the Conference on Semantics in Context) it is argued that the defining characteristic of corrections is incompatibility: corrections require the presence of a contextually supported alternative to the corrective claim such that the two are inconsistent in the context of interpretation. A large range of accommodation and pragmatic strengthening effects (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Konstantinos Georgatos (2011). Updating Knowledge Using Subsets. Journal of Applied Non-Classical Logics 21 (3-4):427-441.score: 30.0
    Larry Moss and Rohit Parikh used subset semantics to characterize a family of logics for reasoning about knowledge. An important feature of their framework is that subsets always decrease based on the assumption that knowledge always increases. We drop this assumption and modify the semantics to account for logics of knowledge that handle arbitrary changes, that is, changes that do not necessarily result in knowledge increase, such as the update of our knowledge due to an action. We (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Irene Heim (1992). Presupposition Projection and the Semantics of Attitude Verbs. Journal of Semantics 9 (3):183-221.score: 26.0
    Karttunen observed that, if the complement of an attitude sentence presupposes p, then that sentence as a whole presupposes that the attitude–holder believes p. I attempt to derive some representative instances of this generalization from suitable assumptions about the lexical semantics of attitude predicates. The enterprise is carried out in a framework of context change semantics, which incorporates Stalnaker's suggestion that presupposition projection results from the stepwise fashion in which information is updated in response to complex utterances. The (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  43. Johannes L. Brandl (1993). Semantic Holism is Here to Stay. In Holism: A Consumer Update. Amsterdam: Rodopi. 1-16.score: 26.0
    Critically reflecting some theses of Fodor & LePore's Holism, it is argued that semantic holism in spite of all their criticism is not defeated. As a consequence of the rejection of the analytic-synthetic distinction, a first result is that they do not take Traditional Holism, as it originates from Frege and Wittgenstein, serious at all. Whereas a Weak Anatomism, inspired with views of Traditional Holism, might be an interesting alternative to atomism and holism even for Quine and Neo-Fregeans like Dummett. (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.score: 24.0
    We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the (...) of an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. Erich Rast, Context as Assumptions. MSH Lorraine Preprints 2010 of the Proceedings of the Epiconfor Workshop on Epistemology, Nancy 2009.score: 24.0
    In the tradition of Stalnaker (1978,2002, context can be regarded as a set of assumptions that are mutually shared by a group of epistemic agents.An obvious generalization of this view is to explicitly represent each agent’s assumptions in a given situation and update them accordingly when new information is accepted. I lay out a number of philosophical and linguistic requirements for using such a model in order to describe communication of ideally-rational agents. In particular,the following questions are addressed: -/- (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  46. Alex Lascarides & Nicholas Asher, The Interpretation of Questions in Dialogue.score: 24.0
    A semantic framework for interpreting dialogue should provide an account of the content that is mutually accepted by its participants. The acceptance by one agent of another’s contribution crucially involves the theory of what that contribution means; A’s acceptance of B’s contribution means that the content of B’s contribution must be integrated into A’s extant commitments.1 For assertions, traditionally assumed to express a proposition formalised as a set of possible worlds, it was clear how the integration should go: acceptance meant (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Livia Polanyi, Martin van den Berg & David Ahn (2003). Discourse Structure and Sentential Information Structure. An Initial Proposal. Journal of Logic, Language and Information 12 (3):337-350.score: 24.0
    In this article we argue that discourse structure constrains the set ofpossible constituents in a discourse that can provide the relevantcontext for structuring information in a target sentence, whileinformation structure critically constrains discourse structureambiguity. For the speaker, the discourse structure provides a set of possible contexts for continuation while information structure assignment is independent of discourse structure. For the hearer, the information structure of a sentence together with discourse structure instructs dynamic semantics how (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  48. J. Benthem & E. Pacuit (2011). Dynamic Logics of Evidence-Based Beliefs. Studia Logica 99 (1-3):61-92.score: 24.0
    This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Arthur Merin, Unconditionals.score: 24.0
    Unconditionals are syntactic conditionals whose affirmation affirms their consequent, unconditionally. Prominent instances were addressed by J.L. Austin ('There are biscuits if you want some') and Nelson Goodman (even-if 'semifactuals'). Their detailed features are explained in a Decision-Theoretic Semantics (DTS) which extends, by certainty and relevance conditions, the "CCCP" conditional probability construal of conditionals due to Ernest Adams and others. The construal of assertions of conditionals as conditional acts, defended by Keith DeRose and Richard Grandy in 1999 against objections arising (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Paul Portner, A Syntactic Analysis of Interpretive Restrictions on Imperative, Promissive, and Exhortative Subjects.score: 24.0
    In this paper we address a long standing issue concerning imperative subjects: What explains their semantic association with the addressee? We do so by working at the intersection of syntax and semantics and by taking into account data from two other clause types, exhortatives and promissives. These types are minimally different from imperatives and yet have not been examined in the same light. We will show that, by adding these missing pieces to the puzzle, we obtain a clearer picture (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000