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

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

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

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

Download (33kB) | Preview
[thumbnail of Abstract] 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