您现在的位置是:首页 > 词典 > 科学技术方法

形式化方法

分类:科学技术方法614字

在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的 ......     (共614字)    [阅读本文]>>

其他相关分类

推荐内容

  • 科学技术方法

    灵感思维方法

    又称顿悟思维方法,是长期思考问题的过程中于暂时松弛的一瞬间,由受到某种意外的启发而突然获得答案的思维方法。它是在极为丰富的实践基础上,经过长时间的紧张思考以后,由于某种意想不到的激发突然闪现出来的一种创

    870字 144
  • 科学技术方法

    二难推理法

    亦称“假言选言推理法。”由包含两个假言判断和一个二肢的选言判断为前提,根据假言判断和选言判断的逻辑性质而进行的推演方法。所谓“二难”,是指这种推理方法运用于辩论中往往可置论敌于进退两难的困境。例如:“如

    524字 51
  • 科学技术方法

    三段论法

    亦称“三段论式”、“三段论推理法”。是以两个性质判断为前提,它们包括一个共同概念,并通过共同概念从而推出结论的推理。例如:生物是进化的,微生物是生物,所以,微生物是进化的。三段论由三个性质判断构成,其中

    344字 57
  • 科学技术方法

    三段论的化归法

    亦称“三段论的还原法”。将三段论的第二、三、四格转化为第一格的方法。从整体上看,三段论是一个完整的公理演绎系统,它的第一格为“完善格”,其中的AAA和EAE式是公理的典型体现。因此,三段论的所有有效式均

    367字 53
  • 科学技术方法

    反三段论法

    是一种演绎推理方法。以“如果p且q那么r”为前提,得出一个“如果p且非r,那么非q”或“如果q且非r,那么非p”为结论的推理方法。由于演绎推理前提和结论之间的蕴涵关系的两方面是等值的,这两方面可以互推,

    439字 62