Unknown Truths and Unknowable Truths
Logic in Computer Science
2023-10-10 v1 Logic
Abstract
Notions of unknown truths and unknowable truths are important in formal epistemology, which are related to each other in e.g. Fitch's paradox of knowability. Although there have been some logical research on the notion of unknown truths and some philosophical discussion on the two notions, there seems to be no logical research on unknowable truths. In this paper, we propose a logic of unknowable truths, investigate the logical properties of unknown truths and unknowable truths, which includes the similarities of the two notions and the relationship between the two notions, and axiomatize this logic.
Keywords
Cite
@article{arxiv.2310.05777,
title = {Unknown Truths and Unknowable Truths},
author = {Jie Fan},
journal= {arXiv preprint arXiv:2310.05777},
year = {2023}
}
Comments
pages 13