論邏輯語(yǔ)言的現(xiàn)代化轉(zhuǎn)向

耿琳琳

(南京大學(xué)哲學(xué)系，南京 210046)

有關(guān)邏輯語(yǔ)言現(xiàn)代化的研究，是邏輯學(xué)發(fā)展進(jìn)程中的一個(gè)重要問(wèn)題。傳統(tǒng)邏輯主要是為人們的日常思維和生活服務(wù)的，其研究從一開(kāi)始就與自然語(yǔ)言密切相關(guān)?？梢哉f(shuō)，傳統(tǒng)邏輯是以自然語(yǔ)言為主、以少數(shù)特定的符號(hào)語(yǔ)言為輔來(lái)表達(dá)不同的邏輯思想的?，F(xiàn)代邏輯在一定意義上也稱符號(hào)邏輯，不僅保留了傳統(tǒng)邏輯的理論成果，而且克服了傳統(tǒng)邏輯的缺陷，開(kāi)創(chuàng)了一套以符號(hào)語(yǔ)言為工具的形式化理論體系?，F(xiàn)代邏輯學(xué)力圖用形式化的語(yǔ)言克服傳統(tǒng)邏輯的諸多缺陷。

隨著邏輯學(xué)的發(fā)展，傳統(tǒng)邏輯逐漸表現(xiàn)出很大的局限性，這是因?yàn)閭鹘y(tǒng)邏輯所借助的自然語(yǔ)言具有模糊性，學(xué)者們?cè)谑褂眠@種邏輯語(yǔ)言來(lái)解決現(xiàn)實(shí)問(wèn)題的時(shí)候經(jīng)常會(huì)發(fā)生分岐和誤解。德國(guó)哲學(xué)家萊布尼茨意識(shí)到了這一點(diǎn)，首創(chuàng)了把數(shù)學(xué)的推理方法與邏輯學(xué)的推理規(guī)則相結(jié)合、將數(shù)學(xué)方法應(yīng)用于邏輯學(xué)的思想，提出了創(chuàng)建數(shù)理邏輯的設(shè)想［1］111?，F(xiàn)代邏輯學(xué)以布爾為標(biāo)志，他創(chuàng)立了布爾代數(shù)，其代表作有《邏輯的數(shù)學(xué)分析》《論演繹推理演算》等，這些著作構(gòu)成并創(chuàng)建了邏輯代數(shù)系統(tǒng)。德國(guó)數(shù)學(xué)家邏輯學(xué)家弗雷格和英國(guó)哲學(xué)家羅素等為現(xiàn)代邏輯奠定了基礎(chǔ)，完成了命題演算系統(tǒng)和謂詞演算系統(tǒng)。弗雷格建立了謂詞演算系統(tǒng)，其主要邏輯著作有《論涵義與指稱》《函數(shù)和概念》等。羅素在《論模糊性》中指出整個(gè)語(yǔ)言都是模糊的，這是一個(gè)客觀的事實(shí)，我們無(wú)需回避它而是應(yīng)當(dāng)研究它并正確地對(duì)待它。這些觀點(diǎn)盡管有很大的不同，并且碰到了一些無(wú)法解決的問(wèn)題，但是卻推動(dòng)了現(xiàn)代邏輯的進(jìn)步，極大地促進(jìn)了符號(hào)邏輯的進(jìn)展。懷特海和羅素寫(xiě)的一部偉大著作《數(shù)學(xué)原理》在數(shù)理邏輯發(fā)展史上具有重要地位。正是這些邏輯學(xué)家的不斷探索才開(kāi)辟出了新的邏輯學(xué)研究領(lǐng)域。這為數(shù)理邏輯的形成與發(fā)展奠定了基礎(chǔ)，促進(jìn)了邏輯語(yǔ)言的現(xiàn)代化轉(zhuǎn)向。邏輯語(yǔ)言的現(xiàn)代化轉(zhuǎn)向在邏輯史上是一次偉大變革，是人類思維的一大進(jìn)步和發(fā)展。

一、傳統(tǒng)的邏輯語(yǔ)言的局限性

傳統(tǒng)的邏輯語(yǔ)言主要是指自然語(yǔ)言，其中也有少數(shù)的人工語(yǔ)言。傳統(tǒng)邏輯借助的研究手段和工具是半形式化半符號(hào)化的語(yǔ)言，邏輯變項(xiàng)用符號(hào)表示，但邏輯常項(xiàng)是由日常語(yǔ)言構(gòu)成的。這種表達(dá)方法缺乏一致性、準(zhǔn)確性和全面性。

(一)傳統(tǒng)的邏輯語(yǔ)言缺乏一致性

傳統(tǒng)的邏輯語(yǔ)言缺乏一致性主要是因?yàn)槿粘ＵZ(yǔ)言的隨意性容易造成歧義。首先，在日常語(yǔ)言的使用過(guò)程中，語(yǔ)境對(duì)語(yǔ)義的影響是很大的。同樣的語(yǔ)句在不同的語(yǔ)境下具有不同的涵義，但是特定的語(yǔ)境不能在邏輯學(xué)的研究中刻畫(huà)出來(lái)。這就造成了在邏輯學(xué)中對(duì)日常用語(yǔ)理解的不一致，這對(duì)邏輯學(xué)的研究和發(fā)展是非常不利的。例如，同樣是一句“我早就在這里等著你了”，卻在不同的語(yǔ)境下具有不同的含義。當(dāng)正在幽會(huì)的戀人對(duì)姍姍來(lái)遲的對(duì)方說(shuō)“我早就在這里等著你了”，表達(dá)的是戀人之間的親密和愛(ài)慕，還帶有許些埋怨之意;當(dāng)蹲守的警察將人臟俱獲的歹徒抓捕歸案時(shí)，對(duì)歹徒說(shuō)“我早就在這里等著你了”，表達(dá)的是對(duì)不法分子的憎恨以及懲惡揚(yáng)善后的驕傲與自豪。從這個(gè)簡(jiǎn)單的例子中我們可以看出:一句話不能按表面意思去理解為正面的意思或者負(fù)面的意思，要把語(yǔ)句置于在不同的語(yǔ)境下去挖掘其深意，只有這樣才能在運(yùn)用語(yǔ)言時(shí)盡量避免歧義的產(chǎn)生。

其次，自然語(yǔ)言中有很多語(yǔ)詞是一詞多義的，這也造成了對(duì)該語(yǔ)詞在邏輯使用上的困難，常造成混淆概念的邏輯錯(cuò)誤。這在三段論推理中經(jīng)常碰到，例如:三段論推理中常出現(xiàn)的“四概念”錯(cuò)誤——“人民的利益是應(yīng)當(dāng)?shù)玫綕M足的，我的利益是人民的利益，所以我的利益是應(yīng)當(dāng)滿足的?！边@個(gè)推理的錯(cuò)誤就出在“人民的利益”上。由于前后“人民的利益”這個(gè)語(yǔ)詞表達(dá)形式相同，人們不易覺(jué)察到它們的意義的差別，實(shí)際上它們是概念在不同含意上的用法，前者是集合式用法，而后者是非集合式用法。

再次，自然語(yǔ)言還有自身固有的特點(diǎn)。比如，自然語(yǔ)言在一定程度上具有一定的模糊性。由于語(yǔ)音、語(yǔ)形和語(yǔ)氣的不同或者表述人的知識(shí)背景不同等原因，可能造成人們對(duì)概念的使用和理解各有不同。這種概念的混淆，就有可能使人們做出錯(cuò)誤的判斷和推理，造成邏輯上的混亂。

(二)傳統(tǒng)的邏輯語(yǔ)言缺乏準(zhǔn)確性

傳統(tǒng)的邏輯語(yǔ)言缺乏準(zhǔn)確性主要表現(xiàn)在傳統(tǒng)邏輯系統(tǒng)本身的規(guī)則和符號(hào)語(yǔ)言表達(dá)不精準(zhǔn)。張家龍說(shuō)到:“形式邏輯是一門古老的科學(xué)，它的研究對(duì)象是概念、判斷和推理的形式，主要是推理形式，發(fā)展到今天已有兩千多年的歷史了。從這門科學(xué)的內(nèi)容來(lái)看，它很不完備，其中還包含了一些不精確之處［2］56。亞里士多德意識(shí)到了量詞的重要性從而把命題區(qū)分為全稱命題、特稱命題、單稱命題。這些命題將自然語(yǔ)言中抽象出的量詞作為常項(xiàng)，并把豐富的自然語(yǔ)言作為變項(xiàng)。用由常項(xiàng)和變項(xiàng)組成的四種直言命題及其負(fù)命題來(lái)表達(dá)直接推理和間接推理，在一定程度上是對(duì)自然語(yǔ)言的進(jìn)一步發(fā)展，使邏輯語(yǔ)言具有了一定的規(guī)范性。例如:“所有的天鵝都是白的”這個(gè)直言命題用S表示，其負(fù)命題“不是所有的天鵝都是白的”用﹁S表示。而抽象出量詞的符號(hào)語(yǔ)言表達(dá)為:SAP、SEP、SIP、SOP，例如:“所有的天鵝都是白的”可以用SAP來(lái)表達(dá)，“所有的天鵝都不是白的”用SEP表達(dá)，“有的天鵝是白的”用SIP來(lái)表達(dá)，“有的天鵝不是白的”用SOP來(lái)表達(dá)。然而，傳統(tǒng)的邏輯語(yǔ)言表達(dá)雖然做了量詞的區(qū)分，但是其A、E、I、O理論只限于主賓式語(yǔ)句，這就大大限制了它的使用。A、E、I、O理論和現(xiàn)在的謂詞演算理論是不可同日而語(yǔ)的，前者的力量十分有限，而后者具有強(qiáng)大的生命力。在認(rèn)識(shí)世界的問(wèn)題上，傳統(tǒng)邏輯以非空非全的類為基點(diǎn)，站在類與類之間的關(guān)系上，但沒(méi)有對(duì)個(gè)體以及個(gè)體與個(gè)體之間的關(guān)系給予充分重視。

(三)傳統(tǒng)的邏輯語(yǔ)言缺乏全面性

思維的邏輯形式與語(yǔ)言形式緊密相聯(lián)，人們的思維形式必須用語(yǔ)言表達(dá)出來(lái)。傳統(tǒng)邏輯對(duì)邏輯形式的抽象是借助相關(guān)的語(yǔ)言形式分析獲得的，所以在一定程度上，傳統(tǒng)的邏輯語(yǔ)言依附于自然語(yǔ)言的語(yǔ)法，即主謂句式。SAP、SEP、SIP、SOP這樣的表達(dá)式實(shí)際上就是日常語(yǔ)言中的主謂結(jié)構(gòu)，例如“亞里士多德是邏輯學(xué)家”這個(gè)語(yǔ)句是傳統(tǒng)邏輯語(yǔ)言中典型的表達(dá)方式，也是日常語(yǔ)言中的主謂結(jié)構(gòu)。雖然這種表達(dá)直觀明了便于學(xué)習(xí)理解，但也在一定程度上阻礙了邏輯學(xué)上語(yǔ)言形式的進(jìn)步。

傳統(tǒng)的邏輯語(yǔ)言是對(duì)自然語(yǔ)言所表達(dá)的思想形式的抽象，自然語(yǔ)言的表達(dá)是豐富多樣的。傳統(tǒng)的邏輯語(yǔ)言只局限于表達(dá)日常語(yǔ)句中的性質(zhì)命題，許多思維形式因?yàn)檫壿嬚Z(yǔ)言的局限而不能展開(kāi)研究和發(fā)展，因此傳統(tǒng)的邏輯語(yǔ)言無(wú)法完全表達(dá)自然語(yǔ)言的豐富性。日常語(yǔ)言中大量用聯(lián)結(jié)詞聯(lián)結(jié)的關(guān)系命題，例如“如果……那么”這樣的思維形式在傳統(tǒng)邏輯語(yǔ)言的環(huán)境中就無(wú)法展開(kāi)。例如:“如果北京位于南京的北方，南京位于廣州的北方，那么北京位于廣州的北方”這一推理用傳統(tǒng)的邏輯語(yǔ)言所表達(dá)的性質(zhì)命題是根本推不出來(lái)的。另外，其他命題的推理也無(wú)法有效地推出，日常生活中合情合理的推理形式也無(wú)法給予邏輯學(xué)上的解釋。例如:“甲和乙是同鄉(xiāng)，乙和丙是同鄉(xiāng)”，運(yùn)用我們的日常思維就可以推出甲和丙也是同鄉(xiāng)，但是用傳統(tǒng)的邏輯語(yǔ)言無(wú)法給予合理的邏輯表達(dá)式，也就不能得出這樣的結(jié)論。但是，這個(gè)例子用現(xiàn)代邏輯語(yǔ)言可以表達(dá)為R(a，b)、R(b，c)，其中a代表甲，b代表乙，c代表丙，R表示具有同鄉(xiāng)關(guān)系，雖然這種表達(dá)看起來(lái)很繁瑣，但是只要我們知道R這種關(guān)系具有傳遞性①關(guān)系的傳遞性問(wèn)題就是當(dāng)一個(gè)對(duì)象與另一個(gè)對(duì)象有某種關(guān)系，另一個(gè)對(duì)象與第三個(gè)對(duì)象亦具有此種關(guān)系，這個(gè)對(duì)象與第三個(gè)對(duì)象是否也具有此種關(guān)系的問(wèn)題。傳遞關(guān)系可符號(hào)化為:?x?y?z(x∈A∧y∈A∧z∈A∧Rxy∧Ryz→Rxz)。就可以合理地推出R(a，c)，即甲和丙也是同鄉(xiāng)關(guān)系。

傳統(tǒng)邏輯的作用主要是訓(xùn)練人的理論思維能力，為各種學(xué)科的發(fā)展提供認(rèn)識(shí)事物的動(dòng)力。但在具體實(shí)踐和實(shí)際操作的過(guò)程中，由于受傳統(tǒng)的邏輯語(yǔ)言表達(dá)的局限，傳統(tǒng)邏輯并沒(méi)有發(fā)揮出明顯的工具性作用。從上面的論述中可以得出，傳統(tǒng)邏輯語(yǔ)言具有局限性，而邏輯語(yǔ)言的現(xiàn)代化發(fā)展正在努力克服這一局限并取得了一定成果。

二、邏輯語(yǔ)言現(xiàn)代化轉(zhuǎn)向的表現(xiàn)

其實(shí)，現(xiàn)代邏輯語(yǔ)言是在傳統(tǒng)的邏輯語(yǔ)言遇到困難的基礎(chǔ)上發(fā)展起來(lái)的，與傳統(tǒng)邏輯語(yǔ)言是一脈相承的，這也體現(xiàn)了邏輯語(yǔ)言發(fā)展的連慣性和持續(xù)性。但是，現(xiàn)代邏輯語(yǔ)言畢竟不同于傳統(tǒng)邏輯語(yǔ)言，現(xiàn)代邏輯語(yǔ)言具有確定的涵義，能準(zhǔn)確刻畫(huà)不同的邏輯關(guān)系，它較之傳統(tǒng)邏輯語(yǔ)言在表達(dá)程度上更精準(zhǔn)、在應(yīng)用范圍上更廣闊。邏輯語(yǔ)言現(xiàn)代化轉(zhuǎn)向表現(xiàn)為對(duì)語(yǔ)言層次的區(qū)分。

現(xiàn)代邏輯語(yǔ)言對(duì)語(yǔ)言的把握更深入了，主要表現(xiàn)在對(duì)不同的語(yǔ)言層次進(jìn)行區(qū)分。首先表現(xiàn)在現(xiàn)代符號(hào)學(xué)從不同的角度區(qū)分為三種理論，即語(yǔ)法學(xué)、語(yǔ)義學(xué)與語(yǔ)用學(xué);其次表現(xiàn)在對(duì)語(yǔ)言不同使用層次的區(qū)分，即對(duì)象語(yǔ)言和元語(yǔ)言;最后還表現(xiàn)在對(duì)語(yǔ)言內(nèi)容與語(yǔ)言形式的區(qū)分。

(一)語(yǔ)言內(nèi)容與語(yǔ)言形式

同思維內(nèi)容與思維形式的區(qū)分一樣，語(yǔ)言也分為語(yǔ)言內(nèi)容與語(yǔ)言形式。語(yǔ)言內(nèi)容是指語(yǔ)言所表達(dá)的具體思想內(nèi)容，也就是說(shuō)，語(yǔ)言說(shuō)的是什么;語(yǔ)言形式是指表達(dá)語(yǔ)言的共同的結(jié)構(gòu)，也就是說(shuō)，語(yǔ)言是怎么表達(dá)的。在邏輯學(xué)的研究范圍中，邏輯學(xué)家只關(guān)注用于表達(dá)思維形式的語(yǔ)言形式，對(duì)于語(yǔ)言內(nèi)容方面的關(guān)注少，以免研究工作受繁多瑣碎內(nèi)容的干擾。在傳統(tǒng)邏輯中，亞里士多德雖已對(duì)思維內(nèi)容與思維形式有所區(qū)分，但是并不徹底。只是到了現(xiàn)代邏輯的語(yǔ)言表達(dá)中，這種只管語(yǔ)言形式不管語(yǔ)言內(nèi)容的研究才表現(xiàn)得尤為明顯。

從對(duì)“概念”的界定上可以看出:傳統(tǒng)邏輯的語(yǔ)言表達(dá)與現(xiàn)代邏輯的語(yǔ)言表達(dá)的側(cè)重點(diǎn)不同，傳統(tǒng)邏輯語(yǔ)言與語(yǔ)言內(nèi)容有密切聯(lián)系，現(xiàn)代邏輯語(yǔ)言更側(cè)重于抽象的語(yǔ)言形式。傳統(tǒng)邏輯語(yǔ)言對(duì)概念的定義是“概念是反映對(duì)象特有屬性或本質(zhì)屬性的思維形式”。可見(jiàn)在傳統(tǒng)邏輯中，概念的界定是指從事物的屬性中抽象出來(lái)的一種思維形式，這種思維形式需要用語(yǔ)詞表達(dá)出來(lái)。概念是語(yǔ)詞的思想內(nèi)容，語(yǔ)詞是概念的語(yǔ)言形式，概念和語(yǔ)詞是對(duì)立統(tǒng)一的關(guān)系;并不是所有的語(yǔ)詞都是概念，它們不是一一對(duì)應(yīng)的，而詞項(xiàng)是表達(dá)概念的語(yǔ)詞，是概念和語(yǔ)詞的統(tǒng)一。這表明:傳統(tǒng)邏輯對(duì)概念的界定沒(méi)有脫離語(yǔ)言學(xué)的范疇，邏輯語(yǔ)言的表達(dá)與語(yǔ)言學(xué)的語(yǔ)法結(jié)構(gòu)密切相關(guān)不可分離。這就決定了傳統(tǒng)邏輯語(yǔ)言的非獨(dú)立性不可能使邏輯學(xué)走上獨(dú)立發(fā)展的道路。

邏輯學(xué)家們意識(shí)到邏輯學(xué)發(fā)展受到的阻礙和限制，于是開(kāi)始了新的探索。其中，德國(guó)的邏輯學(xué)家弗雷格對(duì)現(xiàn)代邏輯的發(fā)展奠定了基礎(chǔ)，其貢獻(xiàn)之一就是把數(shù)學(xué)方法引進(jìn)到邏輯學(xué)中，把數(shù)學(xué)中的函數(shù)方法與邏輯學(xué)中的概念界定聯(lián)系起來(lái)，提出“一個(gè)概念是一個(gè)其值總是一個(gè)真值的函數(shù)”［3］63。這個(gè)界定與傳統(tǒng)邏輯中的概念定義截然不同，弗雷格把概念看成一種帶有空位的特殊的函數(shù)，這種對(duì)概念的界定使概念有了更清晰和確定的內(nèi)涵和外延，去除了傳統(tǒng)邏輯概念的模糊性［4］。弗雷格對(duì)概念界定的這種方法是函數(shù)方法在邏輯學(xué)中的運(yùn)用，其中現(xiàn)代命題邏輯中的真值函項(xiàng)就是數(shù)學(xué)方法中的函數(shù)在邏輯學(xué)上的應(yīng)用。

(二)對(duì)象語(yǔ)言與元語(yǔ)言

現(xiàn)代邏輯對(duì)語(yǔ)言層次的使用進(jìn)行了區(qū)分，分為對(duì)象語(yǔ)言與元語(yǔ)言。這一區(qū)分讓我們對(duì)語(yǔ)言有了更深入的了解，也使語(yǔ)言表達(dá)的邏輯關(guān)系更為清晰，而且這一區(qū)分也是解決邏輯悖論的重要途徑之一。在說(shuō)謊者悖論中，有一個(gè)說(shuō):“我說(shuō)的這句話是假的?！蹦敲矗@句話是真的還是假的呢?這句話的真是以這句話的假為前提的，而這句話的假是以這句話的真為前提的，解決這個(gè)問(wèn)題的關(guān)鍵就在于區(qū)別對(duì)象語(yǔ)言與元語(yǔ)言。“我說(shuō)的這句話是假的”中的這個(gè)詞語(yǔ)“這句話”與“我說(shuō)的這句話是假的”這句話是不同的，前者是單純的語(yǔ)詞而后者是一個(gè)語(yǔ)句，因此只有在不同的語(yǔ)言層次上對(duì)它們作出區(qū)分，才能在解悖問(wèn)題上打開(kāi)新思路。

很多現(xiàn)代邏輯學(xué)家對(duì)語(yǔ)言層次的區(qū)分進(jìn)行了研究，例如，德國(guó)的現(xiàn)代邏輯學(xué)家弗雷格就認(rèn)識(shí)到了語(yǔ)言分層的重要性。語(yǔ)句的思想和語(yǔ)句的指稱是不相同的，它們是不同層次上的表述。在其經(jīng)典著作《意義和意謂》中，他指出:“符號(hào)、符號(hào)的意義和符號(hào)的意謂之間的有規(guī)律的聯(lián)系是這樣的:相應(yīng)于符號(hào)，有確定的意義;相應(yīng)于這種意義，又有某一意謂;而對(duì)于一個(gè)意謂，不僅有一個(gè)符號(hào)”［3］92。弗雷格的這一貢獻(xiàn)在邏輯學(xué)上的意義是重大而深遠(yuǎn)的。在邏輯學(xué)的研究中只有對(duì)這個(gè)語(yǔ)句的層次進(jìn)行區(qū)分，才能認(rèn)清邏輯所指，才能判斷正誤，才能進(jìn)行合理有效的推理演算。

(三)語(yǔ)法學(xué)、語(yǔ)義學(xué)與語(yǔ)用學(xué)

現(xiàn)代邏輯以形式語(yǔ)言為中介，所謂的形式語(yǔ)言就是符號(hào)語(yǔ)言，是在邏輯學(xué)發(fā)展的進(jìn)程中逐步創(chuàng)立的工具性語(yǔ)言。形式語(yǔ)言是邏輯學(xué)家創(chuàng)立邏輯體系時(shí)賦予符號(hào)以特定的涵義，包括語(yǔ)形學(xué)、語(yǔ)義學(xué)以及語(yǔ)用學(xué)三方面的明確區(qū)分。語(yǔ)法學(xué)又稱為語(yǔ)形學(xué)，即現(xiàn)代邏輯中使用的人工語(yǔ)言的使用規(guī)則，表示人工符號(hào)在句中的功能和關(guān)系及其相互關(guān)系，簡(jiǎn)言之，就是關(guān)于符號(hào)與符號(hào)之間關(guān)系的理論。語(yǔ)義學(xué)并不是研究符號(hào)的功能及其關(guān)系的，而是研究符號(hào)與符號(hào)所表達(dá)的對(duì)象之間關(guān)系的理論。語(yǔ)用學(xué)是用言語(yǔ)實(shí)現(xiàn)信息發(fā)送者與信息接收者之間的信息傳遞關(guān)系，也即:發(fā)送者如何表達(dá)自己的想法、如何實(shí)現(xiàn)自己的意圖、如何讓接收者準(zhǔn)確理解并作出一定的反應(yīng)，而接收者能否理解、能否受到影響、能否作出適當(dāng)?shù)姆磻?yīng)。現(xiàn)代符號(hào)學(xué)區(qū)分出語(yǔ)法學(xué)、語(yǔ)義學(xué)與語(yǔ)用學(xué)這三個(gè)層次，這種理解使人們對(duì)語(yǔ)言的使用規(guī)則、語(yǔ)言的表達(dá)、語(yǔ)言的意義等各方面有了更深刻的認(rèn)識(shí)。

三、邏輯語(yǔ)言現(xiàn)代化轉(zhuǎn)向的意義

(一)理論意義

從傳統(tǒng)邏輯語(yǔ)言轉(zhuǎn)向到現(xiàn)代邏輯語(yǔ)言，其目的在于克服傳統(tǒng)邏輯語(yǔ)言的缺陷，促進(jìn)思維科學(xué)的進(jìn)步和發(fā)展。從語(yǔ)言發(fā)展的角度看，現(xiàn)代邏輯保留了傳統(tǒng)邏輯的理論成果，克服了傳統(tǒng)邏輯的缺陷，開(kāi)創(chuàng)了一套以符號(hào)語(yǔ)言為工具的現(xiàn)代化理論體系，充分顯示出邏輯語(yǔ)言對(duì)現(xiàn)代邏輯形成所做出的巨大貢獻(xiàn)。傳統(tǒng)邏輯向現(xiàn)代邏輯的語(yǔ)言轉(zhuǎn)向，開(kāi)辟出新的研究領(lǐng)域，是人類思維的一大進(jìn)步和發(fā)展，是邏輯史上的一次偉大變革。對(duì)這個(gè)問(wèn)題的研究使人們體會(huì)到傳統(tǒng)邏輯與現(xiàn)代邏輯在語(yǔ)言問(wèn)題上的差別，認(rèn)識(shí)到現(xiàn)代邏輯語(yǔ)言的特點(diǎn)和本質(zhì)。

(二)實(shí)踐意義

隨著邏輯學(xué)的發(fā)展，邏輯學(xué)的應(yīng)用越來(lái)越廣泛。邏輯學(xué)不僅在哲學(xué)、數(shù)學(xué)、經(jīng)濟(jì)學(xué)等學(xué)科中有著廣泛的應(yīng)用，而且現(xiàn)代邏輯的基本理論更是推動(dòng)了人工智能、計(jì)算機(jī)科學(xué)、通訊技術(shù)和數(shù)理語(yǔ)言等學(xué)科的發(fā)展。邏輯學(xué)是人文社科知識(shí)與理工科學(xué)知識(shí)的交叉，尤其是數(shù)學(xué)和哲學(xué)兩門學(xué)科知識(shí)的綜合。數(shù)學(xué)是科學(xué)的基礎(chǔ)，哲學(xué)是指導(dǎo)性的科學(xué)，邏輯學(xué)在這個(gè)意義上也對(duì)很多科學(xué)的發(fā)展起著基礎(chǔ)性工具性的巨大作用。邏輯語(yǔ)言是邏輯學(xué)與其他科學(xué)之間互相聯(lián)系和共同發(fā)展的橋梁。現(xiàn)代邏輯是信息技術(shù)和計(jì)算機(jī)科學(xué)的基礎(chǔ)理論之一，而現(xiàn)代邏輯語(yǔ)言的進(jìn)步為信息技術(shù)和計(jì)算機(jī)科學(xué)的發(fā)展提供了基礎(chǔ)。在信息技術(shù)高速發(fā)展的今天，信號(hào)的調(diào)制和傳輸離不開(kāi)現(xiàn)代邏輯語(yǔ)言的進(jìn)步。面對(duì)計(jì)算機(jī)人工智能的必然趨勢(shì)，人工控制的指令和對(duì)機(jī)器的操控指揮方面仍依賴于表達(dá)人類思維的規(guī)范的現(xiàn)代化的邏輯語(yǔ)言，例如形式系統(tǒng)的語(yǔ)法、語(yǔ)義的研究等可以用來(lái)解決計(jì)算機(jī)軟件的語(yǔ)言問(wèn)題，并且計(jì)算機(jī)的線路可以用命題演算的公式來(lái)表示。傳統(tǒng)邏輯語(yǔ)言表達(dá)的模糊性、混亂性是不能適應(yīng)現(xiàn)代科學(xué)的應(yīng)用的，因此若沒(méi)有現(xiàn)代邏輯語(yǔ)言的廣泛應(yīng)用，以上科技進(jìn)步是不可想象的。

［1］張世寧.試論邏輯學(xué)發(fā)展趨勢(shì)與展望［J］.社科縱橫，2007(22):111.

［2］張家龍.形式邏輯要現(xiàn)代化［J］.哲學(xué)研究，1978(S):56.

［3］弗雷格.弗雷格哲學(xué)論著選集［G］.王路，譯.北京:商務(wù)印書(shū)館，2006.

［4］朱建平.弗雷格邏輯概念前后期的變化［J］.重慶師范大學(xué)學(xué)報(bào):社會(huì)科學(xué)版，2012(3).

(責(zé)任編輯 張佑法)