第二十三次活动

形式：学术报告
时间：2011年11月5日(星期六） 10:00 -- 12:00
地点：清华大学新斋346

报告人: 熊明辉 教授（中山大学）
题目: Logics for Legal Argumentation
摘要: This topic about logics for legal argument stems from Protagoras, who is the first sophist in Ancient Greece and presented the paradox of the court. In Aristotle's logical works Organon, what his treatise On Sophistical Refutations discussed is how to refute sophist's argumentation and to discover their fallacies. In 1588 Abraham Fraunce published the Lawier Logike exemplifying the praecepts Logike by the practise of the common Lawe. In his poem, he said, "I see no reason, why that Law and Logike should not bee. The nearest and the dearest freends, and therefore best agree.…… I sought for Logike in our Law, and found it as I thought."

As a symbol of legal realism, Jr. Oliver Wendell Holmes said in 1881, "The life of the law has not been logic; it has been experience". Therefore, most scholars have wrongly thought that Holmes tried to reject the important role of logic in the law up to now. However, it is not what Holmes really wanted to say. On the contrary, in 1897 Holmes stressed that the training of lawyers was a training in logic and the language of judicial decision was mainly the language of logic. Interestingly three book reviews were published on the Columbia Law Review's 31st issue of 1931after Jerome Frank's book Law and the Modern Mind was printed. Karl Llewellyn thought Frank's idea was keen, cogent and well-integrated; therefore, logic lost its function in the law domain, while Mortimer J. Alder claimed that legal certainty need to be maintained by formal logic and judicial decision was the outcome of deductive logic. But Walter Wheeler Cook thought Frank hadn't actually denied the role of formal logic in the law but was trying to show how lawyers had misconceived and misused formal logic.

The systematic study of logics for legal argument started from the middle period in last century, i.e., after Ulrich Klug published his book Juristische Logik in 1951 and Lee Loevinger issued his paper 'An Introduction to Legal Logic'. Since then, logics for legal argumentation have been going forward along two paths - formal and informal. The former is based on formal logic while the latter's basis is informal logic or argumentation theory. Absolutely, both Klug and Loevinger regarded legal logic as an applied modern logic while as an applied traditional logic before their theories. In 1958 Cha?m Perelman et al and Stephen Toulmin published respectively Traité de l'argumentation, la Nouvelle Rhétorique and The Uses of Argument. It is they that opened up the path to study logics for legal argumentation from a perspective of non-formal logic. Although some scholars who are walking on the two roads seem to understand each other sometimes, we think it is possible to integrate the two lines. In this talk, we will show this kind of possibility.

第二十二次活动

形式：小型学术会议 Mini-Workshop on Modal Logic, Language and Logical Dynamics
时间：2011年6月12日(星期日） 13:00 -- 18:00
地点：清华大学新斋324

第二十一次活动

形式：学术报告
时间：2011年5月3日(星期二） 10:00 -- 12:00
地点：清华大学新斋238

演讲人：何莫邪 教授 (奥斯陆大学)
题目：逻辑分析和古汉语研究

何莫邪简介：世界著名汉学家，奥斯陆大学东欧与东方研究系教授，挪威科学院院士。 1980年代曾在剑桥协助李约瑟从事“中国科学与文明”的研究，负责中国传统语言与逻辑部分。 担任国内外知名大学客座教授。

第二十次活动

形式：学术报告
时间：2011年4月17日(星期日） 9:30 -- 13:00
地点：北京师范大学主楼B805

演讲人：王彦晶博士 (北京大学)
题目：隐协议
摘要: 本文试探讨当社会协议不是公共知识的情况下， 人们是如何根据观察和对协议的片面知识进行推理的。我们在认知模型上加入期待观察的信息， 研究了这种期待观察的信息是如何从不是公共知识的协议中得到的。 我们还给出了这些非公共协议间的一种等价关系，并设计了一种认知逻辑来处理主体基于非公共协议和观察的认知推理。
本文是与 Hans van Ditmarsch， Sujata Ghosh 及 Rineke Verbrugge的合作工作。

演讲人：马明辉 (清华大学博士研究生)
题目：Mathematics of Public Announcements
摘要: We study some mathematical aspects of public announcement logic (PAL) and its several variants. We first give a variant characterization theorem of van Benthem’s result that uses recursion axioms to characterize the submodel operation. Then we show some model-theoretic results on the respecting phenomena of the submodel operation with respect to some model constructions. The second approach to understand public announcements is an algebraic one. Based on a joint work with Alessandra Palmigiano (Amsterdam) and Mehrnoosh Sadrzadeh (Oxford), we give a dual characterization of the corresponding submodel-injection map, as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. We show the algebraic soundness and completeness result for PAL. We still generalize this algebraic approach to public announcement extension of epistemic intuitionistic modal logic. Finally, we give some observations on the public announcement extensions of first-order logic as well as epistemic predicate modal logic.

第十九次活动

形式：学术报告、讨论会
时间：2010年11月7日 上午9:00 -- 下午5:00
地点：人民大学人文楼601

演讲人：王彦晶博士 (北京大学)
题目：Reasoning about protocol change and knowledge
摘要:In social interactions, protocols govern our behaviour and assign meaning to actions. In this paper, we investigate the dynamics of protocols and their epistemic effects. We develop two logics, inspired by Propositional Dynamic Logic (PDL) and Public Announcement Logic (PAL), for reasoning about protocol change and knowledge updates. We show that these two logics can be translated back to the standard PDL and PAL respectively.

演讲人：琚凤魁 (北京大学博士研究生)
题目：Semantics of Sentences in Mixed Moods
摘要: Based on the framework of update semantics, this paper aims to present a dynamic semantics for English sentences in mixed moods of indicative and imperative. The main difficulty of defining such a semantics lies in that the connectives , and - behave differently in this sort of language phenomenon from our usual understanding of them: Conjunctions and disjunctions might contain conditionals in meaning; Imperatives have imperative forces even if they occur in disjunctions. To solve this difficulty, we define possibilities in information states as binary tuples, which consist of possible worlds and force states. Then we introduce stacks, which are divisions of information states. Meaning of sentences is defined as an update function on stacks. Not genuinely introducing new connectives, this treatment makes information states change in the way we expect. In the update framework, this semantics can produce a reasonable notion of validity.

演讲人：周北海教授 (北京大学)
题目：概念语义与弗雷格迷题消解
摘要:弗雷格因同一替换律讨论而提出了涵义与指称的理论，这个理论后来引出了弗雷格迷 题。弗雷格迷题的形成有多方原因，直接指称论对弗雷格理论批评是主要原因之一，以至于可 以说，这是产生于直接指称论哲学立场的迷题。尽管如此，弗雷格理论确有不足。最重要的是， 弗雷格理论只有关于涵义与指称的理论，即只有语言层面的理论，而缺少认知层面的理论。这 个不足使得在弗雷格理论基础上解决同一替换律问题难有令人满意的结果，让“迷题”多添了 几分“迷”的色彩。这里将给出一个新的方案：在弗雷格理论的基础上，增加有关概念的理论， 以概念和内涵、涵义等这些概念的形式刻画为中心，建立可以消解弗雷格迷题的形式语义学， 即概念语义。通过概念语义可以在不同层次上对弗雷格迷题的消解给出统一回答。

第十八次活动

形式：学术报告
时间：2010年9月7日(星期二） 上午10:00 -- 12:00
地点：社科院大楼957室(逻辑研究室）

演讲人：琚凤魁 (北京大学博士研究生)
题目：祈使句的语义和逻辑
摘要 We will present a series of dynamic semantics for imperatives in the framework of update semantics, and specify several alternative logics for imperatives. In these semantics the consistency problem and Ross’s paradox have straightforward solutions. All the work is carried out based on the correspondence between imperatives and force structures. According to different ways of dealing with compatibility between imperatives, we give a few choices of de?ning the notion of consistency for imperatives. Meaning of imperatives is an update function on force structures, which is also dependent on compatibility. Entailment for imperatives is reduced to some relation between force structures. We also give some choices of the notion of entailment, each of which is coincident with a certain kind of compatibility.

第十七次活动

第十六次活动

第十五次活动

第十四次活动

第十三次活动

第十二次活动

第十一次活动

第十次活动

第九次活动

第八次活动

第七次活动

第六次活动

摘要: 一个Frege系统是一个基于有限多规则和公理模式之上蕴涵完全的命题证明系统。 一个Frege系统F多项式模拟另外一个Frege系统H，是说有一个多项式时间算法把命题公式A的任意 一个F-证明翻译成A的H-证明。我们首先提出一个以广义Sheffer竖为初始联结词的命题逻辑系统， 其中括号将兼具联结词作用。运用这个系统可以构造一个组合重言式的序列， 把这些重言式加到任意一个Frege系统的时候，可以多项式模拟扩张的Frege系统。

摘要: The celebrated Sahlqvist correspondence theorem says that every Sahlqvist formula has a first-order correspondent computed automatically from it using Sahlqvist-van Benthem algorithm. It follows that every Sahlqvist formula is canonical for its first-order correspondent. This is called Sahlqvist completeness theorem. It is hard to extend the class of Sahlqvist formulas by weakening the definition of a Sahlqvist formula. But for the completeness theorem, there is a natural extension. The motivation of extending it comes from the logic KMT proposed by G. Hughes [1990] which is generated by a set of formulas of the form $<>/\_{i=1}^n(<>p_i --> []p_i)$. P. Balbiani, I. Shapirovsky and V. Shehtman [2006] took this road and introduced a class of modal logics which is complete with respect to a class of frames satisfying certain first-order condition which can be computed automatically. They added the diamond to a conjunction of the form $/\_{i=1}^n\phi(p_1^i,...p_m^i)$ where $\phi(p_1,...,p_m)$ is a locally elementary and locally d-persistent modal formula. Note that they only use the prefix $<>$. My results is to prove that all positive modalities work for the purpose. A hierarchy of modal formulas is also defined and some model-theoretic results follows.

第五次活动

摘要: 17和18世纪数学繁荣的速度令人惊奇，但是其不受约束地发展也令数学家和逻辑学家开始关注严格性、 概念的清晰性、概念的还原性、系统组织和解释等问题。特别是实数与复数分析中无穷小、 无穷和与无穷积的使用产生问题，后来为了系统的严格性，这些概念逐渐被极限的概念所替代。 然而复数的概念产生于一个"想象" 数 i = sqrt[-1]，数学家开始寻找复数理论的坚实基础。 这个坚实基础就是靠还原工作提供的。复数的概念可以还原为实数概念， 实数概念可以还原为有理数概念，有理数概念可以还原为自然数概念。 然而怎样将自然数还原为更为基础的概念，从而给数学以可以信赖的基础， 成为了康托、弗雷格、罗素以及策梅洛等人后来致力的方向。 本次讲座旨在从还原的角度看这些数学基础发展的脉络和相互关系。

摘要:本文的主要目标是构造分析性模态公理系统，这种系统的定理证明很简单。 称公理系统具有分析性，即推理规则的前提和结论的命题变元相同。 分析性公理系统始创于安德森等构造的经典逻辑系统，本文将这种方法推广到模态逻辑。
为了便于表述分析性公理系统的公理，本文给出模态表达式的一种新记法，即定义一个n元算子，它实际上混合了广义析舍和模态词，能节省联结词和括号，故称为广义谢弗竖。以新记法为基础，本文改进了现有的两种模态表列：破坏性表列和前缀表列。经改进的模态表列的推演性概念很有特点。由改进的模态表列和超矢列的方法，本文构造了两种分析性模态公理系统：基于破坏性表列的和分组的，它们都是在命题逻辑的分析性公理系统的基础上增加模态规则（而不是模态公理）得到的。分析性模态公理系统和模态表列存在一种对应关系，因此这种系统的完全性由表列完全性易证，并且一个表达式在系统中的证明可由该表达式的表列证明机械地得出。分析性公理系统的另一优点是系统的可判定性可直接证明。此外，我们由分析性公理系统得到了一种新的推演的定义。虽然这种系统没有分离规则，但其演绎关系仍有自返性，单调性，切割性和替换性，故这种新的演绎的定义是合理的。
最后，本文考察了基于这种新记法的萨奎斯特对应定理的形式。

第四次活动

第三次活动

题目: 谁之错? —— 陈慕泽vs周北海

形式：辩论
主持人：刘壮虎
时间：2008年12月6日（星期六）上午9:30 — 12:00
地点：中国人民大学 二教409

背景简介

2001年陈慕泽发表论文“全称概括规则和受限制的演绎定理 —— 国内数理逻辑教材中的一个问题”，认为关于可证、演绎定理和全称概括规则的表述 “国内一些有影响的数理逻辑教材或专著中存在的一个重要错误”。 2007年秋，周北海看到此文，认为陈慕泽文章本身有错。此后二人多有争论，终于约定公开辩论。

此次活动属教学问题讨论，形式与以往活动不同。辩论将由一人主持，全体与会者为评判人，共同评判是非。欢迎参加。

附件：全称概括规则和受限制的演绎定理 —— 国内数理逻辑教材中的一个问题

****************第三次活动报道****************

第二次活动

形式：学术报告
时间：2008年10月28日(星期二） 3:30-5:00
地点：北京大学哲学系 会议室

摘要: 在多主体认知逻辑中，群体知识对于主体间的互动有重要作用。分布式知识就是群体知识中的一种。 分布式知识的直观含义（称为"联合知识"）与通常接受的语义解释（称为"群体隐含知识" ）并不是一致的。符合完全交流原则的群体隐含知识和联合知识是一致的。 形式化分析表明这两种知识只有在一些特殊的模型类中才是一样的。有穷可分辨模型、紧密饱和模型、饱和可分辨模型都符合完全交流原则。只有完全交流模型才真正完全地刻画了完全交流原则。 群体隐含知识和联合知识不一致的根本原因涉及到可能世界的本体论地位问题。

形式：学术报告
时间：2008年10月28日(星期二） 1:30-3:00
地点：北京大学哲学系 会议室

摘要: 本论文试图解决的中心问题是NExtK4中濒表格逻辑的判据问题．所谓"濒表格性的判据"总不外是这样一个语义论断： 逻辑L是濒表格的iff存在一如此这般的无穷框架F使得L＝LogF．这个存在命题丝毫不意味着不存在非如此这般的无穷框架使得L＝LogF． 可见，濒表格性判据本身预设了要在刻画同一个逻辑的--往往被称作"等价的"-许许多多框架中作取舍． 我们把这种取舍过程叫做"规范化"． 规范化的手段是各种框架变换，其根本目的不是只求刻画框架在几何性状上的优雅， 而是要追求刻画框架在结构性状上的稳定．为此我们引入点式归约的概念和点式归约下不变性概念． 这两个概念使得我们能够指出这个规范化过程在一个什么样的合理标准下结束。换句话说， 在点式归约下的不变性从一个最重要的侧面反映了濒表格性的本质．对点式归约进行的初步研究发现， 我们可以对不含无穷深点的传递框架上的点式归约做一个穷尽的分类．同时，对有穷传递框架来说， F是既约的iff F在点式归约下不变．其后，我们分别针对有穷深度的与无穷深度的濒表格逻辑制订判据． 在解决有穷深度濒表格逻辑的判据问题的时候，我们引进了"AltN-颠覆子"和"强的AltN-颠覆子"的概念， 从无穷框架入手，得到有穷深度濒表格逻辑的范形及其所满足的抽象性质，从而得到判据．值得指出的是， 我们用在点式归约下不变作为鉴别濒表格逻辑的刻画框架的范形的重要标准．在解决无穷深度濒表格逻辑的判据问题时， 我们则是从濒表格逻辑的有穷有根刻画框架类入手，从中抽取一条满足若干条件的有穷有根框架链， 最后通过链并的方式得到无穷深度濒表格逻辑的范形．同样地，在点式归约下不变是一个重要的判定标准． 在得到濒表格逻辑的这些判据之后，我们把得到的判据应用到NExtQ4并且证明和NExtK4类似，这个格也存在着濒表格逻辑的连续统． 另外我们也初步研究了NExtQ4中一些濒表格逻辑的公理化问题．最后，作为一个插论，我们把某些零散结果收入最后一章． 这些结果与传递逻辑中的一个新方向密切相关， 主要指向无穷深度的濒表格逻辑与框架逻辑、子框架逻辑、共尾子框架逻辑之间的关系．

****************第二次活动报道****************

第一次活动

形式：学术报告
题目：基于涵义语义的范畴空间—— 兼谈逻辑与认知
演讲人：周北海 教授 （北京大学）

时间：2008年10月18日(星期六）上午9：30-12：00
地点：中国人民大学 求是楼0223

摘要: 每个概念集在可能世界上由内涵的包含于关系形成一个偏序结构，这就是一个范畴空间。范畴空间也是概念的定位系统和理解系统。范畴空间是传统概念理论在现代逻辑方法下的发展。概念理论已经淡出逻辑学领域，成为认知语义学的重要内容。这里有逻辑学本身的原因，也有概念自身特点方面的原因，主要原因是概念与认知有密切关系。范畴空间与认知语义学中 Gardenfors 的概念空间形成不同层次的互补关系，可以作为认知语义学的一部分。这表明逻辑学应该也可以深入到认知结构的研究中。Lakoff "形式逻辑没有办法刻画人类的概念和理性”的观点过于极端。认知语义学的核心观点是在语言和对象之间存在认知结构的中间层。对于这个中间层面 目的全面揭示，有待于认知语义学和逻辑学的共同研究。