剖析三种非经典逻辑的思想来源与特征.pdfVIP

第 27卷 第 2期 聊城大学学报 (19然科学版) Vo1．27NO．2 2014年 6月 JournalofLiaoehengUniversity(Nat．Sei．) Jun．2O14 剖析三种非经典逻辑的思想来源与特征 张兴芳 (聊城大学 数学科学学院，山东 聊城 252059) 摘 要 论述了概率逻辑，模糊逻辑和不确定逻辑的思想来源；揭示 了它们的思想本质特性 ；比 较分析 了它们的长处和不足． 关键词 概率逻辑，模糊逻辑，不确定逻辑 中图分类号 0142 文献标识码 A 文章编号 1672—6634(2014)02—0008—05 最早 ，人们视任何命题不是真就是假 ，由此建立 了二值逻辑 (也称经典逻辑)口,zj．基此 ，构建 了数学 (称为经典数学)大厦．然而 ，在客观现实生活中，命题 的真假常常是不确定的(称为非经典命题)．下述命题 都是非经典命题． (1) ：这棵树有 20米高； (2) ：掷一枚硬币将会出现正面 ； (3) ：小张明年 10月 1日将在天津； (4)已一 (V ))，()， ∈ { ， ，…， }：明年系统 H 的每个子系统将都正常，这里y(x)，i一 1，2， … ，”分别表示系统 H 的第 i，i一 1，2，…，7／个子系统正常 ； (5)a ：身高 170cm 的人属于高个子； (6)} ：身高 168cm 的人属于 中等个子 ； (7) 一 (V )r／(x)， C- [165，175]：身高在区间[165，175]内的人都是高个子．这里 q(x)，i’∈ [165，1757表示身高为 的人是高个子； (8) ：明天将下小雨 ； (9) ：(猜测)目前小张在天津． 虽然不确定性的特征各种各样 ，但是它们 皆可归结为集合的不确定性．而根据集合包含的元素个数又 可分为单元素集和多元素集．因此可以将不确定性分为两类 ：单元素不确定和多元素的不确定．比如，命题 ， ， ， 一 (V )()，z∈ { ， ，…，z}和 都属于单元素不确定．因为树的高度可认为是一个 实数 ；掷一枚硬币仅会出现一种结果；小张明年 10月 1日要么在天津 ，要么不在天津 ；明年系统 H 的每个 子系统要么都正常 ，要么不都正常；目前小 张要么在天津 ，要么不在天津．而命题 已， 和 。一 (V )r／(x)， ∈[165，175]都属于多元素不确定．因为它们分别包含模糊概念高个子，中等个子 ，高个子． 而这些概念皆可认为由多个元素组成的集合 ，所以它们皆属于多元素不确定问题．因为明天要么下雨要么 不下雨，e又包含模糊概念小雨，所以命题 既具有单元素不确定性 ，又具有多元素不确定性．其实单元 素的不确定性 ，一般都是在假设已知不确定集合包含一个元素的前提下 ，关心事件发生的结果 的不确定 性 ，这种不确定性可称为为随机性．多元素的不确定性一般都涉及一个模糊概念 ，这种不确定性可称为模 糊性．随机性和模糊性统称为不确定性． 收稿 日期 ：2O14一O2一O5 基金项 目：国家 自然科学基金 资助项 目 通讯作者：张兴芳，Email：zhangxing{ang2)(O5@126．com． 第 2期 张兴芳：剖析三种非经典逻辑的思想来源与特征 9 众所周知 ，经典逻辑演算的语义理论 的主要贡献在于以下三点 J (i)科学地定义了命题连接词关于真值的演算法则 ； (ii)基于 (i)提供了命题真值恒为 1和恒为 0的规律 (即重言式和矛盾式)； (iii)科学地建立了命题真值的推理规则． 显然，基于二值逻辑演算理论无法判断上述命题的真值是 1还是 0，从而也就无法知道它们复合的非 重言式和非矛盾式的真值是 1还是 0．只能知道重言式的真值是 1，矛盾式的真值是 0(比如，重言式 V —a和矛盾式 八一 的真值是 1和 0)．因此 ，现实生活需要建立度量非经典命题是真的可能程度 (或信 任程度)的理论． 针对命题真假的不确定性