20 世纪中期，人们发现: ( 1) 自然语言中存在很多不能够用一阶逻辑中的标准量词?和?来加以定义的，但却具有非常有趣的数学推理性质的量词［1］; ( 2) 自然语言中还存在亚里斯多德三段论以外的大量有效推理［2］，这些推理就是基于广义量词的扩展三段论的推

预设是自然语言中常见的一种语言现象，人们通常用预设来表达已知的信息。国外学者对预设的研究由来已久，自 19 世纪末关于指称问题探讨时就开始关注预设这一概念。德国数学家、1为逻辑概念加以研究的学者。自弗雷格之后，罗素（ussell,1905） 、斯特劳森（St

一、引言 广义量词理论( generalized quantifier theory)是一阶逻辑的扩展理论，它比一阶逻辑更有利于计算机进行知识表示和知识推理，这是因为: ( 1)广义量词理论使得逻辑句法与自然语言的句法能够得到紧密的对应［1］; ( 2) 广义量词理论可以解释亚里士多德

0 引言 归纳与演绎之争由来已久，二者是否是不可调和的一对矛盾呢?科学研究离不开归纳，因为只有归纳才能从已知得到未知；科学研究也离不开演绎，因为演绎可以检验结论的正确与否。众所周知，弗朗西斯培根（以下简称培根）是经典归纳主义的代表人物，他开创

显示理论是维特根斯坦为解决划界问题而提出的一种语言分析思想，它在《逻辑哲学论》中占有重要地位。对显示理论的研究是重要的，之所以这样认为是因为划界问题是维特根斯坦整个《逻辑哲学论》的意图所在，而划界问题与显示理论是密切相关的，维特根斯坦在划

海西（Mary Hesse）和罗蒂（Richard Rorty）是20世纪后半期较早自觉对逻辑实证主义进行批判和反省的哲学家，他们都明确反对逻辑实证主义对理论语言和观察语言的区分，反对科学知识是对实在的准确表象。海西对逻辑实证主义的狭隘的知识概念进行拓展以扩展知识

弗完全( paracomplete) 是弗协调( paraconsis-tent，又译次协调、亚相容、超一致等) 的对偶( dual) 概念，此概念最早是由弗协调逻辑学家罗普瑞克、达科斯塔、马可尼等人在上世纪 80 年代中期引入的。弗协调逻辑的特异性质是一般意义的矛盾律在其逻辑系统中失

20 世纪随着现代形式逻辑的诞生，哲学领域发生了语言学转向,意义问题成为哲学领域研究的核心问题。意义理论的先驱弗雷格开创了基于现代形式逻辑对语句真的分析来澄清语句意义的先河，从而使得哲学中意义理论的研究必然与逻辑、与真密切相关，真与意义联系在

亚里士多德说，语言使我们成为人。人作为复杂的主体，不可避免地是内在活跃或充满活力的，而人的话语行为又是这种活力的重要组成部分。语言既要满足人们进行公共交流时所需要的社会约定性和某种语法规律，又要有语言表达式在形式上的灵活性，即人们所说的一

一、含混性引发的逻辑疑难 根据二值原则，我们言说某事物的话语是或者真或者假，因此相对于会话语境我们表达话语的语句就有确定真值。按照弗雷格、罗素和早期维特根斯坦的观点，一种逻辑上完善的语言是二值的，并且这种语言中的每个合式公式都是或真或假，可

荀子是战国后期的儒家思想家，也被称为是先秦思想的集大成者[1].他坚持孔子的 正名论立场，并吸收各家理论，形成了先秦儒家丰富且颇具特色的逻辑思想。在先秦语境中，逻辑思想被称为 名学. 逻辑一词来自古希腊，逻辑学被用来统称关于如何获得和表达真理的学

随着计算机与信息技术的迅猛发展，计算机与信息技术的哲学研究开始结出丰硕成果，影响也日益广泛。它一方面使一些传统哲学论题获得新生，另一方面又向我们提出了许多新的问题。逻辑机器哲学（logico-mechanical philosophy）就是这样一种关于信息技术的哲学

1引言 本文讨论的是克里普克的时间与思想之谜（下文简称克里普克悖论）。虽然从上世纪 60 年代起克里普克就开始思考这一悖论，但其正式发表却大大推迟了.2011 年，克里普克论文集《哲学困扰》出版，该论文集的第十三章为时间与思想之谜,克里普克悖论即得名于

引言 真是逻辑学的核心概念，逻辑学以求真为目标。 而在关于真的理论中，真值载体（truth-bearer）是一个被反复提及的概念。什么是真的承载者？当我们谈论真的时候，什么是我们讨论的对象和基础？虽然早在古希腊时代，亚里士多德就提出用命题这个概念作为真

维特根斯坦的生命之作《逻辑哲学论》自 20 世纪 20 年代初问世以来，大批学者不惜耗费心力，逐行逐字地对之进行研读和阐释，在不同的时期提出了不同的解读意见。概括地说，从该书出版到 20 世纪80 年代末，学界对该书主流的解读是所谓的正统的解读（orthodox

一 特修斯之船---近代哲学史上着名的思想实验，最早根据普鲁塔克的记载，讲述一艘可在海上一直航行几百年时间的船，在漫长的时期内，如果有哪一块木板腐烂了，就会用结实的新木板替换掉腐烂的木板，长此以往，逐渐按此方法替换船上原有的木板。可想而知，会

一般我们把形如如果 p,那么 q的语句称为条件句，如果后面的语句称为条件句的前件，那么后面的语句称为条件句的后件。通常人们认为前件为假的条件句是反事实条件句，但前件为假有两种情况，一种是客观事实上是假的，另一种是主观认定是假的（ 而客观事实是真

逻辑后承是逻辑学的核心概念。早在 1936 年以德文发表的《论逻辑后承概念》一文中，塔斯基就专门且明确地讨论了这个概念.他借助所谓的科学语义学（即模型论语义学）的技术给出了逻辑后承概念的定义，并认为他的定义最能符合我们关于通常的后承概念的直觉.尽

辩证逻辑是由黑格尔首创的，是黑格尔建立其庞大唯心主义思辨哲学体系的基

创立于 19 世纪末、20 世纪初的现代逻辑在短短的 100 多年时间里发展迅猛，不仅形成了以命题演算、谓词演算、集合论、递归论、证明论和模型论等为基础的完备、庞大的理论体系，而且迅速渗透到其他学科，特别是哲学、语言学、计算机科学和人工智能等，极大地