逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

合成邏辑TAC中合子的生成

近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。     

论佛教作为对世界的解释范式的逻辑可能性--一种元佛教研究的思路

对佛教作为解释范式的逻辑可能性的研究具有在先性和基础性地位,这是佛教存在的合法性和解释的有效性的前提。作者运用元研究的理论视界,从智证结构、解释范式、形式系统三个维度对佛教作为一种解释范式的可能性、必然性、能行性及相关性问题分别进行了论证。     

论逻辑的有效性及其判定

推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性。同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定。     

演绎系统和归纳系统一一对应

推理的演绎与归纳之分是从推理的导出关系而言的。推理的结论为其前提演绎地导出是指:如果推理的前提都为真,那么其结论为真,而推理的结论为其前提归纳地导出是指:如果推理的前提都为假,那么其结论为假。在形式语义学中,若一组命题演绎地导出一个命题,则该命题就被定义为该组命题的演绎后承;类似地,若一组命题归纳地导出一个命题,则该命题可被定义为该组命题的归纳后承。相对于形式系统,“演绎”和“归纳”的涵义如下:形式系统在形式语义下是演绎的,当且仅当该系统的语法推演关系等于该语义中的演绎后承关系;形式系统在形式语义下是归纳的,当且仅当该系统的语法推演关系等于该语义中的归纳后承关系。已经证明:形式系统在某形式语义下是归纳的,当且仅当此系统的镜像系统在该形式语义的镜像语义下是演绎的。对于任何按照某一形式语义建立起来的演绎系统,我们都可给出一个形式语义(它同前一语义具有相同的真值概念),并能按照该形式语义建立起一个归纳系统;反之也成立。演绎系统和归纳系统是一一对应的。     

电脑智能写作形式系统探索

为使我国写作教学走在世界前列，必须马上着手研究、引进电脑智能写作。研究电脑智能写作的第一大课题是建立形式系统。写作形式系统具有历史的沉淀性与演变性特点。建立电脑写作形式系统应以现代写作理论体系为基础，充分吸收现当代应用写作研究的成果，先从应用写作入手，然后是文学写作，并且最终用计算机语言体现文章的形式系统。     

张培基英译散文的翻译美学再现

以张培基的英译散文为研究对象,结合刘宓庆提出的翻译美学理论,从翻译审美客体的形式系统(包括音、词、句)和非形式系统(包括风格、情景、意境)两个方面探讨张培基在散文英译的过程中如何再现原文的美学价值,为散文英译的理论和实践提供指导和借鉴。     

条件逻辑及其部分定理的证明与阐释

条件逻辑是以充分条件、必要条件、充分必要条件以及它们之间相互关系为研究对象的逻辑理论。运用现代逻辑的手段,深入研究各种条件联系及其它们相互之间的逻辑关系,这对提高我们的认识能力、有效从事实践具有指导意义。在给出的定义的基础上．我们可以证明有关充分条件、必要条件、充分必要条件的大量定理,条件逻辑就是由定义和定理所构成的形式系统。     

论企业安全文化建设的形式系统模式

企业安全文化建设是一项综合性的创建活动,也是一项复杂的系统工程。通过分析研究企业安全文化建设中存在的主要问题,结合企业安全文化建设实践中积累的经验,从价值观和员工个人素质这两个方面作为出发点,尝试构建了一套企业安全文化建设的形式系统模式。     

论企业安全文化建设的形式系统模式

企业安全文化建设是一项综合性的创建活动，也是一项复杂的系统工程。通过分析研究企业安全文化建设中存在的主要问题，结合企业安全文化建设实践中积累的经验，从价值观和员工个人素质这两个方面作为出发点，尝试构建了一套企业安全文化建设的形式系统模式。