PP-2003-22: What One May Come to Know

PP-2003-22: van Benthem, Johan (2003) What One May Come to Know. [Report]

[img] Text (Full Text (PS))
PP-2003-22.text.ps.gz

Download (28kB)
[img]
Preview
Text (Full Text (PDF))
PP-2003-22.text.pdf

Download (33kB) | Preview
[img] Text (Abstract)
PP-2003-22.abstract.txt

Download (656B)

Abstract

Fitch's 'paradox of the Knower' shows that verificationism in the appealing version "everything that is true may be known" is inconsistent. We give an even stronger dynamic version: "everything that is true may come to be known", and point out its connections with the 'learning problem' for statements in update logics. Moreover, we show how different natural versions of the verificationist thesis hold for different classes of epistemic statement, and that these classes are all decidable in basic epistemic S5.

Item Type: Report
Report Nr: PP-2003-22
Series Name: Prepublication (PP) Series
Year: 2003
Uncontrolled Keywords: knowledge, update, epistemic logic, dynamic logic, learning, Fitch Paradox
Subjects: Logic
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/106

Actions (login required)

View Item View Item