We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Logics of False Belief and Radical Ignorance

Authors: Jie Fan
Abstract: In the literature, the question about how to axiomatize the transitive logic of false belief is thought of as hard and left as an open problem. In this paper, among other contributions, we deal with this problem. In more details, although the standard doxastic operator is undefinable with the operator of false belief, the former is {\em almost definable} with the latter. On one hand, the involved almost definability schema guides us to find the desired core axioms for the transitive logic and the Euclidean logic of false belief. On the other hand, inspired by the schema and other considerations, we propose a suitable canonical relation, which can uniformly handle the completeness proof of various logics of false belief, including the transitive logic. We also extend the results to the logic of radical ignorance, due to the interdefinability of the operators of false belief and radical ignorance.
Comments: 21 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
MSC classes: 03B45, 03B42
Cite as: arXiv:2404.07442 [math.LO]
  (or arXiv:2404.07442v1 [math.LO] for this version)

Submission history

From: Jie Fan [view email]
[v1] Thu, 11 Apr 2024 02:52:01 GMT (92kb)

Link back to: arXiv, form interface, contact.