模态认识论探纲

模态认识论主要讨论形而上学模态、模态信念和知识、获取模态知识的途径、确立模态信念正当性的规范等主要议题。现代哲学中即有模态认识论的理性主义、经验主义和语义主义思想源头,当代哲学家克里普克区分形而上学模态与认知模态,为当代模态认识论设定了核心议题及出发点。当前,人们讨论形而上学模态与逻辑模态、律则模态之间的关系,提出并试图应对各种模态怀疑论,建立四种主要的模态认识论方案,就模态直觉、错觉、错误等提出具体的规范性条件。未来,模态认识论将沿着基本概念探析、可设想型模态知识说明、反事实型模态知识说明和本质主义模态知识说明等几个方向,取得突破性进展,并在逻辑学、语言哲学等学科领域产生持续且深远的影响。

威廉姆森的模态认识论:一种温和的模态怀疑论

模态认识论是当今分析哲学的前沿且热点话题之一,主要探讨“我们能不能获得那些可能性或必然性的知识”这个问题。哲学的论证中充斥着大量的模态前提,而证成这些前提则是我们评估论证好坏的重要一环。威廉姆森借助于NEC和POS这两类逻辑等价关系,认为我们日常处理反事实条件句的认知能力给我们带来了获得形而上学模态性知识的认知能力。学界对威廉姆森的理论提出了构成性事实以及模态性厘定的质疑,但实际上这些质疑并不成功。对形而上学模态进行分层处理之后,我们发现对于“清晰事例”的形而上学模态知识,可以借助于逻辑与物理等方式去获得;对于“不清晰事例”的形而上学模态知识则持一种怀疑论的态度,但这并不妨碍我们具有形而上学模态知识的认知能力。

可设想性是否蕴含可能性?——兼评模态知识论领域的若干争论

模态知识论的核心问题是“如何得知反事实命题和不确定性命题的可能性,以及得知非逻辑且非数学类知识的必然性”。本文主要考察后克里普克时代可设想性方案的研究进展,通过对模态怀疑主义、弱模态理性主义以及模态还原主义的理论剖析,重新阐释人类设想行为的约束条件,并对模态的多样性进行简单刻画。

“金三角”的断裂与重建——查莫斯型二维语义学的批判性考察

所谓意义、理性与模态的"金三角",指的是现代西方语言哲学与逻辑哲学的一种传统观点:一个语句是分析真的,当且仅当它是先验真的,当且仅当它是必然真的。查莫斯认为,20世纪70年代克里普克提出的形而上模态与认知模态的区分造成了传统"金三角"的断裂,而他试图利用"认知二维语义学"重建"金三角",同时使之与克里普克的理论相协调。然而,关于"认知二维语义学"是否真正地继承了形而上模态与认知模态的克里普克式区分这一点是有待讨论的。

认知二维语义学与克里普克理论之关系探析

查莫斯宣称,他的认知二维语义学承认克里普克的模态与意义理论,并分别从模态论证与认知论证两个方面论述了这一点。但是,认知二维语义学诉诸模态理性主义一元论,而该理论违背了克里普克对认知模态与形而上模态的划分;并且,如果认知内涵框架可以整合指称的因果机制,那么,认知内涵就应当是一种元语义成分。因此,认知二维语义学并未真正地完全接受克里普克的模态与意义理论。

从可能到必然——贯穿普兰丁格本体论证明的逻辑之旅

普兰丁格使用模态逻辑S5及其可能世界语义学作为论证工具,并运用可能世界、世界索引性质、个体本质和示例等基本哲学概念之间的内在逻辑联系,在辩明极大伟大性、极大美德性及全能、全知和道德完美三者之间关系的基础之上,证明上帝的存在。这一本体论证明的最大贡献在于摆脱了康德式"存在不是谓词"的责难。它不但在形式上是有效的,而且更为形象直观,极大扩展了本质主义学说的内涵。但其主要前提的可靠性并未得到有力证成,至大可能性的模态直觉辩护需要更详尽的澄清,至大的可能性属于相对模态,绝非形而上学模态,二者不可等同视之;它使用的论证工具模态逻辑S5是否正确的形而上学模态逻辑也存在着广泛争议。

论威廉姆森的必然主义

威廉姆森在他的新著《作为形而上学的模态逻辑》中论证了必然主义,即必然地任何东西都必然地是某个东西,或者说,任何对象都存在于任何可能世界中。首先重构他支持必然主义的三个论证:诉诸于巴肯公式的论证、诉诸于存在限制的论证以及诉诸于模态概括公理的论证。其次阐释他通过逻辑原则得出形而上学结论的方法论启示。威廉姆森的工作对于推动当代分析形而上学的发展具有重要意义。