关于语境的一个逻辑模型

本文从对一元价值谓词“好”、“坏”和二元价值谓词“更好”之间的关系出发,首先回顾了偏好逻辑中用二元价值谓词定义一元谓词的各种方案。然后,文章介绍了vanBenthem利用语境从一元谓词定义二元谓词的工作。文章着重分析了在这一背景下语境的概念和性质,并提出了两种逻辑的方法刻画语境。本文重点给出了语境的模态语言、语义模型,并对涉及语境变化的三条有效规则进行了深入讨论。     

基于动态谓词逻辑的汉语指代现象的信息处理

组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度,使用标准一阶谓词逻辑的正统句法,通过对话语表现理论等逻辑理论进行改进而得到的。动态谓词逻辑的提出本质上是为了处理两类问题:跨语句的指代消解和表示语句内部约束关系的"驴子句"中的指代消解。动态谓词逻辑的核心思想是使用逐渐递增信息的动态方法对句子或者句子序列进行分析,并对于变项的指派进行扩展,或者对作为模型参照物的状态进行流动更新。     

函数在谓词逻辑符号化中的应用

针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。     

谓词逻辑教学策略的优化

本文以谓词的导入、导出为例．探讨离散数学中谓词逻辑教学策略的优化。通过导入抽象概念的实际应用背景、强化概念的详细分析和解读、设计教学过程等．并且在教学过程中采用启发式教学和双语教学．对提高教学质量、实现培养抽象思维和逻辑推理能力的课程教学目的进行创新探索。     

湖北松滋方言中的亲属称谓词

亲属称谓词是词汇系统中具有特色的类别之一。本文从"长辈、平辈、晚辈、其他"四个方面归纳了松滋方言中的亲属称谓词,并分析了其特点。     

哲学逻辑的对象和意义

哲学逻辑是一个新兴的逻辑学科群体,它们以命题逻辑和谓词逻辑为直接基础,以传统的哲学概念和一般方法论问题为研究对象,是关于传统哲学概念的形式理论。哲学逻辑可以分为四部分:1、基础部分:模态逻辑和多值逻辑;2、本体论的逻辑;3、认识论的逻辑;4、伦理规范的逻辑。哲学逻辑不仅在哲学上、逻辑上有重要意义,而且在科学技术特别是人工智能中有重要应用价值。     

谓词逻辑描述下的归结推理方法

谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多．文章主要论述在一阶谓词逻辑描述下，归结推理的方法和步骤，以及其中主要的定理和定义，最后通过具体例子来说明方法的使用。     

"一N"中的谓词隐含及"一N"的可谓性

借用动量词"一NVP"结构"一N"中隐含了一个谓词Va,能够隐含的原因是N与Va之间的相互依赖性和名词的动态性,谓词隐含造成整个"一N"和"一量N"可以代替谓词而具有可谓性.     

“得”字句中“得”前谓词性成分的考察

本文论述"得"字句中"得"前的V(谓词性成分).全文分为三部分(1)V位置上的词语.指出V位置上多数是单音节的动词或形容词,但也不能忽略在V位置上还有多音节(包括双音节)的动词性词语和形容词性词语.(2)V位置上词语的句法分类.根据V的句法功能,把V分为及物动词性词语、不及物动词性词语、形容词性词语上大类.(3)V位置上词语的语义分类.根据V所联系的主事动元的性质,把V分为动作谓词、经验谓词和性状谓词三类;根据V所联系的动元的数量,把V分为一价谓词、二价谓词和三价谓词三类.本文还统计了V的各种类型的数量,从中可以看出"得"字句中V位置上各类谓词性词语的运用情况.     

称谓词前加人称代词情况初探——以“家”“舍为例”

主要讨论称谓词前加人称代词这一语言现象,具体以"家""舍"类词语为例。文章认为"家、舍"类称谓词前可加第一人称代词"我",构成语义上的复指关系。"我+称谓词"是一种特殊的语言用法,与常见用法有别,明清时期常见。     

从康德到弗雷格——论先验逻辑对现代逻辑的奠基

先验逻辑与现代逻辑暗含着"概念/对象"这一共同结构。该结构在先验逻辑中体现为"知性/直观",在现代逻辑中体现为"函数/自变元"。康德诉诸"先验统觉"作为知性概念与直观对象的联结机理,弗雷格运用"不饱和性"作为函数和自变元的结合原则。两种逻辑的共同特征还在于:首先,判断成为逻辑分析的基本单位并具有优先性;其次,他们使传统逻辑的主谓词项从"对称性"关系转变为"非对称性"关系;最后,两种逻辑更加凸显了逻辑的形式化特征,深化了对人类理性的理解。     

对存在难题的尝试解答

"存在难题"指的是所有肯定的存在语句都是永真的,所有否定的存在语句都是自相矛盾的。首先区分两种"存在"谓词,并指出只有当"存在"谓述个体的时候才会出现存在难题,造成难题的原因并不在于"存在"是逻辑谓词,而是因为预设了所有被谓述的东西必须存在。通过论证解答存在难题,不应该将"存在"处理为与可能世界相关的特殊谓词,也不需要否认"存在"是逻辑谓词,而仅仅需要区分对象在论域中的出现和存在。真正不是逻辑谓词的是"出现",而非"存在"。     

UML状态图的逻辑语义及自动推理

针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理.     

民族称谓词“朝鲜族”的概念意义探析

民族称谓词"朝鲜族"是一个使用时间长、频率高、范围广的固有名词。本文就"朝鲜族"一词在长时间的使用过程中其概念意义有无变异的现象进行探析,通过语义成分分析法和纵向比较法,得出民族称谓词"朝鲜族"的概念意义随着时间的推移有所变异,这一变异使这一称谓词向更加清晰、合乎社会发展规律的方向发展的结论。     

《左传》“殿”字的谓词用法考察

一般认为,先秦时期"殿"字是一个动词。从词义来源、语法功能、语义特征和用法流变四个角度对"殿"字在《左传》中的谓词用法加以分析,"殿"的"殿后"义应视作名词活用为动词,其本身还没有发展成为表示行为的动词。     

汉语难易谓词探微

关于英汉难易结构的研究多侧重于分析英语和汉语难易结构的句法生成,而关于难易谓词的研究相对匮乏。本文认为汉语难易谓词分为两类,一类以"容易"为代表,其基本相当于英语tough谓词,与之后的动词是相分开的;另一类以"好"为代表,与之后的动词组成一个整体,即"好+V"。本文同时指出汉语难易谓词的使用具有不平衡性,即"容易"可以在不及物、及物、双及物难易结构中使用而"好"在及物性难易结构中接受程度最高。     

元杂剧称谓词与词尾“们”

作为称谓词之后区别个体、集体概念的最主要词汇,"们"几乎涵盖了所有的使用情况。它既可以加在称谓词后表个体概念,又可以加在称谓词后表集体概念。     

对称性、牢靠性与运气

绿蓝悖论的语言论路径解悖方案很大程度上以谓词的"牢靠性"为逻辑基础,而"牢靠性"方案又以谓词"绿蓝"和"绿"在时空上的"对称性"为前提。在确立对称性论点的基础上,论证了牢靠性方案对绿蓝悖论的消解及其不合理性——一个谓词之所以"牢靠"的深层次原因仅仅是因为"运气"。     

"和"类联合结构的谓词性质

朱德熙先生认为由"和"类连词连接谓词性成分造成的联合结构是体词性的,但从句法性质出发,这种结构仍然是谓词性的,这种结构出现的原因是谓词表达功能复杂化和受外国语言尤其是印欧语系的影响.     

浅析"只"语义指向谓词性成分的条件及规律

"只"是副词,其语义指向谓词性成分时需要一些条件,并有一定的规律.本文将对"只"的语义指向动词或形容词、一般性谓词性成分时需要的条件和出现的规律做简要的分析.