用概率方法解释概称句——亚里尔·科恩的概称句语义研究

用概率方法解释概称句,是概称句语义分析的一个方向。亚里尔·科恩(Ariel Cohen)[1]是近年来以概率视角对概称句进行分析研究的一位有代表性的学者,本文介绍亚里尔·科恩对概称句的解释,并以《概称句的语义解释及形式化比较研究》[2]一文中对概称句特点的讨论为依据,对科恩的解     

概称句的语义解释及形式化比较研究

概称句的研究始于20世纪70年代,由于概称句在思维和语言中不可或缺的地位,语言学、逻辑学、人工智能、哲学、心理学等多个领域的研究者分别从不同角度对概称句进行研究,时至今日已经提出了多种理论和形式处理方法。尽管研究视角、方法不同,对概称句进行语义分析都是研究的必经之路。本文从逻辑学研究视角,以概称句的特点为依据,将部分概称句语义研究的成果做总结和梳理,力图抓住各研究方向的思想本质,并通过论证指出周北海及毛翊[1]比较透彻地分析了概称句语义,抓住了概称句的本质。一概称句特点概述概称句(genericsentences)大体上指不表示…     

国内现代逻辑研究和教学近况--全国现代逻辑研讨会综述

2005年7月25～27日,由中国逻辑学会现代逻辑专业委员会主办、北京书生公司协办的"全国现代逻辑研讨会"(中国逻辑学会现代逻辑专业委员会2005年年会)在北京召开,来自全国各地的30余位专家学者参加了会议.北京大学刘壮虎教授介绍了国内现代逻辑研究和教学的现状.他指出,从研究的独创性角度来看,目前我国的现代逻辑研究在某些领域提出了一些新问题,能以新的角度看待一些问题,研究上具有继承性,技术上有新的内容,这些都在一定程度上体现了我国现代逻辑研究的独创性.不能不承认,国内对前沿性问题的研究还很薄弱.     

内涵与外延之辩:基于含糊性语义解释演进的分析

在含糊性问题研究领域,多值语义解释和超赋值语义解释是两个经典的研究进路。相较多值语义中的经典三值解释和基于概率赋值的模糊逻辑解释,范启德(1975)给出的超赋值语义由于引入了基于可能世界语义的可精确化结构,具有更强的表达力,能够弥补三值和模糊逻辑处理的很多不足。距离超赋值语义发表40余年后,秋叶研(2017)给出了同样满足可精确化结构条件的一个布尔多值解释。由于超赋值语义一直被当作典型的内涵语义处理方式,而在含糊性问题研究领域,布尔多值方法却在大多数时候被认为是模糊逻辑这个基于概率处理的典型的外延语义的复杂版本,内涵语义与外延语义的殊途同归,非常值得仔细思考和探究。本文将结合含糊性问题研究领域的多值语义解释和超赋值语义解释的演进过程,以内涵语义和外延语义的区分为切入点,最终指出,(当下主流定义下的)内涵语义与外延语义的界限是模糊的,而在原有界定基础上,对内涵语义增加“内涵语义要可以表达非线序的偏序结构”这一限制,能够进一步对内涵语义和外延语义进行区分。     

通过演绎方式得概称句推理的逻辑

基于[4]中的逻辑系统G,本文通过删减和增加公理及规则给出3个逻辑G0,GD和Gs,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和Gs的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。     

发现《弘明集》的逻辑学价值

《弘明集》是一部有影响力的佛教护法之作。从逻辑学角度来看,它无意间收录的东汉至南朝齐、梁五百年间僧人、王公大臣、文人学士等的思想交锋、笔谈论辩,为研究中国古代推理论证乃至思维模式提供了丰富的素材和样本。不仅如此,恰恰由于佛教义理的特点,这些文本中还蕴藏了不少涉及论证合理性、认知、无穷与时空等的理论性探讨。从文本整体、推理论证模式、论证元理论三个角度出发,通过示例对《弘明集》的逻辑学研究价值进行辨析,不仅为中国逻辑史增加了一个优质的研究文本,还将在一定程度上拓宽中国逻辑史的研究视野,并对当下日常推理、人工智能以及哲学逻辑的研究有所启发。     

概称句推理与排序

概称句推理可分为主要通过演绎方式的和主要通过归纳方式的。对于演绎方式进行的推理又可根据研究关注点的不同分为结论是事实句的推理和结论是概称旬的推理。由于概称句的作用,这三种类型的推理都是非单调推理。通过分别的考察,本文指出,这三种类型的概称句推理要想真正得以刻画,都需要引入前提集的排序的概念。进而,排序将是融合这三种类型推理的纽带。     

样本发散型含糊类的形式刻画

含糊类是基于样本和相似性得到的类。通过样本和与样本的相似性处理含糊对象是人们在面对含糊性时常用的方法。含糊类有样本收敛和样本发散两大类型,后者应该更为普遍。样本收敛的含糊类也是有核含糊类,可以通过核来处理边界情况。但是因为样本发散含糊类同时也是无核含糊类,所以这个方法不适用于样本发散含糊类。从人们对于含糊对象的实际处理看,除了用正面的样本外,还会用到反面的样本。将这个过程加以抽象,本文引入了负样本以及提出了由正样本和负样本共同处理边界情况的方案。在形式刻画方面,主要是在一阶语言的基础上通过增加正样本谓词、负样本谓词和论题词给出了语言L*及其语义。在L*中可以进一步定义正谓词、负谓词以及中间谓词,通过这些表达式可以对于含糊对象及其性质给出相应的刻画。     

排除式CP定律的形式刻画

本文关注近年来在科学哲学等领域引起广泛关注和争议的CP定律的形式刻画。论文首先考察了CP定律的不同分类和用法,继而锁定排除式CP定律作为重点研究对象。论文对完成者方法、不变性和稳定性理论、趋向性理论和正常性解释进行了探究,同时,作为一种尝试,将逻辑学领域中对概称句的正常刻画引入CP定律的刻画之中,文末对刻画标准及这些方向进行了进一步的分析和比较。