軟體編碼與哲學思考

2021-06-03 23:36:17 字數 1541 閱讀 9419

對於軟體工程師們來說要想實現改變世界的大夢想,必須從一行行簡單的**編制開始。對於資深的軟體工程師們,通過鍵盤的敲打編寫了數不勝數的**,做了大量的軟體程式,但要讓他們說出第一行**從**開始、最後一行**在**結束卻又是非常難回答的問題。

為了尋找這個問題的答案我們應循著「軟體是什麼?軟體從**來?軟體到**去?」這樣乙個思維過程來尋找問題的答案。而這乙個思維過程,需要什麼樣的方法,想來想去也只有哲學。哲學通俗的來講一門研究「我是誰?我從**來?我到**去」這樣一類問題的學科。哲學的研究物件是人、物、和人與物的關係,研究的內容是意識和物質、系統與層次、運動與場、時間與空間,研究的方法是形上學、辯證法、邏輯學等,研究的成果發現事物的本質的規律,研究的目的是用研究的成果更好的讓人們改變世界。所以要實現「我也能改變世界的夢想」就必須學哲學,因為哲學的目的清晰的告訴我們只有發現事物的本質規律才能更好的改造世界。我們認為將哲學的研究方法引入到軟體編碼領域裡來可以解決軟體編碼中「第一行**從**開始、最後一行**在**結束」這樣的軟體編碼問題。

同樣的著問題,在用自然語言寫文章和說話時也同樣存在。比如,在寫一篇文章和講述乙個題目時,我們總是會思考許久,我第一句說什麼?最後一句結尾是什麼?所以在這裡我們把軟體編碼和自然語言放在一起分析。軟體編碼是一系列行為活動的通稱,這些活動包括需求分析、概要設計、詳細設計、軟體編碼、軟體除錯、軟體安裝、軟體維護等,這些活動從語言應用形式上可以分為使用自然語言應用的活動、自然語言與**語言對映的活動、**語言應用的活動。所以我們可以把軟體編碼看成是乙個語言組織的活動

自然語言是我們通常所說的話語,它是由語素、語形、語句、語序組成。語素叫詞彙,可以分為主語、謂語、賓語、定語、狀語等型別;語形是語素組織的形式,即語句的結構,一般是由主語+謂語+賓語構成的形式;由語素按語形構成的乙個整體,我們叫語句;語序是語句間的前後關係。

編碼語言是我們通常所說的程式語言,它由識別符號、程式語形、程式語句、程式語序組成。識別符號是由符號組成的有意義的字串,可分為變數識別符號、演算法識別符號(數學識別符號、關係識別符號、邏輯識別符號竺、方法識別符號)、型別識別符號、關鍵字識別符號、分隔識別符號等;程式語形是由識別符號組織的形式,即程式語句的結構,可以分為付值形式(a=」xx」),函式形式(f(x));程式語句是由識別符號按程式語形構成的乙個整體;程式語序是指程式語句間的前後關係,可以分為順序關係、分支關係、迴圈關係。

自然語言與編碼語言在組成體系上是一樣的,其相同點是在語形和語序上是同構的,而不同點在語素和語句的表述上。自然語言的語素是用自然語言符號,而編碼語言是用程式語言符號,即採用的符號體系不同,但符號指向物又是相同的,如」我「這個主語,自然語言用」我」來指向物質的我,而程式語言用」this」來指向物質的我。在語句上的不同體現在,自然語言是用主謂賓順序來表述,而程式語言是用函式表示式來表述,如自然語言」我愛你」在程式語言中是i.love(「you」)來表達,在表達順序上是一致的但加入了明顯的間隔符來顯示的區分其語素位置的不同。

通過對自然語言和程式語言在語形和語句組成上的分析,我們可以看出兩種語言最大的不同是程式語言引入了分隔識別符號,其語句是在分隔識別符號顯性區分下的語句描述,而自然語言只在語句間有分隔識別符號,如逗號、句號,而在語素間沒有顯性的間隔符。

查詢的哲學思考

資訊理論是研究資訊的基本性質和度量方法以及資訊的獲得 傳輸 存貯 處理和交換等一般規律的科學。資訊理論作為一門科學理論,發端於通訊工程。它具有廣義和狹義兩個概念 狹義資訊理論是應用統計方法研究通訊系統中資訊傳遞和資訊處理的共同規律的科學,即研究概率性語法資訊的科學 廣義資訊理論是應用數學和其他有關科...

讀寫的哲學思考

在本檔案討論的讀寫是指兩個空間中物質的位移。以其中乙個空間為參照物,從該空間中取出物質到放到另乙個空間中謂之讀,從另乙個空間中取出物質放到該空間中謂之寫。讀寫是兩個空間之間物質運動一種稱謂。讀的運動由空間1 空間2 物質 行為四個要素構成,寫的運動由空間1,空間2 物質 行為四個要素構成。讀的運動是...

判斷的哲學思考

判斷是形式邏輯學中的研究內容之一。判斷是對客觀事物情況有所斷定的一種思維形式,是用肯定或否定的形式反映周圍現實一種思維形式。判斷的特徵有兩個 1 一是有斷定行為發生 2 二是有判斷真假結果輸出。與概念的區別 第一,概念本身無所謂肯定或否定 第二,概念也無法表示它的真或假。判斷則不同,它至少是兩個概念...