析比较命题及其推理

比较命题属于语言逻辑的研究范围。语言逻辑是以自然语言中的思维形式及其规律为研究对象的。而自然语言是无限复杂的 ,其表达中的概念形式、命题形式、推理形式和论证形式也是无穷多的。本文从自然语言表达中俯拾数例对比较命题及其推理作一浅析     

复句格式和分句间逻辑、语义关系的对应与不对应

复句格式与分句间的逻辑、语义关系存在着对应与不对应现象 ,其根源是复句的分句间纠缠着语义关系、逻辑关系及一些语用关系。本文试对某些对应和不对应的现象提出解释。     

萨莫斯的TFL系统述评

20世纪以来,数理逻辑的迅速发展使人们认为它能完全取代自然语言的逻辑。但是,随着日常语言学派研究成果的不断问世,这种奢望正在逐步打消。逻辑研究出现了以弗雷格为代表,将逻辑句法等同于人工语言句法的建构主义,和继承亚里士多德传统,坚持认为逻辑句法隐含在自然语言句法中的自然主义。建构主义者对自然语言持不信任态度。他们批评传统逻辑本质上无法达到可与弗雷格逻辑媲美的推理形式化。自然主义者则反对把所谓的逻辑形式强加给自然语言,主张修复传统逻辑,重新确立自然语言语法的地位。但未能建立起可与现代谓词逻辑媲美的逻辑系统,因而缺乏足够的说服力。     

反事实假设复句的逻辑分析

反事实假设复句是对客观事实的反面的假设,由假设而生的结果根本不可能实现。对反事实假设复句的逻辑分析就是要揭示出它所蕴涵的逻辑思维形式,即差异推理(求异法)、反证法和比喻推理。据此,反事实假设复句可以揭示事物间的因果联系、论证某个命题和表明说话者的主观态度和情感。     

百分比量化逻辑初探

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

哲思逻辑的扩充及其应用

在9种二值一元连接词中,非平凡的共有5个。由这5个连接词连接的命题和原命题之间形成了5种关系,即矛盾关系、差等关系、逆差等关系、反对关系和下反对关系。在扩充的哲思逻辑中包含了这5个一元连接词,这大大提高了命题逻辑的表达功能和推理功能。其中的逆差等命题○A和原命题A之间既不满足矛盾律也不满足排中律,既不能用A和○A进行反证法证明,也不能用A和○A进行归谬法证明。哲思逻辑在自然语言推理方面的应用主要体现在两个方面：基于哲思逻辑的自然语言形式表示;基于哲思逻辑的自然语言推理。     

论亚里士多德的大逻辑思想

亚里士多德逻辑思想是研究各类科学知识的工具 ,它是适应古希腊演讲、论辩之需要而产生的。亚里士多德逻辑思想是大逻辑思想 ,除了证明推理外 ,还有辩证推理、归纳、定义、辨谬等内容 ,并涉及了预设理论、问题逻辑、语境与逻辑等现代逻辑关注的问题。逻辑研究应提倡兼容 ,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。     

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

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

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。     

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

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

简论周礼全先生的预设理论

周礼全先生创造性地提出了预设规则,在此基础上阐述了预设定义,然后运用他的预设定义分析了直陈话语、疑问话语、命令话语的预设。他的预设理论极大地丰富了语言逻辑理论宝库。     

语义推理的真值表解法集全

有一些用自然语言表述的推理,用现行普通逻辑教材讲授的推理方法或规则难以推出或根本不能推出结论,而用真值表法则可以很容易地进行推理,而且这类推理简便直观;真值表解法推理的根据在于思维内容的一致性和确定性。     

《文心雕龙》:作为中古汉语的研究对象

《文心雕龙》文言韵语兼有对象语言和元语言双层功用,颇具审美与认知双重价值,《文心雕龙》有可能、有必要作为中古汉语的研究对象。将《文心雕龙》作为中古汉语的研究对象,宜以《文心雕龙》复句作为研究的切入点,以语法、修辞、逻辑的有机结合作为新的研究视角。     

概念明确在法律文书语言运用中的重要性

用精确的逻辑思维指导法律语言实践是法律文书具有说服力的基础,逻辑思维以概念、判断、推理为其反映形式.本文拟从逻辑思维的基本要素之一的概念出发,来阐述概念明确是保证法律语言更好地服务于法律实践的第一要义.     

指类句何以容忍例外？--指类句的语用分析

指类句（例如Birds fly 。）的特点之一是容忍例外。传统研究的局限性在于只注重指类句的表征性而忽视了其对话性。从对话性特征看,指类句是一种话题结构,句中的指类词集逻辑主词、句子主语和话题于一身,因此指类句的谓词实际上是对由其主词充当的话题的说明。从认知上看,话题设立了从认知参照点到目标心理路径的认知域。认知域的结构形态具有动态性,由此指类词的指称具有选择性。     

句子完满的秩序就是逻辑——解析德语句子的“框形结构”

藉助德语中一种特殊的＂框形结构＂的句子形式,说明语言句子里的秩序的完满性以及这种完满性所表现出的思维逻辑性。以论证哲学家维特根斯坦的命题＂我们语言里的每个句子现在这样子就挺合适＂和＂在最含混的句子里也一定藏着完满的秩序＂语言中现在句子的形式就是世界和思想共同具有的种种可能性的秩序。发现并领会语言里的这种秩序具有重要价值,因为要使句子具有意义就必得使它有一种完满的秩序。     

试析违反语言学的诡辩现象 --负面思维研究之三

动物界没有诡辩 ,是因为它们没有像人类那样的语言。诡辩通常产生在推理和论证过程中。如果没有语言 ,推理和论证就无法进行 ,这就使语言和诡辩结下了不解之缘。因为自然语言存在着一些不可克服的缺点 ,所以有些人就会利用语言进行诡辩。     

自然语言逻辑视域中的意义规则问题探究

自然语言逻辑或曰语言逻辑,是逻辑回归于自然语言以后所产生的结果。语言奠基于意识,意识活动的意向性特征,又决定了语言表达的意义。因此,人们如果忽视语言交际中的意义以及意义规则,那么,言语交际的效果,或者说语效,就会不如人意。本文在分析了思维与语言、话语意义与指称的基础上,探究了语言逻辑视域中的意义,以及意义规则及其运用等问题。