TL;DR
This paper introduces a formal logic framework designed to analyze and explore various aspects of Veracity, including demonstrability, truth, trust, and authenticity, from foundational principles.
Contribution
It presents the initial development of a formal logic specifically aimed at characterizing broad concepts related to Veracity.
Findings
Proposes a new formal logic for Veracity
Lays foundational principles for further exploration of trust and authenticity
Establishes a basis for future logical analysis of Veracity issues
Abstract
This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity, which includes properties of demonstrability, truth, trust and authenticity.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Philosophy and Theoretical Science · Epistemology, Ethics, and Metaphysics