何谓集合

人们通常用康托集合论来判断ZFC系统的合法性,它对集合有两种主要解释：大小限制概念和叠置概念。大小限制概念把一个收集的统一性或客观现实性看作与该收集自身的大小相关,它不能对基公理和幂集公理的存在性提供合法的解释。集合的叠置观点对于集合的形成存在一个时态的限制,它可证明子集公理和幂集公理的合法性,但是它不能为代换公理提供一个解释。对叠置构造强加一个大小限制条件,可以成功地用来解释代换公理,它不能用来说明幂集公理的合法性。结构观点认为一个集合是打开一个可能结构的模式,集合的同一性应该由它们的打开模式的同一性确定,在这种概念下,没有理由把这种可能的结构限制在良基上。     

基于互模拟的两种模态逻辑模型构造方法及其应用

对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画；构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——Form(◇,φ)-过滤(Form∞(◇,Φ)-过滤/Form(Τ,Φ)-过滤/Form∞(Τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系.     

三值逻辑的思想和方法

传统逻辑是二值的，对诸如未来偶然命题使用这种逻辑是无法解决的，这就需要发展起来一种不同于二值逻辑的逻辑，这就是多值逻辑，三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展，其应用范围也日益广泛。所有的三值逻辑系统都对二值逻辑的限制有所突破，都在某种意义上显示出“亦此亦彼”的性质，它们之间以及它们与经典二值逻辑之间具有内在的区别和联系，显示了各自独特的思想和构造方法。     

混合范畴类型逻辑系统的构造及应用

根据是否包含结合性和交换性结构规则可产生四个兰贝克演算系统.使用任何一个系统分析语言都只具有有限的价值,因此需要具有不同描述模式的多模态范畴系统.一个方法是利用结构模态词受控地引入结构规则,但是结构模态词的广泛使用导致了分析的复杂化,促使人们选择尽可能强的系统作为基层逻辑,这样却遗失了可能有用的语料敏感性.另一个选择是合并多个子结构逻辑,限制结构规则,增加连接各子结构层面的包含规则,产生了混合范畴类型逻辑.它使用较弱的逻辑构造词汇类型,保留了语料敏感性,同时混合系统中的较强逻辑保持了对语言对象信息的描述灵活性,这些优点很好地解释了提取、汉语话题句和非成分并列组合等现象.     

语言、逻辑与计算互动视角下汉语"把"字句的多模态组合范畴语法处理

现代汉语“把”已语法化为功能投射的中心语,“致使性”是“把”字句句式义,它附着在“把”字上。使用句法替换标准或语义指向标准易于把两类汉语“把”字句即致使义“把”字句和处置义“把”字句区分开来。“把”字句的各成分之间的语义关系错综复杂,也因此产生了歧义性“把”字句。设计“分解型”词条指派方法,借助广义斯科伦项理论,在多模态组合范畴语法MMCCG中不仅可以将各种“把”后VR区分开来,还可以精确地刻画“把”字句的各成分之间的语义关系,特别是能成功地处理两种歧义性“把”字句,弥补了句法分析的不足。     

互模拟在理论和实践中的应用

互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带。可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述不同的非良基集合的域;可以运用非良基集合来研究模态逻辑的可导出性。今天,互模拟因为各种目的广泛地应用在并行系统中;并行理论不仅仅与计算机科学有关,而且用在许多自然现象的模型化中;随着互模拟应用范围的扩大,如何把一个模型的随机部分反映到互模拟概念中去成了互模拟的一个研究方向;概率模型通常在几个应用领域被分析和定义;定义新颖的构造性的状态空间归约技术会大大提高概率模型检测效率,扩展概率模型检测范围。     

新自由主义思潮评述

当代中国,社会思潮异常活跃,呈现出空前的多样性,中国思想界出现了影响广泛的自由主义、民族主义和＂新左派＂等社会思潮,集中反映了中国社会发展进程中的矛盾与冲突,鲜明表达了不同社会阶层、群体在急剧变动的时代的感受与愿望。本文试图重点论述新自由主义的发展脉络与历史,从而洞察到社会历史的情况及其走向。     

非良基公理的本质及其应用

精确图就是具有单射装饰的可达点图.非良基公理可以归结到对精确图外延的确定上.不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论.尽管近些年来AFA吸引了众多人的注意力,但是巴威斯( Barwise)和莫斯(Moss)在证明AFA(每个图有唯一装饰)的合理性和方程解的唯一性中有乞题之嫌;使用AFA处理自指悖论也过于勉强.相比较而言,FAFA是最自然的非良基集合论系统.     

语言、逻辑与计算互动视角下汉语直接被动句的MMCCG处理

汉语被动句有直接和间接之分,也有长短之别,如何处理汉语被动句历来是计算语言学家需要攻克的难题。汉语直接被动句的显著特征是主谓语的受事指向主句主语,传统分析方法使用移位、删除等句法操作分析汉语被动句,否定了被动句的原生成性,也出现了许多难以解释的现象。多模态组合范畴语法 MMCCG 抛弃了移位和删除等句法操作,以表层组合的方式生成各种被动句的句法-语义推演树,避免了传统方法分析被动句时出现的所有问题,并从计算语言学视角证明了被动句的原生成性。     

自然语言逻辑语义学研究述评

自然语言的逻辑语义学是逻辑学、语言学和计算机科学的跨学科交叉研究的产物,研究的对象是自然语言,研究的方法涉及逻辑和计算的概念。近十来年,逻辑语义学的跨学科研究方兴未艾,其中有较大影响的要数范畴语法的三个现代版本的发展：范畴类型逻辑 CTL、组合范畴语法 CCG 和非连续兰贝克演算 DLC。CTL 是从逻辑的高度概括分析语言的形式工具的学说,CCG 是基于特定规则而关注语言事实分析需求的形式语法,DLC 是专门分析语言中非连续现象的形式理论。本述评阐述的就是范畴语法三个现代版本的国内外发展概况。