Logic and topology for knowledge, knowability, and belief
From MaRDI portal
Publication:3389490
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 3616386 (Why is no real title available?)
- scientific article; zbMATH DE number 7450021 (Why is no real title available?)
- A logical analysis of some value concepts
- A qualitative theory of dynamic interactive belief revision
- A topological approach to full belief
- Announcement as effort on topological spaces
- Clues to the paradoxes of knowability: reply to Dummett and Tennant
- Dynamic epistemic logic
- Dynamic logic for belief revision
- Justified belief and the topology of evidence
- Knowability as potential knowledge
- Logics for multi-subset spaces
- Modal logic
- Nash equilibria of \(n\)-player repeated games with semi-standard information
- Prolegomena to dynamic logic for belief revision
- Public announcement logic in geometric frameworks
- Stability, strength and sensitivity: converting belief into knowledge
- Structures for epistemic logic
- Subset space logic with arbitrary announcements
- Subset space public announcement logic
- The topology of belief, belief revision and defeasible knowledge
- The topology of full and weak belief
- Topological reasoning and the logic of knowledge
- Topological subset space models for public announcements
- Two modellings for theory change
- What one may come to know
Cited in
(13)- Minimal knowledge and belief via minimal topology
- To be announced
- A note on logics of ignorance and borders
- Logics for knowability
- Altenatives to Kripke semantics for epistemic logic
- Logic and topology for knowledge, knowability, and belief. Extended abstract
- The topology of full and weak belief
- Relating truth, knowledge and belief in epistemic states
- The topology of belief, belief revision and defeasible knowledge
- Topology and justified true belief: a baseless, evidence-free (and pointless) approach
- Quantum epistemology and constructivism
- A topological approach to full belief
- The logic of framing effects
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)
