认证协议的形式逻辑分析方法——BAN类逻辑综述

介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。

刑法教义学的逻辑方法:形式逻辑与实体逻辑

在刑法教义学中,如何通过法律解释方法达成刑法的公正性与法益的安全性,这是一个亟待解决的问题。其中,刑法的逻辑方法的正确运用具有重要意义。这种刑法逻辑方法包括形式逻辑方法和实体逻辑方法。在认定犯罪的时候,要进行形式逻辑判断和实体逻辑判断。形式逻辑的判断侧重于对法条的形式特征的界定,尤其是涉及对法条之间逻辑关系的确定。而实体逻辑的判断则偏向于对法条的实质内容的界定,尤其是对法条的内容进行价值考量。

弘扬毛泽东哲学方法论——纪念毛泽东诞辰一百周年

历史选择了毛泽东,造就了毛泽东的哲学、业绩和风格。中国的今天和明天仍然需要毛泽东,尤其需要他的哲学方法论,在其指导下,把第“二次革命”引向深入。在纪念毛泽东诞辰一百周年的今天,学习和研究毛泽东哲学方法论,在理论上利实践上均具有重要意义。 一、毛泽东对哲学方法论一贯重视 毛泽东哲学的方法论就是指毛泽东常讲的“思想方法论”或“认识问题的方法论”。对此,毛泽东一贯非常重视。 1920年,当毛泽东的马克思主义哲学观正在形成的时候,他就把科学世界观看成是认识问题的方法论。他在致蔡和森的信中专门讲了个“方法问题”。其中讲到:“

关于社会科学方法论研究几个问题的综述

社会科学面临重大发展,科学发展史表明:思维方式、研究方法的突破往往孕育着科学的大进步。开展社会科学方法论的研究是推动社会科学发展的重要环节。但在国内这一领域的研究很薄弱。本文想就社会科学方法论研究的几个基本问题谈些看法,以期引起学术界对这一问题的重视和讨论。一社会科学有没有方法论?要不要研究社会科学方法论?这是我们首先遇到的问题。

论王夫之的西学观

王夫之对明清之际的西学东渐并不是无动于衷的。他如何看待当时的西学?他的思想究竟与西学有着怎样的联系?本文拟就此作一些分析。(一)对于当时传入中国的西方科学技术,王夫之基本上持肯定态度。他称赞“西洋历家”的“远镜质测之法”,认为这是“西夷之可取者”(《思问录·外篇》)。“质测”即实测,以自然界的实际事物为对象。王夫之肯定西学之“质测”,一下子就抓住了西方科技里的近代因素——实证精神,表现出大思想家的锐利目光。

第一讲 学习《数学手稿》引言

马克思的《数学手稿》是运用唯物辩证法改造微积分学的光辉典范。认真学习《手稿》,对于用马列主义、毛泽东思想指导数学的教学改革,指导数学的历史、理论和现状的研究,从而牢固地占领自然科学阵地,具有十分重要的意义。为此,本刊开辟了“《数学手稿》讲座”专栏。请薛舒同志将他们在我校数学系所作的学习《数学手稿》的辅导报告整理出来,从本期起陆续发表。欢迎广大读者提出批评和指正。

国外马克思主义哲学发展的问题和趋势

苏联《哲学科学》杂志1988年第5期发表了哲学科学博士А·Γ·梅斯里夫钦科撰写的《国外马克思主义哲学发展的问题和趋势》一文。这篇文章论述了研究国外马克思主义的重要性和值得注意的问题,以及马克思主义哲学在欧洲社会主义国家和欧美一些资本主义国家的现状和发展趋势。现将其主要内容摘介如下: