塔斯基理论框架下戴维森自然语言意义理论探析

戴维森试图以针对形式化语言提出的塔斯基真理论为基础,提出针对自然语言意义的语义理论,利用逻辑规则、语义规则和递归手段等阐释和推导意义。他认为语义学理论应能判定每个有意义的词语字符串的意义,捕获意义本质需要真值条件的有限声明。尽管戴维森意义理论具有上述优点,对自然语言语义理解和解释起到巨大贡献,但是戴维森理论只是对部分语言提出解释,并没有对整个语言运作提出一种解释,而且无法解决指代对象依赖于上下文的表达式,无法解决语句真值不取决于构成其的小句成分的真值。

塔斯基的真理论与符合论

塔斯基的语义真理论常被当作符合论。通过区分塔斯基式真定义的普遍特征和具体的定义形式,并对不同语言构造具有不同语义特征的定义实例,揭示出塔斯基所持的是一种语义工具论。塔斯基的真理论并不是符合论。

有关实质真理论的若干问题——陈波与吉拉·谢尔的对话

建立实质真理论的工作包括两个方面:一是在实质方法论的基础上对非实质真理论(包括真理紧缩论、静默论和去引号论)进行批判,二是对实质真理进行正面阐述。实质真理论的基本原则包括:真理的内在性、超越性和规范性;"多重"的符合原则以及逻辑性原则。运用实质真理论来说明数学真理,不需要假定一种关于数字个体的柏拉图主义;实质真理论的发展不仅扭转了说谎者悖论与真理论的关系,而且也有助于消除说谎者悖论的消解方案面临的特设性指责。另外,谢尔比较了实质真理论与塔斯基真理论和多元真理论等的差异。

“解悖雄师”与“漏网之鱼”——评西蒙斯、普利斯特的“解悖方案”

"仅是矛盾"很不同于"矛盾被证";后者才挑战"不矛盾"律,但被我们消解了。所以,塔斯基的"层级论"是冗余的。逻辑派是西方"解悖雄师"的主力,它基本上修补着塔的理论,自然遭"一网打尽";而作为"偏师"的辩证派,因要"理性重建"不矛盾律,反而成为"漏网之鱼"!