1980年12月，第一次中国逻辑史全国学术研讨会在广州召开。在杨芾荪、温公颐、虞愚、李匡武等前辈学者的倡议下，会上正式成立了中国逻辑史研究会（后于1991年10月改为现名）。1982年1月，根据提交该次会议的论文选编而成的《中国逻辑史研究——中国逻辑史第一次学术讨论会文集》由中国社会科学出版社公开出版。

在过去的近40年时间里，中国逻辑史研究事业取得了长足的发展，逻辑工作者在中国本土逻辑的形成与发展、印度因明与西方逻辑的传入、三大逻辑传统的比较等领域展开深入研究，取得了前所未有的重要成果。尤其值得一提的是，在最近5年（2012—2016），逻辑工作者共有逾20项课题被国家社会科学基金立项，其中“百年中国因明研究”（2012）、“八卷本《中国逻辑史》”获重大项目立项；在“逻辑与文化”论题与中国古代逻辑的特质研究、中国古代名辩学及其推类的本质与相关问题研究、中国近代逻辑思想的起源与发展过程研究、中国古代逻辑实践的理论重构研究及因明研究等多个研究方向上发表和出版了大量论文与著作；成功举办了多次全国性的学术讨论会，包括第一次海峡两岸中国逻辑史学术研讨会；国际学术交流与合作稳步推进，中外学者连续召开多次中国逻辑史国际会议，并合作编写了英文本《中国逻辑史手册》，为中国逻辑史研究的目标做出了积极务实的努力。

截至目前，中国逻辑史全国学术讨论会已经召开了16次，但是由于种种原因，仅有少数几次会议在会后将收到的论文选编成文集公开出版。为了进一步推进中国逻辑史研究，反映中国逻辑史的研究现状，中国逻辑学会中国逻辑史专业委员会决定编辑出版《中国逻辑史研究》辑刊，一年一辑，择优收录有关中国逻辑史各个时期的思想文献、问题、人物及中外逻辑史比较等领域的论文、译文。这些论文、译文可以是未公开发表的，也可以是在上一年度已公开发表或在学术会议上宣读过的。

编入本辑的论文主要选自2015年在贵州民族大学召开的第16次中国逻辑史全国学术讨论会的论文集，也包括部分在最近几年已公开发表的论文。在编选、付印过程中，贵州民族大学民族文化与认知科学学院和逻辑、文化与认知研究中心的伍尚邱葛、汪楠等同志协助完成了版式统一、稿件校对等具体工作，在此对他们的辛勤工作表示衷心的感谢！由于经验不足，辑刊的编选出版工作一定会有错漏不当之处，希望广大读者批评指正。

《中国逻辑史研究》编委会

2017年5月

德勒兹和阿多诺是20世纪尤其是战后时代最有影响力的两位哲学家。本书是二人哲学中的差异逻辑思想的一个比较研究，主要着眼于这两位截然不同的哲学家是如何试图挣脱同一性的基始性以及他们追求自由与创新的方式。这正是他们所共有的差异逻辑。但在两位哲学家那里，这种共同的逻辑被表现为两种相反的方式：德勒兹的积极的建构主义与阿多诺的否定辩证法。本书认为这一区别源于他们对于差异概念的不同理解。对德勒兹而言，差异是一个本体性的自在存在，它如同尼采的永恒回归一样不断地重复；而阿多诺则认为，差异是拒绝和解的、否定性的非同一性或矛盾。这一区别贯穿了两位哲学家思想的每个方面。本书旨在揭示德勒兹和阿多诺哲学的异同，并探究造成这些异同的根源所在。

条件句逻辑是重要的，因为旨在刻画推理的逻辑，都是建立在澄清和研究条件句的真值和涉及条件句推理的形式有效性之上的。本书的研究内容主要分为古代的条件句逻辑思想、中世纪的条件句逻辑思想、近代的条件句逻辑思想和现代的条件句逻辑思想四个部分。本书从时间的视角透视了条件句逻辑演进与新发展的问题，突破了条件句逻辑研究中长期以来占主导地位的“碎片化”问题，拓展了分析问题的视野和思路。

希腊哲学家亚里士多德创立了形式逻辑，数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础，是建构科学殿堂的工具。亚里士多德更强调矛盾律的重要性，矛盾律是一切证明都需要的最根本的原理，矛盾律是建构科学理论体系的基本原则。科学家遵循形式逻辑的规则，对理论中的矛盾采取零容忍的态度。他们总是全力以赴，锲而不舍地寻求解决矛盾的方法，直到矛盾解决，创立新理论，推进科学进步，这也影响到哲学观念的变革。形式逻辑对人类文明和社会进步做出了重大贡献。数学科学、物理科学有几千年、几百年的发展历史，科学发展的轨迹表明，辩证逻辑规律并不是普遍适用的，不是进行科学研究指导原则。而进行科学研究的指导原则，只能是形式逻辑的基本规律，特别是矛盾律。

《可能世界的名字》的研究内容为哲学逻辑的一个新分支——混合逻辑。混合逻辑是标准模态逻辑的一个扩张，方式是对其语言进行改变。构成整个混合语言家族的基础改变是引入一类特殊的符号——名字（nominal），由此可以明显地指称克里普克模型中的可能世界或者说个体状态。这一研究方向的名称反映出一个事实：名字既命名了模型中的状态，同时又是模态语言的句子。这一领域肇端于普莱尔在20世纪50年代末关于模态逻辑与时态逻辑的工作，但深入、系统的研究直到20世纪90年代才开始。当代混合逻辑是现代模态逻辑最活跃的分支之一，为经典结论提供了大量的改进。

与国际、国内同行出版的混合逻辑著作相比，本书主要研究混合逻辑的极小系统方面，集中做了两个方面的工作。

第一，全面介绍和研究混合逻辑在极小系统方面的主要成果。

本书在第一、第二章介绍混合逻辑的模态逻辑发展背景和时态逻辑的基本内容之后，简要介绍混合逻辑的基本思想，其主要内容是研究混合逻辑在两个方面所提供的优势。第一方面是混合语言表达力问题，在简要介绍普通模态逻辑之后，我们综述最重要的混合语言、混合逻辑以及它们的谱系；在每种情形中，我们都定义其最弱的逻辑及其完全的公理系统。在这一部分的内容之后，我们介绍一阶混合逻辑，主要关注混合逻辑的可判定性、复杂性以及关于内插性的一些结果。第二方面是关于混合逻辑证明论的。我们尽量介绍迄今为止混合逻辑所有的演绎系统并描绘出它们最有意思的特征。对混合逻辑证明系统的全景式研究有一个更为广阔的背景，那就是标记在证明系统中的应用。另外还有一个原因就是，模态逻辑证明方法的研究仍然是一个备受冷落的领域，而混合逻辑将为这一领域提供突破性进展。

第二，解决了混合核证逻辑的极小系统问题。

混合逻辑将自己的语义内在化，而新近出现的核证逻辑则将各自的证明方法内在化，很自然地，把两种理念组合成一个系统就是一个很有趣的工作，而且具有哲学上的来源，即维特根斯坦在《逻辑哲学论》中的观点——“在逻辑空间中的诸事实就是世界”。本书介绍并研究这一始于2010年的新方向，为混合的核证逻辑建立起极小系统，从而解决了世界著名逻辑学家梅尔文·菲汀（Melvin Fitting）在2010年提出的这个问题。

本书得到了2012年度国家社会科学基金项目“可能世界的名字”（项目编号：12BZX061）的资助（该项目于2015年结项，鉴定等级为“优秀”），并纳入了2016年度《国家哲学社会科学成果文库》出版计划。

本书的第十三章由祝瑞撰写，其余由刘新文撰写。在本书的写作过程中学界很多专家和学者提出过宝贵意见，中国社会科学院哲学研究所科研处高颖女士在文献收集方面做了大量工作，中国社会科学出版社田文女士和徐平女士为本书的出版提供了大量帮助。

特此致谢！

刘新文

2016年秋于北京

悖论是一个亘古常新的话题，从被发现的2000多年来，一直是逻辑学家、哲学家关注的对象，至今仍是逻辑研究的一大热点。本书在当代悖论研究最新成果的基础上，选取最具代表性的一类悖论——真理论悖论作为切入点，从其成因、推理特性和构成因素的探讨出发，系统阐述了弗完全的解悖方案。并把它与当今国际学术界另一大占主导地位的真理论悖论解决方案——弗一致理论做了对比探讨。本书揭示了真理论悖论在弗完全理论方面发展的主要脉络及其在方法论方向上的重要问题，具有重要的意义和价值。

The subject of this dissertation is Russell's logical atomism，and the major issues discussed here are his two kinds of standpoints on the structure of world and the relation between them.Logical atomism is a theory about the fundamental structure of reality，which is set up by Russell when using the method of logical analysis to resolve the traditional problems of philosophy during the originating phase of analytical philosophy.This theory belongs to the main tradition of western metaphysics，but differs from the tradition in the way that Russell arrives at the fundamental structure of world from the essential structure of language.

The central claim of logical atomism is that the world can be analyzed into aplurality of independently existing logical atoms that cannot be broken down any further，and these atoms exist in the complex structures of facts，i.e.they exhibit certain qualities or stand in certain relations.The doctrine shows that there are two kinds of ultimate ontological constituents of world：logical atoms and facts.Compared to the theory of traditional metaphysics，one distinctive feature of Russell's logical atomism is that he commits a particular object——facts，but his opinion of the sorts of facts and their logical form isn't as extreme as that of early Wittgenstein.Besides atomic facts，he also acknowledges negative facts，general facts and belief facts，although he accepts early Wittgenstein's the principle of extensionality and denies the existence of these facts in his later philosophy.

Another distinction of logical atomism is his definition of logical atoms.Logical atoms can be acquainted，which is different from both the traditional individuals or substance and early Wittgenstein's objects.Logical atoms include three kinds of things：particulars，qualities and relations.Russell holds the substratum theory and realism to themin the period of logical atomism，but in his later philosophy he turns to the bundle theory and realism.

Russell's points of view on facts and logical atoms frame his theory of the structures of facts of world.He acknowledges only the reality of logical atoms and facts，and common objects and physical objects usually regarded as reality are apparently complex and single entities，which haven't the reality in isolation，and are the logical constructions from sense-data，i.e.the series of classes of sense-data.Russell's theory of logical construction on physical objects is his doctrine of the structures of series of world.

The theory of the structures of facts of world and the theory of logical construction of physical objects are Russell's two kinds of structures of world——the structures of facts and the structures of series.The connecting point between the two kinds of structures of world is his direct equation particulars which are one kind of logical atoms with simple sense-data.According to one of two arguments which William Lycan provides to equate logical atoms with ontological atoms，this equation isn't successful.In addition，the two kinds of structures of world seem to show that，for one thing，logical atoms can't exist independently and must be in various kinds of complex structures of facts，for another thing，they can exist side by side separated from facts，and generate the series of classes according to the relation of compresence，i.e.constructing physical objects.Then，which kind of structure is more fundamental for logical atoms？

Russell hasn't definitely distinguished the two kinds of structures of world，so he can't deal with this problem.In the light of his only one text evidence and his wholly philosophical position，the structure of facts must be more essential.In fact，Russell's facts and physical objects embody two kinds of complex which are early Wittgenstein's terminologies：logical complex and physical complex，and Wittgenstein prosposes that the latter is subordinate to the former.Russell's two points of view on the structure of world can be recognized as corresponding to Plantinga's space-time world or physical universe and the real world.

Key Words：fact logical atom logical construction sense-data