PP-2003-22: van Benthem, Johan (2003) What One May Come to Know. [Report]
Text (Full Text (PS))
PP-2003-22.text.ps.gz Download (28kB) |
|
Preview |
Text (Full Text (PDF))
PP-2003-22.text.pdf Download (33kB) | Preview |
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 |