論計算學(xué)科中的哲學(xué)問題及其基本框架

1、論計算學(xué)科中的哲學(xué)問題及其根本框架論計算學(xué)科中的哲學(xué)問題及其根本框架摘要本文分析了計算教育的現(xiàn)狀，提出了計算學(xué)科中的哲學(xué)問題及其根本框架，討論了構(gòu)建計算學(xué)科中的哲學(xué)問題的客觀根據(jù)和現(xiàn)實意義。關(guān)鍵詞計算構(gòu)建哲學(xué)1引言計算學(xué)科的飛速發(fā)論文聯(lián)盟展，改變著人們的生活、工作、學(xué)習(xí)和交流方式。計算意味著什么？計算學(xué)科意味著什么？這些都成為哲學(xué)工作者和從事計算機研究、開發(fā)的人員必須面對的重大的元問題。建構(gòu)計算學(xué)科根本問題的理論框架，形成計算學(xué)科的元理論計算學(xué)科中的哲學(xué)問題就成為當(dāng)務(wù)之急。計算學(xué)科中的哲學(xué)問題的提出是在計算機日益成為人們生活重要組成局部時，從哲學(xué)的層面對計算機文化現(xiàn)象與計算學(xué)科的重新定位和反思

2、。2計算學(xué)科中的哲學(xué)問題提出的客觀根據(jù)2.1計算學(xué)科的開展要求從哲學(xué)高度對計算學(xué)科進(jìn)展理論闡釋計算學(xué)科包括算法理論、分析、設(shè)計、效率、實現(xiàn)和應(yīng)用的系統(tǒng)的研究。全部計算學(xué)科的根本問題是，什么能有效地自動進(jìn)展，什么不能有效地自動進(jìn)展，它來源于對數(shù)理邏輯、計算模型、算法理論、自動計算機器的研究，形成于20世紀(jì)30年代后期。經(jīng)過幾十年的開展，計算學(xué)科業(yè)已形成了一個龐大的知識體系。主要表達(dá)在三大層面：1計算學(xué)科的應(yīng)用層。它包括人工智能應(yīng)用與系統(tǒng)，信息、管理與決策系統(tǒng)，挪動計算、計算可視化、科學(xué)計算等計算機應(yīng)用的各個方向。2計算學(xué)科的專業(yè)根底層。它是為應(yīng)用層提供技術(shù)和環(huán)境的一個層面，包括軟件開發(fā)方法學(xué)、計

3、算機網(wǎng)絡(luò)與通信技術(shù)、程序設(shè)計科學(xué)、計算機體系構(gòu)造和電子計算機系統(tǒng)基矗3計算學(xué)科的根底層。它包括計算的數(shù)學(xué)理論、高等邏輯等內(nèi)容。還有支撐這三個層面的理工科根底科目，包括物理學(xué)主要是電子技術(shù)科學(xué)和根底數(shù)學(xué)含離散數(shù)學(xué)等。從計算學(xué)科這一龐大知識體系中不難發(fā)現(xiàn)，它欠缺計算學(xué)科中的哲學(xué)問題支撐。計算學(xué)科的進(jìn)一步開展需要從哲學(xué)層面對計算學(xué)科中的根本問題、重大問題進(jìn)展理論闡述、分析和評價。因此提出計算學(xué)科中的哲學(xué)問題就成為計算學(xué)科開展的必然趨勢。2.2計算教育的現(xiàn)狀催化計算學(xué)科中的哲學(xué)問題A和IEEE/S是美國在計算教育研究領(lǐng)域最有影響的組織。在1989年A提交的?putingasaDisipline?報告中

4、，它不僅第一次規(guī)定了計算學(xué)科的定義，答復(fù)了計算學(xué)科中長期以來一直爭論的一些問題，更重要的在于它為計算教育創(chuàng)立了一個新的思想方法aneayfthinking，這種新的思想方法是對計算教育科學(xué)幾十年來的概括和總結(jié)，也是美國A和IEEE/S結(jié)合發(fā)表的?putingurriula1991?報告簡稱91以及?putingurriula2001?報告簡稱2001的根本指導(dǎo)思想，其實這種新的思想方法的本質(zhì)就是計算學(xué)科中的哲學(xué)問題的內(nèi)容。在國內(nèi)是結(jié)合我國的實際情況進(jìn)展研究，以A和IEEE/S的報告為根據(jù)進(jìn)展分析研究的。中國計算機學(xué)會教育委員會和全國高等學(xué)校計算機教育研究會組織了putingasaDisipli

5、ne以及91的系列研討活動，對2001進(jìn)展跟蹤研究，并分別推出中國計算機學(xué)科教學(xué)方案1993和?中國計算機科學(xué)與技術(shù)學(xué)科教程2002?，提出和完善了具有哲學(xué)性質(zhì)的核心概念的思想。然而，所有這一切關(guān)于計算學(xué)科的研究還停留在計算學(xué)科方法論層面，沒有進(jìn)一步站在哲學(xué)的高度，從新的視角，實現(xiàn)計算機和哲學(xué)的有機結(jié)合。3構(gòu)建計算學(xué)科中哲學(xué)問題的現(xiàn)實意義3.1計算學(xué)科中的哲學(xué)問題有助于計算學(xué)科的開展1計算學(xué)科中的哲學(xué)問題有助于確立正確的思想原那么，把握正確的研究方向計算學(xué)科中的哲學(xué)問題及其方法論是在科學(xué)哲學(xué)和一般科學(xué)技術(shù)方法論的指導(dǎo)下建立的，它直接面對和效勞于計算學(xué)科的認(rèn)識過程，使人們對計算學(xué)科的認(rèn)識邏輯化、

6、程序化、理性化和詳細(xì)化，它有助于我們在計算學(xué)科的研究中確立正確的思想原那么，把握正確的研究方向。2計算學(xué)科中的哲學(xué)問題有助于計算學(xué)科的建立和人才培養(yǎng)學(xué)科建立和培養(yǎng)高素質(zhì)人才，是一個永久的話題。計算學(xué)科中的哲學(xué)問題有助于解決這個問題。計算學(xué)科中的哲學(xué)問題從學(xué)科的核心概念、學(xué)科的形態(tài)、學(xué)科的根本問題、學(xué)科的方法等方面出發(fā)，深化地提醒了計算學(xué)科的本質(zhì)，提升對計算學(xué)科的認(rèn)識，從而有助于計算學(xué)科的建立。計算學(xué)科中的哲學(xué)問題對培養(yǎng)計算專業(yè)人才也有重要作用。它可以進(jìn)步抽象思維才能和邏輯思維才能，培養(yǎng)發(fā)現(xiàn)問題、解決問題的素質(zhì)，掌握正確的思維方法，加速其成才。3.2計算學(xué)科中的哲學(xué)問題提供一種獨特的研究領(lǐng)域和創(chuàng)

7、新方法1計算學(xué)科中的哲學(xué)問題代表一個獨立的研究領(lǐng)域計算方法、概念、工具和技術(shù)已經(jīng)開發(fā)出來了，而且在許多哲學(xué)領(lǐng)域得到了應(yīng)用，這才是它的迷人之所在。再就是以模型為根底的科學(xué)哲學(xué)、科學(xué)哲學(xué)的計算方法論等以闡釋科學(xué)知識的方法論為目的的領(lǐng)域；最后還有成為當(dāng)今社會的顯學(xué)的計算倫理學(xué)、人工倫理學(xué)等哲學(xué)問題。2計算學(xué)科中的哲學(xué)問題能為哲學(xué)話題提供一種創(chuàng)新的方法計算正在改變著哲學(xué)家理解那些哲學(xué)根底和概念的方式，計算學(xué)科中的哲學(xué)問題也為哲學(xué)提供了令人難以置信的豐富觀念，為哲學(xué)探究準(zhǔn)備新穎的主題、方法和形式提供新的哲學(xué)范式，為傳統(tǒng)的哲學(xué)活動帶來了新的機遇和挑戰(zhàn)。4構(gòu)建計算學(xué)科中哲學(xué)問題的根本框架4.1計算學(xué)科中哲學(xué)

8、問題的定義計算學(xué)科中的哲學(xué)問題，是個很古老的話題，但在思想史上，成為獨立的研究領(lǐng)域卻是非常晚的事。計算學(xué)科中的哲學(xué)問題是從哲學(xué)高度對計算學(xué)科的重要問題、根本問題進(jìn)展理論分析、闡釋和評價的。它像數(shù)學(xué)哲學(xué)一樣，是一種元理論方法。它具有哲學(xué)方法論的批判功能。因此計算學(xué)科中的哲學(xué)問題可以定義為批判性研究的哲學(xué)領(lǐng)域，它涉及到計算的概念、本質(zhì)和根本原理以及對計算學(xué)科方法論的提煉和應(yīng)用，目的是為計算學(xué)科的概念根底提供系統(tǒng)論證，從而建立新的理論框架。4.2計算學(xué)科中哲學(xué)問題的根本框架它包括四個層次和七大方面。1四個層次尋求統(tǒng)一計算理論，是計算學(xué)科中哲學(xué)問題研究綱領(lǐng)的硬核。其根本問題就是對計算本質(zhì)進(jìn)展反思；同時

9、對計算學(xué)科的開展和應(yīng)用進(jìn)展分析、解釋和評價，重點關(guān)注計算學(xué)科開展的將來走向。創(chuàng)新。其主要目的是為各種計算理論提供哲學(xué)方法。創(chuàng)新是計算學(xué)科中的哲學(xué)最具特色的，也是使計算學(xué)科中的哲學(xué)問題得以在哲學(xué)殿堂確立地位的關(guān)鍵所在。體系。利用計算的概念、方法、工具和技術(shù)來對傳統(tǒng)和新的問題進(jìn)展建模、闡釋和提供解決方案，為上述創(chuàng)新目的的各個分支提煉理論分析框架。方法論。這一目的屬于傳統(tǒng)的科學(xué)哲學(xué)，它以創(chuàng)新為根底，對計算學(xué)科及其相關(guān)學(xué)科中的概念、方法和理論進(jìn)展系統(tǒng)梳理，為其提供元理論分析框架。2七大方面計算學(xué)科中的哲學(xué)問題除四大層次外，還應(yīng)包括以下七大方面。計算學(xué)科的本質(zhì)討論。包括：計算是不是一門學(xué)科？學(xué)科的本質(zhì)是

10、什么，學(xué)科的根本問題是什么？核心是什么？等等。計算學(xué)科的思維方式。使用計算機解決問題的過程根本上是模擬人類大腦解題的過程，因此有必要分析人類是如何解決問題的，以及在解決問題的過程中人類是如何進(jìn)展思維活動的。計算學(xué)科的根本問題、重大問題和將來走向。根本問題是反映計算學(xué)科本質(zhì)的，能對計算學(xué)科各分支領(lǐng)域中的核心問題所具有的共性進(jìn)展高度概括。重大問題是計算學(xué)科中的重要的理論模型的瓶頸問題及其將來走向。論文聯(lián)盟計算學(xué)科的創(chuàng)新及其素質(zhì)要求。計算學(xué)科的創(chuàng)新，就是要圍繞計算學(xué)科的根本問題、重大問題、走向問題、熱點問題以及阻障問題進(jìn)展理性分析、深化討論和哲學(xué)評價，以期推動計算學(xué)科的可持續(xù)開展。由此就提出對從事計

11、算職業(yè)人員的素質(zhì)要求的研究。計算學(xué)科的方法論分析。計算學(xué)科方法論是關(guān)于計算領(lǐng)域認(rèn)識和理論過程中的一般方法的含義、性質(zhì)、特點、內(nèi)在聯(lián)絡(luò)和變化開展的系統(tǒng)研究。計算學(xué)科的價值原那么、倫理原那么。價值原那么和倫理原那么是指對從事計算職業(yè)的人員的價值觀要求以及道德標(biāo)準(zhǔn)的研究。計算學(xué)科重大成果的哲學(xué)分析。如人工智能的哲學(xué)問題，現(xiàn)實世界與虛擬空間的哲學(xué)問題，語言與知識、信息與內(nèi)容、形式語言和超文本理論的哲學(xué)問題等。5小結(jié)計算學(xué)科中哲學(xué)問題的重點是計算學(xué)科的本質(zhì)討論，如尋求統(tǒng)一的計算理論，對計算本質(zhì)的理論反思等。計算學(xué)科中的哲學(xué)問題的難點是創(chuàng)新，是利用計算的概念、方法、工具和技術(shù)來對傳統(tǒng)和新的問題進(jìn)展建模、闡

12、釋和提供解決方案，為上述創(chuàng)新目的的各個分支提煉理論分析框架以及計算學(xué)科開展中的重大問題的哲學(xué)分析等。本文獲2022年全國青年老師計算機教育優(yōu)秀論文評比三等獎參考文獻(xiàn)1DenningPJ.putingasadisipline.uniatinsftheA,1989，322arlKhang.urriula2001:BringingtheFuturetthelassr.puter,1999，323TuningA.putingahineryandintelligene.ind,1950,Vl.LIX4hungang.Theretialdelsfhistlebling:AnIndividualPerspetive.JurnalfSialSienes,19985劉鋼.從信息的哲學(xué)問題到信息哲學(xué).自然辯證法研究，2022，96劉鋼.當(dāng)代信息哲學(xué)的背景、內(nèi)容與研究綱領(lǐng).哲學(xué)動態(tài)，2002，97郝寧湘.計算哲學(xué)：21世紀(jì)科學(xué)哲學(xué)的新趨向.自然辯證法通訊，2022，68郝寧湘，郭貴春.量子計算機動搖了丘奇-圖靈論了嗎？.科學(xué)，2022，69郭貴春.科學(xué)技術(shù)哲學(xué)研究將來開展展望.自然辯證法研究，2002，510陳火旺等.中國計算機科學(xué)與技術(shù)學(xué)科教程.北京：清華大學(xué)出版社，2002，811趙致琢.關(guān)于計算機科學(xué)與技術(shù)認(rèn)知問題的研究簡報,.計算機研究與開展，2001