基于广义量词almostall的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含 al-most all 的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。     

广义量词理论对一阶逻辑的扩展

广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词（全称量词和存在量词）的推广。对一阶逻辑进行扩展的主要原因有二：其一是为了解释亚氏三段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑———广义量词理论。     

反三段论新探

反三段论是“人们日常思维实践中经常用到”的一种推理。本文运用现代逻辑的方法 ,就它的定义、种类、有效推理式及其内在结构、推理规则等作了全新的探讨。特别是给出了全新的定义 ,把反三段论分出三个种类——充分条件反三段论、必要条件反三段论和充分必要条件反三段论 ,并对其内容、有效推理式和内在结构作了阐述和论证。     

自然语言语篇推理的形式化探究

不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。     

含有居间量词ｍｏｓｔ的广义三段论的有效性

一般而言,居间量词是语义上的<1,1>类型的广义量词,表示事物或材料所形成的集合之间的二元关系。通过提出并证明23个事实,阐明包含most这一居间量词的有效的广义三段论推理模式。这些创新性成果将会有利于广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理。     

刻画量化结构及其推理的汉语部分语句系统

刻画量化结构及其推理的汉语部分语句系统 ,其价值如下 :(1)运用广义量词理论的方法分析汉语量化结构的各种特征 ;(2 )扩大自然语言部分语句系统的功能 ,不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理 ,还能够从语义上解释这些推理句的逻辑有效性 ;(3 )在自然语言部分语句系统内生成并解释推理 ,这是从认知角度研究推理的新视角     

论定罪推理的特征

定罪推理是刑事诉讼活动中的重要推理，虽然与传统逻辑的三段论颇为相似，但并非完全等同。本文分析和探讨了定罪推理的结构形式，与普通三段论的不同点，以及根据不同种差特点的罪名定义为大前提而进行的定罪推理等，旨在阐明定罪推理的特殊结构，为正确进行法律推理、准确地适用法律提供思维工具。     

论定罪推理的特征

定罪推理是刑事诉讼活动中的重要推理，虽然与传统逻辑的三段论颇为相似，但并非完全等同。本文分析和探讨了定罪推理的结构形式，与普通三段论的不同点，以及根据不同种差特点的罪名定义为大前提而进行的定罪推理等，旨在阐明定罪推理的特殊结构，为正确进行法律推理、准确地适用法律提供思维工具。     

关于中项

何为中项？以往的表述多指三段论中项和辩证法中的中介范畴。其实,二者都不是真正的中项。因为三段论中项即三段论“中概念”、“媒概念”、“中词”、“中名辞”等,它是指在三段论大小前提中都出现,并起联结作用,而在结论中不出现的概念。如果把中项等同于三段论中项,那么就等于否认了其他推理形式的中项存在。黑格尔在其《逻辑学》中写道：“在这种归纳式的推理里,中项就是所有个体的完全的列举,甲乙丙丁等。……类推的中项是一个个体,但这个个体却被了解为它的本质的普遍性,它的类或本质的规定性。”（见《小逻辑》第３６７页）…     

百分比量化逻辑初探

传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。自然语言中许多根据复量词和百分比量词的逻辑意义而进行的直观上正确的推理在传统逻辑和标准量化逻辑中都是无效的。显然,复量词和百分比量词不能当作存在量词来处理,它们有着不同的逻辑意义。     

杜威逻辑体系中的命题理论

杜威对命题进行了独特的分析,并在此基础上形成了独具特色的逻辑理论,包括制定了特有的命题分类体系,阐述了命题之间的逻辑联系,以及对传统三段论进行了工具主义的阐释,同时对于命题的构成即词项进行了多方面的阐述。杜威的命题理论为理解逻辑的起源、基础和应用提供了一条值得参考的研究路径。     

对德奥弗拉斯特在逻辑史上的贡献的再认识

德奥弗拉斯特跳出亚里士多德直言三段论又为人类逻辑贡献了假言、选言三段论,其创造性学说一直被错误地视为命题逻辑。德奥弗拉斯特本意在于开拓新逻辑关系,挖掘新研究对象,并非在意变项为何形式。后人臆测其变项为命题,从而归为命题逻辑,这是以分析方法混淆了研究对象。斯多葛命题逻辑并未发展德奥弗拉斯特学说,直到现代数理逻辑都是走了另一条路。正确认识德奥弗拉斯特的贡献,才能明辨普通逻辑的方向。     

事实推定的逻辑基础

本文从逻辑的角度对常态联系、例外联系、中立联系、必然联系作出了明确的区分,指出了它们各自在诉讼证明中的不同作用,阐明了为什么必须以常态联系作为推定的逻辑依据这一基础理论问题,在此基础上科学地确立了适用事实推定的基本条件,这些内容就是事实推定与其他相关概念区分开来的标准      

古今中外类逻辑思维的起源与发展研究

类逻辑是逻辑学中的重要分支,它以类为核心概念,以类比推理为主要表现形式。类逻辑在中西方有着不同的起源与发展路径：中国古代,墨家的＂故＂＂理＂＂类＂三物逻辑为类逻辑提供了生根发芽的土壤。在西方,亚里士多德作为逻辑学创始人,在研究三段论时离不开类逻辑思维;培根在科学实验中推崇归纳法,其中也蕴含了大量关于＂类＂的内容。随着时间推移,中外类逻辑研究更加深入,类逻辑思维在各个学科领域中的创新功能,是现代类逻辑研究的重点。     

逻辑三段论与司法三段论

逻辑三段论与司法三段论既有联系又有区别,但司法三段论研究却对逻辑三段论多有曲解,甚至将两者简单等同。文章对这一不当认识及其产生根源进行分析,指出逻辑三段论与司法三段论在推理模式、评价标准等方面都有根本不同。     

关于定罪三段论

定罪三段论特殊论的主张是错误的,定罪三段论必须遵守三段论的规则。否定式定罪三段论的问题可以通过定义置换方法或推理变换方法予以解决。     

语言的牢笼--西方哲学根本传统的一种阐明

西方哲学的全部历史可以概括为这样一个标准的三段式关系推理因为思维是存在之家(古代哲学),语言是思维之家(近代哲学),所以语言是存在之家(现代哲学).当今西方哲学的困惑是什么是语言之家?     

从关系逻辑的观点看特称否定命题的换位问题

传统逻辑认为 A、E、I命题都可以换位 ,而 O命题不能换位。但传统逻辑只是证明了在 A、E、I、O命题的范围内 ,O命题不能换位 ,它并没有证明 O命题根本不能换位。传统逻辑只是性质逻辑或类逻辑 ,而不是关系逻辑。从关系逻辑的观点看 ,O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样 ,O命题的换位也是有其一般意义的