论形式逻辑与物的世界的关系.PDFVIP

第１９卷　第６期 湖南工业大学学报（社会科学版） Ｖｏｌ１９Ｎｏ６ 　 ＪＯＵＲＮＡＬＯＦＨＵＮＡＮＵＮＩＶＥＲＳＩＴＹＯＦＴＥＣＨＮＯＬＯＧＹＳＯＣＩＡＬＳＣＩＥＮＣＥＥＤＩＴＩＯＮ 　２０１４年 １２月 Ｄｅｃ．２０１４ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－１１７Ｘ．２０１４．０６．０１１  论形式逻辑与物的世界的关系 葛宇宁 （河南理工大学 马克思主义学院，河南 焦作４５４０００） ［摘　要］任何一种逻辑都要面向一个世界，形式逻辑也不例外，它主要面向物的世界，物的世界是形式逻辑的存在基础。物 的世界是一种理论世界，它的产生具有“合法性”，符合人类的自然倾向，那就是对确定性的渴求。形式逻辑是物的世界的逻 辑支撑，形式逻辑的发展程度和样式制约着物的世界的具体形态，物的世界的理论发展和形式逻辑的发展具有内在一致性。 物的世界是一种必然的世界、自然的世界、知识的世界。作为一种面向物的世界的逻辑，形式逻辑在本性上与物的世界相契 合，它具有必然性、可控制性、可计算性等。 ［关键词］世界；物的世界；形式逻辑；物的逻辑 ［中图分类号］Ｂ８１２　　　［文献标识码］Ａ　　　［文章编号］１６７４－１１７Ｘ（２０１４）０６－００４９－０５ ＯｎｔｈｅＲｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎＦｏｒｍａｌＬｏｇｉｃａｎｄｔｈｅＷｏｒｌｄｏｆＴｈｉｎｇｓ ＧＥＹｕｎｉｎｇ （ＳｃｈｏｏｌｏｆＭａｒｘｉｓｍ，ＨｅｎａｎＰｏｌｙｔｅｃｈｎｉｃＵｎｉｖｅｒｓｉｔｙ，Ｊｉａｏｚｕｏ，Ｈｅｎａｎ４５４０００Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ａｎｙｋｉｎｄｏｆｌｏｇｉｃｓｈｏｕｌｄｆａｃｅａｗｏｒｌｄ，ｆｏｒｍａｌｌｏｇｉｃｉｓｎｏｅｘｃｅｐｔｉｏｎ．Ｉｔｍａｉｎｌｙｆａｃｅｓｔｈｅｗｏｒｌｄｏｆｔｈｉｎｇｓ， ｗｈｉｃｈｉｓｔｈｅｅｘｉｓｔｅｎｃｅｂａｓｉｓｏｆｆｏｒｍａｌｌｏｇｉｃ．Ｔｈｅｗｏｒｌｄｏｆｔｈｉｎｇｓｉｓａｋｉｎｄｏｆｔｈｅｏｒｅｔｉｃａｌｗｏｒｌｄ；ｉｔｈａｓ＂ｌｅｇｉｔｉｍａ ｃｙ＂，ａｎｄａｃｃｏｒｄｓｗｉｔｈｔｈｅｎａｔｕｒａｌｄｉｓｐｏｓｉｔｉｏｎｏｆｈｕｍａｎｂｅｉｎｇ，ｎａｍｅｌｙｔｈｅｅａｇｅｒｆｏｒｃｅｒｔａｉｎｔｙ．Ｆｏｒｍａｌｌｏｇｉｃｉｓｔｈｅ ｌｏｇｉｃｓｕｐｐｏｒｔｏｆｔｈｅｗｏｒｌｄｏｆｔｈｉｎｇｓ，ｔｈｅｄｅｖｅｌｏｐｍｅｎｔｌｅｖｅｌａｎｄｓｔｙｌｅｏｆｆｏｒｍａｌｌｏｇｉｃｒｅｓｔｒｉｃｔｓｔｈｅｓｐｅｃｉｆｉｃｆｏｒｍｏｆｔｈｅ ｗｏｒｌｄｏｆｔｈｉｎｇｓ．Ｔｈｅｔｈｅｏｒｅｔｉｃａｌｄｅｖｅｌｏｐｍｅｎｔｐｏｓｓｅｓｓｅｓｉｎｈｅｒｅｎｔｃｏｎｓｉｓｔｅｎｃｙｗｉｔｈｆｏｒｍａｌｌｏｇｉｃ．Ｔｈｅｗｏｒｌｄｏｆｔｈｉｎｇｓ ｉｓａｎｉｎｅｖｉｔａｂｌｅｗｏｒｌｄ，ａｎａｔｕｒａｌｗｏｒｌｄ，ａｎｄａｗｏｒｌｄｏｆｋｎｏｗｌｅｄｇｅ．Ａｓａｌｏｇｉｃｆａｃｉｎｇｔｈｅｗｏｒｌｄｏｆｔｈｉｎｇｓ，ｆｏｒｍａｌ ｌｏｇｉｃｆｉｔｗｉｔｈｔｈｅｗｏｒｌｄｏｆｔｈｉｎｇｓｉｎｔｈｅｎａｔｕｒｅ，ａｎｄｉｔｈａｓｉｎｅｖｉｔａｂｉｌｉｔｙ，ｃｏｎｔｒｏｌｌａｂｉｌｉｔｙ，ａｎｄｃｏｍｐｕｔａｂｉｌｉｔｙ，ｅｔｃ． Ｋｅｙｗｏｒｄｓ：ｗｏｒｌｄ；ｔｈｅｗｏｒｌｄｏｆｔｈｉｎｇｓ；ｆｏｒｍａｌｌｏｇｉｃ；ｌｏｇｉｃｏｆｔｈｉｎｇｓ 　　人们常说形式逻辑不管思维的内容，只从思维 联。揭示出这种关联，对于物的世界的思考以及形 的形式方面来思考问题，完全就是一种“形式的逻 式逻辑本身的发展都有一定的意义。 辑”，