又名关系语义学，现代模态逻辑的主要语义理论之一，其主要贡献者有：卡尔纳普、克里普克(S·A·Kripke)、欣迪卡(J·Hintikka)、坎格尔(S·Kanger)等。
可能世界语义学的主要概念是模型。一个模型是一个有序三元组(W，R，V)，这里W是一非空集合，R是定义在W之上的二元关系，V是一个赋值。
更具体地说，W是由可能世界所组成的非空集合，W的元素当然是各个不同的可能世界wi，Wk ，wj，…wn∈W(i，j，k，…n≥1)。所谓可能世界，就是我们能够无逻辑矛盾地加以想象的任何一个世界，具体说来，它包括(1)现实世界，(2)非现实但却物理可能的世界，(3)非现实但却逻辑可能的世界。所有这些都是可能世界集中的子集 ...... （共1779字） [阅读本文]>>
方法模糊排序中最常用的方法。所谓排序是针对某种特定含义进行的。例如，在人群中按健康程度排序就是一个典型的模糊排序的例子。二元对比排序，是指对几个特定的排序对象在两面对比的基础上所做的整体排序。常用的二元对比
方法三相模糊统计方法的一种特定方法。将一个论域分成三个模糊区域，关键在于找到二个分界点。例如：〔老，中，青〕的划分，在人的年龄集合〔0，200〕上要找到老年与中年的分界点，用ξ表示。还要找到中年与青年的分界
方法从某种严格的意义上说，内涵逻辑是研究涉及到意义或者意义等同的推理那种逻辑的一部分。它是和外延逻辑相对应的一种逻辑。外延逻辑对其一般原则的陈述和论证仅与下述概念相关：真与假，真值、集合或者类的同一和差异，
方法多重复合判断推理的一种。所有三段论都可以表述为多重复合判断“如果p且q，那么r”。其中p和q相当于三段论的两个前提，r相当于三段论的结论。所谓反三段论是沿着与三段论相反的方向进行的演绎推理。推理过程是首
方法一种构造理论体系的演绎方法。包括两个要点：第一，它在一个理论中明确区分了初始概念和被定义概念，出发命题(即公理)和被证命题(即定理);第二，它明确规定了演绎的规则。运用这些规则于公理和已证定理，就可以证
上一篇