知识的真理论与虚拟条件理论：无运气吗？

本文探讨Kripke真理论在反运气认识论（即知识的虚拟条件理论）语义学中的应用。虚拟条件理论提出模态或虚拟条件以排除仅凭运气的知识，正如将知识分析为确证真信念的Gettier式反例中所见。由于这些条件的虚拟性质，所得语义是非单调的，即便其基于如强Kleene或FDE等非经典赋值方案。这阻断了在这些语义内获得Kripke真理论不动点结果的通常路径，因此本文主要是对Kripke真理论在非单调语义内不动点结果的探索。利用拟归纳定义理论，我们表明在知识的虚拟条件理论情形下，所谓Kripke跳跃将具有不动点，尽管语义非单调：Kripke真理论可在知识的虚拟条件理论框架中成功应用。