形式化是什么意思詞義解釋來(lái)源：辭書(shū)
1：形式化是用定理或公式解釋知識(shí)真理的邏輯系統(tǒng)建構(gòu)在語(yǔ)言方面見(jiàn)于哲學(xué)家的著作中成為一種人工語(yǔ)言又稱「形式語(yǔ)言」。
語(yǔ)言形式化是二十世紀(jì)見(jiàn)于哲學(xué)中的所謂之「人工語(yǔ)言」(artificial language)和自然語(yǔ)言(natural language)有別。人工語(yǔ)言是哲學(xué)家基于某種目的而建構(gòu)的符號(hào)象徵(symbolism)所以在哲學(xué)中名稱不一有「形式」、「形式化」、「符號(hào)或象徵式」以至「理想」語(yǔ)言等等。此等語(yǔ)言的特徵為有「形式系統(tǒng)」(formal system)；而形式系統(tǒng)則指遵循嚴(yán)格的法則結(jié)構(gòu)并運(yùn)用代表字匯和句法的符號(hào)；此外并須說(shuō)明應(yīng)用的法則、意義法則和字匯的指定意義故而其中必然包括邏輯于是字匯便常含有若干變數(shù)如標(biāo)點(diǎn)符號(hào)、不變的事物、邏輯符號(hào)或描述符號(hào)后二種符號(hào)必須依意義法則界定其意義；句法的法則是將符號(hào)穿成一線形同完美的公式猶如公理或定理一般。
用人工語(yǔ)言可使一種理論形式化其中所含的字匯除了符號(hào)系統(tǒng)必須有嚴(yán)格的邏輯還要有形式化的描述或理論的不變事物這些描述或不變事物的邏輯和意義也要經(jīng)過(guò)形式化同時(shí)所陳述的理論也要具備這些條件或狀況。二十世紀(jì)的經(jīng)驗(yàn)科學(xué)中如學(xué)習(xí)理論即是如此。用人工語(yǔ)言者大都為形成一種理論而討論一些特別的題目其中不乏哲學(xué)家尤其是邏輯實(shí)證論者意在澄清一種理論或是使理論系統(tǒng)化。
視形式語(yǔ)言為理想語(yǔ)言者并非全數(shù)有意建立新理論而是認(rèn)為形式化的語(yǔ)言可以說(shuō)明意見(jiàn)或命題可以說(shuō)明事實(shí)或任何意義雖與自然語(yǔ)言無(wú)別只是形式化的法則比較嚴(yán)格、比較確定、比較明確而已。在這一方面自然語(yǔ)言難免有含混不清且不明確之時(shí)理想語(yǔ)言的明確意義和嚴(yán)格的邏輯法則適足彌補(bǔ)自然語(yǔ)言的缺點(diǎn)。羅素(Bertrand Russell 1872~1970)便認(rèn)為人工語(yǔ)言可以說(shuō)明自然語(yǔ)言中「不能盡言」的部分而且可以簡(jiǎn)化說(shuō)明（即所謂化約）。
反對(duì)形式化者認(rèn)為哲學(xué)問(wèn)題常和普通的概念有關(guān)無(wú)須應(yīng)用「同義術(shù)語(yǔ)」；而同義術(shù)語(yǔ)有時(shí)反會(huì)歪曲原來(lái)的普通概念；尤其是形式化限制對(duì)事實(shí)的陳述與探討表面上似乎簡(jiǎn)化了言辭實(shí)際上則是使說(shuō)者「說(shuō)了更多的話」反而淹沒(méi)了所要陳述的事實(shí)。
正反兩面的意見(jiàn)各有所本成為對(duì)人工語(yǔ)言和自然語(yǔ)言二者不同的說(shuō)法至今尚無(wú)定論。
|
