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

公理化方法

分类:科学技术方法444字

是总结已有科学知识、构成科学理论体系的有效方法。它是先列出一些初始概念、一些初始符号、一组公理(亦称设理),几条形式规则和基本推理规则并以公理和初始概念为出发点,对所研究范围内的一切概念给以定义,并推导出一系列的定理。由公理方法推出的许多定理所构成的体系称为公理系统。古希腊的欧几里得较早地在《几何原本》中运用公理化方法,建立了数学中第一个公理系统,而亚里士多德的三段论的化归理论是运用公理方法建立了逻辑科学中第一个公理系统。迄今,数学和逻辑学中已出现了几十个举世公认的公理系统。它们的差异只在於作为出发点而提出的初始概念、公理、形成 ......     (共444字)    [阅读本文]>>

其他相关分类

推荐内容

  • 科学技术方法

    灵感思维方法

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

    870字 76
  • 科学技术方法

    二难推理法

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

    524字 20
  • 科学技术方法

    三段论法

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

    344字 19
  • 科学技术方法

    三段论的化归法

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

    367字 25
  • 科学技术方法

    反三段论法

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

    439字 19