Results for 'dynamic logic'

1000+ found
Order:
  1. Acts of Requesting in Dynamic Logic of Knowledge and Obligation.Tomoyuki Yamada - 2011 - European Journal of Analytic Philosophy 7 (2):59-82.
    Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
    Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic.Ivan Varzinczak - 2006 - Dissertation, Université Paul Sabatier
    Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Dynamic Models in Imperative Logic (Imperatives in Action: Changing Minds and Norms).Berislav Žarnić - 2011 - In Anna Brozek, Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2). Wydawnictwo Naukowe Semper.
    The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5. Kant’s Dynamic Hylomorphism in Logic.Elena Dragalina Chernaya - 2016 - Con-Textos Kantianos 4: 127-137.
    The aim of this paper is to provide a dynamic interpretation of Kant’s logical hylomorphism. Firstly, various types of the logical hylomorphism will be illustrated. Secondly, I propose to reevaluate Kant’s constitutivity thesis about logic. Finally, I focus on the design of logical norms as specific kinds of artefacts.
    Download  
     
    Export citation  
     
    Bookmark  
  6. Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs And Ramsey Conditionals Within DDL.Sten Lindström & Wiodek Rabinowicz - 1997 - In Lars Lindahl, Paul Needham & Ryszard Sliwinski (eds.), For Good Measure. Uppsala, Sverige:
    In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. DDL Unlimited: Dynamic Doxastic Logic for Introspective Agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Erkenntnis 50 (2-3):353-385.
    The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  8. Dynamic Semantics, Imperative Logic and Propositional Attitudes.Berislav Žarnić - 2002 - Uppsala Universitet.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens Bjerring - 2019 - Journal of Philosophical Logic 48 (3):501-521.
    The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  92
    A Dynamic Epistemic Logic with a Knowability Principle.Michael Cohen - 2015 - In Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science. Berlin: Springer. pp. 406-410.
    A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Living Words: Meaning Underdetermination and the Dynamic Lexicon.Peter Ludlow - 2014 - Oxford University Press.
    Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  13. Dynamic Consequence for Soft Information.Olivier Roy & Ole Thomassen Hjortland - forthcoming - Journal of Logic and Computation.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.
    The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
    In this dissertation we present proof systems for several modal logics. These proof systems are based on analytic (or semantic) tableaux. -/- Modal logics are logics for reasoning about possibility, knowledge, beliefs, preferences, and other modalities. Their semantics are almost always based on Saul Kripke’s possible world semantics. In Kripke semantics, models are represented by relational structures or, equivalently, labeled graphs. Syntactic formulas that express statements about knowledge and other modalities are evaluated in terms of such models. -/- This dissertation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - forthcoming - Erkenntnis:1-30.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In O. Roy, T. Allard & W. Malte (eds.), Deontic Logic and Normative Systems. College Publications. pp. 80-92.
    The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  97
    Epistemic Friction: An Essay on Knowledge, Truth, and Logic.Gila Sher - 2016 - Oxford: Oxford University Press UK.
    Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  20. NASSLLI 2016 Dynamic Semantics (5): Quantification.Maria Bittner - unknown
    Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 5: Quantification. Abstract: In discourse, quantifiers can function as antecedents or anaphors. We analyze a sample discourse in Dynamic Plural Logic (DPlL, van den Berg 1993, 1994), which represents not only current discourse referents, but also current relations by means of plural information states. This makes it possible to analyze quantification as structured discourse reference. Finally, the DPlL analysis is transposed into Update with Centering, to simplify the formalism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Tense and the Logic of Change.Reinhard Muskens - 1995 - In Urs Egli, Peter Pause, Christoph Schwarze, Arnim von Stechow & Götz Wienold (eds.), Lexical Knowledge in the Organization of Language. Amsterdam/Philadelphia: John Benjamins. pp. 147-183.
    In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  22. The Logic of Metabolism and its Fuzzy Consequences.A. Danchin - 2014 - Environmental Microbiology 16 (1):19-28.
    Intermediary metabolism molecules are orchestrated into logical pathways stemming from history (L-amino acids, D-sugars) and dynamic constraints (hydrolysis of pyrophosphate or amide groups is the driving force of anabolism). Beside essential metabolites, numerous variants derive from programmed or accidental changes. Broken down, variants enter standard pathways, producing further variants. Macromolecule modification alters enzyme reactions specificity. Metabolism conform thermodynamic laws, precluding strict accuracy. Hence, for each regular pathway, a wealth of variants inputs and produces metabolites that are similar to but (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Virtual Mathematics: The Logic of Difference.Simon B. Duffy (ed.) - 2006 - Clinamen.
    Of all twentieth century philosophers, it is Gilles Deleuze whose work agitates most forcefully for a worldview privileging becoming over being, difference over sameness; the world as a complex, open set of multiplicities. Nevertheless, Deleuze remains singular in enlisting mathematical resources to underpin and inform such a position, refusing the hackneyed opposition between ‘static’ mathematical logic versus ‘dynamic’ physical world. This is an international collection of work commissioned from foremost philosophers, mathematicians and philosophers of science, to address the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  24. One's Modus Ponens: Modality, Coherence and Logic.Una Stojnić - 2017 - Philosophy and Phenomenological Research 95 (1):167-214.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  25.  26
    Evolutionism: Logic, Language and Thought.Alexandru Anghelescu - 2016 - Procedia Environmental Sciences 2016 (32):184 – 189.
    Do other earthly forms of life evolved to the level of intelligent life? Cancer and resistance to antibiotics obliged to ask this question. Signs of intelligence are found at its simplest levels. We try to see if logic is used at these levels. Peter of Spain’s suppositio materialis is applied to the chemical signals of cells. Dynamic Logic is used to understand these chemical communications. <System of communications> is used, instead of “language”. The development of life appears (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities.Avi Sion - 1990,1996 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Presuppositions, Logic, and Dynamics of Belief.Slavko Brkic - 2004 - Prolegomena 3 (2):151-177.
    In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  64
    Remarks on Logic for Process Descriptions in Ontological Reasoning: A Drug Interaction Ontology Case Study.Mitsuhiro Okada, Barry Smith & Yutaro Sugimoto - 2008 - In InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138.
    We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. A Counterexample T o All Future Dynamic Systems Theories of Cognition.Eric Dietrich - 2000 - J. Of Experimental and Theoretical AI 12 (2):377-382.
    Years ago, when I was an undergraduate math major at the University of Wyoming, I came across an interesting book in our library. It was a book of counterexamples t o propositions in real analysis (the mathematics of the real numbers). Mathematicians work more or less like the rest of us. They consider propositions. If one seems to them to be plausibly true, then they set about to prove it, to establish the proposition as a theorem. Instead o f setting (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  42
    Commonsense Reasoning as a Key Feature for Dynamic Knowledge Invention and Computational Creativity.Antonio Lieto - 2020 - ICAR-MEET 2020.
    Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this talk, I will show how commonsense reasoning plays a crucial role in this respect. In particular, I will present a cognitively inspired reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion. The proposed approach (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. A Modal Logic for Gödelian Intuition.Hasen Khudairi - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability logic, which embeds GL within the modal $\mu$-calculus. Via correspondence results between modal logic and the bisimulation-invariant fragment of second-order logic, a precise translation can then be provided between the notion of 'intuition-of', (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Rigid and Flexible Quantification in Plural Predicate Logic.Lucas Champollion, Justin Bledin & Haoze Li - forthcoming - Semantics and Linguistic Theory 27.
    Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic That Avoid Fitch’s Paradox.Alexandru Dragomir - 2014 - Romanian Journal of Analytic Philosophy 8 (1):44-62.
    1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Hidden Protocols: Modifying Our Expectations in an Evolving World.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
    When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. ‘A Part’ of the World: Deleuze and the Logic of Creation.Satoor Christopher - 2017 - Deleuze and Guatarri Studies 11 (1):25-47.
    Is there a particular danger in following Deleuze's philosophy to its end result? According to Peter Hallward, Deleuze's philosophy has some rather severe conclusions. Deleuze has been portrayed by him as a theological and spiritual thinker of life. Hallward seeks to challenge the accepted view of Deleuze, showing that these accepted norms in Deleuzian scholarship should be challenged and that, initially, Deleuze calls for the evacuation of political action in order to remain firm in the realm of pure contemplation. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  92
    Belief Change for Introspective Agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Spinning Ideas, Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday.
    We discuss various possibilities for developing a dynamic doxastic logic (DDL) for introspective agents: agents who have the ability to form higher-order beliefs. Such agents can reflect upon and change their minds about their own beliefs. The project of constructing such a logic, full DDL or DDL unlimited, is ridden with difficulties due to the fact that the agent's own doxastic state now becomes a part of the reality he is trying to explore. When an introspective agent (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. A Uniform Theory of Conditionals.William B. Starr - 2014 - Journal of Philosophical Logic 43 (6):1019-1064.
    A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  39. Tense, Mood, and Centering.Maria Bittner - manuscript
    Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  40. Pluralistic Ignorance in the Bystander Effect: Informational Dynamics of Unresponsive Witnesses in Situations Calling for Intervention.Rasmus Kraemmer Rendsvig - 2014 - Synthese 191 (11):2471-2498.
    The goal of the present paper is to construct a formal explication of the pluralistic ignorance explanation of the bystander effect. The social dynamics leading to inaction is presented, decomposed, and modeled using dynamic epistemic logic augmented with ‘transition rules’ able to characterize agent behavior. Three agent types are defined: First Responders who intervene given belief of accident; City Dwellers, capturing ‘apathetic urban residents’ and Hesitators, who observe others when in doubt, basing subsequent decision on social proof. It (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  41. Binding On the Fly: Cross-Sentential Anaphora in Variable— Free Semantics.Anna Szabolcsi - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora. Kluwer Academic Publishers. pp. 215--227.
    Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Topic States in Mandarin Discourse.Maria Bittner - forthcoming - In Michael Opper (ed.), Proceedings of the 25th North American Conference on Chinese Linguistics. Ohio State University.
    I propose that Mandarin 。-sentences (units marked by 。) are aspectual topic-comment sequences, where an initial update (terminating in a pause) introduces a topic state for comment by one or more clauses. Each comment anaphorically refers to the topic state via the aspect feature of the verbal predicate. This proposal explains why Mandarin 。-sentences have controversial boundaries, since speakers may disagree where one topic state ends and the next one begins. It also explains various manifestations of aspect-prominence and topic-prominence in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. A Squib on Anaphora and Coindexing.Reinhard Muskens - 2011 - Linguistics and Philosophy 34 (1):85-89.
    There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Context Probabilism.Seth Yalcin - 2012 - In M. Aloni, Maria Aloni, Vadim Kimmelmann, Floris Roelofson, Galit W. Sassoon, Katrin Schulz & Matthijs Westera (eds.), Logic, Language, and Meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers. Berlin: Springer. pp. 12-21.
    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.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   27 citations  
  45. Imperative Statics and Dynamics.Nate Charlow - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  46.  70
    Two Puzzles About Ability Can.Malte Willer - forthcoming - Linguistics and Philosophy:1-36.
    The received wisdom on ability modals is that they differ from their epistemic and deontic cousins in what inferences they license and better receive a universal or conditional analysis instead of an existential one. The goal of this paper is to sharpen the empirical picture about the semantics of ability modals, and to propose an analysis that explains what makes the can of ability so special but that also preserves the crucial idea that all uses of can share a common (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  47. Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. Believing Epistemic Contradictions.Beddor Bob & Simon Goldstein - 2018 - Review of Symbolic Logic (1):87-114.
    What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed under (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  49. Swahili Conditional Constructions in Embodied Frames of Reference: Modeling Semantics, Pragmatics, and Context-Sensitivity in UML Mental Spaces.Roderick Fish - 2020 - Dissertation, Trinity Western University
    Studies of several languages, including Swahili [swa], suggest that realis (actual, realizable) and irrealis (unlikely, counterfactual) meanings vary along a scale (e.g., 0.0–1.0). T-values (True, False) and P-values (probability) account for this pattern. However, logic cannot describe or explain (a) epistemic stances toward beliefs, (b) deontic and dynamic stances toward states-of-being and actions, and (c) context-sensitivity in conditional interpretations. (a)–(b) are deictic properties (positions, distance) of ‘embodied’ Frames of Reference (FoRs)—space-time loci in which agents perceive and from which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Logical Inference and Its Dynamics.Carlotta Pavese - June 2016 - In Tamminga Allard, Willer Malte & Roy Olivier (eds.), Deontic Logic and Normative Systems. College Publications. pp. 203-219.
    This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000