一切源于人類的想法?
我們平時(shí)的思考事情的習(xí)慣大概是這樣的:如果 A 那么會(huì)B浴讯,如果不是B的話那么可能是C蔼啦。
如果我們將這個(gè)思考過程符號(hào)化,這里比如說將我們個(gè)人的認(rèn)知集合用一個(gè)符號(hào)系統(tǒng)來表示询吴。
- IF /ELSE- 代表?xiàng)l件判斷
- F - 代表事實(shí)判斷
- R- 代表結(jié)果
那么我們的思考過程(符號(hào)運(yùn)算系統(tǒng))可以這樣描述:
IF F(A):
R(1):
ELSE:
R(2)
是不是就是在寫程序?
下邊看一段數(shù)學(xué)推導(dǎo):
我們都知道唠摹,上邊的這個(gè)運(yùn)算過程是可以用計(jì)算機(jī)程序來描述的勾拉。從語言的角度來講:是兩種不同語言系統(tǒng)的轉(zhuǎn)換盗温。但其實(shí)前者是人類大腦處理的過程,有圖像卖局、自然語言、數(shù)學(xué)語言批销,以及其他非標(biāo)準(zhǔn)化的語言。
可以用下圖來表示:
這里想引出的問題:
數(shù)學(xué)有自己的符號(hào)系統(tǒng)(比如加減乘除)丘逸,物理有自己的符號(hào)系統(tǒng)(比如量子力學(xué)中的算子),化學(xué)有自己的符號(hào)系統(tǒng)(比如化學(xué)方程式)深纲,這些都局限在自然科學(xué)領(lǐng)域劲妙。科學(xué)家們通過觀察涛舍、歸納唆途、抽象掸驱、符號(hào)化,然后用自己的系統(tǒng)去推演温赔,周而復(fù)始鬼癣。
對(duì)于社科領(lǐng)域,比如管理待秃、經(jīng)濟(jì)是否可以構(gòu)建這樣的系統(tǒng)呢?應(yīng)該是有的枉氮,不過現(xiàn)在都叫“模擬”暖庄。
也就是說:數(shù)學(xué)可以通過嚴(yán)格邏輯的推導(dǎo)(不是基于人的臆想,當(dāng)然人的想象也有推演的過程)得出結(jié)論惹悄。那么肩钠,我們社會(huì)科學(xué)應(yīng)該也可以這樣吧暂殖。這里說的社會(huì)科學(xué)爷速,不局限于學(xué)校、研究機(jī)構(gòu)莉给,包括我們個(gè)人廉沮,平時(shí)的所處的社會(huì)組織活動(dòng),比如個(gè)人管理滞时、團(tuán)隊(duì)管理、系統(tǒng)設(shè)計(jì)等曼玩。我們能夠抽象出這么一個(gè)符號(hào)系統(tǒng)窒百,然后基于這些符號(hào)去進(jìn)行嚴(yán)格的推演,發(fā)現(xiàn)我們不知道的結(jié)果篙梢。而不是,總是基于經(jīng)驗(yàn)渤滞,給出“立馬可見的結(jié)論”。其實(shí)我們每天都在進(jìn)行這個(gè)過程陶舞,不過沒有“符號(hào)化”趴腋,我們稱這個(gè)過程為“思考”,將“計(jì)算過程內(nèi)化了”颁井。不僅要內(nèi)化蠢护,還要外化。
符號(hào)系統(tǒng)的關(guān)鍵一點(diǎn)是可計(jì)算眉抬。而可計(jì)算的基礎(chǔ)是定理贯吓。
比如 1+1=2悄谐,比如氧原子吸收了兩個(gè)電子库北,變成-2價(jià)寒瓦。
計(jì)算機(jī)通用語言符號(hào)的計(jì)算定理(或者說它不提供定理,只提供計(jì)算框架):IF...ELSE...
綜上:
構(gòu)建一個(gè)符號(hào)系統(tǒng) = 抽象出符號(hào) + 運(yùn)算邏輯杂腰。這樣這個(gè)系統(tǒng)就是可編程的。
------- 8月22日
感覺這[1][2]兩個(gè)文章也在一定程度上可以解釋以下問題:
- 語言表達(dá)能力強(qiáng)的孩子“聰明”
- 通用語言惜颇、DSL官还、可逆計(jì)算:如果從符號(hào)學(xué)的角度來解釋編程的話,我們寫的程序必然是“可逆的”,因?yàn)榉?hào)本來就是離散的林说,可以聚在一起,分開也是獨(dú)立的存在豪直。---前提是我們使用了“準(zhǔn)確的符號(hào)”(這里加引號(hào)的原因弓乙,請(qǐng)看->)钧惧。但又不一定是可逆的,
Peirce also demonstrated that a sign can never have a definite meaning, for the meaning must be continuously qualified.
浓瞪。可逆的前提是涂乌,在確定的上下文下,使用確定的符號(hào)湾盒,準(zhǔn)確地表述確定的意義。要做到這一點(diǎn)已經(jīng)很難了毅人,因?yàn)檫@意味著對(duì)事務(wù)的本質(zhì)的理解是前提荧库。
以上可以對(duì)我們的Coding工作有一些指導(dǎo)意義:
- 每個(gè)實(shí)體、命令分衫、事件、值對(duì)象牵现、規(guī)則瞎疼、流程必須(盡可能)是準(zhǔn)確反映現(xiàn)實(shí)的符號(hào),因?yàn)槭挛锏谋举|(zhì)是由符號(hào)來承載的[1]贼急。不準(zhǔn)確的符號(hào)反過來勢(shì)必造成另一個(gè)符號(hào)系統(tǒng)(人腦B)對(duì)其進(jìn)行錯(cuò)誤的翻譯太抓,從而使系統(tǒng)的混亂度不斷增加。
參考資料:
[1]符號(hào)學(xué)研究的是什么
[2]符號(hào)學(xué)
[3]https://www.dca.fee.unicamp.br/~gudwin/compsemio/
[4]https://www.dca.fee.unicamp.br/~gudwin/Publications/
[6]語言符號(hào)下的思維——反射效用