浅谈现代逻辑的社会功能

作者：李曼现代逻辑形式化方法公理化方法人工语言

摘要：现代逻辑以其形式抽象、体系严密、应用广泛和结论精确的特性在促进现代科学技术发展和推动人类文明进步过程中发挥了重要作用，公理化、形式化的思维方法对提高现代人的综合素质提供了必要条件。如何进一步提高现代逻辑在高等教育中的地位，强调现代逻辑在素质教育中的作用，是高等教育面临的重要问题。本文就现代逻辑的社会功能略作探讨，以引起人们对现代逻辑教学与研究的关注和思考。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社