对认知逻辑一个新发展的若干省思

当代有关于外在世界的激进怀疑论者常利用知识封闭性原则去论证他们的立场。为了反驳这样的怀疑论，有些学者主张我们应该重新检视知识的标准，以便发现这些怀疑论论证中的问题，特别是知识封闭性原则是否成立的问题。在这些学者中，有两类极为受到重视：一类是主张知识的成立与否只涉及“相关的”可能性是否已被排除的相关选择理论学者，如D. Lewis、F. Dretske、和M. Heller，另一类则是主张知识的成立与否与某些虚拟条件是否为真有关的虚拟论者，如R. Nozick、E. Sosa、和K. DeRose。不幸的是，对于这两类理论的讨论往往流于直觉并因而缺乏逻辑的严谨性。为了弥补这个缺点，W. Holliday最近利用了两种新的形式化语意论去重新模塑上述两类理论，并严格证明了每种理论在知识封闭性问题上的逻辑结果。他的形式化工作和证明带来了极为严格而又丰硕的成果，本论文的主旨便在对Holliday这一个认知逻辑的新发展方向作出若干哲学与逻辑上的省思。