一种模糊集合论的公理化方法-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１７年第３１卷第９期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．３１Ｎｏ．９２０１７ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１７．０９．００３ 一种模糊集合论的公理化方法 李　娜，杨　帆 （南开大学 哲学院，天津３００３５０） 摘要：模糊集合论是模糊理论的数学基础，其公理化可以从不同的逻辑语言出发。经典逻辑是 较为简洁的一种方法。夏平基于扎德的模糊集概念创立了第一个公理化模糊集合论Ｚａ。这个 公理化是ＺＦ的。将它扩张为ＮＢＧ是一种自然的考虑。这样的扩张将作为从非经典逻辑如模 糊逻辑出发建立集合论的一个基础。 关键词：模糊集合论；公理化；ＮＢＧ 中图分类号：Ｂ８１３　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１７）０９－００１８－０３ ＡｎＡｐｐｒｏａｃｈｔｏｔｈｅＡｘｉｏｍａｔｉｚａｔｉｏｎｏｆＦｕｚｚｙＳｅｔＴｈｅｏｒｙ ＬＩＮａ，ＹＡＮＧＦａｎ （ＰｈｉｌｏｓｏｐｈｙＣｏｌｌｅｇｅ，ＮａｎｋａｉＵｎｉｖｅｒｓｉｔｙ，Ｔｉａｎｊｉｎ３００３５０，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｆｕｚｚｙｓｅｔｔｈｅｏｒｙ（ＦＳＴ）ｉｓｔｈｅｆｏｕｎｄａｔｉｏｎｏｆｆｕｚｚｙｔｈｅｏｒｙ．ＴｈｅａｘｉｏｍａｔｉｚａｔｉｏｎｏｆＦＳＴｉｓ ａｌｍｏｓｔｌｙｂａｓｅｄｏｎｖａｒｉｅｔｉｅｓｏｆｌｏｇｉｃｌａｎｇｕａｇｅｓ．Ｃｌａｓｓｉｃａｌｌｏｇｉｃｉｓａｃｏｎｃｉｓｅａｐｐｒｏａｃｈ．Ｃｈａｐｉｎｇａｖｅｔｈｅ ｆｉｒｓｔａｘｉｏｍａｔｉｚａｔｉｏｎｏｆＦＳＴｎａｍｅｄＺａｂａｓｅｄｏｎＺａｄｅｈ’ｓｃｏｎｃｅｐｔｏｆｆｕｚｚｙｓｅｔｓ．ＺａｉｓａＺＦｌｉｋｅ ａｘｉｏｍａｔｉｚａｔｉｏｎａｎｄａｎｅｘｔｅｎｓｉｏｎｔｏＮＢＧｓｈａｌｌｂｅｄｉｓｃｕｓｓｅｄｎａｔｕｒａｌｌｙ．Ｔｈｅｅｘｔｅｎｓｉｏｎｗｉｌｌｂｅａ ｆｏｕｎｄａｔｉｏｎｏｆｔｈｏｓｅｃｏｎｓｔｒｕｃｔｉｏｎｓｏｆｓｅｔｔｈｅｏｒｙｂａｓｅｄｏｎｎｏｎｃｌａｓｓｉｃａｌｌｏｇｉｃ，ｓｕｃｈａｓｆｕｚｚｙｌｏｇｉｃ． Ｋｅｙｗｏｒｄｓ：ｆｕｚｚｙｓｅｔｔｈｅｏｒｙ；ａｘｉｏｍａｔｉｚａｔｉｏｎ；ＮＢＧ 　　模糊集合论是美国工程学家扎德（Ｚａｄｅｈ）于 ＺＦ系统，才使得集合论能够更为广泛地运用和影 ［１］ １９６５年创立的 ，随后发展出了模糊数学理论，并 响到现代数学中去。同样，从模糊集合论到模糊 在几十年间取得了巨大进展，现已与工程、计算机 数学，也需要公理化。 等领域密不可分。 对模糊集合论进行公理化研究，能够促进我 一、公理化的考量 们更好地把握模糊数学的性质，从而将定理和命 题等形式化，夯实模糊数学的理论基础。我们都 首先对模糊集合论进行公理化的是夏平 ［２－３］ 知道，康托的朴素集合论，正是经过策梅罗（Ｚｅｒ （Ｃｈａｐｉｎ） 。他考察了扎德的模糊集理论，发现 ｍｅｌｏ）和弗兰克尔（Ｆｒａｎｋｌｅ）等人的公理化形成的 扎德对属于关系 持有“没有与其在经典集理论 ∈ 　　收稿日期：２０１７－０５－２４ 基金项目：国家社会科学基金重点项目“基于哲学逻辑的集合论研究”（１６ＡＺＤ０３６） 作者简介：李娜（１９５８—），女，河南开封人，教授，博士生导师，研究方向：现代逻辑。 引用格式：李娜，杨帆．一种模糊集合论的公理化方法［Ｊ］．重庆理工大学学报（社会科学），２０１７（９）：１８－２