逻辑的数学转向-重庆理工大学学报.pdfVIP

重庆理工大学学报（社会科学）　　２０１７年第３１卷第９期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．３１Ｎｏ．９２０１７ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１７．０９．００２ 主持人语： 中国逻辑学会会长　邹崇理 研究员 　　朱建平教授的《逻辑的数学转向》一文指出，１９世纪中期是逻辑发展史上的一个重要时期，这段时期是旧逻辑衰亡和 现代逻辑兴起的时期。朱教授讨论了逻辑的数学转向的四大群体、转向的５个阶段以及转向期间逻辑与数学的关系等问 题，并认为现代所谓的“符号”或“数理”逻辑在这段时间的发展是两千年逻辑史上最重要的，也可以说是人类理智史上最 重要和最非凡的事件。就深刻理解现代数理逻辑的实质而言，此文值得一读。 长期以来，模糊理论由于缺乏坚实的数学基础在学界引起很大争议，对模糊集合论进行公理化就是为模糊理论提供 一个坚实的数学基础的考量。李娜教授等的文章《一种模糊集合论的公理化方法》尝试将夏平基于扎德的模糊集概念创 立的第一个公理化模糊集合论Ｚａ扩张为ＮＢＧ。这样的扩张可以作为从非经典逻辑如模糊逻辑出发建立集合论的一个基 础。该文论证思路清晰、语言表述准确。 逻辑的数学转向 朱建平 （苏州大学 政治与公共管理学院，江苏 苏州２１５１２３） 摘要：１９世纪中期是逻辑发展史上的一个重要时期。在这一时期出现的逻辑的数学转向使这 门古典学术脱胎换骨，最终发展成为一门严格的形式化的学科，它的典范是在数学中使用的精 确证明的方法。现代所谓的“符号”或“数理”逻辑在这段时间的发展是两千年逻辑史上最重要 的，也可以说是人类理智史上最重要和最非凡的事件。 关键词：逻辑；数学；逻辑史 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１７）０９－０００８－１０ ＯｎＭａｔｈｅｍａｔｉｃａｌＴｕｒｎｏｆＬｏｇｉｃ ＺＨＵＪｉａｎｐｉｎｇ （ＳｃｈｏｏｌｏｆＰｏｌｉｔｉｃｓａｎｄＰｕｂｌｉｃＡｄｍｉｎｉｓｔｒａｔｉｏｎ，ＳｕｚｈｏｕＵｎｉｖｅｒｓｉｔｙ，Ｓｕｚｈｏｕ２１５１２３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅｍｉｄ１９ｔｈｃｅｎｔｕｒｙｉｓａｃｒｉｔｉｃａｌｐｅｒｉｏｄｉｎｔｈｅｄｅｖｅｌｏｐｍｅｎｔｈｉｓｔｏｒｙｏｆｌｏｇｉｃ．Ｔｈｅ ｍａｔｈｅｍａｔｉｃａｌｔｕｒｎｏｆｌｏｇｉｃａｐｐｅａｒｅｄｉｎｔｈｉｓｐｅｒｉｏｄｔｈｏｒｏｕｇｈｌｙｒｅｍｏｌｄｔｈｉｓｏｌｄａｃａｄｅｍｉｃｓｕｂｊｅｃｔ，ｗｈｉｃｈ ｆｉｎａｌｌｙｂｅｃｏｍｅａｓｔｒｉｃｔｆｏｒｍａｌｄｉｓｃｉｐｌｉｎｅ．Ａｎｅｘａｍｐｌｅｏｆｉｔｉｓｕｓｉｎｇａｃｃｕｒａｔｅｍｅｔｈｏｄｓｏｆｐｒｏｏｆｉｎ ｍａｔｈｅｍａｔｉｃｓ．Ｗｈａｔｎｏｗｗｅｃａｌｌｅｄ“ｓｙｍｂｏｌ”ｏｒ“ｍａｔｈｅｍａｔｉｃａｌ”ｌｏｇｉｃｇａｉｎｅｄａｇｒｅａｔｄｅｖｅｌｏｐｍｅｎｔｉｎ ｔｈｉｓｐｅｒｉｏｄ．Ｔｈｅｄｅｖｅｌｏｐｍｅｎｔｃｏｕｌｄｂｅｔｈｅｍｏｓｔｉｍｐｏｒｔａｎｔａｎｄｒｅｍａｒｋａｂｌｅｅｖｅｎｔｉｎｔｈｅｈｉｓｔｏｒｙｏｆｔｈｅ ｈｕｍａｎｉｎｔｅｌｌｅｃｔｄｅｖｅｌｏｐｍｅｎｔ． Ｋｅｙｗｏｒｄｓ：ｌｏｇｉｃ；ｍａｔｈｅｍａｔｉｃｓ；ｌｏｇｉｃｈｉｓｔｏｒｙ 　　收稿日期：２０１７－０６－０７ 作者简介：朱建平（１９５６—），男，山东济南人，教授，博士生导师，研究方向：西方逻辑史。 引用格式：朱建平．逻辑的数学转向［Ｊ］．重庆理工大学学报（社会科学），２０１７（９）：８－１７． Ｃｉｔａｔｉｏｎｆｏｒｍａｔ：ＺＨＵＪｉａｎｐｉｎｇ．ＯｎＭａｔｈｅｍａｔｉｃａｌＴｕｒｎｏｆＬｏｇｉｃ［Ｊ］．ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（Ｓｏｃｉａｌ