经典一阶逻辑的希尔伯特型系统

系统Z是文[7]构造的经典命题逻辑系统，这一系统的初始联结词是一类广义的谢夫竖函数，并且采用括号记法。作者在系统Z中加入存在量词，把存在量词和广义谢夫竖函数统一作括号记法，并且把系统Z的规则作相应的处理，最后证明了所得系统Z′的完全性。     

广义量词理论对一阶逻辑的扩展

广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词（全称量词和存在量词）的推广。对一阶逻辑进行扩展的主要原因有二：其一是为了解释亚氏三段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑———广义量词理论。     

关于居间广义量词“few”的广义三段论的有效性

在自然语言中,存在大量的各种各样的广义量词,其中一种被称为居间量词.利用广义量词理论给出居间量词的语义定义,再利用集合论证明广义三段论的有效性,这一研究方法也适用于研究关于其他广义量词的广义三段论的有效性;为有助于自然语言信息处理,提出并证明了居间广义量词few的12个有效的广义三段论.     

不用联结词的“舍…取…”型 自然推演系统

“不…而…”（“舍…取…”）是汉语常用的一个二元联结词，在形式语言中可以不用联结词，直接使用括号来表达“不…而…”（“舍…取…”）的语法功能。在括号表示法的形式语言中，“( )”有既有结构性功能，也有联结词功能，还有量词功能。基于纯粹的括号表示法，建立了以“舍…取…”作为初始联结词的命题逻辑自然推理系统Z1和一阶自然推理系统QZ1，它们与通常的命题逻辑系统和一阶系统等价，具有可靠性和完全性。     

广义量词的单调性与其他语义性质之间的关系

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.     

广义量词的各种单调性之间的关系

广义量词理论在集合论的基础上得到发展,提升了一阶逻辑处理现实世界的能力,有助于计算机更好地处理自然语言。单调性是广义量词最为重要的语义性质。1类型广义量词的单调性与其亲缘量词的单调性之间具有可转换关系,同一个1,1类型广义量词的不同单调性之间也具有可转换关系,这些转换关系可以用数字三角形简图进行直观验证。     

个体量词“把”的来源辨析

名量词“把”作为现代汉语中的常用量词，通常有集合与个体两种用法。集合量词“把”与其所搭配的名词之间是容器与容纳物的关系，个体量词“把”与其所搭配的名词之间是动作与对象的关系，从语义关系的角度看两者并不具备孳乳的条件，且两者在泛化方式上亦不相同。对个体量词“把”与动词来源的个体量词“乘、张、帖”进行对比，可以发现它们在与名词的语义关系及泛化方式上均存在平行性，并且在具有量词的语言中，由操作动词向个体量词的演变是一种常见的演变模式。“把”由动词发展成为个体量词，主要基于句法转喻也即转指，转指的必要条件是“把”不存在可以支配的受事。     

含有居间量词ｍｏｓｔ的广义三段论的有效性

一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。     

试论方言量词"把"及其对普通话的影响

动量词"把"在北方方言中的用法与在普通话中的用法相比,存在着很大的差异.动量词"把"在北方方言中的使用范围要大于普通话中的使用范围.随着时代的发展,方言与普通话之间的联系越来越紧密,二者之间的影响越来越大,这样,动量词"把"在方言中的一些用法就进入了普通话,并且被人们所接受.通过对动量词"把"的在普通话中句法功能变化的描写,可以揭示出这些变化背后的原因以及所达到的特殊修辞效果.     

基于焦点信息量化讨论的存现句类型分析

作为自然语言逻辑重要组成部分的广义量词理论在国内还未引起广泛关注。将该理论与语言研究结合起来,根据强弱性质的不同,量词可分为比例量词限定词和基数量词限定词。通过焦点信息的量化分析将英语存现句分成四类:表示基本存在、表示描述、表示任务、表示清单。其中,在表示基本存在和表示描述的存现句中只能出现基数量词限定词,在表示清单存现句中只能出现比例量词限定词,而在表示任务存现句中量词类型则不受限制。     

酒的起源新探

历来研究酒的起源，多以人工酿酒起源为源头。本文不同意这种观点，认为人工酿造的酒是流不是源。本文从地球上开始出现酒精分子、酵母菌等真菌、谷物和水果等成酒要素为线索，探讨了地球上自然形成的酒、猿酒、人工酿造的酒的源流关系，得出了酒起源于自然形成的酒，人工酿造的酒是在长期接触自然形成的酒的基础上发展起来的结论。     

湘黔桂毗连地带历史时期“契”与文书的关联性研究

湘黔桂毗连地带范围涉及今湖南怀化、广西桂林、柳州,以及贵州的黔东南等地,这一地区联系紧密,民族构成复杂。历史上,该区域留下了诸多类型的原始"契",此类契约或以民族符号刻画在木片上,或以"埋石"、口诵形式加以表达,即学界所称的"木契"、"石契"、"口契"等,具有规约性、诉讼性,对社会稳定曾发挥了积极作用。随着内地化进程加快,文化互动频繁,以上诸类原始"契",逐渐被汉字文书所代替。探讨这一演变形式,对于揭示该区域文化史、社会史、民族史有着重要意义。     

浅析民间剪纸艺术与现代平面设计的关系

民间艺术一直是由民众创造并被大众所喜爱和享有的文化艺术,它带给人们的是艺术上的享受和民间传统艺术的本原精神,它与现代平面设计有着不可分割、不可泯灭的内在联系。文章希望通过发掘、提炼民间艺术中的精华来进一步加深对民间剪纸艺术的认识以及发现其在平面设计中的应用,希望民间文化能更好地融入现代平面设计中,让传统民间文化与时代精神完美结合。     

《诗经》句尾气词的原始性质──《商周句尾语气词》专论之一

《诗经》中众多的各类句尾语气词究竟是原诗中固有的,还是被后人所掺入的？本文从“歌的本质是抒情的,句子末尾加语气词是原始诗歌的主要形式”这一基本事实出发,分析了《诗经》、先秦民谣逸诗和《楚辞》利用句尾语气词以构成歌辞的节奏和拖腔的特点,并进一步论证了这种句未带语气词的歌辞形式,是从《诗经》到《楚辞》整个先秦时期诗歌独具的语言特征,而这种特征正是上述原始诗歌主要形式的一种残迹。据此,本文认为：《诗经》中大量句尾语气词是原诗所固有的,所谓“掺入说”是站不住脚的。     

金属晶体结构的体积解

本文根据晶体结构的周期性,求解出金属晶体结构的正格子原胞、倒格子原胞、维格纳—赛茨原胞和布里渊区以及金属晶体的两种典型晶格:体心立方晶格、面心立方晶格的体积,并探求出它们的几何关系。     

从数学角度看西方古代和近代科学发展的逻辑主线

西方科学发展的逻辑起点是古希腊数学。古希腊数学也是以研究数开始的,但由于古希腊文明的特质,推动古希腊数学从数的研究转到几何的研究,并由此建立了欧几里得几何公理系统,为其他数学问题和科学问题提供了模型和方法。但西方的代数是落后的。西方数学吸收了东方数学的代数成果并与几何结合起来,产生了笛卡尔解析几何。牛顿和莱布尼兹在解析几何的基础上发展出了微积分,牛顿在微积分的基础上建立起了近代经典力学大厦。     

原始思维与中国象征艺术

以中国造型艺术为本，运用艺学、心理学、符号学等学科理论，论证了原始思维的象征性特征对中国美术的影响，揭示了中国艺术与原始思维艺术之问存在着较稳定的关系，甚至在成熟的人画中也表现出某些原始思维的因素。     

先秦宗教思想史论纲

先秦是中国古代宗教发系.古代宗教是在原始宗教的基础上发展而成的一种较高等级的宗教形式,较之原始宗教,它增加了极其宝贵的伦理内容.五帝时期,随着国家的形成,原始宗教向古代宗教转化;夏商完备国家机器的建立,使古代宗教得到充分发展,臻于成熟;西周宗法制,为古代宗教伦理化提供了沃土;春秋时期,随着宗法制的解体,氏族政权衰落,诸子理性学说出现,中国思想走出古代宗教,进入新的历程.     

再论土家族祭祀仪式中的体育文化载体“舍巴”

“舍巴”类舞蹈作为人类的健身运动项目历史悠久，在土家族原始宗教的祭祀仪式中，“舍巴”以其特有的身体运动，将土家族的宗教、历史、生产、生活等文化信息予以了充分的展示；还以其特有的肢体语言为载体，把土家族的社会文化价值，如体育、经济、社会等价值表现得淋漓尽致。     

长江三峡地区史前美术探谜之一--秭归柳林溪遗址发现小型石雕

在洪荒而漫长的蒙昧时代,原始石器的制造是原始美术的起源与萌芽时期.在秭归柳林溪遗址出土了一件石雕<祈祷人物坐像>,距今约6千年左右,它代表着三峡地区新石器时代雕塑水平,是一件极其珍贵的原始艺术品.是目前中国南方地区发现年代最早,且保存完整的人物雕塑品.