第二章 非经典逻辑介绍研讨.pptVIP

第二章 非经典逻辑介绍 引言 2.1 模态逻辑 2.2 多值逻辑 2.3 非单调逻辑 2.4 模糊逻辑 2.5 道义逻辑 引言 2.1 模态逻辑 2.2 多值逻辑 2.3 非单调逻辑 2.4 模糊逻辑 二、模糊逻辑公式 由模糊命题（公式）和模糊谓词（公式）组成。它们的逻辑思想如下： ①模糊命题（公式）指一个只能模糊地判别真假的陈述句。例如陈述“张三身高超过一米八”是一个一般的命题，它可以被严格地判断真假。 但是如果把以上陈述改成“张三身材很高”，对它就不能说严格的真或假了。这就是一个模糊命题。它的真值只能用一个模糊数或语言值等来陈述。模糊命题是模糊命题演算中的原子逻辑公式。 2.5 道义逻辑 研究确定性逻辑问题的逻辑分支称为经典逻辑（有时又称为古典逻辑），数理逻辑就是一种经典逻辑。在第一章中，已经介绍了数理逻辑的全部内容。作为逻辑学的一个重要分支，第一章研究的是具有确定性的思维和推理方式及其规律，其中最大的特点是-------每个命题都有确定的真值（非0即1）。但是，现实中有些思维和推理的结果是不具有确定性的，比如当我们从一些前提出发，推出结论“明天可能会下雨”的时候。这个结论没有断言明天一定会下雨，也没有断言明天一定不会下雨，因此是一种模糊的断言。 另外，有时我们还需要考虑含有“也许”、“应该”、“必须”、“曾经”、“将来会”、“允许”等模糊词的断言。本章将简要介绍含有模糊词的逻辑问题的逻辑学分支，我们称之为非经典逻辑。 2.1.1 模态 一、模态的概念 1.狭义地说，模态是指对事物认识的必然性和可能性。狭义模态总是涉及一个命题的真假，所以又称为真值模态。 2. 广义地说，除了必然和可能，模态还指知道、相信、应该、允许、曾经、过去、将来等等性质或状态。 3. 在模态逻辑中，提到的磨态主要指的是狭义模态，而把广义放到其它逻辑分支里作进一步讨论。 二、狭义模态的类型（分类） 1. 客观模态和主观模态。 客观模态是指客观存在的必然性或可能性，而主观模态则是指认识中的确定性或不确定性等性质，所反映的是人们对事物认识的程度。 例 （1）新生事物必然能战胜腐朽事物。 （2）火星上可能有生物。 （3）今天晚上的肯定要下大雨。 （4）丁一可能是个举重运动员。 其中，（1）和（2）分别反映了确实存在的必然性和可能性，因此这是一种客观模态。（3）和（4）是从主观上所作的结论（猜想），这种结论的得出是受到各种客观条件和主观条件制约的，因此是主观模态。 2、事物模态和命题模态。 事物模态是隶属于语句中的动词的模态，而命题模态则是隶属于整个命题的模态。 例 （1）月球可能是从地球分离出去而形成的。 （2）“月球是从地球分离出去而形成的”是可能的。 在上例中，（1）说明的是“月球”这一事物与“从地球分离出去而形成的” 这一现象之间的联系具有可能性，是描述事物的可能性的，因此是事物模态。（2）中说明的是“月球是从地球分离出去而形成的”这一命题具有可能性，是命题的可能性，因此是命题模态。 通常，人们说到模态逻辑，是指关于狭义模态的模态逻辑。 2.1.2 模态命题的形式化 在数理逻辑中，模态逻辑也需要将模态命题表示成模态形式，因此要引进表示模态的常项符号。这样，在模态逻辑里，除了有非模态命题的常项符号，如┐，∧，∨，→，? 等，还有表示“必然”和“可能”的常项符号。 模态逻辑中，用“□”来表示“必然”，用“◇”来表示“可能”。例如，“事物的发展存在不平衡性是必然的”，其形式为“必然P”（记为□P）；“人活到120岁是可能的”，其形式为“可能P”（记为◇P）；“明天下雨且刮大风是可能的”，其形式为“可能P且Q”（记为◇（P∧Q））；“如果王丽参加活动，那么李强就一定参加”是必然的”，其形式为“必然若P则Q”（记为□（P →Q））。 例如，设P表示“运动促进健康”，则有下列对应关系： 自然语言表达式 模态命题形式 谦虚使人进步是必然的。 □P 谦虚不使人进步是必然的。 □┐P 谦虚