奚：王老師，您在論述程序語言的發(fā)展時(shí)，始終都沒有離開程序設(shè)計(jì)的需要。

王：是的，而且任何程序語言概念，其必要性都應(yīng)該用具體的程序嚴(yán)格地描述，這是原則。

奚：在計(jì)算機(jī)基礎(chǔ)教育領(lǐng)域，一直存在著理論和應(yīng)用是否對(duì)立的問題，而在您的文章中，每一個(gè)概念及其產(chǎn)生過程，都以程序的形式表示，或者說，都以應(yīng)用的形式出現(xiàn)，這樣是不是就沒有理論和應(yīng)用的對(duì)立問題了？

王：如果正確的認(rèn)識(shí)，理論和應(yīng)用就不是對(duì)立的，而是統(tǒng)一的，它們都屬于實(shí)踐。理論是對(duì)實(shí)踐活動(dòng)的概括和總結(jié)，并直接指導(dǎo)下一步的實(shí)踐。實(shí)踐、認(rèn)識(shí)、再實(shí)踐、再認(rèn)識(shí)、循環(huán)往復(fù)，以至無窮。而實(shí)踐和認(rèn)識(shí)的每一次循環(huán)，都使認(rèn)識(shí)進(jìn)入到更高的階段。所以辯證唯物主義要求，必須把人的全部實(shí)踐作為真理的標(biāo)準(zhǔn)，也作為事物同人所需要它的那一點(diǎn)聯(lián)系的實(shí)際確定者，包括到事物完美的“定義”中去。

奚：大多數(shù)人在用計(jì)算機(jī)時(shí)，只用到計(jì)算機(jī)20%的功能，對(duì)于基礎(chǔ)教育來說，我們還有必要去講授針對(duì)全部功能的理論嗎？

王：事實(shí)上，不應(yīng)該認(rèn)為20%的功能就代表應(yīng)用，其他80%的功能就是理論。Word系統(tǒng)的所有功能都是為了應(yīng)用的需要而產(chǎn)生的，很多人只運(yùn)用了其中不足20%的功能，那是應(yīng)用程度、實(shí)踐程度的問題，不是應(yīng)用和理論的對(duì)立。否則，對(duì)于一個(gè)把計(jì)算機(jī)當(dāng)作打字機(jī)，并且僅此為限的人，Word系統(tǒng)的幾乎一切功能對(duì)他來說都是“理論”。

奚：您的意思是，僅存在應(yīng)用程度的問題，不存在理論和應(yīng)用對(duì)立的問題。

王：是的。在辯證唯物主義看來，任何一個(gè)對(duì)象對(duì)我的意義，恰好都以我的感性所及的程度為限。這里的“感性”是指人的實(shí)踐活動(dòng)。馬克思在批判費(fèi)爾巴哈時(shí)指出，“費(fèi)爾巴哈不滿意抽象的思維而訴諸感性的直觀；但是他把感性不是看作實(shí)踐的、人類感性的活動(dòng)?！盵1]，他沒有把人的活動(dòng)本身理解為客觀的活動(dòng)。[1]

奚：有人把計(jì)算機(jī)當(dāng)成應(yīng)用的工具，就好比開汽車，會(huì)用就行了，不需要了解內(nèi)部構(gòu)造。

王：這是把體力勞動(dòng)自動(dòng)化和腦力勞動(dòng)自動(dòng)化混為一談。例如，學(xué)習(xí)C語言是為了運(yùn)用C語言，而C語言的運(yùn)用是像開車一樣簡(jiǎn)單嗎？C語言二級(jí)考試有哪一道題像操作方向盤一樣容易？再有，C語言的核心概念是指針，C語言的運(yùn)用一刻也不能離開指針，可是指針被認(rèn)為是最難把握的概念。有的教材提出了對(duì)付它的好辦法：把指針應(yīng)用的例子掛在計(jì)算機(jī)上方的墻上，每天注視它們，直到對(duì)指針和地址的運(yùn)用已經(jīng)成為一種本能。[2]這就是不要理論的應(yīng)用嗎？這根本就不是應(yīng)用了。

奚：這不就是在訓(xùn)練一種條件反射嗎？

王：是的。這就是理論無能的表現(xiàn)。

奚：事實(shí)上，理論和應(yīng)用根本就不存在界限。

王：還有，C語言程序設(shè)計(jì)有兩個(gè)方向的后續(xù)課程：“數(shù)據(jù)結(jié)構(gòu)”是介紹C語言軟件層次技術(shù)的后續(xù)課程，“C語言高級(jí)編程”是解決諸如硬件驅(qū)動(dòng)、常駐內(nèi)存程序、中斷程序、打印機(jī)輸出方法的硬件問題的后續(xù)課程。一個(gè)二進(jìn)制概念是否是“理論”，或者說該不該學(xué)習(xí)，這取決于程序設(shè)計(jì)后續(xù)的發(fā)展。不僅如此，在很多人看來，數(shù)據(jù)結(jié)構(gòu)是理論，程序語言是描述數(shù)據(jù)結(jié)構(gòu)的工具，是應(yīng)用，可是C++新標(biāo)準(zhǔn)的出現(xiàn)，使C++和數(shù)據(jù)結(jié)構(gòu)互為前提，它們成為一個(gè)整體，這時(shí)誰是理論，誰是工具呢？

奚：你們的改革把C、C++和數(shù)據(jù)結(jié)構(gòu)融合在一起，既從理論上，也從應(yīng)用上，解決了C++和數(shù)據(jù)結(jié)構(gòu)互為前提的矛盾。

王：應(yīng)該說，是從實(shí)踐上解決矛盾的。“凡是把理論引向神秘主義方面去的神秘東西，都能在人的實(shí)踐中以及對(duì)這個(gè)實(shí)踐的理解中得到合理的解決?！盵1]

奚：你們的改革是以辯證唯物主義為指南的。辯證唯物主義是理論，你們的改革表明，它是我們的實(shí)踐活動(dòng)一刻也不能沒有的理論。

王：一個(gè)民族要想站在科學(xué)的最高峰，就一刻也不能沒有理論思維。毛澤東教導(dǎo)我們，對(duì)于馬克思主義的理論，要能夠精通它，應(yīng)用它，精通的目的全在于應(yīng)用。以我國科學(xué)研究中的學(xué)風(fēng)問題為例，“一方面大量的具體科學(xué)特別是自然科學(xué)的最新成果得不到馬克思主義哲學(xué)的科學(xué)概括而聽任唯心主義和形而上學(xué)泛濫，另一方面又由于馬克思主義哲學(xué)不能及時(shí)吸取具體科學(xué)的思想營養(yǎng)而難免變成枯槁的教條?！盵3]這恰恰是理論和應(yīng)用脫節(jié)的結(jié)果。理論是理論，應(yīng)用是應(yīng)用，這是典型的形而上學(xué)的思維模式。

奚：計(jì)算機(jī)基礎(chǔ)教育要發(fā)展，是否亟待解決這個(gè)理論與應(yīng)用的對(duì)立問題。

王：是的。而這個(gè)問題本身只有以唯物辯證法理論為指導(dǎo)才能解決。

奚：那么具體做起來還需要有一個(gè)過程，需要大家共同努力，去解決這個(gè)問題。

王：令人鼓舞的是，李未院士的《數(shù)理邏輯》一書提出的版本序列和三個(gè)語言環(huán)境的概念，在豐富辯證唯物主義的科學(xué)內(nèi)涵的同時(shí)，為我們?cè)谟?jì)算機(jī)基礎(chǔ)教育中堅(jiān)持辯證唯物主義原則提供了邏輯形式。

奚：希望能有更多的老師讀到這本書，并能理解和運(yùn)用這本書所提供的概念和方法，去解決我們面臨的問題。

參考文獻(xiàn)

[1] 馬克思恩格斯選集(第1卷). 北京：人民出版社，1995. 56，54，56.

[2] (美)AI Stevens， Clayton Walnum著.林麗閩，別紅霞等譯.Standard，C++Bible(標(biāo)準(zhǔn)C++寶典)[M].北京：電子工業(yè)出版社，2001.154.

[3] 楊煥章.談?wù)務(wù)軐W(xué)研究中的學(xué)風(fēng)問題[J].新華文摘，1997，(10).