The paper considers proofs and evidence as two forms of justification. It shows how knowledge and belief modalities can be ‘unfolded’ into justification terms. Proofs are justifications in their purest form, but justification logics can be seen as a more developed way to build a kind of formal epistemology. The vital question for seeing proofs and evidence as two forms of justification is the ontology of truth. The paper argues that the ontology of truth can be conceived as a situational interpretation of sense data or corresponding description of physical objects and their relations.
В статье вводятся понятия доказательства-вывода и доказательства-свидетельства как двух форм обоснования. Показано, как эпистемические модальности знания и мнения могут быть представлены через понятие обоснования. При этом доказательства-выводы представляют собой обоснования в наиболее очевидной форме, но по сути логики обоснования могут быть применены и к доказательствам-свидетельствам. Одним из главных вопросов тогда будет вопрос об онтологии, которая связана с понятием истины. Применительно к доказательству- свидетельству истина понимается в духе корреспондентной теории как описание вещей и их отношений.