您现在的位置是:首页 > 词典 > 方法

内涵逻辑

分类:方法1257字

从某种严格的意义上说,内涵逻辑是研究涉及到意义或者意义等同的推理那种逻辑的一部分。它是和外延逻辑相对应的一种逻辑。外延逻辑对其一般原则的陈述和论证仅与下述概念相关:真与假,真值、集合或者类的同一和差异,谓词或者性质的同范围和不同范围。内涵逻辑则不仅与上述概念相关,而且还与这样一些概念相关:同义,等同和内涵、命题,性质或者概念的差异。换一个稍有不同的说法,内涵逻辑可看作是这样一些语句算子的一般逻辑:“必然地”,“知道”,“相信”等,即它是有关内涵语境的逻辑。

内涵逻辑是外延逻辑的补充与发展,按照外延逻辑的一般法则:同一原则,等同代 ......     (共1257字)    [阅读本文]>>

其他相关分类

推荐内容

  • 方法

    二元对比排序方法

    模糊排序中最常用的方法。所谓排序是针对某种特定含义进行的。例如,在人群中按健康程度排序就是一个典型的模糊排序的例子。二元对比排序,是指对几个特定的排序对象在两面对比的基础上所做的整体排序。常用的二元对比

    1325字 24
  • 方法

    三分法

    三相模糊统计方法的一种特定方法。将一个论域分成三个模糊区域,关键在于找到二个分界点。例如:〔老,中,青〕的划分,在人的年龄集合〔0,200〕上要找到老年与中年的分界点,用ξ表示。还要找到中年与青年的分界

    518字 18
  • 方法

    反三段论

    多重复合判断推理的一种。所有三段论都可以表述为多重复合判断“如果p且q,那么r”。其中p和q相当于三段论的两个前提,r相当于三段论的结论。所谓反三段论是沿着与三段论相反的方向进行的演绎推理。推理过程是首

    391字 17
  • 方法

    公理化方法

    一种构造理论体系的演绎方法。包括两个要点:第一,它在一个理论中明确区分了初始概念和被定义概念,出发命题(即公理)和被证命题(即定理);第二,它明确规定了演绎的规则。运用这些规则于公理和已证定理,就可以证

    1897字 41
  • 方法

    文恩图解法

    英国数学家文恩(JohnVenn,1834—1923)所创立的用图形来表示概念间外延关系的一种直观方法。文恩图解法是对欧拉图解法的发展,它通常用一个矩形方框表示全集,用在这方框中画着的园中的点集合表示全

    423字 12