发表服务
尔纳普的理论，提出了比较完整的模态逻辑的模型理论。6O年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统，如认知逻辑I1引、道义逻辑[1引、时态逻辑[1等。模态逻辑由于研究和阐明了必然、可
导师给了我一篇写模态逻辑和证据理论的论文，一开始看蒙了，然后决定从头开始学模态逻辑，《ANewIntroductiontoModalLogic》这本书写挺好的，我一直看到systemT，然后搞懂了论文中的内容，我打算写几篇博客记录我的学习过程。...
基础认知词模态逻辑裘江杰，黄华新提要：自然语言处理涉及推理，出于可实现性的考虑，为之建立逻辑系统需顾及表达力与复杂性之间的平衡。本文给出了一类简单的模态逻辑，它们刻画了认知词一个基本的性质——有限性，统一得到了它们的完全性，并且证明它们都是可判定的。
（这里要解释一下为什么广义模态逻辑可以算经典逻辑，因为所有经典重言式都是它的内定理，它并没有改变任何经典逻辑的原则，只是添加算子作了些扩充。还有一个理由，从模型的角度看，模态命题逻辑可以看作一个一阶理论。
作者简介:张晓君(1970—)，女，博士后，研究方向:自然语言逻辑、模态逻辑、认知行动逻辑等;黄朝阳(1964—)，男，博士，教授，研究方向:现代逻辑、逻辑学教育应用问题等。【论文选粹】广义量词理论的渊源及其发展趋势张晓君，黄朝阳(厦门...
0第三章3第六节模态判断及其推理.doc,第六节模态判断及其推理研究“必然”、“可能”模态词及其推理的逻辑理论被称为模态逻辑。（1）这位疑似病人患“非典”的可能性非常大。（2）抗“非典”后，我国旅游业的强劲“反弹”是必然的。
摘要：中国逻辑学界70年历程表明：当与外部世界处于隔绝状态时，它本身的状态也相当不好；当打开国门去拥抱世界时，它自身的潜力被激活，得到了发展和繁荣。由于中国在近代停滞和落后，在与外部世界特别是西方世界的接触中，我们主动或被动地处于学生位置：别人探索和提出X，我们只学习...
这篇论文利用自动机理论中的一些概念把广义量词同程序联系起来。我觉得有意思的是广义量词出现在很多领域，譬如自然语言、模型论、算术、逻辑程序等等。您能否描述一下逻辑学家们如何处理广义量词？广义量词理论的要点是什么，它如何发展到现在？
模态逻辑与形式逻辑的差异在于：形式逻辑不面向应然世界，而模态逻辑则将“必然”“可能”“必须”“允许”等模态词引入逻辑体系，对含有模态词的命题进行推理和论证。道义逻辑与法律具有密切关系。“DEONTIC”一词源自希腊语，意即“义务”。
论文：1.《国内模态逻辑哲学问题研究述评》，自然辩证法研究，2007年第23卷第11期；2.《谓词抽象及其作用》，哲学动态，2008年第5期；3.《“逻辑”的四重根——评“逻辑可修正论”》，哲学动态，2010年第2期.进站后主要科研成果（包括课题
尔纳普的理论，提出了比较完整的模态逻辑的模型理论。6O年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统，如认知逻辑I1引、道义逻辑[1引、时态逻辑[1等。模态逻辑由于研究和阐明了必然、可
导师给了我一篇写模态逻辑和证据理论的论文，一开始看蒙了，然后决定从头开始学模态逻辑，《ANewIntroductiontoModalLogic》这本书写挺好的，我一直看到systemT，然后搞懂了论文中的内容，我打算写几篇博客记录我的学习过程。...
基础认知词模态逻辑裘江杰，黄华新提要：自然语言处理涉及推理，出于可实现性的考虑，为之建立逻辑系统需顾及表达力与复杂性之间的平衡。本文给出了一类简单的模态逻辑，它们刻画了认知词一个基本的性质——有限性，统一得到了它们的完全性，并且证明它们都是可判定的。
（这里要解释一下为什么广义模态逻辑可以算经典逻辑，因为所有经典重言式都是它的内定理，它并没有改变任何经典逻辑的原则，只是添加算子作了些扩充。还有一个理由，从模型的角度看，模态命题逻辑可以看作一个一阶理论。
作者简介:张晓君(1970—)，女，博士后，研究方向:自然语言逻辑、模态逻辑、认知行动逻辑等;黄朝阳(1964—)，男，博士，教授，研究方向:现代逻辑、逻辑学教育应用问题等。【论文选粹】广义量词理论的渊源及其发展趋势张晓君，黄朝阳(厦门...
0第三章3第六节模态判断及其推理.doc,第六节模态判断及其推理研究“必然”、“可能”模态词及其推理的逻辑理论被称为模态逻辑。（1）这位疑似病人患“非典”的可能性非常大。（2）抗“非典”后，我国旅游业的强劲“反弹”是必然的。
摘要：中国逻辑学界70年历程表明：当与外部世界处于隔绝状态时，它本身的状态也相当不好；当打开国门去拥抱世界时，它自身的潜力被激活，得到了发展和繁荣。由于中国在近代停滞和落后，在与外部世界特别是西方世界的接触中，我们主动或被动地处于学生位置：别人探索和提出X，我们只学习...
这篇论文利用自动机理论中的一些概念把广义量词同程序联系起来。我觉得有意思的是广义量词出现在很多领域，譬如自然语言、模型论、算术、逻辑程序等等。您能否描述一下逻辑学家们如何处理广义量词？广义量词理论的要点是什么，它如何发展到现在？
模态逻辑与形式逻辑的差异在于：形式逻辑不面向应然世界，而模态逻辑则将“必然”“可能”“必须”“允许”等模态词引入逻辑体系，对含有模态词的命题进行推理和论证。道义逻辑与法律具有密切关系。“DEONTIC”一词源自希腊语，意即“义务”。
论文：1.《国内模态逻辑哲学问题研究述评》，自然辩证法研究，2007年第23卷第11期；2.《谓词抽象及其作用》，哲学动态，2008年第5期；3.《“逻辑”的四重根——评“逻辑可修正论”》，哲学动态，2010年第2期.进站后主要科研成果（包括课题
发表服务