Switch to: References

Add citations

You must login to add citations.
  1. An Algorithmic Impossible-Worlds Model of Belief and Knowledge.Zeynep Soysal - forthcoming - Review of Symbolic Logic:1-25.
    In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. In outline, the model entails that an agent believes (knows) φ just in case she can easily (and correctly) compute that φ is true and thus has the capacity to make her actions depend on whether φ. The model thereby (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Idle Questions.Jens Kipper, Alexander W. Kocurek & Zeynep Soysal - forthcoming - Journal of Philosophy.
    In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation