简介:摘要弗雷格逻辑分析方法的出发点是从数学到逻辑,通过运用数学和自变元的分析方法揭示了概念和对象的本质。
简介:应用现代逻辑方法分析研究我国古代传统思想文化,挖掘、阐释其深刻意蕴,具有重要学术价值。我国古代思想家孔子提出的"己所不欲,勿施于人",作为一个古老的基本道德准则,得到人们普遍公认。国内外学术界普遍将这个准则称为道德"金规则"。近年来,对这个道德准则提出了一些不同看法,有观点认为,从这个准则会推出一些不适当的结论,甚至会产生逻辑矛盾,因此它不能成为具有普世价值的道德"金规则"。应用现代逻辑方法对这个道德基本准则进行严密的逻辑分析,得出的结论是,这个道德准则是成立的,不会推出不适当的结论,也不会产生逻辑矛盾,它是一个具有普世价值的道德"金规则"。
简介:类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。
简介:语言是民族习惯的产物,具有较大的随意性,尤其是自然语言;逻辑则是全人类同一的,有较强的规范性。用具有随意性的语言表述具有较强规范性的逻辑,就容易造成二者的不协调。当元语言和对象语言是同种语言时,这种不协调就会造成矛盾。本文分别从逻辑结构与语言结构上对这些“矛盾”的例子加以分析,通过一些实例的解析,得出结论:有些从语言形式表面看起来“矛盾”的语词、语句,实际上并不矛盾。它们只是人们对结构的机械划分或孤立理解语词、语句的语义造成的。逻辑与语言分属不同的研究领域,然而它们紧密相关。对语言的考察离不开逻辑法则,对逻辑的考察也不应撇开语言的历史与现实性。“矛盾”的认定也必须联系多方面的因素。
简介:在各类逻辑课程的教学中,逻辑学教师容易忽视"逻辑"概念自身的内涵。这一行为所导致的直接后果是,学生学完之后仍不知逻辑为何物,而老师在教学过程中也不自觉地偏离"逻辑"的内涵。根据学生的知识背景和各类逻辑课程所欲达成的目标,我们选择了三个不同的角度来引出"逻辑"的内涵,以期引起相关的讨论。