Logic and topology for knowledge, knowability, and belief
From MaRDI portal
Publication:3389490
DOI10.1017/S1755020319000509zbMATH Open1473.03010arXiv1612.02055OpenAlexW2607495593MaRDI QIDQ3389490FDOQ3389490
Authors: Adam Bjorndahl, Aybüke Özgün 
Publication date: 11 May 2021
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Abstract: 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, and using frameworks developed in previous work by Bjorndahl and Baltag et al., 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 (roughly speaking) 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 principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an "evidence-in-hand" conception of knowledge and a weaker "evidence-out-there" notion of what could come to be known. Our analysis leads to a trimodal logic of knowledge, knowability, and belief interpreted in topological subset spaces in which belief is definable in terms of knowledge and knowability. We provide a sound and complete axiomatization for this logic as well as its uni-modal belief fragment. We then consider weaker logics that preserve suitable translations of Stalnaker's postulates, yet do not allow for any reduction of belief. We propose novel topological semantics for these irreducible notions of belief, generalizing our previous semantics, and provide sound and complete axiomatizations for the corresponding logics.
Full work available at URL: https://arxiv.org/abs/1612.02055
Recommendations
Cites Work
- Modal logic
- Two modellings for theory change
- Nash equilibria of \(n\)-player repeated games with semi-standard information
- Dynamic logic for belief revision
- Title not available (Why is that?)
- A qualitative theory of dynamic interactive belief revision
- Title not available (Why is that?)
- Dynamic epistemic logic
- A logical analysis of some value concepts
- Clues to the paradoxes of knowability: reply to Dummett and Tennant
- What one may come to know
- Prolegomena to dynamic logic for belief revision
- Public announcement logic in geometric frameworks
- Knowability as potential knowledge
- Justified Belief and the Topology of Evidence
- Topological reasoning and the logic of knowledge
- Title not available (Why is that?)
- Structures for Epistemic Logic
- The topology of full and weak belief
- The topology of belief, belief revision and defeasible knowledge
- Logics for multi-subset spaces
- Subset Space Logic with Arbitrary Announcements
- Subset Space Public Announcement Logic
- Stability, strength and sensitivity: converting belief into knowledge
- Announcement as effort on topological spaces
- A topological approach to full belief
- Topological Subset Space Models for Public Announcements
- Title not available (Why is that?)
Cited In (10)
- Relating truth, knowledge and belief in epistemic states
- Altenatives to Kripke semantics for epistemic logic
- To be announced
- Quantum epistemology and constructivism
- The topology of belief, belief revision and defeasible knowledge
- Logics for knowability
- A topological approach to full belief
- A note on logics of ignorance and borders
- The logic of framing effects
- Minimal knowledge and belief via minimal topology
This page was built for publication: Logic and topology for knowledge, knowability, and belief
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389490)
