IRI

http://www.metaontology.pl/metaontology_populated.owl#abstract_3032
Label Language Type
abstract of A Logic of Justification and Truthmaking en rdfs:label

Annotations

  • has text
    • 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.

Same Individuals

Object properties

Data properties