Justified Belief and the Topology of Evidence
| Authors | |
|---|---|
| Publication date | 2016 |
| Host editors |
|
| Book title | Logic, Language, Information, and Computation |
| Book subtitle | 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 23rd International Workshop on Logic, Language, Information, and Computation, WoLLIC 2016 |
| Pages (from-to) | 83-103 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | 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, and undefeated justification versus undefeated belief. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-662-52921-8_6 |
| Downloads |
534203
(Final published version)
|
| Permalink to this page | |
