第四十期

逸仙逻辑讲坛（工作坊）

题目：Überconsistent Logics and Dialetheism

（弗协调逻辑和双面真理论）

主讲人：

Graham Priest教授纽约城市大学

刘虎  教授  91视频

文学锋  教授  91视频

主持人：

任远  教授  91视频

时间：6月28日（周六）上午9:00

地点：锡昌堂 322室

主办方：91视频

           91视频 逻辑与认知研究所

 主讲人简介 

       Graham Priest, a world-renowned logician and philosopher, is Distinguished Professor of Philosophy at The Graduate Center, City University of New York, Boyce Gibson Professor Emeritus at the University of Melbourne, and International Research Fellow at the Ruhr University of Bochum. He is known for his work on non-classical logic, metaphysics, the history of philosophy, and Buddhist philosophy.  He has published over 300 articles—in nearly every major philosophy and logic journal—and eight books—mostly with Oxford University Press.

       格雷厄姆·普里斯特（Graham Priest），世界著名逻辑学家和哲学家，是纽约市立大学研究生院的杰出哲学教授、墨尔本大学的博伊斯·吉布森荣誉教授，以及德国波鸿鲁尔大学的国际研究员。他在非经典逻辑、形而上学、哲学史以及佛教哲学方面的工作广为人知。他已在几乎所有主要的哲学和逻辑学期刊上发表了超过300篇文章，并出版了八本书——大多由牛津大学出版社出版。

 内容简介 

       For many decades now, logics which permit inconsistent but non-trivial theories have been investigated and discussed. However, of recent years, we have seen the recognition that there are logics which not only permit contradictions, but which deliver contradictions: the logical truths are themselves inconsistent. As yet, they have no standard name as far as I know. Let uscall them überconsistent logics. Dialetheism is the view that some contradictions are true. It might well be thought that these logics which delivercontradictory logical truths provide a slam dunk for dialetheism. After all, as Quine puts it, ‘if sheer logic is not conclusive, what is?’ Matters are notthat straightforward, however. This talk is an initial investigation of the relationship between überconsistent logics and dialetheism. In the first part of the talk I give the appropriate background for the discussion. In the second I discuss how three well known überconsistent logics bear on the matter of dialetheism.

我们逐渐认识到存在这样一类逻辑：它们不仅允许矛盾，而且直接产生矛盾——其逻辑真理本身即是不一致的。双面真理论认为某些矛盾是真实的。人们很可能会认为，这些能产生矛盾性逻辑真理的体系为辩证法提供了确凿证据。但事情并非如此简单。本次演讲将初步探索弗协调逻辑与双面真理论之间的关联：先阐述讨论所需的背景知识，然后则分析三种著名弗协调逻辑对双面真理议题的影响。