Justified Belief and the Topology of Evidence
@inproceedings{Baltag2016JustifiedBA, title={Justified Belief and the Topology of Evidence}, author={Alexandru Baltag and Nick Bezhanishvili and Ayb{\"u}ke {\"O}zg{\"u}n and Sonja Smets}, booktitle={WoLLIC}, year={2016} }
We introduce a new topological semantics for evidence, evidence-based justifications, belief and knowledge. This setting builds on the evidence model framework of van Benthem and Pacuit, as well as our own previous work on a topological semantics for Stalnaker's doxastic-epistemic axioms. We prove completeness, decidability and finite model property for the associated logics, and we apply this setting to analyze key issues in Epistemology: "no false lemma" Gettier examples, misleading defeaters…
53 Citations
The Topology of Full and Weak Belief
- PhilosophyTbiLLC
- 2015
We introduce a new topological semantics for belief logics in which the belief modality is interpreted as the interior of the closure of the interior operator. We show that the system wKD45, a…
Subset Models for Justification Logic
- Philosophy, Computer ScienceWoLLIC
- 2019
A new semantics for justification logic based on subset relations is introduced, which model justifications as sets of possible worlds and shows that they subsume Artemov's approach to aggregating probabilistic evidence.
Knowledge in Topological Argumentation Models
- PhilosophyLORI
- 2019
The main contribution of this paper is a counter-intuitive result about the notion of knowledge based on justification, which is related to the no false lemmas in Stalnaker’s BK system.
Argument-based Belief in Topological Structures
- PhilosophyTARK
- 2017
A topological semantics for epistemic notions and argumentation theory are combined, providing also a formal language with a matching modality together with a sound and complete axiom system for a newly defined notion of beliefs grounded on arguments.
No false grounds and topology of argumentation
- PhilosophyJ. Log. Comput.
- 2021
The formalization shows that one of the two notions of knowledge proposed by Clark, justified belief with true grounds, satisfies Stalnaker’s axiom system of belief and knowledge except for the axiom of closure under conjunction.
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
- PhilosophyTARK
- 2017
It is argued 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.
Topological Subset Space Models for Belief
- PhilosophyArXiv
- 2016
It is argued 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.
Evidence in Epistemic Logic : A Topological Perspective
- Philosophy
- 2017
This dissertation re-interprets some existing epistemic and doxastic logics and their dynamic extensions from a topological perspective, providing an evidence-based interpretation and using topological tools to refine and extend earlier analysis, leading to novel logics of evidence and information dynamics.
A Topological Approach to Full Belief
- PhilosophyJ. Philos. Log.
- 2019
This paper provides a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces, and provides a complete axiomatization of the logic of conditional belief and knowledge.
LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF
- PhilosophyThe Review of Symbolic Logic
- 2020
It is argued 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.
References
SHOWING 1-10 OF 31 REFERENCES
The Topology of Belief, Belief Revision and Defeasible Knowledge
- PhilosophyLORI
- 2013
We present a new topological semantics for doxastic logic, in which the belief modality is interpreted as the closure of the interior operator. We show that this semantics is the most general…
Dynamic Logics of Evidence-Based Beliefs
- PhilosophyStud Logica
- 2011
This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence…
Dynamic logic for belief revision
- PhilosophyJ. Appl. Non Class. Logics
- 2007
This work shows how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added, and obtains complete logics for concrete mechanisms of belief revision based on compositional reduction axioms.
The Topological Theory of Belief
- Philosophy
- 2015
Stalnaker introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept which captures the ‘epistemic possibility of knowledge’. In this paper we…
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
- PhilosophyElectron. Notes Theor. Comput. Sci.
- 2006
A qualitative theory of dynamic interactive belief revision
- Philosophy
- 2008
A logical setting is presented that incorporates a belief-revision mechanism within Dynamic-Epistemic logic, and it is shown how the update mechanism can “simulate”, in a uniform manner, many different belief- revision policies.
Stability, Strength and Sensitivity: Converting Belief into Knowledge
- Philosophy
- 2004
In this paper I discuss the relation between various properties that have been regarded as important for determining whether or not a belief constitutes a piece of knowledge: its stability, strength…
Dynamic epistemic logic
- Philosophy, Computer Science
- 1998
A semantics and a deduction system for a multi-agent modal language extended with a repertoire of programs that describe information change, designed in such a way that everything that is expressible in the object language can be known or learned by each of the agents.
Knowledge and Grounds: A Comment on Mr. Gettier's Paper
- Philosophy
- 1963
In his paper “Is Justified True Belief Knowledge?” (Analysib 23.6, June 1963) Mr. Gettier provides two counter-examples which show that it need not be. In each case a proposition which is in fact…