非严格弗雷格自由逻辑

莱曼(S.Lehmann)的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值,包含空词项的句子缺乏所指,而只有涵义,那么这样的句子不真也不假。莱曼的文章刻画了弗雷格这一思想,但有两点不尽人意之处:其一、对量词进行特殊处理,使得量词公式是二值的;其二,把包含空词项的复合句一概归于第三值。针对上述两点,本文以一度衍推系统为基础,在语义上,以偏解释函数为基础构造了一个非严格弗雷格中性自由逻辑表列系统,使得量词公式是三值的,同时使得一部分包含空词项的复合公式或真或假。     

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

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

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

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

论逻辑常项的归约

逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》,计划在第11卷专门以一卷的篇幅来研究后承关系、量词、否定、联结词、模态、自然推演、逻辑图等     

论逻辑后承概念

塔尔斯基在其1933年的论文中基于自己开创的语义学定义了形式化语言中真这个概念。然后,他在发表于1936年的本文中,在真这个概念的定义的基础上,第一次为后承概念提出了一个实质恰当的定义,即“句子X从类K的句子逻辑地得出当且仅当K这个类的每个模型也是句子X的模型”,使得逻辑后承这个现代逻辑核心概念的定义成为标准定义。但是,这个定义也遗留了一个更为根本的问题,即逻辑词项和非逻辑词项的划分标准问题,后者将由塔尔斯基本人在1966年给出了一个划分标准,从而开辟了一个方兴未衰的逻辑哲学研究方向。     

逻辑常项的使用规则的生成与证成

在证明论语义学中,一个逻辑常项的I-规则通常作为该常项的意义定义是自我证成的,而其E-规则就是通过其与I-规则的协调性来证成的。这种思想遭受到tonk-问题挑战,而解决这个问题实质上就是解决逻辑常项的使用规则的协调性问题。E-规则的普遍形式所包含的GE-协调性没有对I-规则如何“协调地导致”相应的GE-规则做出清楚的描述,也无法用于解答普通E-规则的证成问题。基于GE-规则的生成机制的GM-协调性能够弥补这两点不足,但是它仍然无法排除具有弱E-规则的不协调的常项。由GE-和Ge-规则的生成机制所共同保证的Ge-协调性则可以克服以上这三点不足,从而能够为逻辑常项的使用规则的协调性问题以及证成问题提供更好的解答。     

经典数学的逻辑基础

<正>经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑?逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代,但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下,数学基础的研究任务不再是为数学的各个分支寻找最大程度上免于理性怀疑的基础,而是在重构数学分支的过程中给出各个数学分支间的关系,描绘出数学的大图景。在这样的背景下,数学基础的研究不     

逻辑常项与保守性：以tonk为例

根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的。普莱尔（Arthur Prior）提出的tonk对推理论构成了严重挑战。库克（Roy Cook）最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念。借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统。     

马克思的资本逻辑批判与人的自由出路

从资本逻辑的视角去挖掘马克思有关人的自由全面发展思想的内在价值,或许是一种有意义的尝试。资本天生具有自我增殖本性,由资本本性衍生的自我扩张的逻辑便形成为资本逻辑。进入机器大工业时代以来,资本逻辑俨然已成为世界秩序的主导逻辑。尽管资本逻辑本身蕴含着"自由"价值,但资本逻辑下人的生存境遇所表现的却是人的自由全面发展遭受重大挑战的事实。马克思对此有过原初的揭示,因此,我们应该回到马克思那里,因循马克思资本批判的逻辑,追寻摆脱资本统治之道。     

试论孔子儒学体系的逻辑起点、逻辑中介与逻辑终点

逻辑起点、逻辑终点和逻辑中介是一门科学理论体系的基本元素。从逻辑起点出发,经过逻辑中介演绎,最终到达这门学说的逻辑终点,形成这门学说体系的基本结构。孔子的儒学体系是从对人的关怀出发,以“仁”作为其逻辑起点,通过积极人世的“伦理批判”以及“道德实践”中介,成就了“仁人”这一理想人格,从而走进了逻辑终点——“大同世界”。孔子对人性的深切关怀、积极向上的道德批判和社会改造精神,人性与制度的双重提升的社会理想,使儒家学说成为马克思主义和中国传统文化相结合的桥梁与现实基础。     

哲学逻辑与逻辑哲学的新进展——2014年国内逻辑学研究综述

近年来,国内的逻辑学研究主要集中在哲学逻辑、逻辑哲学以及模态逻辑等方向,2014年的逻辑学研究依然体现了这种研究方向的分布情况。在哲学逻辑领域,与动态逻辑相关的研究占据了很大的比重;在逻辑哲学领域,对经典著作或者经典理论的重新整理或理解成为了一个重要的研究热点;在模态逻辑领域,经典模态逻辑以及超模态逻辑中的很多问题也都...     

经典的扩充与变异——2015年逻辑学研究述评

命题逻辑与一阶逻辑都被称为经典逻辑。如果在经典逻辑的基础上增加算子,那么就能得到经典逻辑的扩充,如模态逻辑以及各种哲学逻辑;如果更改经典逻辑得以建构的假设,那么就能得到一系列的非经典逻辑,如非单调逻辑、相干逻辑等。近年来,国内逻辑学界的很多成果都集中在哲学逻辑领域,2015年这方面的成果数量仍然可观;同时学界对模态逻辑...     

想象的逻辑:来自中国哲学的经典例证

正哲学一向以抽象与晦涩为特征,抽象是指它追求远离经验的对象,晦涩则是指玄奥的思想或表达方式。前者通常以形而上学的面孔疏远人,后者则以貌似深刻的神情玄惑人。这一印象是受思辨哲学影响的结果。哲学史上即使存在这样的现象,也并不能代表整个哲学发展的全部状况。不仅西方哲学史上充满机智有趣的问题,在中国哲学中也不乏直观、深刻且富于吸引力的案例。本文从中国经典中选取几个     

无知、自由与法律

哈耶克从对无知的顿悟中洞见了自由特别是个人自由对于个人和社会发展与进步的必要性。而法律则构成了实现和保证这种自由的充要条件。因此,法律与自由具有同等价值。哈耶克对自由与法治的价值的注重和执着,既推动了人类认识的发展与进步,同时也给那些正在实践或追求自由与法治的社会留下警省和启示。     

专名、摹状词与葛梯尔问题

论文认为葛梯尔第一个反例的实质，在于专名与摹状词之间的混用。一个专名的意义应当是在它与有关个体的关联的基础上产生的。个体提供了意义规定的基础，但个体并不等于意义本身。从本原上说，名称的确定性恰恰来自它与所指称的对象的关联性。专名的涵义是潜在的、隐而未显的，它通过摹状词来展现。专名在获得命名之后，即成为一个约定的符号。意义论的基础应当是“指称论”，而不是维特根斯坦的语言游戏说的“使用论”。     

名学、辩学与逻辑

中国古代有名、辩研究之实,而无“名学”、“辩学”之称。自我国近代学者开创以西方传统逻辑参证中国固有名、辩的研究模式后,“名辩”遂成了“中国古代逻辑”的代名词。实际上,所谓的“名辩逻辑”是从来没有经过严格论证的。从一些研究者所勾勒的“名辩逻辑”体系来看,其所描画的概念论、命题论、推理论等主要内容,都不是真正的类似于西方传统逻辑那样的逻辑理论,“名辩逻辑”在中国古代是根本不存在的。众所周知,作为世界上第一个形式逻辑体系,亚里士多德逻辑的创立,主要得益于古希腊数学方法的借鉴,古希腊的语言学研究也为亚里士多德逻辑提供了有益、有力的支持。而在中国古代并不具备创立亚里士多德逻辑那样的条件。中国古代的科学基本上停留在经验领域,并没有上升到理论科学的发展阶段,中国古代的几何学本质上是一种文字几何,缺乏严格推理的手段。以象形文字为基础的汉语言的特点,也不利于逻辑科学的建立。然而,否定“名辩逻辑”的存在,并不等于否定“名辩”的理论研究价值。中国古代的“名”是指事物的名称,名学是中国古代以名为研究对象,以规范名实关系为核心内容的关于事物名称的思想理论。中国古代的“辩”即论辩,辩学是中国古代以辩为研究对象、以探讨论辩原则和论辩方法为核心内容的论辩理论。名学不是辩学,它们的研究对象、研究内容是不能相互替代、也是不能相互包容的。在中国古代,不存在既非名学、亦非辩学的“名辩学”。     

恶、自由与康德的善人概念

本文将借鉴康德哲学的资源来重新思考自由与恶的问题.之所以以康德为中心,主要是因为康德与自由主义(Liberalism)之间存在着微妙的关系.一方面,两者有很多共同的价值诉求,如在凯克斯看来,"自由主义归属给个人的核心重要性通过康德所表达的自主观念得到极大的提高";而在另一方面,康德与自由主义在诸如自主这样的基本概念层面并不完全相同,而康德哲学的复杂性与深刻性也许能为容纳这些基本价值提供另一种可能的空间.     

空专名、意向性与指称行动

系统把握空专名的意义机制应立足于有关指称对象存在问题与指称行为本身问题的区分与关联。基于"假装"概念的分析,可准确把握意向性在空专名指称过程中的作用机理。只有在空专名本体论上坚持一种广义的实在论,才可为虚构对象提供适当的居所。关于指称行为的意向性分析有助于把握和充分发挥指称作为一种"行动"的实质与功能,进而把握"意向对象"的形成机理。以明确指称过程的实质为指针,可以明确:内涵和外延是思想层面的范畴,含义和指称是语言层面的范畴,概念的内涵表达为名称的含义,概念的外延表达为名称的指称对象;只要搞清楚这些层面区分并把握其中的关联,便可去除笼罩在空专名身上的神秘光环,并把握描述论和因果论之争的实质。     

存在、荒诞与自由——《少年派的奇幻漂流》之存在主义分析

存在主义作为一种西方现代的哲学思潮,在多个领域都产生了深刻的影响。而当电影与存在主义结合之后,电影从此拥有了表达思考与痛苦的哲学功能。《少年派的奇幻漂流》讲述了一个少年派的奇幻的海上历险经历,通过对男主角的心路历程的描述,探讨了人的存在的问题和意义。