Abstract

We offer a new semantic approach to formal epistemology that incorporates two principal ideas: (i) justifications are prime objects of the model: knowledge and belief are defined evidence-based concepts; (ii) awareness restrictions are applied to justifications rather than to propositions, which allows for the maintaining of desirable closure properties. The resulting structures, Justification Awareness Models, JAMs, naturally include major justification models, Kripke models and, in addition, represent situations with multiple possibly fallible justifications which, in full generality, were previously off the scope of rigorous epistemic modeling.

中文翻译：

---

理由意识

我们为形式认识论提供了一种新的语义学方法，该方法包含了两个主要思想：（i）证明是模型的主要对象：知识和信念是定义的基于证据的概念；（ii）意识限制适用于辩护而不是主张，这可以保持理想的封闭特性。产生的结构，证明意识模型，JAM，自然包括主要的证明模型，Kripke模型，此外，还代表了具有多个可能错误的证明的情况，这些情况在一般情况下完全不属于严格的认识论建模的范围。