- 濠梁之辩、摩尔悖论与唯我论被引量：2
- 2011年
- 运用现代逻辑工具对《庄子》中的著名辩论濠梁之辩所包含的命题、论证和推理进行了分析,指出惠施在论辩中隐含使用或承认了某种唯我论命题,该命题将导出形如"φ且我不知道φ"这样的摩尔句,从而产生摩尔悖论。庄子通过反驳和"诡辩"的方式不自觉地触及了其悖论性所在。进一步,利用摩尔悖论表明:在合理的预设下,认识论的唯我论即使是真的,也是不可知的。本体论的唯我论比认识论的唯我论在逻辑上更加坚固。
- 文学锋何杨
- 关键词：唯我论认知逻辑
- 语境同义性逻辑(英文)被引量：1
- 2010年
- 众所周知,基于可能世界语义的内涵逻辑由于对意义的刻画过于粗粝而导致了所谓的"超内涵问题"。为了解决超内涵问题,出现了各种超内涵逻辑,其中由Suszko提出的带等词的命题逻辑(SCI)是超内涵逻辑中最基本的一种。本文是对SCI的精炼,其动机是语境同义性论题(CST)。该论题认为,同义性标准具有语境依赖性。基于认知语境主义,我们给出了CST的一个论证。通过将SCI中的二元等词修改为一个三元结构,用来表示两个陈述相对某个语境表达同一命题,我们给出了CST的希尔伯特式公理系统。我们证明了该系统相对一个代数模型类是可靠的和完全的。该代数模型的论域由命题构成,同时附带一组命题上的全等关系,用以刻画相对于语境的命题同一性。我们运用该逻辑部分解决了分析悖论这一困扰逻辑学家多年的问题。与我们之前的基于相同动机的论文[17]相比,本文给出的形式语言更加丰富,从而能够表达不同语境之间以及不同语境的同义性之间的关系。
- 文学锋
- 关键词：语境依赖性内涵逻辑命题逻辑公理系统代数模型语境主义
