A Logic of Justification and Truthmaking

Review of Symbolic Logic 6 (2):323-342 (2013)
Download Edit this record How to cite View on PhilPapers
In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then applied both for interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition.
Reprint years
PhilPapers/Archive ID
Revision history
First archival date: 2013-02-11
Latest version: 3 (2013-02-14)
View upload history
References found in this work BETA
Truth and Truthmakers.Armstrong, D. M.
Reasoning About Knowledge.Fagin, Ronald; Y. Halpern, Joseph; Moses, Yoram & Vardi, Moshe

View all 10 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index

Total views
710 ( #4,538 of 47,402 )

Recent downloads (6 months)
82 ( #7,775 of 47,402 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.