This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

111 found
Order:
1 — 50 / 111
  1. added 2020-03-11
    A Nonmonotonic Conditional Logic for Belief Revision.Hans Rott - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Berlin: Springer. pp. 135–181.
    Using Gärdenfors's notion of epistemic entrenchment, we develop the semantics of a logic which accounts for the following points. It explains why we may generally infer `If ~A then B´ if all we know is AvB while must not generally infer `If ~A then B´ if all we know is {AvB, A}. More generally, it explains the nonmonotonic nature of the consequence relation governing languages which contain conditionals, and it explains how we can deduce conditionals from premise sets without conditionals. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2. added 2020-02-07
    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. 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 to (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2019-09-13
    The Reasoning View and Defeasible Practical Reasoning.Samuel Asarnow - 2017 - Philosophy and Phenomenological Research 95 (3):614-636.
    According to the Reasoning View about normative reasons, facts about normative reasons for action can be understood in terms of facts about the norms of practical reasoning. I argue that this view is subject to an overlooked class of counterexamples, familiar from debates about Subjectivist theories of normative reasons. Strikingly, the standard strategy Subjectivists have used to respond to this problem cannot be adapted to the Reasoning View. I think there is a solution to this problem, however. I argue that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. added 2019-08-29
    Seltsame Wahlen. Zur Rationalität vermeintlicher Anomalien beim Entscheiden und Schlussfolgern.Hans Rott - 2009 - Studia Philosophica: Jahrbuch Der Schweizerischen Philosoph Ischen Gesellschaft, Annuaire de la Société Suisse de Philosphie 68:43-64.
    This paper discusses a number of apparent anomalies in rational choice scenarios, and their translation into the logic of everyday reasoning. Three classes of examples that have been discussed in the context of probabilistic choice since the 1960s are analyzed in a nonprobabilistic setting. It is shown how they can at the same time be regarded as logical problems that concern the drawing of defeasible inferences from a given information base. I argue that initial appearances notwithstanding, these cases should not (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-07-29
    Elementary Iterated Revision and the Levi Identity.Jake Chandler & Richard Booth - forthcoming - In Proceedings of the 7th International Conference on Logic, Rationality and Interaction (LORI 2019).
    Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of single-shot revision. The present paper considers the prospects of providing a similar extension of the Levi Identity (LI), in which the direction of definition runs the other way. We restrict our attention here to the three classic iterated revision operators--natural, restrained and lexicographic, for which we provide here the first collective characterisation in the (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2019-06-06
    A Theory of Presumption for Everyday Argumentation.David M. Godden & Douglas N. Walton - 2007 - Pragmatics and Cognition 15 (2):313-346.
    The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  7. added 2019-04-01
    A Logic for Best Explanations.Jared Millson & Christian Straßer - 2019 - Journal of Applied Non-Classical Logics 29 (2):184-231.
    Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. added 2018-08-19
    Knowability Relative to Information.Peter Hawke & Franz Berto - forthcoming - Mind.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. added 2018-07-09
    Mental Models and Nonmonotonic Reasoning.Nick Chater - 1993 - Behavioral and Brain Sciences 16 (2):340-341.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. added 2018-02-04
    Inferentialist-Expressivism for Explanatory Vocabulary.Jared A. Millson, Kareem Khalifa & Mark Risjord - 2018 - In Ondřej Beran, Vojtěch Kolman & Ladislav Koreň (eds.), From rules to meanings. New essays on inferentialism. Routledge.
    In this essay, we extend earlier inferentialist-expressivist treatments of traditional logical, semantic, modal, and representational vocabulary (Brandom 1994, 2008, 2015; Peregrin 2014) to explanatory vocabulary. From this perspective, Inference to the Best Explanation (IBE) appears to be an obvious starting point. In its simplest formulation, IBE has the form: A best explains why B, B; so A. It thereby captures one of the central inferential features of explanation. An inferentialist-expressivist treatment of “best explains” would treat it as a logical operator. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. added 2018-01-06
    Efficient Reasoning About Rich Temporal Domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.
    We identify two pragmatic problems in temporal reasoning, the qualification problem and the extended prediction problem, the latter subsuming the infamous frame problem. Solutions to those seem to call for nonmonotonic inferences, and yet naive use of standard nonmonotonic logics turns out to be inappropriate. Looking for an alternative, we first propose a uniform approach to constructing and understanding nonmonotonic logics. This framework subsumes many existing nonmonotonic formalisms, and yet is remarkably simple, adding almost no extra baggage to traditional logic. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12. added 2017-11-11
    Modelling Belief Revision Via Belief Bases Using Situation Semantics.Ayse Sena Bozdag - 2017 - Dissertation, Bogazici University
    The belief base approach to belief representation and belief dynamics is developed as an alternative to the belief set approaches, which are pioneered by the AGM model. The belief base approach models collections of information and expectations of an agent as possibly incomplete and possibly inconsistent foundations for her beliefs. Nevertheless, the beliefs of an agent are always consistent; this is ensured by a sophisticated inference relation. Belief changes take place on the information base instead of on the belief set, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. added 2017-10-28
    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.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2017-09-18
    Hard and Soft Logical Information.Allo Patrick - 2017 - Journal of Logic and Computation:1-20.
    In this paper I use the distinction between hard and soft information from the dynamic epistemic logic tradition to extend prior work on informational conceptions of logic to include non-monotonic consequence-relations. In particular, I defend the claim that at least some non-monotonic logics can be understood on the basis of soft or “belief-like” logical information, and thereby question the orthodox view that all logical information is hard, “knowledge-like”, information.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. added 2017-07-01
    When Structural Principles Hold Merely Locally.Ulf Hlobil - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 53-67.
    In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. added 2017-06-15
    A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
    I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17. added 2017-05-08
    Situated Nonmonotonic Temporal Reasoning with BABY-SIT.Varol Akman - manuscript
    gramming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requir-.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. added 2017-05-08
    Probabilistic Logic Under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.
    We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model- theoretic probabilistic reasoning and to default reasoning in System . In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  19. added 2017-05-08
    Nonmonotonic Reasoning.Marek A. Suchenek - 2001 - Studia Logica 67 (1):144-146.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  20. added 2017-05-08
    Belief Contraction as Nonmonotonic Inference.Alexander Bochman - 2000 - Journal of Symbolic Logic 65 (2):605-626.
    A notion of an epistemic state is introduced as a generalization of common representations suggested for belief change. Based on it, a new kind of nonmonotonic inference relation corresponding to belief contractions is defined. A number of representation results is established that cover both traditional AGM contractions and contractions that do not satisfy recovery.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. added 2017-05-08
    Review: Dov M. Gabbay, C. J. Hogger, J. A. Robinson, D. Nute, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning. [REVIEW]G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2017-05-02
    The Logic of Epistemic Justification.Martin Smith - 2018 - Synthese 195 (9):3857-3875.
    Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23. added 2017-03-06
    Reward Versus Risk in Uncertain Inference: Theorems and Simulations.Gerhard Schurz & Paul D. Thorn - 2012 - Review of Symbolic Logic 5 (4):574-612.
    Systems of logico-probabilistic reasoning characterize inference from conditional assertions that express high conditional probabilities. In this paper we investigate four prominent LP systems, the systems _O, P_, _Z_, and _QC_. These systems differ in the number of inferences they licence _. LP systems that license more inferences enjoy the possible reward of deriving more true and informative conclusions, but with this possible reward comes the risk of drawing more false or uninformative conclusions. In the first part of the paper, we (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24. added 2017-02-25
    Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
    I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  25. added 2017-02-15
    To Preference Via Entrenchment.Konstantinos Georgatos - 1999 - Annals of Pure and Applied Logic 96 (1--3):141--155.
    We introduce a simple generalization of Gardenfors and Makinson’s epistemic entrenchment called partial entrenchment. We show that preferential inference can be generated as the sceptical counterpart of an inference mechanism defined directly on partial entrenchment.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. added 2017-02-13
    O is Not Enough.J. B. Paris & R. Simmonds - 2009 - Review of Symbolic Logic 2 (2):298-309.
    We examine the closure conditions of the probabilistic consequence relation of Hawthorne and Makinson, specifically the outstanding question of completeness in terms of Horn rules, of their proposed (finite) set of rules O. We show that on the contrary no such finite set of Horn rules exists, though we are able to specify an infinite set which is complete.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  27. added 2017-01-26
    The Threshold-Versus-Duration Curve is Nonmonotonic.Thomas R. Corwin - 1984 - Bulletin of the Psychonomic Society 22 (5):441-442.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2017-01-19
    Situated Nonmonotonic Temporal Reasoning with Baby-Sit.Erkan Tin & Varol Akman - unknown
    After a review of situation theory and previous attempts at `computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2017-01-19
    Nonmonotonic Theories and Their Axiomatic Varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.
    The properties of monotonic inference systems and the properties of their theories are strongly linked. These links, however, are much weaker in nonmonotonic inference systems. In this paper we introduce the notion of anaxiomatic variety for a theory and show how this notion, instead of the notion of a theory, can be used for the syntactic and semantic analysis of nonmonotonic inferences.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2016-12-08
    The Quantitative/Qualitative Watershed for Rules of Uncertain Inference.James Hawthorne & David Makinson - 2007 - Studia Logica 86 (2):247-297.
    We chart the ways in which closure properties of consequence relations for uncertain inference take on different forms according to whether the relations are generated in a quantitative or a qualitative manner. Among the main themes are: the identification of watershed conditions between probabilistically and qualitatively sound rules; failsafe and classicality transforms of qualitatively sound rules; non-Horn conditions satisfied by probabilistic consequence; representation and completeness problems; and threshold-sensitive conditions such as `preface' and `lottery' rules.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  31. added 2016-12-08
    Coherence and Nonmonotonicity in Human Reasoning.Niki Pfeifer & Gernot D. Kleiter - 2005 - Synthese 146 (1-2):93-109.
    Nonmonotonic reasoning is often claimed to mimic human common sense reasoning. Only a few studies, though, have investigated this claim empirically. We report four experiments which investigate three rules of SYSTEMP, namely the AND, the LEFT LOGICAL EQUIVALENCE, and the OR rule. The actual inferences of the subjects are compared with the coherent normative upper and lower probability bounds derived from a non-infinitesimal probability semantics of SYSTEM P. We found a relatively good agreement of human reasoning and principles of nonmonotonic (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  32. added 2016-09-21
    Brandom’s Account of Reasoning.Reiner Schaefer - 2016 - Journal of Philosophical Research 41:129-150.
    In most everyday instances of reasoning, reasoners can gain, lose, and reacquire entitlement to (or justification for) a possible commitment (or belief) as a result of their consecutively acquiring new commitments. For example, we might initially conclude that ‘Tweety can fly’ from ‘Tweety is a bird,’ but later have to reject this conclusion as a result of our coming to learn that Tweety is a penguin. We could, even later, reacquire entitlement to ‘Tweety can fly’ if we became committed (and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. added 2016-09-12
    On Representation Theorems for Nonmonotonic Consequence Relations.Ramón Pino Pérez & Carlos Uzcátegui - 2000 - Journal of Symbolic Logic 65 (3):1321-1337.
    One of the main tools in the study of nonmonotonic consequence relations is the representation of such relations in terms of preferential models. In this paper we give an unified and simpler framework to obtain such representation theorems.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34. added 2016-08-30
    A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures.James Hawthorne - 2014 - Studia Logica 102 (4):731-749.
    Rational consequence relations and Popper functions provide logics for reasoning under uncertainty, the former purely qualitative, the latter probabilistic. But few researchers seem to be aware of the close connection between these two logics. I’ll show that Popper functions are probabilistic versions of rational consequence relations. I’ll not assume that the reader is familiar with either logic. I present them, and explicate the relationship between them, from the ground up. I’ll also present alternative axiomatizations for each logic, showing them to (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. added 2016-08-22
    The Nature of Nonmonotonic Reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
    Conclusions reached using common sense reasoning from a set of premises are often subsequently revised when additional premises are added. Because we do not always accept previous conclusions in light of subsequent information, common sense reasoning is said to be nonmonotonic. But in the standard formal systems usually studied by logicians, if a conclusion follows from a set of premises, that same conclusion still follows no matter how the premise set is augmented; that is, the consequence relations of standard logics (...)
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36. added 2016-08-22
    On the Relation Between Nonmonotonic ATMS and ALPSN.K. Nakamatsu & A. Suzuki - 1995 - Proc. Japanese Society for Ai Sig Fai 9502 (1):1-8.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  37. added 2016-08-22
    Faithful Representation of Nonmonotonic Patterns of Inference.John Pais - 1992 - Minds and Machines 2 (1):27-49.
    Recently, John Bell has proposed that a specific conditional logic, C, be considered as a serious candidate for formally representing and faithfully capturing various (possibly all) formalized notions of nonmonotonic inference. The purpose of the present paper is to develop evaluative criteria for critically assessing such claims. Inference patterns are described in terms of the presence or absence of residual classical monotonicity and intrinsic nonmonotonicity. The concept of a faithful representation is then developed for a formalism purported to encode a (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. added 2016-06-20
    Substantive Assumptions in Interaction: A Logical Perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.
    In this paper we study substantive assumptions in social interaction. By substantive assumptions we mean contingent assumptions about what the players know and believe about each other’s choices and information. We first explain why substantive assumptions are fundamental for the analysis of games and, more generally, social interaction. Then we show that they can be compared formally, and that there exist contexts where no substantive assumptions are being made. Finally we show that the questions raised in this paper are related (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39. added 2016-06-20
    Advances in Belief Dynamics: Introduction.F. Liu & O. Roy - 2010 - Synthese 173 (2):123-126.
    This is the introduction of the special issue,.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2016-05-17
    Qualitative Probabilistic Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz - 2016 - Journal of Applied Logic 19 (2):87-101.
    In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to yield (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41. added 2016-03-15
    Logic, Reasoning and Revision.Patrick Allo - 2016 - Theoria 82 (1):3-31.
    The traditional connection between logic and reasoning has been under pressure ever since Gilbert Harman attacked the received view that logic yields norms for what we should believe. In this article I first place Harman's challenge in the broader context of the dialectic between logical revisionists like Bob Meyer and sceptics about the role of logic in reasoning like Harman. I then develop a formal model based on contemporary epistemic and doxastic logic in which the relation between logic and norms (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. added 2016-03-15
    Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
    Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal logic. By characterising the class of abnormality models, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. added 2016-03-15
    Local Information and Adaptive Consequence.Patrick Allo - 2006 - Logique Et Analyse 149:461-488.
    In this paper we provide a formal description of what it means to be in a local or partial information-state. Starting from the notion of locality in a relational structure, we define so-called adaptive gen- erated submodels. The latter are then shown to yield an adaptive logic wherein the derivability of Pφ is naturally interpreted as a core property of being in a state in which one holds the information that φ.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. added 2016-02-27
    Two Concepts of Plausibility in Default Reasoning.Hans Rott - 2014 - Erkenntnis 79 (S6):1219–1252.
    In their unifying theory to model uncertainty, Friedman and Halpern (1995–2003) applied plausibility measures to default reasoning satisfying certain sets of axioms. They proposed a distinctive condition for plausibility measures that characterizes “qualitative” reasoning (as contrasted with probabilistic reasoning). A similar and similarly fundamental, but more general and thus stronger condition was independently suggested in the context of “basic” entrenchment-based belief revision by Rott (1996–2003). The present paper analyzes the relation between the two approaches to formalizing basic notions of plausibility (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45. added 2016-02-26
    Degrees All the Way Down: Beliefs, Non-Beliefs and Disbeliefs.Hans Rott - 2009 - In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of Belief. Springer. pp. 301--339.
    This paper combines various structures representing degrees of belief, degrees of disbelief, and degrees of non-belief (degrees of expectations) into a unified whole. The representation uses relations of comparative necessity and possibility, as well as non-probabilistic functions assigning numerical values of necessity and possibility. We define all-encompassing necessity structures which have weak expectations (mere hypotheses, guesses, conjectures, etc.) occupying the lowest ranks and very strong, ineradicable ('a priori') beliefs occupying the highest ranks. Structurally, there are no differences from the top (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  46. added 2016-02-26
    Information Structures in Belief Revision.Hans Rott - 2008 - In Johan Van Benthem & Pieter Adriaans (eds.), Philosophy of Information, Vol. 8 of the Handbook of the Philosophy of Science. Amsterdam: Elsevier. pp. 457–482.
    This is a survey paper. Contents: 1 Introduction ― 2 Preliminary remarks on information, truth and mind - 2.1 Remarks on information and truth - 2.2 Some clues from the philosophy of mind - 2.3 Functionalism as applied to belief revision - 2.4 Filling in the parameters ― 3 Belief change = revision + reflection - 3.1 Foundationalism - 3.2 Coherentism ― 4 Inference operations for simple change operations: three examples - 4.1 Example 1: flat data bases - 4.2 Example (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  47. added 2016-02-26
    Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning.Hans Rott - 2001 - Oxford University Press.
    Change, Choice and Inference develops logical theories that are necessary both for the understanding of adaptable human reasoning and for the design of intelligent systems. The book shows that reasoning processes - the drawing on inferences and changing one's beliefs - can be viewed as belonging to the realm of practical reason by embedding logical theories into the broader context of the theory of rational choice. The book unifies lively and significant strands of research in logic, philosophy, economics and artificial (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   61 citations  
  48. added 2016-02-26
    Drawing Inferences From Conditionals.Hans Rott - 1997 - In Eva Ejerhed Sten Lindström (ed.), Logic, Action and Cognition. Essays in Philosophical Logic. Kluwer Academic Publishers. pp. 149-179.
    This paper compares three accounts of what can be inferred from a knowledge base that contains conditionals: Lehmann and Magidor’s Rational Entailment; Pearl’s System Z, later extended and refined in collaboration with Goldszmidt; and the present author’s Nonmonotonic conditional logic for belief revision. We show that although the ideas motivating these systems are strikingly different, they are formally equivalent. An explanation of the surprising parallel is offered in terms of the interpretation of conditionals in the context of nonmonotonic reasoning and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  49. added 2016-01-18
    Perspectives in the Interpretation of Defeasible Reasoning.Giacomo Turbanti - 2014 - The Logica Yearbook 2013 2013:239-254.
    Non-monotonicity in logic is a symptom that may have many causes. In the formalisation of defeasible reasoning, an epistemic diagnosis has largely prevailed according to which some inferences are non-monotonic because they are provisionally drawn in the absence of relevant or complete information. The Gabbay-Makinson rules for cumulative consequence relations are a paradigmatic example of this epistemic approach. In this paper a different approach to defeasible reasoning is introduced, based on the idea of inferential perspectives. According to this approach, some (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  50. added 2015-11-02
    The Inheritance of Defaults in the Case of Exceptional Subclasses.Paul D. Thorn - 2015 - The Reasoner 9 (11):93.
1 — 50 / 111