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

Contents
46 found
Order:
  1. PHILOSOPHY AS NEGATIVE SCIENCE.Steven James Bartlett - manuscript
    Starting with Kant’s undeveloped proposal of a “negative science,” the author describes how philosophy may be developed and strengthened by means of a systematic approach that seeks to identify and eliminate a widespread but seldom recognized form of systemic and propagating conceptual error. ¶¶¶¶¶ -/- The paper builds upon the author’s book, CRITIQUE OF IMPURE REASON: HORIZONS OF POSSIBILITY AND MEANING (Studies in Theory and Behavior, 2021). ¶¶¶¶¶ -/- The author’s purpose is twofold: first, to enable us to recognize the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Safety’s coordination problems.Julien Dutant & Sven Rosenkranz - 2024 - Philosophical Studies 181 (5):1317-1343.
    The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3. Generalitation of the function N in Computational Analysis (12th edition).Rosanna Festa - 2024 - International Journal of Science, Engeneering and Technology 12 (2):1-4.
    The parallel research is contemporary to analyse processes and localisation in artificial intelligence (AI) associated with connexionism and learning algorithms. In machine learning, the perceptron (or McCulloch-Pitts neuron) is an algorithm for Boolean functions of binary classifiers. A binary classifier is a function which can decide whether or not an input, represented by a vector of numbers, belongs to some specific class. With a pattern N we use the calculator in synthesis applying polynomial advanced systems.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Providing stability to our world. Identity, Geach and Quine.Olga Ramirez Calle - 2024 - Logos and Episteme (1):37-56.
    The problem of identity is central to epistemic transference. However, relative identity appears to be the only way to work out an epistemic useful notion of identity. Relative identity, on its part, is either parasitic on strict identity or not identity at all. If, on the contrary, we ought for a strict concept of identity capable of satisfying its requirements, we end up with a tautologic and epistemic worthless category. The paper provides an answer to this problem, which, while working (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. Epistemic characterizations of validity and level-bridging principles.Joshua Schechter - 2024 - Philosophical Studies 181 (1):153-178.
    How should we understand validity? A standard way to characterize validity is in terms of the preservation of truth (or truth in a model). But there are several problems facing such characterizations. An alternative approach is to characterize validity epistemically, for instance in terms of the preservation of an epistemic status. In this paper, I raise a problem for such views. First, I argue that if the relevant epistemic status is factive, such as being in a position to know or (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Epistemic logic with partial grasp.Francisca Silva - 2024 - Synthese 204 (92):1-27.
    We have to gain from recognizing a relation between epistemic agents and the parts of subject matters that play a role in their cognitive lives. I call this relation “grasping”. Namely, I zone in on one notion of having a partial grasp of a subject matter—that of agents grasping part of the subject matter that they are attending to—and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. The Logic of Framing Effects.Francesco Berto & Aybüke Özgün - 2023 - Journal of Philosophical Logic 52 (3):939-962.
    _Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. JTB Epistemology and the Gettier problem in the framework of topological epistemic logic.Thomas Mormann - 2023 - Review of Analytic Philosophy 3 (1):1 - 41.
    Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. In Search of Modal Hypodoxes using Paradox Hypodox Duality.Peter Eldridge-Smith - 2022 - Philosophia 50 (5):2457-2476.
    The concept of hypodox is dual to the concept of paradox. Whereas a paradox is incompatibly overdetermined, a hypodox is underdetermined. Indeed, many particular paradoxes have dual hypodoxes. So, naively the dual of Russell’s Paradox is whether the set of all sets that are members of themselves is self-membered. The dual of the Liar Paradox is the Truth-teller, and a hypodoxical dual of the Heterological paradox is whether ‘autological’ is autological. I provide some analysis of the duality and I search (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. The Paradox of Epistemic Obligation Avoided.Michael J. Shaffer - 2022 - The Reasoner 16:49-50.
    This short paper offers a skeptical solution to Åqvist's paradox of epistemic obligation. The solution is based on the contention that in SDL/KDT logics the externalist features of knowledge, about which we cannot have obligations, are obscured.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Human Foreknowledge.Fabrizio Cariani - 2021 - Philosophical Perspectives 35 (1):50-69.
    I explore the motivation and logical consequences of the idea that we have some (limited) ability to know contingent facts about the future, even in presence of the assumption that the future is objectively unsettled or indeterminate. I start by formally characterizing skepticism about the future. This analysis nudges the anti-skeptic towards the idea that if some propositions about the future are objectively indeterminate, then it may be indeterminate whether a suitably positioned agent knows them. -/- Philosophical Perspectives, Volume 35, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Measuring the intelligence of an idealized mechanical knowing agent.Samuel Alexander - 2020 - Lecture Notes in Computer Science 12226.
    We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Self-referential theories.Samuel A. Alexander - 2020 - Journal of Symbolic Logic 85 (4):1687-1716.
    We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.
    This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Causation in terms of production.Holger Andreas & Mario Günther - 2020 - Philosophical Studies 177 (6):1565-1591.
    In this paper, we analyse actual causation in terms of production. The latter concept is made precise by a strengthened Ramsey Test semantics of conditionals: \ iff, after suspending judgement about A and C, C is believed in the course of assuming A. This test allows us to verify or falsify that an event brings about another event. Complementing the concept of production by a weak condition of difference-making gives rise to a full-fledged analysis of causation.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  16. A History Based Logic for Dynamic Preference Updates.Can Başkent & Guy McCusker - 2020 - Journal of Logic, Language and Information 29 (3):275-305.
    History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Epistemic Closure and Epistemological Optimism.Claudio de Almeida - 2020 - Philosophia 49 (1):113-131.
    Half a century later, a Dretskean stance on epistemic closure remains a minority view. Why? Mainly because critics have successfully poked holes in the epistemologies on which closure fails. However, none of the familiar pro-closure moves works against the counterexamples on display here. It is argued that these counterexamples pose the following dilemma: either accept that epistemic closure principles are false, and steal the thunder from those who attack classical logic on the basis of similarly problematic cases—specifically, relevance logicians and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. On the Ramsey Test Analysis of ‘Because’.Holger Andreas & Mario Günther - 2019 - Erkenntnis 84 (6):1229-1262.
    The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. We (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  19. Outline of a Logic of Knowledge of Acquaintance.Samuele Iaquinto & Giuseppe Spolaore - 2019 - Analysis 79:52-61.
    The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20. A logic for factive ignorance.Ekaterina Kubyshkina & Mattia Petrolo - 2019 - Synthese 198 (6):5917-5928.
    In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  21. Vagueness and Imprecise Credence.Anna Mahtani - 2019 - In Richard Dietz (ed.), Vagueness and Rationality in Language Use and Cognition. Springer Verlag. pp. 7-30.
    In this paper I investigate an alternative to imprecise probabilism. Imprecise probabilism is a popular revision of orthodox Bayesianism: while the orthodox Bayesian claims that a rational agent’s belief-state can be represented by a single credence function, the imprecise probabilist claims instead that a rational agent’s belief-state can be represented by a set of such functions. The alternative that I put forward in this paper is to claim that the expression ‘credence’ is vague, and then apply the theory of supervaluationism (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Bootstrapping, Dogmatism, and the Structure of Epistemic Justification.Shyam Nair - 2019 - Ergo: An Open Access Journal of Philosophy 6.
    Dogmatism is the view that perceptual experience provides immediate defeasible justification for certain beliefs. The bootstrapping problem for dogmatism is that it sanctions a certain defective form of reasoning that concludes in the belief that one's perceptual faculties are reliable. This paper argues that the only way for the dogmatist to avoid the bootstrapping problem is to claim that epistemic justification fails to have a structural property known as cut. This allows the dogmatist to admit that each step in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Marco Ruffino, Max Freund & Max Fernández de Castro (eds.), Logic and philosophy of logic. Recent trends from Latin America and Spain. College Publications. pp. 48-74.
    This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Analysis of the relation between reason and faith in epistemology.Aladdin Malikov - 2018 - Metafizika 1 (№ 2):23-53.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25. Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.
    The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced by action (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Towards Paraconsistent Inquiry.Can Baskent - 2016 - Australasian Journal of Logic 13 (2).
    In this paper, we discuss Hintikka’s theory of interrogative approach to inquiry with a focus on bracketing. First, we dispute the use of bracketing in the interrogative model of inquiry arguing that bracketing provides an indispensable component of an inquiry. Then, we suggest a formal system based on strategy logic and logic of paradox to describe the epistemic aspects of an inquiry, and obtain a naturally paraconsistent system. We then apply our framework to some cases to illustrate its use.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin (eds.), Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Berlin/Heidelberg: Springer Verlag, 2016), 278 pp. [REVIEW]Kristina Šekrst - 2016 - Prolegomena 15 (2):220-223.
    Review of Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin, Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium, 278 pp.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Some non-classical approaches to the Brandenburger–Keisler paradox.Can Başkent - 2015 - Logic Journal of the IGPL 23 (4):533-552.
  29. A Dynamic Epistemic Logic with a Knowability Principle.Michael Cohen - 2015 - In Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science. Berlin: Springer. pp. 406-410.
    A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Logic of confidence.Pavel Naumov & Jia Tao - 2015 - Synthese 192 (6):1821-1838.
    The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with metrics to capture how much two epistemic worlds are different from an agent’s point of view. The main result is a logical system sound and complete with respect to the proposed semantics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31. God’s Omniscience and Logical Virtue.Mirosław Szatkowski - 2015 - In Miroslaw Szatkowski (ed.), God, Truth, and Other Enigmas. Berlin: De Gruyter. pp. 97-116.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  32. Reasoning Processes as Epistemic Dynamics.Fernando R. Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.
    This work proposes an understanding of deductive, default and abductive reasoning as different instances of the same phenomenon: epistemic dynamics. It discusses the main intuitions behind each one of these reasoning processes, and suggest how they can be understood as different epistemic actions that modify an agent’s knowledge and/or beliefs in a different way, making formal the discussion with the use of the dynamic epistemic logic framework. The ideas in this paper put the studied processes under the same umbrella, thus (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. On knowledge and obligation.Can Başķent, Loes Olde Loohuis & Rohit Parikh - 2012 - Episteme 9 (2):171-188.
    This article provides a brief overview of several formal frameworks concerning the relation between knowledge on the one hand, and obligation on the other. We discuss the paradox of the knower, knowledge based obligation, knowingly doing, deontic dynamic epistemology, descriptive obligations, and responsibilities as dynamic epistemology.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  34. Belief Change.Richard Booth & Thomas Meyer - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
    In this paper we present a brief overview of logic-based belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. Our intention is to provide the reader with a basic introduction to the work done in this area over the past 30 years. In doing so we hope to sketch the main historical results, provide appropriate pointers to further references, and discuss some current (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. Multiple and iterated contraction reduced to single-step single-sentence contraction.Sven Ove Hansson - 2010 - Synthese 173 (2):153-177.
    Multiple contraction (simultaneous contraction by several sentences) and iterated contraction are investigated in the framework of specified meet contraction (s.m.c.) that is extended for this purpose. Multiple contraction is axiomatized, and so is finitely multiple contraction (contraction by a finite set of sentences). Two ways to reduce finitely multiple contraction to contraction by single sentences are introduced. The reduced operations are axiomatically characterized and their properties are investigated. Furthermore, it is shown how iterated contraction can be reduced to single-step, single-sentence (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  36. Inference and update.Fernando Raymundo Velázquez-Quesada - 2009 - Synthese 169 (2):283-300.
    We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  37. On Logics of Knowledge and Belief.Robert Stalnaker - 2006 - Philosophical Studies 128 (1):169-199.
  38. Eligible Contraction.John Cantwell - 2003 - Studia Logica 73 (2):167-182.
    When a belief set is contracted only some beliefs are eligible for removal. By introducing eligibility for removal as a new semantic primitive for contraction and combining it with epistemic entrenchment we get a contraction operator with a number of interesting properties. By placing some minimal constraint upon eligibility we get an explicit contraction recipe that exactly characterises the so called interpolation thesis, a thesis that states upper and lower bounds for the amount of information to be given up in (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39. A Compatibilist Approach in Ontology: Steps Towards a Formalization.Massimiliano Carrara & Vittorio Morato - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 182-194.
    Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. Belief Revision and Epistemic Value.Brent Allan Hudak - 1998 - Dissertation, University of Calgary (Canada)
    An account of belief revision is developed which takes account of the cognitive capabilities of human epistemic agents. We begin with an agent's commitment sets, i.e., sets comprised of those sentences which she is both epistemically committed to accepting, and which she should be able to cognitively grasp in a manner sufficient for praiseworthy belief revision. ;Whether an agent is epistemically committed to accepting a sentence depends on those epistemic standards of her epistemic communities which apply in her situation. These (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  41. Probability and Human Rationality.Lyle David Zynda - 1995 - Dissertation, Princeton University
    I argue for the moderate probabilist view that probability theory plays much the same role in epistemology as does logic, and so is as indispensable to epistemology as is logic; but probability theory by itself does not constitute a theory of rational degree of belief, just as deductive logic does not by itself constitute a theory of rational belief. I defend a version of Ramsey's view that degrees of belief, which are defined using the notion of mathematical expectation, must obey (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Belief Contraction in the Context of the General Theory of Rational Choice.Hans Rott - 1993 - Journal of Symbolic Logic 59 (4):1426-1450.
    This paper reorganizes and further develops the theory of partial meet contraction which was introduced in a classic paper by Alchourron, Gardenfors, and Makinson. Our purpose is threefold. First, we put the theory in a broader perspective by decomposing it into two layers which can respectively be treated by the general theory of choice and preference and elementary model theory. Second, we reprove the two main representation theorems of AGM and present two more representation results for the finite case that (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  43. (1 other version)Logic For Reasoning About Knowledge.Ewa Orlowska - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):559-572.
    One of the important issues in research on knowledge based computer systems is development of methods for reasoning about knowledge. In the present paper semantics for knowledge operators is introduced. The underlying logic is developed with epistemic operators relative to indiscernibility. Facts about knowledge expressible in the logic are discussed, in particular common knowledge and joint knowledge of n group of agents. Some paradoxes of epistemic logic are shown to be eliminated in the given system. A formal logical analysis of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  44. The Enterprise of Knowledge: An Essay on Knowledge, Credal Probability and Chance by Isaac Levi. [REVIEW]William L. Harper - 1983 - Journal of Philosophy 80 (6):367-376.
  45. Coherence, logical.Paisley Nathan Livingston - unknown
    Logicians generally employ coherence and consistency as synonyms naming the absence of contradictions in a group of SENTENCES, propositions, or beliefs, where a contradiction is the conjunction of a proposition and its negation. In metaphysical terms, logical incoherence or contradiction is the impossible instantiation of a property and some other, incompatible property, as in "the circle was square." Epistemically, a contradiction is an irrational belief in both a proposition and its denial.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Belief Sets and Commitment Stores.Roderic A. Girle - unknown
    In this paper we compare central elements of Dialogue Logic and Belief Revision theory. Dialogue Logic of the Hamblin/Mackenzie style, or Formal Dialectic, contains three main features. First, there is a rule governed interaction between dialogue participants—the minimal case being two participants. Second, each participant has a commitment store which changes as the dialogue progresses. Third, the changes in the commitment store are governed by rules for additions and withdrawals of material. Withdrawal of material is one major source of difficulty (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations