李嘉誠(chéng)商業(yè)邏輯

1、語(yǔ)言邏輯學(xué)語(yǔ)言邏輯學(xué)到目前為止，人類(lèi)所使用的語(yǔ)言，可以分為三類(lèi)：自然語(yǔ)言（如：英語(yǔ)和漢語(yǔ)）、半形式化語(yǔ)言（如：數(shù)學(xué)的語(yǔ)言。即：自然語(yǔ)言加特定的符號(hào)）和形式化語(yǔ)言（如：邏輯的語(yǔ)言）。本文從自然語(yǔ)言、半形式化語(yǔ)言和形式化語(yǔ)言的特征看邏輯學(xué)的發(fā)展。自然語(yǔ)言文字的一個(gè)重要特征:人們?cè)谌粘Ｉ钪兴褂玫恼Z(yǔ)言文字，可以分為拼音語(yǔ)言文字和非拼音語(yǔ)言文字兩大類(lèi)。英語(yǔ)語(yǔ)言文字、俄語(yǔ)語(yǔ)言文字、法語(yǔ)語(yǔ)言文字、德語(yǔ)語(yǔ)言文字、意大利語(yǔ)語(yǔ)言文字、西班牙語(yǔ)語(yǔ)言文字等

2、都是拼音語(yǔ)言語(yǔ)言文字。漢語(yǔ)語(yǔ)言文字是一種非拼音語(yǔ)言語(yǔ)言文字。不管是拼音語(yǔ)言語(yǔ)言文字還是非拼音語(yǔ)言語(yǔ)言文字都屬于自然語(yǔ)言語(yǔ)言文字的范疇。然而，任何一種自然語(yǔ)言語(yǔ)言文字都是一個(gè)豐富的、復(fù)雜的“符號(hào)”系統(tǒng)。這種符號(hào)系統(tǒng)包括語(yǔ)音、語(yǔ)匯、語(yǔ)法等作為子系統(tǒng)，每一子系統(tǒng)又都包括許多不同特點(diǎn)的語(yǔ)言單位，單位和單位之間的關(guān)系錯(cuò)綜復(fù)雜，但有規(guī)律可循。就每一個(gè)語(yǔ)言單位（例如，一個(gè)詞）而言，它的語(yǔ)音形式是依照語(yǔ)音系統(tǒng)的規(guī)則構(gòu)成的，它的意義與詞匯系統(tǒng)中的許多方面

3、發(fā)生聯(lián)系，它的功能受語(yǔ)法規(guī)律的支配。語(yǔ)言單位是聲音和意義的結(jié)合。語(yǔ)言單位的聲音雖然千差萬(wàn)別，但是構(gòu)成不同語(yǔ)言的基礎(chǔ)（音位）通常只有40個(gè)左右。這就說(shuō)明不同的語(yǔ)音的基礎(chǔ)音位是有窮的。由于詞是由有限個(gè)基礎(chǔ)音位生成的，于是，構(gòu)成任何一種自然語(yǔ)言語(yǔ)言文字的詞匯也是有窮的。從而，由有限個(gè)詞構(gòu)成的句子也是有窮的。例如，英語(yǔ)語(yǔ)言文字有26個(gè)字母組成，英語(yǔ)語(yǔ)言mn）的運(yùn)算。（2）統(tǒng)一性由于數(shù)學(xué)語(yǔ)言中使用了特定的記號(hào)，從而使數(shù)學(xué)語(yǔ)言成為一種半形式化的符號(hào)

4、語(yǔ)言，這樣以來(lái)，數(shù)學(xué)語(yǔ)言比任何一種自然語(yǔ)言更具有“統(tǒng)一性”。如：在任何一種自然語(yǔ)言編著的平面幾何學(xué)的教科書(shū)中，符號(hào)“△”都表示三角形。在任何一種自然語(yǔ)言編著的微積分的教材中，符號(hào)“∫”都表示積分。因此，數(shù)學(xué)語(yǔ)言作為一種特定的符號(hào)語(yǔ)言，與自然語(yǔ)言相比，它簡(jiǎn)單、直觀和嚴(yán)密。再如，數(shù)學(xué)命題：“兩個(gè)數(shù)和的平方等于這兩個(gè)數(shù)的平方和再加上這兩個(gè)數(shù)乘積的2倍”。用通用的數(shù)學(xué)符號(hào)，就可以形式地表示為：（a＋b）2=a2＋2ab＋b2這里的符號(hào)a和b表示

5、任意的數(shù)，符號(hào)“＋”表示加法運(yùn)算，ab表示a和b這兩個(gè)數(shù)的乘積。x2表示x自乘，即：x2=xx。這種寫(xiě)法，全世界的中學(xué)生們都認(rèn)識(shí)。（3）可操作性數(shù)學(xué)語(yǔ)言作為一種特定的符號(hào)語(yǔ)言，與自然語(yǔ)言相比，它與算法建立了聯(lián)系。因此，它還具有“可操作性”。法國(guó)數(shù)學(xué)家違達(dá)提出：我們可以用字母（即符號(hào)）表示已知量和未知量，并對(duì)此進(jìn)行純形式的操作，也即我們可以擺脫問(wèn)題的具體內(nèi)容，而從一般角度總結(jié)出普遍的算法。正如人們所熟悉的，我們可以按照以下的算法去求得任何