论计算学科中的哲学问题及其基本框架

《论计算学科中的哲学问题及其基本框架》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、论计算学科中的哲学问题及其基本框架论计算学科中的哲学问题及其基本框架　摘　要　本文分析了计算教育的现状，提出了计算学科中的哲学问题及其基本框架，探讨了构建计算学科中的哲学问题的客观依据和现实意义。　　关键词　计算构建哲学　　　　1引言　　计算学科的飞速发.L.展，改变着人们的生活、工作、学习和交流方式。计算意味着什么？计算学科意味着什么？这些都成为哲学工作者和从事计算机研究、开发的人员必须面对的重大的元问题。建构计算学科根本问题的理论框架，形成计算学科的元理论计算学科中的哲学问题就成为当务之急。计算学科中的哲学问题的提出是在计算机日益成为人们生活重要组成部分时，从哲学的层面对计算机文化现象

2、与计算学科的重新定位和反思。　　　　2计算学科中的哲学问题提出的客观依据　　2.1计算学科的发展要求从哲学高度对计算学科进行理论阐释　　计算学科包括算法理论、分析、设计、效率、实现和应用的系统的研究。全部计算学科的基本问题是，什么能（有效地）自动进行，什么不能（有效地）自动进行，它来源于对数理逻辑、计算模型、算法理论、自动计算机器的研究，形成于20世纪30年代后期。经过几十年的发展，计算学科业已形成了一个庞大的知识体系。主要体现在三大层面：　　（1）计算学科的应用层。它包括人工智能应用与系统，信息、管理与决策系统，移动计算、计算可视化、科学计算等计算机应用的各个方向。　　（2）计算学科的专

3、业基础层。它是为应用层提供技术和环境的一个层面，包括软件开发方法学、计算机网络与通信技术、程序设计科学、计算机体系结构和电子计算机系统基础。　　（3）计算学科的基础层。它包括计算的数学理论、高等逻辑等内容。　　还有支撑这三个层面的理工科基础科目，包括物理学（主要是电子技术科学）和基础数学（含离散数学）等。　　从计算学科这一庞大知识体系中不难发现，它欠缺计算学科中的哲学问题支撑。计算学科的进一步发展需要从哲学层面对计算学科中的根本问题、重大问题进行理论阐述、分析和评价。因而提出计算学科中的哲学问题就成为计算学科发展的必然趋势。　　2.2计算教育的现状催化计算学科中的哲学问题　　ACM和IEE

4、E/CS是美国在计算教育研究领域最有影响的组织。在1989年ACM提交的《putingasaDiscipline》报告中，它不仅第一次规定了计算学科的定义，回答了计算学科中长期以来一直争论的一些问题，更重要的在于它为计算教育创建了一个新的思想方法（ane和IEEE/CS联合发表的《putingCurricula1991》报告（简称CC91）以及《putingCurricula2001》报告（简称CC2001）的基本指导思想，其实这种新的思想方法的实质就是计算学科中的哲学问题的内容。　　在国内是结合我国的实际情况进行研究，以ACM和IEEE/CS的报告为依据进行分析研究的。中国计算机学会教育

5、委员会和全国高等学校计算机教育研究会组织了putingasaDiscipline以及CC91的系列研讨活动，对CC2001进行跟踪研究，并分别推出中国计算机学科教学计划1993和《中国计算机科学与技术学科教程2002》，提出和完善了具有哲学性质的核心概念的思想。　　然而，所有这一切关于计算学科的研究还停留在计算学科方法论层面，没有进一步站在哲学的高度，从新的视角，实现计算机和哲学的有机结合。　　　　3构建计算学科中哲学问题的现实意义　　3.1计算学科中的哲学问题有助于计算学科的发展　　（1）计算学科中的哲学问题有助于确立正确的思想原则，把握正确的研究方向　　计算学科中的哲学问题及其方法论是

6、在科学哲学和一般科学技术方法论的指导下建立的，它直接面对和服务于计算学科的认识过程，使人们对计算学科的认识逻辑化、程序化、理性化和具体化，它有助于我们在计算学科的研究中确立正确的思想原则，把握正确的研究方向。　　（2）计算学科中的哲学问题有助于计算学科的建设和人才培养　　学科建设和培养高素质人才，是一个永恒的话题。计算学科中的哲学问题有助于解决这个问题。计算学科中的哲学问题从学科的核心概念、学科的形态、学科的根本问题、学科的方法等方面出发，深刻地揭示了计算学科的本质，提升对计算学科的认识，从而有助于计算学科的建设。计算学科中的哲学问题对培养计算专业人才也有重要作用。它可以提高抽象思维能力和

7、逻辑思维能力，培养发现问题、解决问题的素质，掌握正确的思维方法，加速其成才。　　3.2计算学科中的哲学问题提供一种独特的研究领域和创新方法　　（1）计算学科中的哲学问题代表一个独立的研究领域　　计算方法、概念、工具和技术已经开发出来了，而且在许多哲学领域得到了应用，这才是它的迷人之所在。再就是以模型为基础的科学哲学、科学哲学的计算方法论等以阐释科学知识的方法论为目的的领域；最后还有成为当今社会的显学的计算伦理学、人工伦理