Switch to: References

Add citations

You must login to add citations.
  1. Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
    Prioritized bases, i.e., weakly ordered sets of sentences, have been used for specifying an agent’s ‘basic’ or ‘explicit’ beliefs, or alternatively for compactly encoding an agent’s belief state without the claim that the elements of a base are in any sense basic. This paper focuses on the second interpretation and shows how a shifting of priorities in prioritized bases can be used for a simple, constructive and intuitive way of representing a large variety of methods for the change of belief (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • The skeptic's dogmatism: a constructive response to the skeptical problem.Kaplan Levent Hasanoglu - 2011 - Dissertation,
    The problem of philosophical skepticism relates to the difficulty involved in underwriting the claim that we know anything of spatio-temporal reality. It is often claimed, in fact, that proper philosophical scrutiny reveals quite the opposite from what common sense suggests. Knowledge of external reality is thought to be even quite obviously denied to us as a result of the alleged fact that we all fail to know that certain skeptical scenarios do not obtain. A skeptical scenario is one in which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Scepticism, Infallibilism, Fallibilism.Tim Kraft - 2012 - Discipline Filosofiche 22 (2):49-70.
    The relation of scepticism to infallibilism and fallibilism is a contested issue. In this paper I argue that Cartesian sceptical arguments, i.e. sceptical arguments resting on sceptical scenarios, are neither tied to infallibilism nor collapse into fallibilism. I interpret the distinction between scepticism and fallibilism as a scope distinction. According to fallibilism, each belief could be false, but according to scepticism all beliefs could be false at the same time. However, to put this distinction to work sceptical scenarios have to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic Introspection.Michael Cohen - 2021 - Dissertation, Stanford University
    Download  
     
    Export citation  
     
    Bookmark  
  • Epistemology Normalized.Jeremy Goodman & Bernhard Salow - 2023 - Philosophical Review 132 (1):89-145.
    We offer a general framework for theorizing about the structure of knowledge and belief in terms of the comparative normality of situations compatible with one’s evidence. The guiding idea is that, if a possibility is sufficiently less normal than one’s actual situation, then one can know that that possibility does not obtain. This explains how people can have inductive knowledge that goes beyond what is strictly entailed by their evidence. We motivate the framework by showing how it illuminates knowledge about (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.
    If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2019 - Erkenntnis 86 (3):733-762.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Stability Theory of Knowledge and Belief Revision: Comments on Rott.Lydia Mechtenberg - 2004 - Erkenntnis 61 (2):495-507.
    In this commentary on Rotts paper Stability, Strength and Sensitivity: Converting Belief into Knowledge, I discuss two problems of the stability theory of knowledge which are pointed out by Rott. I conclude that these problems offer no reason for rejecting the stability theory, but might be grounds for deviating from the standard AGM account of belief revision which Rott presupposes.
    Download  
     
    Export citation  
     
    Bookmark  
  • The surplus value of knowledge.Wolfgang Spohn - 2024 - Theoria 90 (2):208-224.
    The Meno problem, asking for the surplus value of knowledge beyond the value of true justified belief, was recently much treated within reliabilist and virtue epistemologies. The answers from formal epistemology, by contrast, are quite poor. This paper attempts to improve the score of formal epistemology by precisely explicating Timothy Williamson's suggestion that ‘present knowledge is less vulnerable than mere present true belief to rational undermining by future evidence’. It does so by combining Nozick's sensitivity analysis of knowledge with Spohn's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A hyperintensional approach to positive epistemic possibility.Niccolò Rossi & Aybüke Özgün - 2023 - Synthese 202 (44):1-29.
    The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic and Topology for Knowledge, Knowability, and Belief.Adam Bjorndahl & Aybüke Özgün - 2020 - Review of Symbolic Logic 13 (4):748-775.
    In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker’s core insights, we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and what is knowable; we argue that the foundational axioms of Stalnaker’s system rely intuitively on both of these notions. More precisely, we argue that the plausibility of the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Topological Approach to Full Belief.Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets - 2019 - Journal of Philosophical Logic 48 (2):205-244.
    Stalnaker, 169–199 2006) introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept of belief as ‘subjective certainty’. In this paper, we provide a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces. This semantics extends the standard topological interpretation of knowledge with a new topological semantics for belief. We prove that the belief (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Bridging Ranking Theory and the Stability Theory of Belief.Eric Raidl & Niels Skovgaard-Olsen - 2017 - Journal of Philosophical Logic 46 (6):577-609.
    In this paper we compare Leitgeb’s stability theory of belief and Spohn’s ranking-theoretic account of belief. We discuss the two theories as solutions to the lottery paradox. To compare the two theories, we introduce a novel translation between ranking functions and probability functions. We draw some crucial consequences from this translation, in particular a new probabilistic belief notion. Based on this, we explore the logical relation between the two belief theories, showing that models of Leitgeb’s theory correspond to certain models (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes.Emiliano Lorini - 2013 - Journal of Philosophical Logic 42 (6):863-904.
    This paper proposes a logical framework for representing static and dynamic properties of different kinds of individual and collective attitudes. A complete axiomatization as well as a decidability result for the logic are given. The logic is applied to game theory by providing a formal analysis of the epistemic conditions of iterated deletion of weakly dominated strategies (IDWDS), or iterated weak dominance for short. The main difference between the analysis of the epistemic conditions of iterated weak dominance given in this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tracking probabilistic truths: a logic for statistical learning.Alexandru Baltag, Soroush Rafiee Rad & Sonja Smets - 2021 - Synthese 199 (3-4):9041-9087.
    We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating to each possible distribution a plausibility ranking. Beliefs are defined as in Belief Revision Theory, in terms of truth in the most plausible worlds. We consider two forms of conditioning or belief update, corresponding to the acquisition of two types of information: learning observable evidence obtained by (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Justified belief, knowledge, and the topology of evidence.Sonja Smets, Aybüke Özgün, Nick Bezhanishvili & Alexandru Baltag - 2022 - Synthese 200 (6):1-51.
    We propose a new topological semantics for evidence, evidence-based justifications, belief, and knowledge. Resting on the assumption that an agent’s rational belief is based on the available evidence, we try to unveil the concrete relationship between an agent’s evidence, belief, and knowledge via a rich formal framework afforded by topologically interpreted modal logics. We prove soundness, completeness, decidability, and the finite model property for the associated logics, and apply this setting to analyze key epistemological issues such as “no false lemma” (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation