模态逻辑语义学的理论发展

模态逻辑语义学是经典逻辑语义学的一种最重要的扩展。它在哲学、语言学、数学基础、计算机科学和人工智能等领域有重要的应用,同时也是这些学科研究的对象之一。本文以模型论语义学为主,通过对模型论语义学主要类型的形式描述和理论评价,较为完整和准确地描述了模态语义学的发展历程,从而使我们看到了模型论语义学是如何从一些有创意的思想发展为一种严格而成熟的语义学理论。     

奎因与量化模态逻辑的发展

奎因在20世纪加年代提出解释量化模态逻辑的问题,认为不能把标准量化与模态结合起来。逻辑学家尝试了各种解决方案。由于克里普克语义的广泛应用,逻辑学家找出了一些量化模态逻辑系统,并给出相应语义解释和完全性,使特定的模态系统具有正确的句法和语义,因此部分回答了奎因提出的挑战。另一方面,人们从哲学上提出各种不同的对“模态个体”的说明。我们详细讨论奎因提出的问题,简要说明量化模态逻辑的发展。最后的结论是,虽然关于量化和模态的关系的技术处理取得了大量有意恩的结果,但从哲学上看,我们仍然需要一种对模态个体、内涵、同一等概念的恰当解释。     

博弈论语义学对量化式的解释

博弈论语义学将对量化式的解释看作是一个两人博弈的过程,通过给定一系列博弈规则,局内人可以得到一个真值确定的原子句,从而得出结论.一个包含量词的句子,能够得到一个行之有效的语义解释理论.     

模态逻辑Beth-语义图及其应用

本文所作的主要工作 ,是将 Beth建立的一阶逻辑的语义图理论扩充到非标准逻辑 ,建立了模态逻辑 Beth语义图理论 ,本文还论述了这种语义图的四种判定作用     

形式语义学的历史渊源和理论框架

传统语义学认为自然语言不适合进行形式分析 ,蒙太古 (Montague)等人开创的形式语义学一反传统 ,提出“英语也是形式语言”。形式语义学的主要观点来源于逻辑学、模型理论和语言哲学 ,其基本理论框架包括广义量词、函项结构、范畴语法和组合原则等。形式语义学近年来在国外影响很大 ,本文主要介绍其起源和经典理论的基本框架     

布尔和赛格贝格论模态逻辑的三大传统

布尔和赛格贝格采用理性重组模式重建现代模态逻辑发展历史,把现代模态逻辑的起源归结为三个传统：句法学传统、代数传统和语义学传统,并对这三大传统的发展脉络和各自的技术风格给予了清晰刻画。文中凸显的主题是,技术发展是当代模态逻辑理论嬗变的主要动因,正是这些如同酵母般的技术要素,使模态逻辑走上永无止息的自我更新之路。     

普通语义学简评

语义学是语言学研究的核心内容之一。在一定意义上,对语义学的不同认识决定了语言学研究的不同方法和方向。运用哲学分析的方法,通过对语义学历史发展的简要回顾,对普通语义学的历史地位给于一个简要的评价。     

当代形式逻辑界说

当代形式逻辑除了作为体系主干的语义学之外,尚有作为旨在用来透彻无误而又完备无缺地进行语义研究的人工符号语言工具的语构学,以及沟通逻辑理论和应用实际的语用学。语义的研究就是关于为人工符号语言所指谓的客观世界的以充分条件关系为核心的逻辑结构或逻辑规律的研究。语构的研究,就是关于人工符号语言自身的排列结构和变形规则的研究。语用的研究,亦即关于以语义为中介的互相同义的人工符号语言和自然语言的互相转换、互相翻译的研究。当代形式逻辑界坚定而彻底地坚持辨证唯物论的逻辑客体说理论,对当代形式逻辑界说为:采用可按指谓同一的准则与自然语言互相翻译的(语用学)人工语言的机械排列和变形的方式(语构学)研究以充分条件关系为核心的客观世界的逻辑结构和逻辑规律(语义学),从而向人类提供研究宇宙的从已有事件向新事件必然过渡的普遍适用的从已知获取新知的工具。     

逻辑学、语言学与信息科学--论自然语言逻辑的学科性质

本文在解释何谓自然语言逻辑的基础上,从“自然语言逻辑是逻辑学和语言学交互作用的产物”和“自然语言逻辑是逻辑学顺应信息时代发展的产物”两个方面,来论述逻辑学与语言学和信息科学的关系和自然语言逻辑的学科性质,并对自然语言逻辑的研究概况作一简明的描述。     

论形式逻辑与物的世界的关系

任何一种逻辑都要面向一个世界,形式逻辑也不例外,它主要面向物的世界,物的世界是形式逻辑的存在基础。物的世界是一种理论世界,它的产生具有“合法性”,符合人类的自然倾向,那就是对确定性的渴求。形式逻辑是物的世界的逻辑支撑,形式逻辑的发展程度和样式制约着物的世界的具体形态,物的世界的理论发展和形式逻辑的发展具有内在一致性。物的世界是一种必然的世界、自然的世界、知识的世界。作为一种面向物的世界的逻辑,形式逻辑在本性上与物的世界相契合,它具有必然性、可控制性、可计算性等。     

普兰汀格的模态实在论和模态逻辑

模态实在论者普兰汀格主张按照可能世界分析模态算子。依据普兰汀格的理论,P是可能的当且仅当存在着一个可能世界,在该世界中P为真。但是与刘易斯的模态实在论不同,普兰汀格的可能世界是由抽象实体,更具体地说,是由一些极其复杂的性质构成的。普兰汀格的模态实在论在他的模态形而上学中扮演着关键性的角色。文章简要地讨论普兰汀格的模态实在论和模态逻辑,并提供了拒绝他的模态形而上学的理由。     

论形式化文本意义理论的可能性及其运用

当前第五代计算机的研制中发展起来的符号动力学、计算语言学、模糊逻辑、形式语义学等学科,以及人工智能对自然语言意义所作的处理,为传统的符号学方法和形式分析探寻文本意义结构提供了强大的技术手段;极大地推动了文本意义理论向符号化、形式化和公理化方向发展.一种建立在当代高新技术手段上的文本意义理论形式系统,将有效地补正重经验直观轻逻辑分析的传统批评的缺陷.     

汉语量化句的逻辑语义分析与计算

分别对汉语中以句首”有”字结构为例的存在量限式和以周遍性主语句为例的全称量限式进行逻辑语义的分析,以调查统计为基础探讨汉语歧义量化句的问题。在最后部分对汉语歧义量化句在Prolog语言的环境下做了个案的语义自动分析的实现。     

模态的语用逻辑

清华学人、中国著名逻辑学家周礼全先生从 195 0年开始研究语言逻辑 ,1989年起指导作者对奥斯汀的言语行为理论和塞尔的语用逻辑进行研究。文章介绍周礼全先生对语言逻辑的重要贡献 ,并给出模态的语用逻辑系统 MF,以期与作者先期发表的《命题的语用逻辑》、《量化的语用逻辑》共同形成对语用逻辑形式化研究的全面描述。     

模态逻辑的哲学归宿

通过分析模态逻辑发展过程中所遭受到的来自技术及哲学方面的挑战,指出这一系列问题的产生归根结底在于:模态逻辑,特别是量化模态逻辑,在哲学上承诺了本质主义,本质主义是模态逻辑的最终哲学归宿。     

当代形式逻辑是刑法立法正确的工具性科学

刑法条文的表述是否符合逻辑规则,是衡量一部刑法典立法技术高低的根本指标,而高超的刑法立法技术必然不能背离逻辑规则。当代形式逻辑是一门基于客观唯物论的能够有效地提高立法技术、指导刑法立法实践的工具性科学。     

人体形态逻辑研究——兼论形式逻辑的辩证内涵

将证明形态(形式)逻辑是人体乃至生物形态的自然法则。内容大致分为三个方面:首先,根据太极代数提出辩证逻辑组,而太极代数是太极学说与布尔代数相结合的产物。其次,对辩证逻辑组进行辩证性分析,并通过辩证性的交叉否定推出辩证逻辑组。最后,证明经由形式方法和辩证方法导出的辩证逻辑组与人体形态具有严格的对应关系。这就证明了(形式)逻辑不乏辩证的内涵,(形式)逻辑不只是人类思维的工具还是构造人体乃至生物形态的变化法则。