Switch to: References

Add citations

You must login to add citations.
  1. Dynamic hyperintensional belief revision—erratum.Aybüke Özgün & Francesco Berto - forthcoming - Review of Symbolic Logic:1-1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Logical Development of Pretense Imagination.Aybüke Özgün & Tom Schoonen - forthcoming - Erkenntnis:1-27.
    We propose a logic of imagination, based on simulated belief revision, that intends to uncover the logical patterns governing the development of imagination in pretense. Our system complements the currently prominent logics of imagination in that ours in particular formalises the algorithm that specifies what goes on in between receiving a certain input for an imaginative episode and what is imagined in the resulting imagination, as well as the goal-orientedness of imagination, by allowing the context to determine, what we call, (...)
    Direct download (4 more)  
     
    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” (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Mighty Belief Revision.Stephan Krämer - 2022 - Journal of Philosophical Logic 51 (5):1175-1213.
    Belief revision theories standardly endorse a principle of intensionality to the effect that ideal doxastic agents do not discriminate between pieces of information that are equivalent within classical logic. I argue that this principle should be rejected. Its failure, on my view, does not require failures of logical omniscience on the part of the agent, but results from a view of the update as _mighty_: as encoding what the agent learns might be the case, as well as what must be. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Semantics for Hyperintensional Belief Revision Based on Information Bases.Sena Bozdag - 2022 - Studia Logica 110 (3):679-716.
    I propose a novel hyperintensional semantics for belief revision and a corresponding system of dynamic doxastic logic. The main goal of the framework is to reduce some of the idealisations that are common in the belief revision literature and in dynamic epistemic logic. The models of the new framework are primarily based on potentially incomplete or inconsistent collections of information, represented by situations in a situation space. I propose that by shifting the representational focus of doxastic models from belief sets (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Logic of Framing Effects.Francesco Berto & Aybüke Özgün - 2023 - Journal of Philosophical Logic 1:1-24.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Indicative Conditionals: Probabilities and Relevance.Franz Berto & Aybüke Özgün - 2021 - Philosophical Studies (11):3697-3730.
    We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is high, provided that (ii) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Epistemic Modality and Hyperintensionality in Mathematics.Hasen Khudairi - 2017 - Dissertation, University of St Andrews
    This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscript
    This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...)
    Direct download  
     
    Export citation  
     
    Bookmark