Logical Omniscience

s
since mentioning perfect knowledge is not illegal (after all, it has been a
topic of interest rom philosophy to computer science)let me point to a
parallel rich vein with some more readings

going through the literature I found the topic Logical Omniscience
(somewhat)
This article, open access courtesy o Springer


The Fundamental Problem of Logical Omniscience
Peter Hawke1,2 · Ayb ̈uke ̈Ozg ̈un 1,2 · Francesco Berto 1,2
Received: 19 June 2019 / Accepted: 12 November 2019
© The Author(s) 2019
Abstract
We propose a solution to the problem of logical omniscience in what we take
to be
its fundamental version: as concerning arbitrary agents and the knowledge
attitude
per se. Our logic of knowledge is a spin-off from a general theory of thick
con-
tent, whereby the content of a sentence has two components: (i) an
intension, taking
care of truth conditions; and (ii) a topic, taking care of subject matter.
We present
a list of plausible logical validities and invalidities for the logic of
knowledge per
se for arbitrary agents, and isolate three explanatory factors for them:
(1) the topic-
sensitivity of content; (2) the fragmentation of knowledge states; (3) the
defeasibility
of knowledge acquisition. We then present a novel dynamic epistemic logic
that
yields precisely the desired validities and invalidities, for which we
provide expres-
sivity and completeness results. We contrast this with related systems and
address
possible objections.
Keywords Aboutness · Subject matter · Logical omniscience · Dynamic
epistemic
logic ·

https://link.springer.com/content/pdf/10.1007/s10992-019-09536-6.pdf