Results for 'Logic of belief revision'

1000+ found
Order:
  1.  32
    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). Palo Alto, CA, USA: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Presuppositions, Logic, and Dynamics of Belief.Slavko Brkic - 2004 - Prolegomena 3 (2):151-177.
    In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Simple Hyperintensional Belief Revision.F. Berto - 2018 - Erkenntnis (3):1-17.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Truth in Fiction, Impossible Worlds, and Belief Revision.Francesco Berto & Christopher Badura - 2018 - 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   2 citations  
  5. On the Logic of Common Belief and Common Knowledge.Luc Lismont & Philippe Mongin - 1994 - Theory and Decision 37 (1):75-106.
    The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  6. Katz’s Revisability Paradox Dissolved.Allard Tamminga & Sander Verhaegh - 2013 - Australasian Journal of Philosophy 91 (4):771-784.
    Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  73
    On Probabilistic Representation of Non-Probabilistic Belief Revision.Sten Lindström & Wlodek Rabinowicz - 1989 - Journal of Philosophical Logic 18 (1):69 - 101.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  8. Belief Revision Generalized: A Joint Characterization of Bayes's and Jeffrey's Rules.Franz Dietrich, Christian List & Richard Bradley - 2016 - Journal of Economic Theory 162:352-371.
    We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  9. The Irreducibility of Iterated to Single Revision.Jake Chandler & Richard Booth - 2017 - Journal of Philosophical Logic 46 (4):405-418.
    After a number of decades of research into the dynamics of rational belief, the belief revision theory community remains split on the appropriate handling of sequences of changes in view, the issue of so-called iterated revision. It has long been suggested that the matter is at least partly settled by facts pertaining to the results of various single revisions of one’s initial state of belief. Recent work has pushed this thesis further, offering various strong principles (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  10. Some Connections Between Epistemic Logic and the Theory of Nonadditive Probability.Philippe Mongin - 1992 - In Paul Humphreys (ed.), Patrick Suppes: Scientific Philosopher. Dordrecht: Kluwer. pp. 135-171.
    This paper is concerned with representations of belief by means of nonadditive probabilities of the Dempster-Shafer (DS) type. After surveying some foundational issues and results in the D.S. theory, including Suppes's related contributions, the paper proceeds to analyze the connection of the D.S. theory with some of the work currently pursued in epistemic logic. A preliminary investigation of the modal logic of belief functions à la Shafer is made. There it is shown that the Alchourrron-Gärdenfors-Makinson (A.G.M.) (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. BELIEF IN CAUSATION: ONE APPLICATION OF CARNAP's INDUCTIVE LOGIC.Yusuke Kaneko - 2012 - Academic Research International 3 (1).
    This paper takes two tasks. The one is elaborating on the relationship of inductive logic with decision theory to which later Carnap planned to apply his system (§§1-7); this is a surveying side of this article. The other is revealing the property of our prediction of the future, subjectivity (§§8-11); this is its philosophical aspect. They are both discussed under the name of belief in causation. Belief in causation is a kind of “degree of belief” born (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  96
    Epistemic Entrenchment with Incomparabilities and Relational Belief Revision.Sten Lindström & Wlodek Rabinowicz - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  13.  44
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  18
    Coherence, Justification, and the AGM Theory of Belief Revision.Michael J. Shaffer - 2002 - In Yves Bouchard (ed.), Perspectives on Coherentism. Editions du Scribe. pp. 139--160.
    In a recent article, Peter Gärdenfors (1992) has suggested that the AGM (Alchourrón, Gärdenfors, and Makinson) theory of belief revision can be given an epistemic basis by interpreting the revision postulates of that theory in terms of a version of the coherence theory of justification. To accomplish this goal Gärdenfors suggests that the AGM revision postulates concerning the conservative nature of belief revision can be interpreted in terms of a concept of epistemic entrenchment and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Paraconsistent Belief Revision Based on a Formal Consistency Operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
    In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  82
    A Non-Classical Logical Foundation for Naturalised Realism.Emma Ruttkamp-Bloem, Giovanni Casini & Thomas Meyer - 2015 - In P. & M. Danćak Arazim (ed.), Logica Yearbook 2014. College Publications. pp. 249-266.
    In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  69
    Disbelief Logic Complements Belief Logic.John Corcoran & Wagner Sanz - 2008 - Bulletin of Symbolic Logic 14 (3):436.
    JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: corcoran@buffalo.edu Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: sanz@fchf.ufg.br -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys (...) and denying conveys disbelief. Traditional logic implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  19. 20th-Century Bulgarian Philosophy of Law: From Critical Acceptance of Kant’s Ideas to the Logic of Legal Reasoning.Vihren Bouzov - 2016 - In Enrico Pattaro & C. Roversi (eds.), A Treatise of Legal Philosophy and General Jurisprudence. V.12 (1), Legal Philosophy in the Twentieth Century: The Civil Law World. pp. 681-690.
    My analysis here is an attempt to bring out the main through-line in the development of Bulgarian philosophy of law today. A proper account of Bulgarian philosophy of law in the 20th century requires an attempt to find, on the one hand, a solution to epistemological and methodological problems in law and, on the other, a clear-cut influence of the Kantian critical tradition. Bulgarian philosophy of law follows a complicated path, ranging from acceptance and revision of Kantian philosophy to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Belief Revision II: Ranking Theory.Franz Huber - 2013 - Philosophy Compass 8 (7):613-621.
    Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I, I have first presented the AGM theory of belief revision. Then I have focused on the problem of iterated belief revisions. In part II, I will first present ranking theory (Spohn 1988). Then I will show how it solves the problem of iterated belief revisions. I will conclude by sketching two areas of future (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.
    In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Epistemic Utility Theory and the Normativity of Logic.Richard Pettigrew - manuscript
    How does logic relate to rational belief? Is logic normative for belief, as some say? What, if anything, do facts about logical consequence tell us about norms of doxastic rationality? In this paper, we consider a range of putative logic-rationality bridge principles. These purport to relate facts about logical consequence to norms that govern the rationality of our beliefs and credences. To investigate these principles, we deploy a novel approach, namely, epistemic utility theory. That is, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  39
    Extracting Fictional Truth From Unreliable Sources.Emar Maier & Merel Semeijn - manuscript
    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  
  24.  63
    Explanation, Understanding, and Belief Revision.Andrés Páez - 2018 - In Marco Ruffino, Max Freund & Max Fernández de Castro (eds.), Logic and philosophy of logic. Recent trends from Latin America and Spain. London: College Publications. pp. 233-252.
    Download  
     
    Export citation  
     
    Bookmark  
  25.  99
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Probabilistic Measures of Coherence and the Problem of Belief Individuation.Luca Moretti & Ken Akiba - 2007 - Synthese 154 (1):73 - 95.
    Coherentism in epistemology has long suffered from lack of formal and quantitative explication of the notion of coherence. One might hope that probabilistic accounts of coherence such as those proposed by Lewis, Shogenji, Olsson, Fitelson, and Bovens and Hartmann will finally help solve this problem. This paper shows, however, that those accounts have a serious common problem: the problem of belief individuation. The coherence degree that each of the accounts assigns to an information set (or the verdict it gives (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  27. Llull and Leibniz: The Logic of Discovery.John R. Welch - 1990 - Catalan Review 4:75-83.
    Llull and Leibniz both subscribed to conceptual atomism: the belief that the majority of concepts are compounds constructed from a relatively small number of primitive concepts. Llull worked out techniques for finding the logically possible combinations of his primitives, but Leibniz criticized Llull’s execution of these techniques. This article argues that Leibniz was right about things being more complicated than Llull thought but that he was wrong about the details. The paper attempts to correct these details.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Is There a Logic of Information?Gregory Wheeler - 2015 - Journal of Theoretical and Applied Artificial Intelligence 27 (1):95-98.
    Information-based epistemology maintains that ‘being informed’ is an independent cognitive state that cannot be reduced to knowledge or to belief, and the modal logic KTB has been proposed as a model. But what distinguishes the KTB analysis of ‘being informed’, the Brouwersche schema (B), is precisely its downfall, for no logic of information should include (B) and, more generally, no epistemic logic should include (B), either.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Defining Ontological Categories in an Expansion of Belief Dynamics.Jan Westerhoff - 2002 - Logic and Logical Analysis 10 (3):199-210.
    There have been attempts to get some logic out of belief dynamics, i.e. attempts to define the constants of propositional logic in terms of functions from sets of beliefs to sets of beliefs. It is interesting to see whether something similar can be done for ontological categories, i.e. ontological constants. The theory presented here will be a (modest) expansion of belief dynamics: it will not only incorporate beliefs, but also parts of beliefs, so called belief (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Doxastic Logic.Michael Caie - 2019 - In Jonathan Weisberg & Richard Pettigrew (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 499-541.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  53
    Belief Revision in Science: Informational Economy and Paraconsistency.Daniel Coimbra - 2017 - Contemplação 1 (15):19-38.
    In the present paper, our objective is to examine the application of belief revision models to scientific rationality. We begin by considering the standard model AGM, and along the way a number of problems surface that make it seem inadequate for this specific application. After considering three different heuristics of informational economy that seem fit for science, we consider some possible adaptations for it and argue informally that, overall, some paraconsistent models seem to better satisfy these principles, following (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. The Logic of Qualia.Drew McDermott - manuscript
    Logic is useful as a neutral formalism for expressing the contents of mental representations. It can be used to extract crisp conclusions regarding the higher-order theory of phenomenal consciousness developed in (McDermott 2001, 20007). A key aspect of conscious perceptions is their connection to the distinction between appearance and reality. Perceptions must often be corrected. To do so requires that the logic of perception be able to represent the logical structure of judgment events, that is, to include the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. 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   4 citations  
  34. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - forthcoming - Noûs.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs And Ramsey Conditionals Within DDL.Sten Lindström & Wiodek Rabinowicz - 1997 - In Lars Lindahl, Paul Needham & Ryszard Sliwinski (eds.), For Good Measure. Uppsala, Sverige:
    In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  59
    Future Logic: Categorical and Conditional Deduction and Induction of the Natural, Temporal, Extensional, and Logical Modalities.Avi Sion - 1990,1996 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  31
    Judaic Logic: A Formal Analysis of Biblical, Talmudic and Rabbinic Logic.Avi Sion - 1995, 1997 - Geneva, Switzerland: Slatkine; CreateSpace & Kindle; Lulu..
    Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  60
    Epistemic Paradox and the Logic of Acceptance.Michael J. Shaffer - 2013 - Journal of Experimental and Theoretical Artificial Intelligence 25:337-353.
    Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic problem. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  40. Against the Ramsey Test.A. Morton - 2004 - Analysis 64 (4):294-299.
    I argue against the Ramsey test connecting indicative conditionals with conditional probability, by means of examples in which conditional probability is high but the conditional is intuitively implausible. At the end of the paper, I connect these issues to patterns of belief revision.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Wartości epistemiczne wiary w świetle Logiki religii Józefa Marii Bocheńskiego.Marek Pepliński - 2013 - Filo-Sofija 13 (21):53-70.
    My aim in this paper is to show that some parts of J. M. Bocheński’s account of the logic of religion are useful for epistemological investigation of a religious belief, particularly for the questions of realistic and cognitive interpretations of a religious discourse, the problems of justification and warrant of a religious belief and for the problem of the place of criticism in a religious discourse. Referring to Bocheński's understanding of the structure of religious/theological thinking, I present (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Is Perception a Source of Reasons?Santiago Echeverri - 2013 - Theoria 79 (1):22-56.
    It is widely assumed that perception is a source of reasons (SR). There is a weak sense in which this claim is trivially true: even if one characterizes perception in purely causal terms, perceptual beliefs originate from the mind's interaction with the world. When philosophers argue for (SR), however, they have a stronger view in mind: they claim that perception provides pre- or non-doxastic reasons for belief. In this article I examine some ways of developing this view and criticize (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. The Logic of Partitions: Introduction to the Dual of the Logic of Subsets: The Logic of Partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
    Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  44. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Reasons for Belief, Reasons for Action, the Aim of Belief, and the Aim of Action.Daniel Whiting - 2014 - In Clayton Littlejohn & John Turri (eds.), Epistemic Norms: New Essays on Action, Belief, and Assertion. Oxford University Press.
    Subjects appear to take only evidential considerations to provide reason or justification for believing. That is to say that subjects do not take practical considerations—the kind of considerations which might speak in favour of or justify an action or decision—to speak in favour of or justify believing. This is puzzling; after all, practical considerations often seem far more important than matters of truth and falsity. In this paper, I suggest that one cannot explain this, as many have tried, merely by (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  97
    On the Social Utility of Symbolic Logic: Lewis Carroll Against ‘The Logicians’.Amirouche Moktefi - 2015 - Studia Metodologiczne 35:133-150.
    Symbolic logic faced great difficulties in its early stage of development in order to acquire recognition of its utility for the needs of science and society. The aim of this paper is to discuss an early attempt by the British logician Lewis Carroll (1832–1898) to promote symbolic logic as a social good. This examination is achieved in three phases: first, Carroll’s belief in the social utility of logic, broadly understood, is demonstrated by his numerous interventions to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Review of Robert Trivers' The Folly of Fools: The Logic of Deceit and Self-Deception in Human Life[REVIEW]Neil Van Leeuwen - 2013 - Cognitive Neuropsychiatry 18 (1-2):146-151.
    Here I review Robert Trivers' 2011 book _The Folly of Fools_, in which he advocates the evolutionary theory of deceit and self-deception that he pioneered in his famous preface to Richard Dawkins' _Selfish Gene_. Although the book contains a wealth of interesting discussion on topics ranging from warfare to immunology, I find it lacking on two major fronts. First, it fails to give a proper argument for its central thesis--namely, that self-deception evolved to facilitate deception of others. Second, the book (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. The Relation Between Degrees of Belief and Binary Beliefs: A General Impossibility Theorem.Franz Dietrich & Christian List - manuscript
    Agents are often assumed to have degrees of belief (“credences”) and also binary beliefs (“beliefs simpliciter”). How are these related to each other? A much-discussed answer asserts that it is rational to believe a proposition if and only if one has a high enough degree of belief in it. But this answer runs into the “lottery paradox”: the set of believed propositions may violate the key rationality conditions of consistency and deductive closure. In earlier work, we showed that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49.  83
    Formalizing Kant's Rules: A Logic of Conditional Imperatives and Permissives.Richard Evans, Andrew Stephenson & Marek Sergot - forthcoming - Journal of Philosophical Logic.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 1000