论文标题
基于上下文更新的有条件弱的必需品的逻辑理论
A logical theory for conditional weak ontic necessity based on context update
论文作者
论文摘要
弱的必要性是``应该''或``应该用英语''所表达的必要性。一个例子是``我现在应该死了''。这种必要性的一个特征是它是否与其偏见是否存在有关。在本文中，我们提出了一个基于上下文更新的条件性弱型必要性的逻辑理论。上下文是一组有序的默认值，确定了当前世界的预期状态。对上下文评估句子。在评估有条件的弱环境相对于上下文时，我们首先使用先例更新上下文，然后检查随后的上下文是否相对于更新的上下文。逻辑完成。我们的理论结合了前提语义和更新条件的语义。
Weak ontic necessity is the ontic necessity expressed by ``should'' or ``ought to'' in English. An example of it is ``I should be dead by now''. A feature of this necessity is whether it holds does not have anything to do with whether its prejacent holds. In this paper, we present a logical theory for conditional weak ontic necessity based on context update. A context is a set of ordered defaults, determining expected possible states of the present world. Sentences are evaluated with respect to contexts. When evaluating the conditional weak ontic necessity with respect to a context, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. The logic is complete. Our theory combines premise semantics and update semantics for conditionals.
