检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

单独词项逻辑处理方案的内在机制辨析

哲学研究 2013年第6期 119-123页

作者：翟玉章陈开林南京师范大学公共管理学院哲学系南京师范大学中北学院

现代逻辑可以用来提升对哲学问题的洞察力，这几乎已经是哲学界的一个常识了。但这一洞察力应该建立在对有关逻辑结构的正确理解的基础上；如果对逻辑结构的理解不到位甚至出现偏差，哲学事业不但不会从中获益，而且会走向歧途。因此，... 详细信息

现代逻辑可以用来提升对哲学问题的洞察力，这几乎已经是哲学界的一个常识了。但这一洞察力应该建立在对有关逻辑结构的正确理解的基础上；如果对逻辑结构的理解不到位甚至出现偏差，哲学事业不但不会从中获益，而且会走向歧途。因此，对逻辑结构的理解至关重要。作为一个例子，本文将集中讨论单独词项的逻辑结构，着重澄清流俗的一些混乱和误解，以此说明建立正确的逻辑观念仍是摆在哲学导向的逻辑研究和教学面前的当务之急。

关键词：词项逻辑逻辑结构哲学问题现代逻辑逻辑研究逻辑观念洞察力哲学界

在线全文

学校读者我要写书评

暂无评论

涵义语义与关于概称句推理的词项逻辑

逻辑学研究 2008年第1期1卷 38-49页

作者：周北海北京大学哲学系

概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用λ-表达式表达涵义,不够简洁和自然。亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的。这两方面的情况使得有必要考虑新的词项逻辑。涵义... 详细信息

概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用λ-表达式表达涵义,不够简洁和自然。亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的。这两方面的情况使得有必要考虑新的词项逻辑。涵义语义的基本观点是:语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念。概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa。在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统。

关键词：涵义概念内涵概称句涵义语义词项逻辑

在线全文

学校读者我要写书评

暂无评论

概称旬词项逻辑的树图判定算法

中国哲学年鉴 2014年第1期 369-370页

作者：周北海马丽

概称句的形式刻画涉及到知识表达和常识推理，由人工智能研究首先提出。之后出现了多种类型的理论，对于更为合理的概称句形式刻画方案的探讨也仍在继续。Delgrande首先开始用条件句逻辑处理概称句，并由Asher、Morreau和Boutilier等继... 详细信息

概称句的形式刻画涉及到知识表达和常识推理，由人工智能研究首先提出。之后出现了多种类型的理论，对于更为合理的概称句形式刻画方案的探讨也仍在继续。Delgrande首先开始用条件句逻辑处理概称句，并由Asher、Morreau和Boutilier等继续发展，其要点是将“鸟会飞”理解为“正常情况下鸟会飞”，毛翊继而提出双正常解读，将“鸟会飞”理解为“正常情况下，正常的鸟会飞”。以此前工作为基础，周北海提出概称句是揭示概念内涵的句子，“鸟会飞”表示的是“鸟”这一概念的内涵有“会飞”这一内涵项。

关键词：词项逻辑算法树图形式刻画概称句知识表达人工智能继续发展

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

萨默斯词项函子逻辑研究

萨默斯词项函子逻辑研究

作者：李邢睿河北大学

学位级别：硕士

一阶谓词逻辑通过忽视自然语言的语法取得了巨大的成功,但这也使得人们开始寻找某种更加自然的逻辑系统。一阶谓词逻辑的语法基于弗雷格的函数-自变元理论,但奎因等人的工作证明变元并不是逻辑语法中的必需品。自然语言逻辑的发展表明,... 详细信息

一阶谓词逻辑通过忽视自然语言的语法取得了巨大的成功,但这也使得人们开始寻找某种更加自然的逻辑系统。一阶谓词逻辑的语法基于弗雷格的函数-自变元理论,但奎因等人的工作证明变元并不是逻辑语法中的必需品。自然语言逻辑的发展表明,自然语言与逻辑学家的人工语言之间没有根本的对立,这使得一些逻辑学家把目光重新移回到了立足于自然语言主谓语法的词项逻辑之上。萨默斯提出了词项函子逻辑(Term Functor Logic,TFL),TFL可以被视为奎因的谓词函子逻辑的高度代数化。萨默斯遵循莱布尼茨的理念,借用了代数中的“+”和“-”两个符号,并把这对相反性质的代数符号与传统的周延理论进行了结合,从而将传统逻辑学家的三段论公理(Dictum de Omni)形式化为了TFL中最重要的一条推理规则,最终建立了一个尊重自然语言语法的关于词项加减运算的自然演绎系统。TFL不仅突破了传统词项逻辑在词项方面的各种限制,而且能够成功地刻画涉及关系命题的推理,同时使命题逻辑成为了词项逻辑的一个分支,表明传统词项逻辑的局限性并不是词项逻辑本身所固有的。虽然萨默斯版本的TFL同一阶谓词逻辑一样难以直接处理自然语言中的广义量词,但后续研究表明,TFL完全可以和一阶谓词逻辑一样扩展到广义量词的版本。相比于一阶谓词逻辑,TFL具有更加直观、自然等优点,更重要的是,TFL不仅拥有一阶谓词逻辑的全部表达与推理能力,而且还能够处理一阶谓词逻辑所不能刻画的部分推理,这使得TFL可以与一阶谓词逻辑相竞争。TFL不仅复兴了词项逻辑并带动了自然逻辑的发展,而且在语言学、心理学、人工智能、计算机科学等其它领域产生了一定的影响。

关键词：萨默斯词项函子逻辑词项逻辑自然逻辑

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

论新词项逻辑及其教学

西南大学学报（社会科学版） 2009年第3期35卷 70-74页

作者：孔红中国政法大学人文学院北京市100088

词项逻辑所有的推理都可以借助于类的关系和类的性质清楚而简洁地表述出来。本文借鉴集合论的语言重新表述性质命题推理,给出了相应的集合语义,论证了在逻辑通识课上用这种新逻辑取代词项逻辑的合理性和可行性。

关键词：逻辑通识课词项逻辑类集合

在线全文

学校读者我要写书评

暂无评论

概称句词项逻辑系统GAG与Gaa的完全性

逻辑学研究 2017年第2期10卷 2-21页

作者：陈星群周北海深圳大学人文学院哲学系北京大学哲学系

GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG与... 详细信息

GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG与Gaa是可靠的,但是完全性证明一直空缺。通过完全性证明,发现有必要对原来的涵义语义做一些补充和完善,为此提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实涵义结构。实涵义结构的框架部分与解释函数有关,因而不完全独立于被解释的语言。实涵义结构更像是认知主义语义观下的语义构造。长期以来,实在论语义观在逻辑学研究中根深蒂固。实涵义结构的提出,对这类逻辑研究的哲学基础提出了反思。

关键词：概称句词项逻辑完全性

在线全文

学校读者我要写书评

暂无评论

概称句词项逻辑的树图判定算法

逻辑学研究 2013年第4期6卷 1-16页

作者：周北海马丽北京大学哲学系

概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面... 详细信息

概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。

关键词：概称句词项逻辑树图算法内涵逻辑

在线全文

学校读者我要写书评

暂无评论

概称句词项逻辑系统GAG与Gaa的完全性

逻辑 2018年第2期 2-21页

作者：陈星群周北海

GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项，从而以更自然的方式表示概念在推理中的作用，这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG... 详细信息

GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项，从而以更自然的方式表示概念在推理中的作用，这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG与Gaa是可靠的，但是完全性证明一直空缺。通过完全性证明，发现有必要对原来的涵义语义做一些补充和完善，为此提出涵义语义结构的一般形式，进而给出全涵义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实涵义结构。实涵义结构的框架部分与解释函数有关，因而不完全独立于被解释的语言。实涵义结构更像是认知主义语义观下的语义构造。长期以来，实在论语义观在逻辑学研究中根深蒂固。实涵义结构的提出，对这类逻辑研究的哲学基础提出了反思。

关键词：概称句词项逻辑完全性

来源：人大复印报刊资料评论

在线全文

人大复印报刊资料

学校读者我要写书评

暂无评论

概称句词项逻辑的树图判定算法