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

145 found
Order:
1 — 50 / 145
  1. Logic in Knowledge Representation and Reasoning: Central Topics Via Readings.Luis M. Augusto - manuscript
    Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Probability Semantics for Aristotelian Syllogisms.Niki Pfeifer & Giuseppe Sanfilippo - manuscript
    We present a coherence-based probability semantics for (categorical) Aristotelian syllogisms. For framing the Aristotelian syllogisms as probabilistic inferences, we interpret basic syllogistic sentence types A, E, I, O by suitable precise and imprecise conditional probability assessments. Then, we define validity of probabilistic inferences and probabilistic notions of the existential import which is required, for the validity of the syllogisms. Based on a generalization of de Finetti's fundamental theorem to conditional probability, we investigate the coherent probability propagation rules of argument forms (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. 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   12 citations  
  5. Structured Argumentation Dynamics: Undermining Attacks in Default Justification Logic.Stipe Pandžić - forthcoming - Annals of Mathematics and Artificial Intelligence:1-41.
    This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and undermining attacks. We build on default justification logic that already represents undercutting and rebutting attacks, and we add undermining attacks. Intuitively, undermining does not target default inference, as undercutting, or default conclusion, as rebutting, but rather attacks an argument’s premise as a starting point for default reasoning. In default justification logic, reasoning starts from a set of premises, which is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Probability Logic.Niki Pfeifer - forthcoming - In M. Knauff & Wolfgang Spohn (eds.), Handbook of Rationality. Cambridge, MA, USA:
    This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability logic is characterized as a generalization of bivalent truth-functional propositional logic (short “logic”), as being connexive, and as being nonmonotonic. The chapter discusses selected argument forms and associated uncertainty propagation rules. Throughout the chapter, the descriptive validity of probability logic is compared to logic, which was used as the gold standard (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. The Qualitative Thesis.David Boylan & Ginger Schultheis - 2022 - Journal of Philosophy 119 (4):196-229.
    The Qualitative Thesis says that if you leave open P, then you are sure of if P, then Q just in case you are sure of the corresponding material conditional. We argue the Qualitative Thesis provides compelling reasons to accept a thesis that we call Conditional Locality, which says, roughly, the interpretation of an indicative conditional depends, in part, on the conditional’s local embedding environment. In the first part of the paper, we present an argument—due to Ben Holguín—showing that, without (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Happiness and Are You Lost in the World Like Me? A Brief Philosophical Analysis of Steve Cutts’ Animated Films.Paulo Alexandre E. Castro - 2022 - Philosophy Study 12 (3).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Conciliatory Views, Higher-Order Disagreements, and Defeasible Logic.Aleks Knoks - 2022 - Synthese 200 (2).
    Conciliatory views of disagreement say, roughly, that it’s rational for you to become less confident in your take on an issue in case you find out that an epistemic peer’s take on it is the opposite. Their intuitive appeal notwithstanding, there are well-known worries about the behavior of conciliatory views in scenarios involving higher-order disagreements, which include disagreements over these views themselves and disagreements over the peer status of alleged epistemic peers. This paper does two things. First, it explains how (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. White Hole Observation: An Experimental Result.Yang I. Pachankis - 2022 - International Journal of Innovative Science and Research Technology 7 (2):779-790.
    The article presents the empirical confirmation to the black hole and white hole juxtapose theory. The author based the experiment on the multi- mission multi-spectral space telescope data conducted remotely with the NASA Data Challenge and Harvard- Smithsonian Micro-Observatory. Since the loss of the original manuscript, the author reformulated the mathematics during the research. The observation developed a resonance observation technique that observed the white hole to the moon’s direction with the sun. The data reduction of the white hole and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. A Logic of Defeasible Argumentation: Constructing Arguments in Justification Logic.Stipe Pandžić - 2022 - Argument and Computation 13 (1):3-47.
    In the 1980s, Pollock’s work on default reasons started the quest in the AI community for a formal system of defeasible argumentation. The main goal of this paper is to provide a logic of structured defeasible arguments using the language of justification logic. In this logic, we introduce defeasible justification assertions of the type t : F that read as “t is a defeasible reason that justifies F”. Such formulas are then interpreted as arguments and their acceptance semantics is given (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Misleading Higher-Order Evidence, Conflicting Ideals, and Defeasible Logic.Aleks Knoks - 2021 - Ergo: An Open Access Journal of Philosophy 8 (6):141--74.
    Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict, suggesting that there are rational dilemmas. This paper focuses on an often misunderstood and underexplored response to this (and similar) puzzles, the so-called conflicting-ideals view. Drawing on work from defeasible logic, I propose understanding this view as a move away from the default metaepistemological position according to which rationality (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Economists on Private Incentives, Economic Models, and the Administrative State: The Clash Between Happiness and the so-Called Public Good.Sandra J. Peart - 2021 - Social Philosophy and Policy 38 (1):152-169.
    This essay examines the administrative state as a ubiquitous phenomenon that results in part from the mismatch of incentives. Using two dramatic episodes in the history of economics, the essay considers two types of mismatch. It then examines how economists increasingly endorsed the “general good” as a unitary goal for society, even at the expense of private hopes and desires. More than this, their procedures and models gave them warrant to design mechanisms and advocate for legislation and regulations to “fix” (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Forms and Norms of Indecision in Argumentation Theory.Daniela Schuster - 2021 - Deontic Logic and Normative Systems, 15th International Conference, DEON 2020/2021.
    One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Defeasible Tolerance and the Sorites.Ivan Hu - 2020 - Journal of Philosophy 117 (4):181-218.
    I propose a novel solution to the Sorites Paradox. The account vindicates the tolerance of vague predicates in a way that properly addresses the normativity of vagueness while avoiding sorites contradiction, by treating sorites reasoning as a type of defeasible reasoning. I show how this can be done within the setting of a nonmonotonic deontic logic. Central to the proposal is its deontic interpretation of tolerance. I draw a key distinction between two types of tolerance, based on different deontic notions, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Defeasibility in Epistemology.Aleks Knoks - 2020 - Dissertation, University of Maryland at College Park
    This work explores some ways in which logics for defeasible reasoning can be applied to questions in epistemology. It's naturally thought of as developing four applications: The first is concerned with simple epistemic rules, such as "If you perceives that X, then you ought to believe that X" and "If you have outstanding testimony that X, then you ought to believe that X." Anyone who thinks that such rules have a place in our accounts of epistemic normativity must explain what (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17. El lugar de la lógica en el razonamiento jurídico.Miguel Garcia-Godinez - 2019 - In Gerardo Ramirez & Manuel Jimenez (eds.), Ensayos de retórica jurídica. Mexico City, CDMX, Mexico: pp. 171-180.
  18. 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   2 citations  
  19. A First-Order Sequent Calculus for Logical Inferentialists and Expressivists.Shuhei Shimamura - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 211-228.
    I present a sequent calculus that extends a nonmonotonic reflexive consequence relation as defined over an atomic first-order language without variables to one defined over a logically complex first-order language. The extension preserves reflexivity, is conservative (therefore nonmonotonic) and supraintuitionistic, and is conducted in a way that lets us codify, within the logically extended object language, important features of the base thus extended. In other words, the logical operators in this calculus play what Brandom (2008) calls expressive roles. Expressivist logical (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. 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   15 citations  
  21. A Multi-Succedent Sequent Calculus for Logical Expressivists.Daniel Kaplan - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. College Publications. pp. 139-153.
    Expressivism in logic is the view that logical vocabulary plays a primarily expressive role: that is, that logical vocabulary makes perspicuous in the object language structural features of inference and incompatibility (Brandom, 1994, 2008). I present a precise, technical criterion of expressivity for a logic (§2). I next present a logic that meets that criterion (§3). I further explore some interesting features of that logic: first, a representation theorem for capturing other logics (§3.1), and next some novel logical vocabulary for (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. 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  
  23. The Logic of Reasons.Shyam Nair & John Horty - 2018 - In Daniel Star (ed.), Oxford Handbook of Reasons and Normativity. Oxford University Press. pp. 67-84.
    In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide an (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. 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   11 citations  
  25. Monotonic and Non-Monotonic Embeddings of Anselm’s Proof.Jacob Archambault - 2017 - Logica Universalis 11 (1):121-138.
    A consequence relation \ is monotonic iff for premise sets \ and conclusion \, if \, \, then \; and non-monotonic if this fails in some instance. More plainly, a consequence relation is monotonic when whatever is entailed by a premise set remains entailed by any of its supersets. From the High Middle Ages through the Early Modern period, consequence in theology is assumed to be monotonic. Concomitantly, to the degree the argument formulated by Anselm at Proslogion 2–4 is taken (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26. 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 (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27. 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   36 citations  
  28. Reasoning Biases, Non‐Monotonic Logics and Belief Revision.Catarina Dutilh Novaes & Herman Veluwenkamp - 2017 - Theoria 83 (1):29-52.
    A range of formal models of human reasoning have been proposed in a number of fields such as philosophy, logic, artificial intelligence, computer science, psychology, cognitive science, etc.: various logics, probabilistic systems, belief revision systems, neural networks, among others. Now, it seems reasonable to require that formal models of human reasoning be empirically adequate if they are to be viewed as models of the phenomena in question. How are formal models of human reasoning typically put to empirical test? One way (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. 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  
  30. 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  
  31. A Nonmonotonic Modal Relevant Sequent Calculus.Shuhei Shimamura - 2017 - In A. Baltag, J. Seligman & T. Yamada (eds.), Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science. Springer. pp. 570-584.
    Motivated by semantic inferentialism and logical expressivism proposed by Robert Brandom, in this paper, I submit a nonmonotonic modal relevant sequent calculus equipped with special operators, □ and R. The base level of this calculus consists of two different types of atomic axioms: material and relevant. The material base contains, along with all the flat atomic sequents (e.g., Γ0, p |~0 p), some non-flat, defeasible atomic sequents (e.g., Γ0, p |~0 q); whereas the relevant base consists of the local region (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Sobre a Formalização Lógica de Mudança de Teorias e Anomalias Científicas.Ricardo Silvestre - 2017 - ARGUMENTOS - Revista de Filosofia 1 (17):72-91.
    Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Marcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34. 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  
     
    Export citation  
     
    Bookmark   2 citations  
  35. 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   9 citations  
  36. 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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. 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   4 citations  
  38. Understanding Happiness: A Critical Review of Positive Psychology.Mick Power - 2015 - Routledge.
    We all want to be happy, and there are plenty of people telling us how it can be achieved. The positive psychology movement, indeed, has established happiness as a scientific concept within everyone's grasp. But is happiness really something we can actively aim for, or is it simply a by-product of how we live our lives more widely? Dr. Mick Power, Professor of Clinical Psychology and Director of Clinical Programmes at the National University of Singapore, provides a critical assessment of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Legal Rules, Legal Reasoning, and Nonmonotonic Logic.Adam W. Rigoni - 2015 - Dissertation, University of Michigan
    This dissertation develops, justifies, and examines the jurisprudential implications of a non-monotonic theory of common law legal reasoning. Legal rules seem to have exceptions but identifying all of them is difficult. This hinders attempts to formalize legal rules using classical logics. Non-monotonic logics allow defeasible inference, permitting rules that hold generally but can be defeated in the presence of exceptions. This ameliorates the problem of characterizing all exceptions to a rule, because exceptions can be added piecemeal while the rule remains. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. The Inheritance of Defaults in the Case of Exceptional Subclasses.Paul D. Thorn - 2015 - The Reasoner 9 (11):93.
  41. Qualitative Probabilistic Inference with Default Inheritance.Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner & Gerhard Schurz - 2015 - In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni & Frieder Stolzenburg (eds.), Proceedings of the Ki 2015 Workshop on Formal and Cognitive Reasoning. pp. 16-28.
    There are numerous formal systems that allow inference of new conditionals based on a conditional knowledge base. Many of these systems have been analysed theoretically and some have been tested against human reasoning in psychological studies, but experiments evaluating the performance of such systems are rare. In this article, we extend the experiments in [19] in order to evaluate the inferential properties of c-representations in comparison to the well-known Systems P and Z. Since it is known that System Z and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. 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  
  43. 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   3 citations  
  44. A Utility Based Evaluation of Logico-Probabilistic Systems.Paul D. Thorn & Gerhard Schurz - 2014 - Studia Logica 102 (4):867-890.
    Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the dominant (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  45. 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  
  46. The Nature and Value of Happiness.Christine Vitrano & Steven M. Cahn - 2014 - Routledge.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Defeat Reconsidered and Repaired.Gregory Wheeler - 2014 - The Reasoner 8 (2):15-15.
  48. 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  
  49. Arguments Whose Strength Depends on Continuous Variation.James Franklin - 2013 - Informal Logic 33 (1):33-56.
    Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation to reasoning fail, so (...)
    Remove from this list   Direct download (14 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. 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  
1 — 50 / 145