基命题:极小主义真理论解决说谎者悖论的策略

面对说谎者悖论的挑战,极小主义真理论以真谓词以及意义使用论为基础,以基命题作为甄别标准,通过限定等值模式的可接受实例,从而达到避免说谎者悖论的目的。为了弥补无基命题产生的不足,霍维奇进一步提出了语义认知方案,从语义层面配合基命题限定等值模式的可接受实例。

索伦森“使真者—间隙认知主义”及其困境

作为认知主义者的索伦森不同于威廉姆森,他不用“无知”来解释模糊性。他宣称,模糊性是由语义特征“使真者间隙(Truthmaker Gap)”引起的,并且这一特征使“无知”成为一个必然的附带结果。他强调,我们能够找到模糊谓词F的一个精确分界点n,使得形如Fa n→Fa n+1的命题的前件为真且后件为假;但由于使真者间隙,这些命题既无使真者又无使假者,它们如同一座“认知孤岛”,人们无法获得通达其真值的认知渠道,因而这些命题是形而上学不可知的。索伦森的使真者间隙认知主义能够保证所有包含模糊谓词的命题在经典逻辑内有效,也能够解释绝对边界情形存在但不可知的原因。然而,这一理论也面临着如“认知孤岛并非真正的孤岛”和“与高阶模糊性不相容”等问题。