一项伟大的逻辑成果

北京开关厂工程师林邦瑾撰写的具有独创性的论著《制约逻辑》已经由贵州人民出版社出版.《制约逻辑》全书约五十万言,共分八章.制约逻辑体系由语义学、语构学、语用学三者组成,分别研究:客观世界的逻辑结构和逻辑规律;刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则;在指谓同一的原则下符号语言与自然语言的互相翻译.制约逻辑的哲学思想是辩证唯物论.其重要的理论观点是:推理式是现实世界的个体间、类间、个体与类间的一元或多元关系间的条件关系的规律在意识中的反映,是人类在认识世界过程中从已知进到未知的初等工具.     

制约逻辑与相干逻辑比较研究

实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。     

制约逻辑与计算机科学相关问题的探讨

新兴的逻辑领域——制约逻辑与计算机发展关系密切。这主要体现在内涵智能机和量子计算机两个方面。“正统”数理逻辑已不适应智能机和量子计算机的发展需要,而制约逻辑却为此提供了新的理论依据。     

亚氏三段论的现代逻辑改造

亚里士多德是西方逻辑学的奠基者,他提出的三段论在逻辑学的发展中有深远的影响。随着现代逻辑的兴起和发展,传统的三段论得以改造。文章就数理逻辑的发展使亚氏三段论中19个完全有效式只存在15个,以及制约逻辑给亚氏三段论建构了一个既完全合乎原貌,又易为人理解接受的较彻底的形式语言系统,进行了有说服力的论述。     

制约逻辑与知识表示(英文)

专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系蕴涵关系不是充分条件关系,形形色色的模态逻辑的模态算子实际上是特殊的一元真值函数关系,不是充分条件关系。制约逻辑的制约关系、必然关系是刻划清楚后的充分条件关系,是真正的逻辑的二元关系,可由之导出的“可能”、“偶然”、“彻底地偶然”关系也是真正的逻辑关系,满足启发式信息。制约逻辑克服了正统数理逻辑和形形色色的模态逻辑的诸多缺陷,在知识表示中不会产生语义畸变现象,表达能力强而且丰富。     

亚氏三段论的现代逻辑改造

在亚里士多德创建的三段论体系中，有着一整套正确判定三段论有效式的规则，人们依据这些规则，在分属四格的总共２５６个三段论式中，得出了举世公认的１９个完全有效式。近百年来，随着数理逻辑的产生和发展，有不少逻辑学家试图采用形式化的手段来重新解释亚氏三段论，但因存在这样那样的问题，他们的努力并没有取得完全的成功。我们当代逻辑学家林邦瑾在他的《制约逻辑》一书中，也对三段论的形式化问题进行了认真的探讨。令人惊喜的是，在他独创的制约逻辑Ｃｎ名词演算系统中，亚氏的三段论１９个完全有效式，都一一得到了圆满的证明。林氏这一近乎完美无缺的成功，无疑为三段论这一古老的推理形式要现代逻辑领域内的发展，开辟了灿烂的前景。     

数学证明与制约推理

论述数学证明与制约推理的关系。指出重言式不是推理式,制约逻辑是从已知进入未知的推理论证工具。     

创新的三维影响因素分析及其对策

本文首先探讨了创新对于企业发展的重要意义,价值创新逻辑相对于传统逻辑的区别,然后分析了影响创新思维与行为的三维主要因素,即个人禀赋、时间因素与环境因素,对每种因素对创新的作用机理进行了讨论,最后给出了企业突破创新障碍的几条措施,如激励机制、文化熏陶、教育培训等.     

逻辑实证主义的历史渊源

逻辑实证主义根源于西方哲学的两大传统:分析的传统和内在论传统.分析的传统有两个基本的特征,一是重视概念,二是注重逻辑.这种传统贯穿于西方哲学的始终,这种传统特别表现在西方的逻辑学的发展中.逻辑实证主义继承了这种分析的传统,具体表现在它对语言分析的强调,对数理逻辑的运用,维特根斯坦的命题——哲学就是对命题的逻辑分析——成为了逻辑实证主义的哲学观的核心.不仅如此,逻辑实证主义还是对西方哲学中的内在论传统的继承.     

列宁何以把赫拉克利特排在德谟克利特和柏拉图之后

遵循逻辑与历史辨证统一的原理,逻辑的必须是历史的.但历史的东西与逻辑的东西并不是完全等同、完全适合的.也就是说,逻辑的思想史相对于历史来说有它的相对独立性,因而在一定的逻辑进程中,就会表现出与一定历史阶段的社会条件的不平衡性和与历史顺序片断地不一致性.列宁在<谈谈辩证法问题>一文中,正是按照这一原理的要求来给赫拉克利特、德谟克利特和柏拉图排序的.     

计算机的发展与制约逻辑

从新的视点论述计算机的发展,分析“正统”数理逻辑不能适应研制智能机的需要。指出制约逻辑可能为计算机的发展提供新型的逻辑系统。     

数学证明与制约推理

论述数学证明与制约推理的关系。指出重言式不是推理式,制约逻辑是从已知进入未知的推理论证工具。     

萨奎斯特逻辑的格

以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的.这样得到的逻辑被称为萨奎斯特逻辑.所有的萨奎斯特逻辑组成了一个格.这个格中有可数无穷长的链以及可数无穷长的反链,格中的每个逻辑相对于格的不完全度是1.另外,萨奎斯特逻辑格的子格E具有规整的结构.     

语文课堂有效教学应力求"四有"

一、语文课堂的有效教学要有点自己的思辨逻辑 相对于其他学科而言.语文学科的课堂教学有其自身的特殊性:①内容涉及宽泛.教学的任务指向较为繁复.     

客户管理系统开发中的几个问题研究

一、客户管理系统客户管理系统是信息系统的一个子系统,遵循信息系统开发的一般过程。主要包括:1.系统分析:系统分析的主要任务是对现行系统的数据处理及其环境调查和分析,提出最适合整体目标的新系统逻辑模型。所谓逻辑模型,是相对于具体的物理系统而言的,     

何谓“大教育”?

大教育是从空间、时间、内容、功能等各个方面相对于传统教育的一种新型教育.从空间上讲,就是社会化教育,即教育的社会化和社会教育化,是相对于传统的学校教育在空间上的极大扩展;从时间上讲,就是终身化教育,即终身教育,是相对于传统的阶段教育在时间上的极大延伸;从内容上讲,就是通才教育,即全面发展的及综合课程的教育,是相对于传统的学科教育在内容上的更新和增殖;从功能上讲,就是使个性和社会最大发展的教育,是相对于传统的升迁教育和单纯的服务型教育在功能上的增殖.大教育     

现代开放教育模式浅探

一、现代开放教育模式的背景与内涵现代开放教育是针对传统教育“课堂中心、书本中心、教师中心”的封闭性弊端提出的。传统教育以片面的培养目标、单调的课程结构、僵化的教育过程、消极的评价体系、封闭低效的管理 ,导致教育与生活缺乏联系 ,不能满足学生生动活泼发展的内在需要 ,影响学校培养目标的达成 ,也妨碍了学校教育系统的良性发展。传统教育的封闭性根源主要体现在两个维度的脱节 :一是相对于变动不居的社会生活大系统 ;二是相对于具有主体性的学生内在生活经验 (个体的心理逻辑 )。针对传统教育的弊端 ,我校自 1992年开始现代开…     

试论逻辑哲学的兴起及其主要论题

随着传统逻辑创立和发展到现代逻辑,对逻辑作哲学上的反思不断深入和展开.逻辑哲学作为一门独立学科,是现代逻辑迅猛发展和现代西方哲学语言转向的要求和结果.逻辑哲学的主要论题包括：逻辑范畴的界定,逻辑真理,逻辑悖论,逻辑中的本体论承诺,推理、后承与蕴涵,形式化方法的哲学考察.     

论20世纪30年代金岳霖对我国传统逻辑学的贡献

金岳霖是我国现代著名的逻辑学家.在20世纪30年代,他主要致力于逻辑学的教学、研究与普及工作.在这一时期,金岳霖先生创造性地介绍了传统逻辑,并且第一次提出必要条件假言命题及其推理形式和逻辑规则,填补了西方传统逻辑没有这一命题的空白,为我国逻辑学的发展做出了贡献.     

普洱市民族传统体育乡土教材建设的若干问题

民族传统体育"乡土教材"是相对于民族传统体育国家教材而编写的地方性教学材料。本研究采用实地调查法中的典型调查法、文献资料分析法等方法,还邀请少数民族体育工作者、教师、学生就某些问题进行座谈。通过上述方法获取资料后,再经逻辑分析法剖析,以阐释开发民族传统体育乡土教材的意义和编撰的基本原则。