论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念.传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向.从形式语义学比较语言学的不足可以看到其未来发展的思路.     

论形式语义学

阐述了形式语义学关于“语法”、“句法和语义”,以及“语词和语句”等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

致使事件的施力-动态模式及典型表达形式的对比

语言中的语义和语言表达形式之间有着系统性的联系，二者都可以做进一步的切分。文章考察了致使事件这一语义范畴是通过哪些表达形式来实现的，从认知语义学的角度，用施力-动态模式的分析方法解释了致使事件的语义构成，从更深层次解释容许致使事件语义成分的动因，并对英汉语致使结构的典型表达形式和方法做了归类和比较。     

情景语义学对条件句的语义刻画

情景语义学用情景类之间的制约关系来表示自然语言语句的意义,为合理解释条件句的意义提供一个新思路。情景语义学认为条件句的意义就是其前件和后件所涉及的情景类之间的制约关系。情景语义学对条件句的语义刻画适用于不同种类的条件句,对自然语言语义学和逻辑学领域产生重要影响。     

I-语义学对隐喻的诠释

乔姆斯基把语言分为外部语言（E-语言）和内在语言（I-语言）。语义学作为研究语言和世界之间关系的理论,相应地,也应有E-语义学和I-语义字之分。E-语义学研究语言与世界之间的关系。I-语义学研究语言使用者（大脑）中的语言知识。语义和认知关系密切。语义结构和概念结构是一致的。隐喻是现实世界中一种无所不在的语言现象。隐喻涉及到特殊认知领域,并具有许多心理语言学的特征。     

逻辑元语言问题

“元语言”原是现代逻辑哲学中的概念,塔尔斯基和卡尔纳普分别从语义学(semantics)和语形(syntax)的角度将它与对象语言区分开来。波普尔提出语言中的自我涉及(autonomous)问题,蒯因提出“语义上行”说,戴维森把关于真理的形式理论应用于自然语言的意义理论,这些均给语言学研究带来方法论上的启迪：     

从语言到逻辑——范畴类型逻辑序列

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。     

人工智能难题和程序语义学

句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点.程序语义学是试图解释这一问题的重要致思取向.它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联.在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的.程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性.     

情景语义学的逻辑研究

情景语义学逻辑研究大致经历3个发展时期和与之相对应的3次理论重心的转移。1980年到1985年为理论成型期,研究主要集中在理论本身的建构和哲学解释方面;在逻辑工具的选用上经历了从以标准集合论为工具的合成研究向以公理论和非良基集合论为工具的分析研究的转变。1985年到1993年前后为理论成熟期,其理论影响涉及多个相关领域,理论重心转变的直接结果就是信息通道理论的产生和发展。1994年后为理论拓展期,信息通道理论和信息流逻辑研究成为新的研究方向和热点。情景语义学逻辑研究在情景语义学元理论逻辑研究、情景语义学的逻辑应用研究、情景逻辑系统的构建、情景语义学和其他形式语义理论的融合研究、信息通道理论和信息流逻辑研究等5个方面都取得了进展。前2个方面的研究比较成功,有一大批研究成果问世并在逻辑领域产生积极影响,但后3个方面的研究尚存不足。所以,以情景语义学和情景理论中的信息流思想和信息通道理论为基础,提出一个完整的信息流理论是情景语义学及其逻辑研究的当务之急。     

感受质与话语误解

常规关系可以解释会话含义,但并不能从根本上解释交际中的话语误解现象。通过分析常规关系与感受质之间的关系,在实例论证的基础上得出引起话语误解的根本原因源自交际双方的感受质的不同,且引起不同的感受质的原因主要体现在文化、社会、情景因素这三个层面。由此,从感受质的角度来解读话语误解现象,有利于深刻理解交际中话语误解产生的机制,从而达到降低或避免话语误解的目的。     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷：一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑：首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。     

浅议科技论文写作的逻辑构成

科技论文写作要严格符合逻辑思维的基本规律和基本形式,违背或忽视了逻辑关系就会出现一些与主题无紧密联系、思路不清、语言模糊的内容,且不能准确高效地记录、传播和交流科技信息.通过对科技论文写作的内在逻辑表达、核心要素的逻辑关系、论文逻辑联系与撰写要求等方面的探讨,得出一篇优秀的科技论文有着严密的逻辑构成尤为重要的结论.     

基于ATSQL2时间点与时间段时态操作扩充

以时态数据操作语言ATSQL2为基础,对其时间点与时间段查询运算操作存在的不足进行扩充。增加时间运算操作函数,完成不同时态逻辑时间段运算,不同时间粒度之间的转换和时间比较逻辑判断操作。结果表明,扩充后的时间运算操作,丰富了原有ATSQL2的查询操作语义,简化了复杂时态数据操作语句的书写,使时态查询操作更加高效、简便。     

基于ATSQL2时间点与时间段时态操作扩充

以时态数据操作语言ATSQL2为基础,对其时间点与时间段查询运算操作存在的不足进行扩充。增加时间运算操作函数,完成不同时态逻辑时间段运算,不同时间粒度之间的转换和时间比较逻辑判断操作。结果表明,扩充后的时间运算操作,丰富了原有ATSQL2的查询操作语义,简化了复杂时态数据操作语句的书写,使时态查询操作更加高效、简便。     

一种.NET 2.0框架下的数据表结构动态管理方案

用户对关注的信息以及信息的组织结构存在差异,在业务逻辑类似的前提下,提出一种数据表结构的管理方案,减少了大量重复代码的编写.一张基本信息表对应一张辅助表,辅助表以树形结构的方式记录基本信息表中的字段信息.通过调整基本信息表的字段定义和组织结构关系满足不同用户的要求和实际应用的需要.使用这样的表结构可以方便地实现用户的动态表单处理,并且根据用户需要定制高级检索.在.NET2.0框架下采用ASP.NET实现上述功能.这种解决方案已经运用于环境应急监测系统.     

哈尔滨近代建筑装饰的形式运算系统

为了深入探究特定历史时期建筑装饰的艺术表现,以及建筑装饰形式中所蕴涵的数理逻辑,以哈尔滨现存近代建筑的装饰形式为主要对象进行研究.通过对近代建筑的调研结果,用逻辑和数学的概念来分析和说明形式思维的发展过程,运用数学逻辑以及符号语言作为工具,对调研实例作了结构性的分析,提出相应的结构模式.研究发现,建筑装饰的形式系统中群、格和群集运演协调组成了装饰形式的结构整体,进而揭示了认知结构在审美领域重要的同化和调节作用.