Meta Ontology

In the present paper we propose a system of propositional logic for reasoning aboutjustification, truthmaking, and the connection between justifiers and truthmakers. The logic ofjustification and truthmaking is developed according to the fundamental ideas introduced byArtemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition thatjustifiers provide epistemic grounds for propositions to be considered true, while truthmakersprovide ontological grounds for propositions to be true. This system of logic is then appliedboth for interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition.