Numeral Classifiers and the White Horse Paradox

This paper presents an interpretation of Gongsun Long＇s white horse paradox. The Chinese sentence he uses to state his main thesis （Bai ma fei ma） has two potential readings： （a） The white horses are not horses. （b） The white horses are not the horses Although （a） gives the usual and correct reading of the sentence, according to the interpretation, Gongsun Long takes it to state （b）. He gives good arguments for （b） while taking them to establish （a） as well, for he fails to distinguish between the two different theses. In presenting this interpretation, the paper gives an account of the function of numeral classifiers and discusses the semantics of count nouns in languages with no grammatical number system, including classical Chinese and classifier languages （e.g., contemporary Chinese）.     

一个关于非直谓语句的逻辑系统

非直谓现象普遍存在于许多领域中。在数学中,对集合的最小元的定义是非直谓的。在逻辑中,罗素悖论的产生是由于允许非直谓地定义一个集合,即“所有不包含它自身的集合的集合”。莱布尼兹对“同一性”的定义——“a与b是相同实体当且仅当对所有性质f,如果f（a）则f（b）,反之亦然”——是非直谓的。罗素构造分歧类型论的动机不是来自形式系统的悖论,而是来自日常语言中的悖论。本文的目标是构造一文化景观命题逻辑来刻画关于特定的非直谓语句的推理。一个非直谓语句的表达预设了一个语句集,一个典型的非直谓语句是“拿破仑具备一名伟人将军的所有德性”（罗素的例子）。本文所关注的是“一阶”非直谓语句,即仅预设直谓语句集的非直谓语句。非直谓语句的一个性质是：一个非直谓语句等价于它所预设的语句集中的成员（可能无穷）的合取。这一性质需要在要构造的逻辑系统的句法中被表达出来,而针对此本文所采用的手段是在命题逻辑系统的符号中加入“命题量词”,也就是说本文要构造一个量化命题逻辑系统。在形式化部分,本文给出了这个逻辑的句法、语义、希尔伯特公理系统和它的完全性证明。     

道德悖论研究的价值与意义

以悖论的认知范式,伦理学界考辨既有道德规范的合理性,审思道德实践领域的认知困境,试图给出消解道德悖论的一般路径.道德悼论研究至少具有三重价值和意义:可以推动道德理论实现质变性创新;增添人们的道德智慧、化解道德实践悖境;转换道德认知方式、提升人们的道德悖论思维水平.     

司马迁《老子韩非列传》写作意图之阐释

司马迁作《老子韩非列传》,不仅历史性地呈现了韩非子深受老子思想影响的逻辑关联,而且昭示了韩非子背离老子思想的深邃意蕴。韩非子借助老子"道"的悖论思想,批判并否定了儒家"仁义"之"礼",代之以"法"而"治天下"。但从本质上说,无论是儒家之"礼"还是法家之"法",均为背离"生生"之"道"的"无道"之"术"。史家作此传的深意,在于反思西汉武帝朝弃"黄老"而尊"儒术"之立法思想转变的真相与实质。     

非良基集合的外延公理

近年来,由于非良基集合在人工智能、认知科学及哲学等领域都有很重要的应用,它的研究越来越受到人们的关注。判断两个对象的同一性是集合论中最基本的问题,然而,与良基集合不同的是,非良基集合难以找到其最基本的组成成分,这样通常的外延公理就无法判断两个非良基集合（例如x={x}和y={y}）相等。为了找到判断两个非良基集合相等的标准,我们必须强化通常的外延公理。利用Aczel四种非良基公理（AFA,SAFA,FAFA和BAFA）,我们推出了四种判断两个非良基集合相等的标准,并且举例说明对于给定的两个非良基集合,如何判断它们相等,从而解决“循环集合”相等的问题。此外,笔者进一步论证判断这四种非良基集合相等的标准是通常外延公理的扩张,而不是替代。为此,本文首先给出了集合和图的一些基本定义和结果;其次讨论了由四种非良基公理AFA,SAFA,FAFA和BAFA分别确定的四种集合全域A,S,F和B;最后,讨论了外延公理的扩张。     

古希腊快乐论中的幸福悖论

在古希腊快乐论者对幸福的讨论中,至少隐含着两种类型的幸福悖论：一种是享受当下的幸福悖论,另一种则是整全计算的幸福悖论。通过分析相关文本,我们发现,幸福悖论产生的根源在于幸福的现实可能性遭到了三种挑战：快乐的无限度、人生的无常和计算的复杂。要解决幸福悖论,伊壁鸠鲁哲学给出的启示是,我们需要重新理解幸福(快乐)的限度、计算方式及其现实基础。     

老子价值观评议

中国传统文化就其架构表现审视,是以儒、道、墨、法为基架兼容他家的复合文化系统。就其作用表现考察,儒家无疑起着前引的作用、墨家和法家具有附翼的功能,而道家则起着制衡的作用。这种互动互补、错综消长的建构特征。形成了中国传统文化自身既有冲撞和协调,又有交胜和交用的相当稳定和牢固的特殊格局。价值学说正是贯串此格局的一根梁柱。基于这样的前提认识,本文拟就道家学派之鼻祖老子的价值观,作一粗疏的评说。     

意识形态的崇高对象:悖论与颠覆

崇高对象是《意识形态的崇高对象》(国内学者将该书译为《意识形态的崇高客体》)一书的关键词。在齐泽克看来,崇高对象概念并不是拉康本人之发明,它来源于康德、黑格尔哲学,并为拉康     

说谎者悖论及其相关悖论的一种解决

依本文之见,说谎者悖论以及某些与之相关的悖论之被导出源于对某些不合理的前提的接受;而这些前提之被接受又源于对＂是真的＂与＂是假的＂这两个词的关键语义特性缺乏认识。本文为决定这些语义特性的基础提供了说明;这一基础包含两个论点,第一,每一语句均有其含义;第二,每一语句陈说的字面内容是一个命题态度的内容,因而具有某种一般形式。借助于这一基础,本文为这两个词构造了一个不同于传统意义上的塔尔斯基式真理理论的意义理论以说明这些特性,并借助于该理论论证说谎者悖论及其某些相关悖论的导出没有根据。     

集合论多宇宙观与形式主义CSSCI

数学对象的实在性问题一直是数学哲学中争论的焦点。作为二十世纪数学基础三大流派之一的形式主义常常被认为是反实在论的;而新近颇受瞩目的多宇宙观则似乎应持有实在论立场。本文试图论证,形式主义的要义或许在于形式系统以及元数学,因此经过某种重构后的形式主义在本体论上可以是中立的;另一面,多宇宙观中的核心概念则可视为理想元,因而多宇宙观可以纳入到这一新的形式主义框架中;进而,这两者的结合可以支持、推动当前的数学实践甚至创造新的数学实践形式。