Switch to: References

Add citations

You must login to add citations.
  1. Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. 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 and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modal Cognitivism and Modal Expressivism.Timothy Bowen - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dynamic hyperintensional belief revision—erratum.Aybüke Özgün & Francesco Berto - forthcoming - Review of Symbolic Logic:1-1.
    Download  
     
    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, (...)
    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  
  • 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  
  • 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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Subject-Matter and Intensional Operators III: State-Sensitive Subject-Matter and Topic Sufficiency.Thomas Macaulay Ferguson - forthcoming - Review of Symbolic Logic:1-27.
    Logical frameworks that are sensitive to features of sentences’ subject-matter—like Berto’s topic-sensitive intentional modals (TSIMs)—demand a maximally faithful model of the topics of sentences. This is an especially difficult task in the case in which topics are assigned to intensional formulae. In two previous papers, a framework was developed whose model of intensional subject-matter could accommodate a wider range of intuitions about particular intensional conditionals. Although resolving a number of counterintuitive features, the work made an implicit assumption that the subject-matter (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals.Thomas Macaulay Ferguson - 2023 - Journal of Philosophical Logic 52 (6):1673-1701.
    In frameworks in which _topic-__theoretic_ considerations—_e.g._, tracking _subject-matter_ or _topic_—are given equal importance with _veridical_ considerations, assigning topics to formulae in a satisfactory way is of critical importance. While intuitions are more-or-less solid for _extensional_ formulae in a propositional language, arriving at a compelling account of the subject-matter of _intensional_ formulae, _i.e._, formulae including intensional operators, is more challenging. This paper continues previous work on modeling topics of intensional formulae in William Parry’s logic of analytic implication, adapting the general techniques (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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) (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations