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

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

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

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

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

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

排除式CP定律的形式刻画

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

概称句推理与排序

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

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

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

从逻辑学视角重思马克思对黑格尔辩证法的颠倒——兼论阿尔都塞的多元决定论和“结构改造说”

阿尔都塞之所以不认可马克思对黑格尔的辩证法进行颠倒,最为重要的原因在于他没有从逻辑学的视角来审视"颠倒问题"。马克思正是从逻辑学的层面对黑格尔的辩证法进行了主词和谓词的颠倒,"实践"取代了黑格尔的抽象理念和费尔巴哈的类本质成为了逻辑主词,"观念"则成为了谓词。马克思与费尔巴哈对黑格尔的颠倒,区别在于对逻辑主词的不同界定;正是通过主谓颠倒和主词革命,马克思实现了世界观和方法论的变革。阿尔都塞局限于辩证法的"洞穴",结果将马克思对黑格尔辩证法的"颠倒"误读为"结构的改造"。     

韵律特征对句法结构歧义解歧作用的实验研究

本研究通过对不同类型歧义句的语义理解实验并结合声学参数测量分析研究了韵律特征对不同类型歧义句的解歧作用,同时对韵律特征消解层次切分歧义的机制问题进行了深入探讨。实验结果表明,韵律对不同类型歧义句解歧效果不一。对层次切分歧义句的深入研究表明,歧义音节的前后停顿时长是消解层次切分歧义的最主要的手段。     

評M.H.阿列克謝耶夫的《邏輯科学的一些迫切問題》

在科学发展的现阶段,引起了逻辑学家本身和哲学家、以及知识局部领域的代表人对逻辑学问题的极大注意。由于科学本身的需要,在逻辑学家面前摆着各种不同的问题;从科学语言形式化到科学知识本质、思维形式的辩证法,等等问题。逻辑学乃是这样一门科学,在其中在极不同的理论流派、看法和观点的代表人物之间进行着激烈的争论。最近,出版了越来越多的阐述逻辑学问题的著作。但是,应该说,虽然有多种多样的关于逻辑学的现代著作,在精确地阐述逻辑学中的争论主要点和问题的观点方面却仍存在着严重的缺     

阿拉伯逻辑学的形成与特点北大核心CSSCISSCI

阿拉伯逻辑学主要来自于亚里士多德哲学,从9世纪到14世纪后,经历了一个由哲学逻辑学到宗教哲学逻辑学,再到独立的逻辑学的过程。从哲学认识论和方法论高度对阿拉伯逻辑学不同传统进行研究,可更好地理解阿拉伯文化及社会。