模态判断及其推理.docVIP

第六节 模态判断及其推理 研究“必然”、“可能”模态词及其推理的逻辑理论被称为模态逻辑。 （1）这位疑似病人患“非典”的可能性非常大。 （2）抗“非典”后，我国旅游业的强劲“反弹”是必然的。 （3）“非典”的再次引发是可能的，因为我们至今没有掌握其发病的机率，不引发“非典”不具有必然性。 一、模态与模态逻辑 1、模态的概念与分类 （1）模态的概念 逻辑学所用的“模态”—词，是英语“modal”的音译，源于拉丁语“modalis”，含有形态、样式或形式的意思。 模态，具体指客观事物或主观认识的存在或发展的样式、情态、趋势等。反映人们模态认识的结果，就形成模态概念。对不同的模态，人们会形成不同的模态概念，构造不同的模态理论。 （2）模态的分类 ① 狭义模态与广义模态 狭义模态是指事物存在方式或发展趋势及命题的真假程度之类性质的模态，包括命题的必然性、实然性和或然性（可能性）。由于这类模态涉及一个命题的真假程度（必然真或者可能真）。因此被称为真值模态。这样的模态就是狭义模态。 除狭义模态以外的模态是广义模态。 广义模态涉及命题本身所具有的种种非外延的性质。 包括道义或规范模态（应当、允许）、 时间模态（将要永远、将来、过去一直、过去）、 认知模态（知道、相信）、 价值模态（好、坏）等等。例如： （4）应当允许大学生在校学习期间进行自主创业。（规范模态） （5）他过去一直是从事青少年智力开发研究的。（时间模态） （6）我们相信“非典”过后，我国的GPD依然可以达到7％以上。（认知模态） （7）大学毕业生到西部创业开发非常好。（价值模态） ② 客观模态与主观模态 所谓客观模态是表示客观事物本身存在的样式、情状和趋势的模态。例如： （8）人的手必然没有视觉功能。 （9）生物体必然要进行新陈代谢。 （10）人类社会总体必然走向进步，但局部出现曲折也是可能的。 它们断定的都是客观事物本身存在的必然性或可能性，这种必然性或可能性是不受认识主体的意志而转移的。 所谓主观模态则是表示人们认识的某种确定性与不确定性的模态。如 （11）果子狸可能是引发SARS的元凶。　　　 （12）果子狸不可能是引发SARS的元凶。　　 果子狸是不是引发2003年中国SASR的元凶？这本身是客观存在的，而（11）、（12）命题的断定仅仅表示人们对此关联认识的确定性程度，或者说是表示断定者对该命题的确信程度，所以它们所表示的都是主观模态。 ③ 逻辑模态与非逻辑模态。 所谓逻辑模态是指逻辑上的必然性和可能性。例如， （13）不可能：今年是2006年，今年又不是2006年。 不论这一命题中的“今年”指的是哪一年，仅仅通过其中的逻辑关系我们就可以看出，“今年是2004年或者今年不是2004年”必然是真的，这种必然性就是逻辑上的必然性。 如果否定一个具有逻辑必然性的命题，其结果必定会引起逻辑上的矛盾。如否定“今年是2003年或者今年不是2003年”得到的是“今年不是2003年并且今年是2003年”，这是一个矛盾式（p∧( p）。所谓逻辑上的可能性指的是逻辑上的不矛盾性，即一切逻辑上不矛盾的都是逻辑上可能的。 一般认为，逻辑模态还包括数学的模态或语义的模态断定。例如： （14）3＋7不可能不等于10 （15）单身汉必然是未婚男子 所谓非逻辑模态是指表示逻辑以外的必然性或可能性的模态，即依据其他非逻辑事实来判定的必然性与可能性的各种模态。 这类非逻辑的模态，可以是物理的、化学的、生物的、历史的，乃至哲学的等等，这些模态统称为非逻辑模态，有时也统称物理模态或现实模态。例如： （16）在地球上，自由落体下落的方向必然朝下。 （17）没有氧气，哺乳动物不可能维持生命。 （18）生产力的持续发展是可能的。 （19）任何事物的运动都必然是有规律的。 它们依次表达的是物理上的必然性、生物学上的不可能性、经济学的可能性和哲学上的必然性。 ·非逻辑模态不同于逻辑模态。 非逻辑模态依据的是非逻辑领域的具体知识，因此其所断定的“必然性”或“可能性”，会由于人们具体知识的变化而改变，而这种情况在逻辑模态方面是不会发生的。 例如：在古代生产“方的西瓜”是不可能的，但是在今天则不是不可能的；然而“圆的方”则无论古今中外都是不可能的。 同时，可以发现：非逻辑上的不可能（如“太阳明天从西方升起”）在逻辑上未必是不可能的，而逻辑上的必然在其他非逻辑方面却一定是必然的。 ·否定逻辑模态的必然性模态必定导致逻辑矛盾，而否定非逻辑模态的必然性模态，虽然会与现有的相关理论不一致，却未必引起逻辑矛盾。 ④ 命题模态与事物模态 在逻辑史上，欧洲中世纪的逻辑学家还常把模态区分为“命题模态”与“事物模态”。 所谓命题模态，指用于