周北海
- 作品数：32 被引量：87H指数：5
- 供职机构：北京大学哲学系更多>>
- 发文基金：国家社会科学基金教育部人文社会科学研究基金教育部人文社会科学重点研究基地度重大研究项目更多>>
- 相关领域：哲学宗教语言文字理学文化科学更多>>
- 概称句词项逻辑的树图判定算法被引量：1
- 2013年
- 概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。
- 周北海马丽
- 关键词：词项逻辑内涵逻辑
- 相干逻辑关系语义的推理解释被引量：3
- 2015年
- 关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。
- 周北海贾青
- 关键词：相干逻辑
- 指涉方式与语言整体观视角下的名称理论被引量：1
- 2022年
- 关于名称和指称的关系有两大对立的名称理论,描述指称论和直接指称论。前者认为名称是通过涵义或特征描述指涉事物的,后者认为名称如同贴标签一样直接指涉事物,没有涵义或特征描述。二者都首先从专名开始研究,并随后将自己的理论推广到通名。二者意见分歧的焦点在于指涉方式,却围绕专名和通名是否有涵义而争论,偏离了问题的核心。根据指涉方式,名称可以分为直接名称和间接名称。任何一个语言都有自己的词汇系统,其中有初始名称和定义名称。此二者分别与直接名称和间接名称相对应。直接指称论和描述指称论分别是关于直接名称和间接名称的名称理论。围绕专名或通名是否有涵义的争论是个误区。这一情况的形成有历史原因,今天名称理论应该走出历史的局限性。
- 周北海
- 亚里士多德划分格与亚里士多德逻辑
- 亚里士多德逻辑究竟是什么逻辑,这个问题实际上并没有真正解决.目前的几种主要看法都是基于数理逻辑的理论得到的,虽然略有不同,但都认为亚里士多德逻辑是一阶逻辑的子逻辑.从技术的观点看,这个结论没有错,但是亚里士多德逻辑有自己...
- 周北海王强郑植
- 关键词：亚里士多德逻辑
- 逻辑现代化:今天的理解与实践——王宪钧先生诞辰100周年纪念大会逻辑现代化专题研讨侧记被引量：1
- 2010年
- 王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出＂逻辑课程现代化＂的口号,对当时的逻辑界有振聋发聩之功。此后＂逻辑现代化＂成为我国逻辑学发展的主旋律。时至今日,三十年的＂逻辑现代化＂实现或完成了什么,在新的形势下,＂逻辑现代化＂有什么新的内涵或重点,或简言之,我们今后该如何发展？这些问题需要逻辑界的总结与共识。
- 邢滔滔周北海
- 关键词：逻辑现代化周年纪念侧记课程现代化
- 一个关于意图后承的逻辑
- 对意图后承的逻辑刻画是人工智能研究中的重要问题。本文在陈小平研究的基础上,构造了一个刻画意图后承的逻辑ICL。在ICL中讨论意图蕴涵和意图后承的性质,并证明了ICL的可靠性和完全性。
- 周北海刘壮虎
- 萨奎斯特逻辑的格
- 2009年
- 以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的。这样得到的逻辑被称为萨奎斯特逻辑。所有的萨奎斯特逻辑组成了一个格。这个格中有可数无穷长的链以及可数无穷长的反链,格中的每个逻辑相对于格的不完全度是1。另外,萨奎斯特逻辑格的子格E具有规整的结构。
- 裘江杰周北海
- 衍推系统Efde的推理模型
- 衍推系统Efde由Anderson和Belnap1962年提出(见[1]),原本是为了消除实质蕴涵悖论,更自然地刻画日常推理而建立的系统。但是长期以来,除了有代数语义学的解释或称代数模型等其他一些解释外,Efde一直没有...
- 周北海
- 关键词：AVB
- 基于主谓项涵义联系的概称句推理的几个逻辑
- 本文通过对正常个体选择函数N进行细化研究,给出了概称句主项涵义和谓项涵义之间的一些关系或限制条件,由此得到关于得概称句推理的不同语义模型,并从系统G出发,通过删减和增加关于正常算子Ⅳ的公理和规则,给出与语义模型相应的逻辑...
- 张立英周北海
- 关键词：涵义
- 概称句本质与概念被引量：48
- 2004年
- 概称句一方面具有某种全称性,另一方面又容忍反例,这是概称句最重要的特点,也是概称句研究的主要困难所在。这一特点使概称句呈现内涵性。在概称句内涵语义的基础上,借助于形式化方法,本文通过构造可能世界到内涵域幂集的映射,发现概称句是表达概念内涵的句子,揭示了概称句的本质,使得关于概称句的一些现象得到合理的解释。但是这个发现的成立,依赖于概念是可能世界到内涵的映射、概念的内涵是概念承载词涵义的全体概称后承等观点的成立,而这些观点与现行概念理论并不相符。为此,本文对概念进行了从最底层性质开始的分析和考察,提出了关于概念的七条基本性质,在具体说明概念和语言、概念和认识关系的基础上,对上述观点进行了论证。这部分内容构成了新的概念理论。
- 周北海
- 关键词：涵义
