逻辑化的指称语义学

指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理。这种公理化的推理方式,提高了指称语义学用于程序自动验证的能力。同时,把不同形式的程序语义学,在一阶时态逻辑之下统一地进行处理也是一种新的尝试。

Gettier反例的误导性——语义失败与语义混淆

普遍观点认为,Gettier反例有效地挑战了传统的知识分析(JTB),而Mizrahi等学者尝试从语义学的角度探讨这些反例中的误导性。根据Kripke对于“说话者指称”和“语义学指称”的区分,Mizrahi认为在Gettier反例中存在一种语义失败的现象:于某个认知主体而言,某个指示词的说话者指称未能满足其作为语义学指称的条件。然而,本文首先指出Mizrahi对Kripke理论的应用存在误解。其次,即便Mizrahi对Kripke理论的理解与应用是准确的,他所主张的语义失败也不普遍存在于所有的Gettier反例之中。最后,本文基于Mizrahi的论述,进一步探讨了Gettier反例中的另一种语义问题——语义混淆:反例声称认知主体知道的那个命题既有认知主体的意向所指,也有实际所指。因此,Gettier反例仍然具有误导性。

关于FS-Domain的Plotkin幂-Domain

本文证明了 ＦＳ－Ｄｏｍａｉｎ关于 Ｐｌｏｔｋｉｎ幂－Ｄｏｍａｉｎ构造是封闭的．

论先验偶然知识之论争

古典哲学认为,"先验"与"必然"外延全同。克里普克则指出认知主体可以获得"先验偶然"知识,这一论题甚至在直接指称阵营内部就引起了很大争议。通过澄清"相信的方式(ways of believing)"这一概念,论证严格区分"信态"(state of beliefs)与"模态"(modality)两个层面是解决"先验偶然知识之论争"的关键所在。与之密切相关的是,先验偶然知识合理性论题还可以间接论证专名应具有含义。

什么是形而上学指称——与叶闯教授商榷

在早期语言哲学中,意义与指称是密切相关的:意义问题就是指称问题。弗雷格是从语言出发考虑指称问题的,他讨论句子的意谓完全是为了讨论句子的意义,这也是他区分意义和意谓的主要目的。在罗素和维特根斯坦那里,名称的指称并非外在对象,而是经过逻辑构造的命题记号。当代语言哲学家在讨论指称问题时,更多地是在语言与世界的关系上做文章,这在塞斯伯利和克里普克的论述中都得到了明显的证明。无论是在传统的意义上还是在现代的意义上,语言哲学家们讨论的指称概念并不包含任何"形而上学指称"的含义。"形而上学指称"应当是指按照概念分析的方法对我们使用的语言所作的语言学上的描述。

异端的理论与合理的解释——评叶闯教授新著《语言·意义·指称——自主的意义与实在》

本文简要介绍评价《语言·意义·指称》一书中的哲学观点,作者在该书中提出了一个与传统语义理论完全相反的语义理论,从区别语义学指称和形而上学指称开始,作者定义了语义学标记,对否定存在陈述、空名陈述、分析性等语言哲学的重要难题给予了全新的解释,但这一解释是否完全、一致、系统而且直观仍然是一个有待讨论的问题。