Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Doxastic Logic.Michael Caie - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 499-541.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Negative Doxastic Voluntarism and the concept of belief.Hans Rott - 2017 - Synthese 194 (8):2695–2720.
    Pragmatists have argued that doxastic or epistemic norms do not apply to beliefs, but to changes of beliefs; thus not to the holding or not-holding, but to the acquisition or removal of beliefs. Doxastic voluntarism generally claims that humans acquire beliefs in a deliberate and controlled way. This paper introduces Negative Doxastic Voluntarism according to which there is a fundamental asymmetry in belief change: humans tend to acquire beliefs more or less automatically and unreflectively, but they tend to withdraw beliefs (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Logics of Knowledge and Belief.Robert Stalnaker - 2006 - Philosophical Studies 128 (1):169-199.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • Rational evaluation in belief revision.Yongfeng Yuan & Shier Ju - 2015 - Synthese 192 (7):2311-2336.
    We introduce a new operator, called rational evaluation, in belief change. The operator evaluates new information according to the agent’s core beliefs, and then exports the plausible part of the new information. It belongs to the decision module in belief change. We characterize rational evaluation by axiomatic postulates and propose two functional constructions for it, based on the well-known constructions of kernel sets and remainder sets, respectively. The main results of the paper are two representation theorems with respect to the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Generalizing AGM to a multi-agent setting.Guillaume Aucher - 2010 - Logic Journal of the IGPL 18 (4):530-558.
    We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the single-agent case, based on the notion of interpretation, to the multi-agent case. Then we show that, thanks to the shape of our new semantics, all the results of the AGM framework transfer. Afterwards we investigate some postulates that are specific to our multi-agent setting. Finally, we give an example of revision operator that fulfills one of these new postulates and give (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Dynamic Thoughts on Ifs and Oughts.Malte Willer - 2014 - Philosophers' Imprint 14:1-30.
    A dynamic semantics for iffy oughts offers an attractive alternative to the folklore that Chisholm's paradox enforces an unhappy choice between the intuitive inference rules of factual and deontic detachment. The first part of the story told here shows how a dynamic theory about ifs and oughts gives rise to a nonmonotonic perspective on deontic discourse and reasoning that elegantly removes the air of paradox from Chisholm's puzzle without sacrificing any of the two detachment principles. The second part of the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The Stability Theory of Belief.Hannes Leitgeb - 2014 - Philosophical Review 123 (2):131-171.
    This essay develops a joint theory of rational (all-or-nothing) belief and degrees of belief. The theory is based on three assumptions: the logical closure of rational belief; the axioms of probability for rational degrees of belief; and the so-called Lockean thesis, in which the concepts of rational belief and rational degree of belief figure simultaneously. In spite of what is commonly believed, this essay will show that this combination of principles is satisfiable (and indeed nontrivially so) and that the principles (...)
    Download  
     
    Export citation  
     
    Bookmark   162 citations  
  • From onions to broccoli: generalizing Lewis' counterfactual logic.Patrick Girard - 2007 - Journal of Applied Non-Classical Logics 17 (2):213-229.
    We present a generalization of Segerberg's onion semantics for belief revision, in which the linearity of the spheres need not occur. The resulting logic is called broccoli logic. We provide a minimal relational logic, with a bi-modal neighborhood semantics. We then show that broccoli logic is a well-known conditional logic, the Burgess-Veltman minimal conditional logic.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Belief Revision I: The AGM Theory.Franz Huber - 2013 - Philosophy Compass 8 (7):604-612.
    Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I I will first present the AGM theory of belief revision (Alchourrón & Gärdenfors & Makinson 1985). Then I will focus on the problem of iterated belief revisions.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.
    In this paper we investigate three approaches to iterated contraction, namely: the Moderate (or Priority) contraction, the Natural (or Conservative) contraction, and the Lexicographic contraction. We characterise these three contraction functions using certain, arguably plausible, properties of an iterated contraction function. While we provide the characterisation of the first two contraction operations using rationality postulates of the standard variety for iterated contraction, we found doing the same for the Lexicographic contraction more challenging. We provide its characterisation using a variation of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Belief Revision and Verisimilitude Based on Preference and Truth Orderings.Gerard Renardel de Lavalette & Sjoerd Zwart - 2011 - Erkenntnis 75 (2):237-254.
    In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Ramsey test revisited.Sten Lindström & Wlodek Rabinowicz - 1995 - In G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.), Conditionals: from philosophy to computer science. New York: Oxford University Press. pp. 131-182.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Epistemic entrenchment with incomparabilities and relational belief revision.Sten Lindström & Wlodek Rabinowicz - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 93--126.
    In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Modal logic and philosophy.Sten Lindström & Krister Segerberg - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Defeasible reasoning.Robert C. Koons - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • 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   31 citations  
  • (1 other version)A pragmatic framework for truth in fiction.Andrea Bonomi & Sandro Zucchi - 2003 - Dialectica 57 (2):103–120.
    In this paper we propose a semantic analysis of sentences of the form "In fiction x, p" based on this picture of context. We argue that the derived contexts for sentences in the scope of "In fiction X" are determined by three factors: what the beliefs of the author are taken to be, the conventions established for the fiction, and a defeasible presumption of reliability of the narrator. We develop a formal implementation based on the notion of a system of (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment.Horacio Arló-Costa & Isaac Levi - 2006 - Synthese 152 (1):129 - 154.
    We present a decision-theoretically motivated notion of contraction which, we claim, encodes the principles of minimal change and entrenchment. Contraction is seen as an operation whose goal is to minimize loses of informational value. The operation is also compatible with the principle that in contracting A one should preserve the sentences better entrenched than A (when the belief set contains A). Even when the principle of minimal change and the latter motivation for entrenchment figure prominently among the basic intuitions in (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Iterative probability kinematics.Horacio Arló-Costa & Richmond Thomason - 2001 - Journal of Philosophical Logic 30 (5):479-524.
    Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper functions, and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Belief and Probability: A General Theory of Probability Cores.Arthur Paul Pedersen & Horacio Arlo-Costa - 2012 - International Journal of Approximate Reasoning 53 (3).
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • A hyperintensional approach to positive epistemic possibility.Niccolò Rossi & Aybüke Özgün - 2023 - Synthese 202 (44):1-29.
    The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Counterfactual skepticism is (just) skepticism.David Boylan - 2023 - Philosophy and Phenomenological Research 108 (1):259-286.
    Counterfactual skepticism says that most ordinary counterfactuals are false. While few endorse counterfactual skepticism, the precise costs of the view are disputed and not generally well-understood. I have two aims in this paper. My first and primary aim is to establish, on grounds acceptable to all parties, that counterfactual skepticism is not benign. I argue it leads to significant skepticism about the future: if counterfactual skepticism is true, then we can have only very limited knowledge about the future. I give (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The logic of conditionals on outback trails.Johan van Benthem - 2023 - Logic Journal of the IGPL 31 (6):1135-1152.
    Conditional statements are ubiquitous, from promises and threats to reasoning and decision making. By now, logicians have studied them from many different angles, both semantic and proof-theoretic. This paper suggests two more perspectives on the meaning of conditionals, one dynamic and one geometric, that may throw yet more light on a familiar and yet in some ways surprisingly elusive and many-faceted notion.1.
    Download  
     
    Export citation  
     
    Bookmark  
  • Revising System Specifications in Temporal Logic.Paulo T. Guerra & Renata Wassermann - 2022 - Journal of Logic, Language and Information 31 (4):591-618.
    Although formal system verification has been around for many years, little attention was given to the case where the specification of the system has to be changed. This may occur due to a failure in capturing the clients’ requirements or due to some change in the domain (think for example of banking systems that have to adapt to different taxes being imposed). We are interested in having methods not only to verify properties, but also to suggest how the system model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Mighty Belief Revision.Stephan Krämer - 2022 - Journal of Philosophical Logic 51 (5):1175-1213.
    Belief revision theories standardly endorse a principle of intensionality to the effect that ideal doxastic agents do not discriminate between pieces of information that are equivalent within classical logic. I argue that this principle should be rejected. Its failure, on my view, does not require failures of logical omniscience on the part of the agent, but results from a view of the update as _mighty_: as encoding what the agent learns might be the case, as well as what must be. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The philosophy of logical practice.Ben Martin - 2022 - Metaphilosophy 53 (2-3):267-283.
    Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Simple and Non-Trivial Ramsey Test.Andreas Holger - 2022 - Journal of Logic, Language and Information 31 (3):309-325.
    This paper expounds a simple and non-trivial Ramsey Test. Drawing on the work of Peter Gärdenfors, it aims to help establish an epistemic alternative to the semantics of variably strict conditionals by Robert Stalnaker (in: Rescher (ed), Studies in logical theory, Blackwell, Oxford, 1968) and David Lewis (Counterfactuals, Blackwell, Oxford, 1973). The novelty of the present contribution lies in considering the framework of Preferred Subtheories as model of belief change upon which conditionals are defined. The resulting semantics avoids triviality in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The cost of consistency: information economy in Paraconsistent Belief Revision.Rafael Testa - 2015 - South American Journal of Logic 1 (2):461-480.
    By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, I shall argue (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Semantics for Hyperintensional Belief Revision Based on Information Bases.Sena Bozdag - 2022 - Studia Logica 110 (3):679-716.
    I propose a novel hyperintensional semantics for belief revision and a corresponding system of dynamic doxastic logic. The main goal of the framework is to reduce some of the idealisations that are common in the belief revision literature and in dynamic epistemic logic. The models of the new framework are primarily based on potentially incomplete or inconsistent collections of information, represented by situations in a situation space. I propose that by shifting the representational focus of doxastic models from belief sets (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Characterization of Probability-based Dichotomous Belief Revision.Sven Ove Hansson - 2021 - Studia Logica 110 (2):511-543.
    This article investigates the properties of multistate top revision, a dichotomous model of belief revision that is based on an underlying model of probability revision. A proposition is included in the belief set if and only if its probability is either 1 or infinitesimally close to 1. Infinitesimal probabilities are used to keep track of propositions that are currently considered to have negligible probability, so that they are available if future information makes them more plausible. Multistate top revision satisfies a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Selective Base Revisions.Marco Garapa - 2021 - Journal of Philosophical Logic 51 (1):1-26.
    Belief Revision addresses the problem of rationally incorporating pieces of new information into an agent’s belief state. In the AGM paradigm, the most used framework in Belief Revision, primacy is given to the new information, which is fully incorporated into the agent’s belief state. However, in real situations, one may want to reject the new information or only accept a part of it. A constructive model called Selective Revision was proposed to meet this need but, as in the AGM framework, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Priority merge and intersection modalities.Zoé Christoff, Norbert Gratzl & Olivier Roy - 2022 - Review of Symbolic Logic 15 (1):165-196.
    We study the logic of so-called lexicographic or priority merge for multi-agent plausibility models. We start with a systematic comparison between the logical behavior of priority merge and the more standard notion of pooling through intersection, used to define, for instance, distributed knowledge. We then provide a sound and complete axiomatization of the logic of priority merge, as well as a proof theory in labeled sequents that admits cut. We finally study Moorean phenomena and define a dynamic resolution operator for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Voluntary Imagination: A Fine-Grained Analysis.Ilaria Canavotto, Francesco Berto & Alessandro Giordani - 2020 - Review of Symbolic Logic (2):362-387.
    We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • The Hardest Paradox for Closure.Martin Smith - 2022 - Erkenntnis 87 (4):2003-2028.
    According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Revisionist reporting.Kyle Blumberg & Harvey Lederman - 2020 - Philosophical Studies 178 (3):755-783.
    Several theorists have observed that attitude reports have what we call “revisionist” uses. For example, even if Pete has never met Ann and has no idea that she exists, Jane can still say to Jim ‘Pete believes Ann can learn to play tennis in ten lessons’ if Pete believes all 6-year-olds can learn to play tennis in ten lessons and it is part of Jane and Jim’s background knowledge that Ann is a 6-year-old. Jane’s assertion seems acceptable because the claim (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.
    This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Simple Hyperintensional Belief Revision.F. Berto - 2018 - Erkenntnis 84 (3):559-575.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Extracting fictional truth from unreliable sources.Emar Maier & Merel Semeijn - 2021 - In Emar Maier & Andreas Stokke (eds.), The Language of Fiction. Oxford: Oxford University Press.
    A fictional text is commonly viewed as constituting an invitation to play a certain game of make-believe, with the individual sentences written by the author providing the propositions we are to imagine and/or accept as true within the fiction. However, we can’t always take the text at face value. What narratologists call ‘unreliable narrators’ may present a confused or misleading picture of the fictional world. Meanwhile there has been a debate in philosophy about so-called ‘imaginative resistance’ in which we are (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Full & Partial Belief.Konstantin Genin - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 437-498.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Ranking Theory.Franz Huber - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 397-436.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Belief Revision Theory.Hanti Lin - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 349-396.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2019 - Erkenntnis 86 (3):733-762.
    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 the logical consequences (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Truth in Fiction, Impossible Worlds, and Belief Revision.Francesco Berto & Christopher Badura - 2019 - Australasian Journal of Philosophy 97 (1):178-193.
    We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • (1 other version)On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators.Jake Chandler & Richard Booth - 2018 - In Michael Thielscher, Francesca Toni & Frank Wolter (eds.), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). pp. 210-219.
    Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Taming the runabout imagination ticket.Francesco Berto - 2018 - Synthese (Suppl 8):2029-2043.
    This research is published within the project ‘The Logic of Conceivability’, funded by the European Research Council, Grant Number 681404.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On the Ramsey Test Analysis of ‘Because’.Holger Andreas & Mario Günther - 2019 - Erkenntnis 84 (6):1229-1262.
    The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. We (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • On Non-Prioritized Multiple Belief Revision.Li Zhang - 2018 - Dissertation, Kth Royal Institute of Technology
    This thesis investigates a sort of non-prioritized multiple revision, the operation of making up one's mind, and its generalization, the operation of choice revision. Making up one's mind about a sentence is a belief change that takes the agent to a belief state in which either the sentence or its negation is believed. In choice revision, the input information is represented by a set of sentences, and the agent should make a choice on which sentences to be accepted. Apart from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT".Alex Silk - 2021 - In Billy Dunaway & David Plunkett (eds.), Meaning, Decision, and Norms: Themes From the Work of Allan Gibbard. Ann Arbor, Michigan: Maize Books. pp. 203-245.
    This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On An Error In Grove's Proof.Koji Tanaka & Graham Priest - 1997 - Logique Et Analyse 158:215-217.
    Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Extending the Harper Identity to Iterated Belief Change.Jake Chandler & Richard Booth - 2016 - In Subbarao Kambhampati (ed.), Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). Palo Alto, USA: AAAI Press / International Joint Conferences on Artificial Intelligence.
    The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations