逻辑学是研究思维的形式结构及其规律的科学。人类思维的发展史表明,尽管人类的语言千差万别、人类思维的内容丰富多样,但是思维形式却是同一的。人类思维在形式结构上的一致性不仅是人们相互理解的条件,而且使人工智能成为可能。形式化使得人们可以用数学方式来表示演绎推理的过程,并用逻辑电路将其实现出来。运用数理逻辑的方法,可以将人的思维过程形式化,使之成为能够在电子计算机上运行的程序。 在这个新时期,人类社会的变革前所未见的迅猛、深刻、广泛。���电子信息科技、生命科技和纳米科技为带头学科的现代科学技术突飞猛进、高速发展;经济全球化、信息化、知识化的浪潮汹涌澎湃,势不可挡地席卷世界的每一个角落。综合国力竞争日益激烈,但归根结底体现在人才特别是高端创新型人才的培养与造就上。在这个新时期,我国经济体制深刻变革,社会结构深刻变动,利益格局深刻调整,思想观念深刻变化。中国特色社会主义的高等教育正在实现或者说已经完成从“精英教育”向“大众化教育”的转变。正是在这个新时期,西南财经大学所面临的机遇****,所面临的挑战也****。我们一直在严肃思考、热烈讨论这样一个重大问题:面对新的机遇与挑战,取得过**成绩的西南财经大学如何更好地发挥作为**金融、经济高层次人才培养、科学研究和学术交流重要基地的作用?并力求得出一个更为**的答案。