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

简介： 本书从亚里士多德的原著出发，阐述了什么是亚里士多德逻辑的问题。除了整理和分析历史资料、评述一些逻辑学家和哲学家的观点之外，作者还提出了一些独到的见解，如四谓词理论和范畴理论的关系问题，四谓词理论和五谓词理论的关系问题，对三段论的现代解释以及亚里士多德逻辑和现代逻辑的关系问题等，书中都做了精辟论述。亚里士多德逻辑是非常重要的，不仅对逻辑本身，而且对哲学也是如此。从现代逻辑的角度来研究亚里士多德逻辑，已是学术界的共识。本书是国内较早研究这方面问题的专著。

简介： 1980年12月，第一次中国逻辑史全国学术研讨会在广州召开。在杨芾荪、温公颐、虞愚、李匡武等前辈学者的倡议下，会上正式成立了中国逻辑史研究会（后于1991年10月改为现名）。1982年1月，根据提交该次会议的论文选编而成的《中国逻辑史研究——中国逻辑史第一次学术讨论会文集》由中国社会科学出版社公开出版。在过去的近40年时间里，中国逻辑史研究事业取得了长足的发展，逻辑工作者在中国本土逻辑的形成与发展、印度因明与西方逻辑的传入、三大逻辑传统的比较等领域展开深入研究，取得了前所未有的重要成果。尤其值得一提的是，在最近5年（2012—2016），逻辑工作者共有逾20项课题被国家社会科学基金立项，其中“百年中国因明研究”（2012）、“八卷本《中国逻辑史》”获重大项目立项；在“逻辑与文化”论题与中国古代逻辑的特质研究、中国古代名辩学及其推类的本质与相关问题研究、中国近代逻辑思想的起源与发展过程研究、中国古代逻辑实践的理论重构研究及因明研究等多个研究方向上发表和出版了大量论文与著作；成功举办了多次全国性的学术讨论会，包括第一次海峡两岸中国逻辑史学术研讨会；国际学术交流与合作稳步推进，中外学者连续召开多次中国逻辑史国际会议，并合作编写了英文本《中国逻辑史手册》，为中国逻辑史研究的目标做出了积极务实的努力。截至目前，中国逻辑史全国学术讨论会已经召开了16次，但是由于种种原因，仅有少数几次会议在会后将收到的论文选编成文集公开出版。为了进一步推进中国逻辑史研究，反映中国逻辑史的研究现状，中国逻辑学会中国逻辑史专业委员会决定编辑出版《中国逻辑史研究》辑刊，一年一辑，择优收录有关中国逻辑史各个时期的思想文献、问题、人物及中外逻辑史比较等领域的论文、译文。这些论文、译文可以是未公开发表的，也可以是在上一年度已公开发表或在学术会议上宣读过的。编入本辑的论文主要选自2015年在贵州民族大学召开的第16次中国逻辑史全国学术讨论会的论文集，也包括部分在最近几年已公开发表的论文。在编选、付印过程中，贵州民族大学民族文化与认知科学学院和逻辑、文化与认知研究中心的伍尚邱葛、汪楠等同志协助完成了版式统一、稿件校对等具体工作，在此对他们的辛勤工作表示衷心的感谢！由于经验不足，辑刊的编选出版工作一定会有错漏不当之处，希望广大读者批评指正。《中国逻辑史研究》编委会2017年5月

简介： 逻辑研究有效推理。一个推理是有效的是因为结论所传达的信息与前提所传达的信息之间的必然关系，而传达这些信息的媒介不一定就是语言，图形在人类推理中同样也扮演着非常重要的角色。本书考察的对象是历史上著名的逻辑图及其逻辑理论。逻辑图首先是为理解亚里士多德的直言命题和三段论推理而发展起来的，其开端一般追溯到欧拉图。围绕着图形的可表达性问题，在长期的历史发展过程中，经过欧拉、文恩和皮尔士等人的努力，逻辑图从最初的设想变成了现实，从最初的简单表述三段论的工具发展成了关系逻辑和模态逻辑等的图式表示。在数学和逻辑领域，由来已久的观点是，“（图形）只是促进某些推理训练的辅助工具；……作为一种证明论手段它并不重要；实际上，……它在证明本身中没有恰当的位置。因为证明是一个句法对象，只由有穷多的、带有标签的句子组成”,2654543图形仅仅是一种直观的教学辅助工具，精确的数学推理和逻辑演算根本就无法用图形来模拟。皮尔士的革命性思想不仅克服了逻辑图的重大缺陷，而且为逻辑图打开了一个新的天地：存在图是在现代意义上可靠的和完全的图式逻辑系统。当代的逻辑学家们更是在现代逻辑的基础上、运用现代逻辑的工具和技术对逻辑图进行形式化研究，建立了一大批形式的图形推理系统，并运用到哲学、计算机科学和人工智能等领域，深刻地改变了逻辑图的发展，在此基础上提出的“图式逻辑”的新概念更是为哲学逻辑增添了一个新的分支。在其历史发展过程之中，随着表达能力的逐步提高，特别是由于对“否定”的表示，逻辑图的直观性程度也在逐步降低。围绕着图形的可表达性问题，我们在第1章考察逻辑图从古典形式走向形式化的发展历程。古典的逻辑图主要包括欧拉图和文恩图（一般也把经过皮尔士改造过的文恩图——“皮尔士-文恩图”包括在内）。由于可靠（且完全）的逻辑推演规则的提出，在逻辑图从古典形式走向形式化的发展历程中，具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统，现代形式的图式逻辑就是在这两者的基础上建立起来的。第2章研究的是欧拉图。逻辑图一般追溯到欧拉图，欧拉图的基本形式以圆表示非空非全的类。欧拉的系统具有各种各样的缺陷，后人沿着不同方向对其进行过各种改进。现代逻辑视野中的欧拉图将突出欧拉图的可视方面，在不添加新的语法对象的基础上严格按照现代逻辑的工具和技术来研究欧拉图，建立起一个具有可靠和完全的推演规则的形式系统，并研究其模型论性质，然后把这些技术和方法推广到在欧拉图基础上直接扩张而成的一类图形——状态图。第3、4章的研究对象是文恩图及其扩展。文恩图是文恩在欧拉图系统的基础上从图形的表达能力方面对欧拉图改造而成的，皮尔士沿着文恩对欧拉图的改进的方向作了发挥，使得文恩图的表达能力得到了进一步的提高，所得的逻辑图解系统史称“皮尔士-文恩图”。另外，皮尔士还在自己改进的图形系统中引进了图形转换规则，尽管皮尔士的这些规则还不尽完善。20世纪90年代以来出现的新理论使皮尔士的规则完善起来。沿着皮尔士对文恩图在表达力方面的扩展，20世纪90年代以来，一些新的尝试是把文恩图和文恩图、欧拉图和文恩图、图形和逻辑公式组合起来，以及新近正在研究的蜘蛛图、约束图，等等。我们在第5章研究皮尔士的存在图系统。1896年，皮尔士在接受文恩对欧拉图的改进的基础上，沿着相同的方向作了发挥，使得图的逻辑表达能力得到了进一步的提高，所得的逻辑图解系统史称“皮尔士-文恩图”。但是，皮尔士认为迄今为止的逻辑图在“镜像性”方面都不能让自己满意。凭借自己在化学和其他学科的经验，皮尔士相信逻辑需要有一种可视的记法，这种记法可以像化学中显示分子结构的化学图那样来显示命题的结构。因此，在改造文恩图的同时皮尔士创立了自己的镜像逻辑——“存在图”系统。存在图是皮尔士多产的一生最后20年对逻辑学的主要贡献，是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和逻辑推理的图式系统，具有和一阶逻辑相同的表达能力，是皮尔士用来证明其实效主义的工具。我们将在本章中详细研究存在图的主要内容、发展历程及其哲学意义，以及皮尔士提出的存在图判定问题（命题逻辑部分），除此之外，我们把皮尔士关于存在图的线性记法的一个介绍的译文附在后面作为附录。为了直观、快捷地把握本书的主要内容以及逻辑图的发展脉络及其相互之间的传承关系，我们用下列形式的树状图来表示本书所研究的逻辑图及其逻辑理论的谱系（按照年代远近从下到上排列，其中实线表示具有直接的扩展关系，虚线则表示没有这种关系，而是在不同解释的基础上发展起来的；位置的高低大致表示年代的差异）：除了这个树状图中反映出来的逻辑图，本书还简单介绍了最近在它们的基础上发展出来的逻辑图，如蜘蛛图、限制图，等等。承蒙赵汀阳先生厚爱，封面的漫画是他绘制的。逻辑图在高校逻辑教学中仍是必不可少的内容之一，希望本书对促进我国逻辑教学和研究有所助益，但由于水平有限，难免存在一些问题和错误，希望得到广大专家、读者的批评指正。刘新文中国社会科学院哲学研究所2012年3月

简介： 献给徐丽瑛主 任：王新生委 员 （按姓氏笔画排序）：王南湜 乔清举 任晓明严　正 李国山 李　娜陈建洪 陈晏清 薛富兴郑辟瑞的博士论文即将付梓，他让我写几句话，我十分高兴。郑辟瑞是我国著名现象学家和比较哲学家张祥龙教授的高足：1997—2000年在北京大学哲学系从张祥龙做硕士研究生，研究胡塞尔的意义理论。2001年考上我的博士生，继续他的意义理论研究。在博士论文写作期间曾经于2003年6月至11月在德国现象学研究重镇Wuppertal大学哲学系从国际著名现象学家Klaus Held学习。他的论文讨论的内容，是郑辟瑞自己苦读胡塞尔原文和德文及英文学术资料、反复研究的结果。在对胡塞尔的意义理论的研究中，郑辟瑞不是仅仅局限于对胡塞尔理论的叙述、分析和解读，而是把胡塞尔的意义理论放到当代西方哲学，特别是英美分析哲学的意义理论的研究成果的大背景中去评判。因此，这本论文的发表一定对我们自己对意义理论的研究发挥积极的推动作用。人们常说“人如其文”。接到辟瑞让我写前言的信不久，读到李零先生为《张政烺论易叢稿》所作“写在前面的话”。内中描写他的老师张政烺先生的话，使我突然想到，几十年后，等到郑辟瑞退休的

简介： Common knowledge is one of the fundamental concepts of group knowledge.Due to development in such areas as artificial intelligence，game theory，computer science，and decision science，etc.，analyzing as precisely as possible logic characteristics of common knowledge has become an urgent need for related disciplines.Based on logic characteristics of common knowledge，We analyze the dilemma and causation to obtain common knowledge in practice，and present the weak form of common knowledge.We also analyze the attempts at and the results from using the formal and axiomatic methods，compare relations among different formal interpretations of common knowledge.By analyzing，we point out that the central character of common knowledge is its hierarchical infinity for which the common knowledge cannot be obtained in reality and it is the reason for the requirement to weaken common knowledge in practice.We take the Coordinated Attack Problem as an example，and point out that the fundamental causation of Coordinated Attack Problem is the strong presupposition of common knowledge which is needless because approximate coordination is in real coordinated action.Therefore，to weaken common knowledge is the general way for resolving the game problem.Guided by this，We define the concept of almost common belief and puts forward the Chinese naming method of weak common belief for the first time，distinguish between almost common belief and weak common belief.We point out that the almost common belief is the result of weakening at one time both the characters“common”and“knowledge”of common knowledge while the weak common belief is the weakness of the belief degree of common belief，and the result of weakening only the character of“knowledge”of common knowledge.As epistemological base of game theory，common knowledge has been questioned just because of its accessibility is no picnic.The assumption of common knowledge is doubtlessly overestimated in practice.Therefore，it is of value to probe into philosophical foundation or epistemological foundation of game theory concerned with common knowledge.The best method to descript epistemological foundation of game theory is to analyze common knowledge，weaken its form，and apply it to different areas，with the help of most important advance in modern epistemological logic.Here，we focus on the cases of common p-belief and almost common belief.Common pbelief is a portable one to resolve the probabilistic coordinated attack problem.It is very difficult to solve coordinated attack problem if common knowledge is prerequisite in the attack.However，this demand is not so strong in practical decision making，so approximate common knowledge is the fundamental method to weaken common knowledge.From the angle of game theory，it is possible to acquire coordination attack of high probability through common pbelief by transforming the coordinated attack into a strategic form game.We think that common p-belief lays an epistemic foundation for the solution of coordination attack from the point view of probability.As a substitute for common knowledge，almost common belief can perform the similar function in the coordination game theory.In an experiment we made，it is clear that almost common belief also provides equilibrium for coordination games.People are always affected by cultural background when they encounter with coordination games.It is just the cultural background provides the almost common belief in the experiment we made.In the coordination games，players always put the convention in the first place；otherwise，they will act concretely by using almost common belief which is provided by common cultural background.

简介： 本书以道义逻辑研究中的瓶颈问题一一义务冲突问题的合理表达为发展线索，以分支融合的道义逻辑方案为整体框架，系统研究和探讨了语境道义逻辑、非单调道义逻辑以及时态道义逻辑等解决方案，并在此基础上，构建弱时态道义逻辑系统，使其可以在一定程度上对义务冲突问题给予有效处理。然后选择道义逻辑中最为典型的CTD悖论为例，对多种分支融合的道义逻辑方案进行概括分析和比较，指出单一的逻辑分支具有较大的局限性，需引入其他逻辑分支方法进行补充，因此多分支融合必将是道义逻辑发展的一个重要趋势。

简介： 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