您的位置： 专家智库 > >

周北海

作品数：32 被引量：85H指数：5
供职机构：北京大学哲学系更多>>
发文基金：国家社会科学基金教育部人文社会科学研究基金教育部人文社会科学重点研究基地度重大研究项目更多>>
相关领域：哲学宗教语言文字文化科学理学更多>>

合作作者

文献类型

  • 22篇期刊文章
  • 9篇会议论文

领域

  • 27篇哲学宗教
  • 2篇语言文字
  • 1篇社会学
  • 1篇文化科学
  • 1篇理学

主题

  • 8篇逻辑
  • 4篇涵义
  • 3篇多德
  • 3篇亚里士多德
  • 3篇亚里士多德逻...
  • 3篇语义
  • 3篇指称
  • 3篇逻辑系统
  • 3篇词项逻辑
  • 2篇形式语义
  • 2篇哲学
  • 2篇模态
  • 2篇奎斯特
  • 2篇分格
  • 2篇柏拉图
  • 1篇代数
  • 1篇学科
  • 1篇衍推
  • 1篇一阶逻辑
  • 1篇已婚男子

机构

  • 31篇北京大学
  • 2篇中央财经大学
  • 1篇深圳大学
  • 1篇浙江大学
  • 1篇中国社会科学...
  • 1篇美国德州大学

作者

  • 31篇周北海
  • 2篇裘江杰
  • 2篇张立英
  • 1篇马丽
  • 1篇陈星群
  • 1篇傅庆芳
  • 1篇贾青
  • 1篇邢滔滔
  • 1篇刘壮虎
  • 1篇毛翊

传媒

  • 11篇逻辑学研究
  • 2篇哲学研究
  • 2篇北京大学学报...
  • 1篇西南师范大学...
  • 1篇北京航空航天...
  • 1篇中国社会科学...
  • 1篇心智与计算
  • 1篇哲学分析
  • 1篇工业和信息化...
  • 1篇语言学研究

年份

  • 1篇2022
  • 1篇2019
  • 2篇2018
  • 2篇2017
  • 1篇2015
  • 2篇2014
  • 3篇2013
  • 3篇2010
  • 1篇2009
  • 2篇2008
  • 1篇2007
  • 1篇2006
  • 2篇2004
  • 1篇2003
  • 1篇2001
  • 1篇2000
  • 1篇1999
  • 2篇1997
  • 1篇1996
  • 1篇1994
共 32 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
概称句词项逻辑的树图判定算法被引量：1
2013年
概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。
周北海马丽
关键词：词项逻辑内涵逻辑
相干逻辑关系语义的推理解释被引量：3
2015年
关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。
周北海贾青
关键词：相干逻辑
指涉方式与语言整体观视角下的名称理论
2022年
关于名称和指称的关系有两大对立的名称理论,描述指称论和直接指称论。前者认为名称是通过涵义或特征描述指涉事物的,后者认为名称如同贴标签一样直接指涉事物,没有涵义或特征描述。二者都首先从专名开始研究,并随后将自己的理论推广到通名。二者意见分歧的焦点在于指涉方式,却围绕专名和通名是否有涵义而争论,偏离了问题的核心。根据指涉方式,名称可以分为直接名称和间接名称。任何一个语言都有自己的词汇系统,其中有初始名称和定义名称。此二者分别与直接名称和间接名称相对应。直接指称论和描述指称论分别是关于直接名称和间接名称的名称理论。围绕专名或通名是否有涵义的争论是个误区。这一情况的形成有历史原因,今天名称理论应该走出历史的局限性。
周北海
亚里士多德划分格与亚里士多德逻辑
亚里士多德逻辑究竟是什么逻辑,这个问题实际上并没有真正解决.目前的几种主要看法都是基于数理逻辑的理论得到的,虽然略有不同,但都认为亚里士多德逻辑是一阶逻辑的子逻辑.从技术的观点看,这个结论没有错,但是亚里士多德逻辑有自己...
周北海王强郑植
关键词：亚里士多德逻辑
逻辑现代化:今天的理解与实践——王宪钧先生诞辰100周年纪念大会逻辑现代化专题研讨侧记被引量：1
2010年
王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出＂逻辑课程现代化＂的口号,对当时的逻辑界有振聋发聩之功。此后＂逻辑现代化＂成为我国逻辑学发展的主旋律。时至今日,三十年的＂逻辑现代化＂实现或完成了什么,在新的形势下,＂逻辑现代化＂有什么新的内涵或重点,或简言之,我们今后该如何发展？这些问题需要逻辑界的总结与共识。
邢滔滔周北海
关键词：逻辑现代化周年纪念侧记课程现代化
样本发散型含糊类的形式刻画被引量：3
2018年
含糊类是基于样本和相似性得到的类。通过样本和与样本的相似性处理含糊对象是人们在面对含糊性时常用的方法。含糊类有样本收敛和样本发散两大类型,后者应该更为普遍。样本收敛的含糊类也是有核含糊类,可以通过核来处理边界情况。但是因为样本发散含糊类同时也是无核含糊类,所以这个方法不适用于样本发散含糊类。从人们对于含糊对象的实际处理看,除了用正面的样本外,还会用到反面的样本。将这个过程加以抽象,本文引入了负样本以及提出了由正样本和负样本共同处理边界情况的方案。在形式刻画方面,主要是在一阶语言的基础上通过增加正样本谓词、负样本谓词和论题词给出了语言L*及其语义。在L*中可以进一步定义正谓词、负谓词以及中间谓词,通过这些表达式可以对于含糊对象及其性质给出相应的刻画。
周北海张立英
关键词：形式语义
“多学科语言研究”栏目主持人语
2013年
语言学与其他相关学科的交叉研究已成为今天语言研究与发展的重要方式。2012年6月北京大学创办了'北京大学语言、逻辑、认知与计算跨学科论坛'(Language,Logic,Cognition and Computation,简称LLCC)。本栏目选取了三篇在论坛上作报告的论文,并附上论坛简介,以展示相关发展动态。这三篇论文在报告时都引起了热烈的讨论。参会者一致认为,除了论文本身的学术价值外,从交叉研究的角度看,这些论文同时提出了可以和应该继续深入研究的课题。
周北海
一个关于意图后承的逻辑
对意图后承的逻辑刻画是人工智能研究中的重要问题。本文在陈小平研究的基础上,构造了一个刻画意图后承的逻辑ICL。在ICL中讨论意图蕴涵和意图后承的性质,并证明了ICL的可靠性和完全性。
周北海刘壮虎
文献传递
萨奎斯特逻辑的格
2009年
以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的。这样得到的逻辑被称为萨奎斯特逻辑。所有的萨奎斯特逻辑组成了一个格。这个格中有可数无穷长的链以及可数无穷长的反链,格中的每个逻辑相对于格的不完全度是1。另外,萨奎斯特逻辑格的子格E具有规整的结构。
裘江杰周北海
衍推系统Efde的推理模型
衍推系统Efde由Anderson和Belnap1962年提出(见[1]),原本是为了消除实质蕴涵悖论,更自然地刻画日常推理而建立的系统。但是长期以来,除了有代数语义学的解释或称代数模型等其他一些解释外,Efde一直没有...
周北海
文献传递
全选 清除 导出
共4页<1234>
聚类工具0