付勇君

(蘭州交通大學(xué) 外國(guó)語(yǔ)學(xué)院，蘭州 730070)

早期的認(rèn)知科學(xué)采用了符號(hào)加工方法，這受謂詞邏輯、命題和計(jì)算機(jī)形式語(yǔ)言的影響[1](Fodor，1983)[2]。命題是普通邏輯學(xué)中的一個(gè)基本單位，指具有真假值，表示判斷的陳述句，它反映了客觀的事實(shí)情況，即客觀事實(shí)決定了命題的真假，可用真值來(lái)檢驗(yàn)，因此，命題是真值的承擔(dān)者[3]。索緒爾將語(yǔ)言視為表達(dá)思想的符號(hào)系統(tǒng)，建立了語(yǔ)言符號(hào)學(xué)的系統(tǒng)理論。他還通過(guò)分析應(yīng)用最廣泛、最系統(tǒng)的復(fù)雜符號(hào)——語(yǔ)言符號(hào)，建立了語(yǔ)言符號(hào)學(xué)體系，產(chǎn)生了深遠(yuǎn)的影響。筆者從形式語(yǔ)義學(xué)的視角對(duì)命題符號(hào)研究做一綜述，分析命題符號(hào)的研究現(xiàn)狀，探尋發(fā)展機(jī)遇和挑戰(zhàn)。

一、相關(guān)概念定義

1. 何謂命題

Hurford(1983;22)指出，命題、句子和話語(yǔ)是語(yǔ)義學(xué)的三個(gè)基本概念[3]。命題也是普通邏輯學(xué)中的一個(gè)基本單位，指具有真假值，表示判斷的陳述句，它反映了客觀的事實(shí)情況.即客觀事實(shí)決定了命題的真假，可用真值來(lái)檢驗(yàn)。因此，命題是真值的承擔(dān)者。

事實(shí)總是真實(shí)的，只有命題(思想)才分“真”和“假”，陳述一個(gè)簡(jiǎn)單的肯定表達(dá)，同時(shí)也陳述一個(gè)命題。命題具有非物質(zhì)性、是不屬于任何一種語(yǔ)言的抽象的和普遍的實(shí)體，因此，它們不受語(yǔ)調(diào)、音質(zhì)、音量、速度、語(yǔ)境和方言的影響。通用命題可以在不同的語(yǔ)言中實(shí)現(xiàn)為不同的句子，同一命題也可以在同一語(yǔ)言中實(shí)現(xiàn)為不同的句子。

邏輯學(xué)通常把命題分析為主項(xiàng)、謂項(xiàng)和聯(lián)項(xiàng)。在亞里士多德的形式邏輯中，常用“S-P邏輯模板”來(lái)表達(dá)命題結(jié)構(gòu)，即“實(shí)體”用作命題的主項(xiàng)，而“數(shù)量、性質(zhì)、關(guān)系、地點(diǎn)、時(shí)間、姿勢(shì)、條件、活動(dòng)、遭受”等九類范疇用作謂項(xiàng)。這樣，命題可以包括所有事物的存在方式[3]。

2. 命題的真值

沒(méi)有真與假的思想是可以存在的，但是這種思想并不是命題，因?yàn)槊}具有非真必假的屬性[3]。“永動(dòng)機(jī)是鐵做的”這句話表達(dá)了一種想法(這種想法是幻想，因?yàn)槭澜缟蠜](méi)有永動(dòng)機(jī))，但它并不表達(dá)一個(gè)命題。為什么？因?yàn)樗鼪](méi)有真假，它既不是真的也不是假的。如果這是真的，它必須考慮客觀事件，但在客觀世界中沒(méi)有相應(yīng)的事件。

所謂“永恒的說(shuō)謊者悖論”中的“寫在此頁(yè)上的這句話是假的”這句話也是烏托邦式的，不是命題，因?yàn)椴o(wú)真假可言。這是辯證唯物主義認(rèn)識(shí)論的基礎(chǔ)，即客觀現(xiàn)實(shí)世界永遠(yuǎn)不會(huì)有永恒的說(shuō)謊者悖論，即基于當(dāng)代形式邏輯客體理論的辯證唯物主義的真假觀[3]。

3. 命題義

命題義等同于“概念義”，是語(yǔ)義學(xué)的研究中心，是對(duì)客觀事物的一般描述。命題義沒(méi)有民族性，是全人類共有的，因此不屬于任何一種特殊的語(yǔ)言。全人類共有的命題義通過(guò)不同民族的語(yǔ)言以不同的形式具體化并得以體現(xiàn)。

命題義是全人類的共同知識(shí)，是一個(gè)抽象的語(yǔ)義實(shí)體，不受某種語(yǔ)言的約束。句子是命題在語(yǔ)言和抽象語(yǔ)法單位中的具體表達(dá)。命題意義和句子意義與語(yǔ)境無(wú)關(guān)，不受時(shí)間、地點(diǎn)和情境的限制。無(wú)論如何，它們的意思是一樣的。然而，詞匯的語(yǔ)義完全依賴于語(yǔ)境，并且具有可變性、演繹性和現(xiàn)實(shí)性[3]。

4. 符號(hào)的內(nèi)涵和分類

符號(hào)首先用來(lái)指稱和代表其他事物，其次是承載交流雙方發(fā)送信息的載體。一方面，它是意義的載體和精神外化的呈現(xiàn)；另一方面，它有一種可以被感知的客觀形式[4]。符號(hào)不僅包含感官材料，還有精神意義，二者不可分割，符號(hào)總是有意義的符號(hào)，意義總是以特定的符號(hào)形式來(lái)表達(dá)。符號(hào)的建構(gòu)功能是在感性符號(hào)和它們的意義之間建立聯(lián)系，并在我們的意識(shí)中呈現(xiàn)這種聯(lián)系。符號(hào)是信息的外在形式或物質(zhì)載體，是信息表達(dá)和傳播不可或缺的基本要素[4]。

符號(hào)通常可以分為兩類：語(yǔ)言符號(hào)和非語(yǔ)言符號(hào)，它們通常在傳播過(guò)程中結(jié)合在一起[4]。無(wú)論是語(yǔ)言符號(hào)還是非語(yǔ)言符號(hào)，基本功能便是認(rèn)知與交際[4]。在各種符號(hào)系統(tǒng)中，語(yǔ)言是最重要、最復(fù)雜的符號(hào)系統(tǒng)。根據(jù)語(yǔ)言學(xué)家索緒爾的觀點(diǎn)，符號(hào)由兩個(gè)不可分割的組成部分組成：能指(即一組口頭表達(dá)或一組印刷和書(shū)面標(biāo)記)和所指(即作為符號(hào)意義的概念或概念)。然而，單詞和符號(hào)是“任意的”。除擬聲詞外，能指與所指之間沒(méi)有固定的自然聯(lián)系。美國(guó)哲學(xué)家皮爾斯提出了符號(hào)的三元關(guān)系理論，認(rèn)為符號(hào)與其對(duì)象、解釋項(xiàng)之間存在一種三元關(guān)系[4]。

二、國(guó)外理論研究

1. 形式語(yǔ)義學(xué)研究

西方自古就有研究語(yǔ)義形式化的學(xué)者，古希臘的畢達(dá)哥拉斯試圖用“數(shù)”的符號(hào)結(jié)構(gòu)來(lái)反映和取代世界的真實(shí)結(jié)構(gòu)，并從中尋求世界的意義。哲學(xué)家、邏輯學(xué)家和語(yǔ)言學(xué)家長(zhǎng)期以來(lái)一直試圖探索語(yǔ)義形式化的最佳表達(dá)方式[3]。西方哲學(xué)進(jìn)入19世紀(jì)末20世紀(jì)初，出現(xiàn)了語(yǔ)言學(xué)轉(zhuǎn)向，認(rèn)為日常語(yǔ)言并不完美，意思表達(dá)也不準(zhǔn)確。用文字來(lái)解釋文字陷入了循環(huán)理論的泥沼，這也導(dǎo)致了哲學(xué)的混亂，嚴(yán)重阻礙了哲學(xué)家對(duì)客觀真理的精確描述。因此主張?jiān)O(shè)計(jì)一套符號(hào)來(lái)精確表達(dá)概念和命題，并試圖建構(gòu)一種完美而理想的形式語(yǔ)言，以消除哲學(xué)中的困惑，建立科學(xué)的知識(shí)體系。

語(yǔ)言哲學(xué)家將語(yǔ)義學(xué)和形式邏輯緊密結(jié)合，從而形成了“現(xiàn)代形式邏輯”，也稱為“數(shù)理邏輯”、“形式語(yǔ)義學(xué)”、“邏輯語(yǔ)義學(xué)”、“分析哲學(xué)語(yǔ)義學(xué)”、“符號(hào)邏輯”、或“外延邏輯”等，主要研究：所指、意義、外延、內(nèi)涵、真值、謂詞演算、命題演算、解釋、模型、可能世界等內(nèi)容[3]。

2. 形式語(yǔ)義學(xué)主要代表人物

王寅對(duì)形式語(yǔ)義學(xué)發(fā)展脈絡(luò)進(jìn)行了細(xì)致的梳理，主要代表人物有[3]：

(1) 弗雷格為其開(kāi)山鼻租，他將意義問(wèn)題視為哲學(xué)研究的中心，且設(shè)計(jì)了一套形式化方案用其來(lái)描寫語(yǔ)言的意義，分析語(yǔ)言的邏輯關(guān)系和語(yǔ)義結(jié)構(gòu)，這標(biāo)志著現(xiàn)代形式邏輯的誕生。

(2) 羅素于20世紀(jì)初建立了“謂詞演算(Predicate Calculus)”、“命題演算( Proposition Calculus)” 并提出了“摹狀語(yǔ)理論(Deseription Theory)” ，維特根斯坦(1922)前期提出了“語(yǔ)言圖畫(huà)論(the Picture Theory of Language)”并創(chuàng)立了邏輯真值表，這些成果都是基于弗雷格的思想建立起來(lái)的。這兩位著名哲學(xué)家還基于弗雷格提出的簡(jiǎn)單句和復(fù)合句的外延論題(簡(jiǎn)單句的所指是真值，意義是命題;復(fù)合句整體的外延取決于它的成分句的外延)，提出了“簡(jiǎn)單命題與復(fù)合命題”、“原子事實(shí)與復(fù)合事實(shí)”“原子命題與分子命題”的意義分析方案，為認(rèn)識(shí)論解決了一大難題，極大地深化了意義問(wèn)題的研究。

(3) 活躍于20世紀(jì)30年代的維也納學(xué)派的主要成員施利克、卡爾納普、紐拉斯和艾爾建立了邏輯實(shí)證主義，在法國(guó)哲學(xué)家和社會(huì)學(xué)家孔德100年前建立的“實(shí)證主義”的基礎(chǔ)上增加了“邏輯”一詞。一方面降低了證實(shí)原則的苛刻要求(一切均由經(jīng)驗(yàn)事實(shí)加以驗(yàn)證)，通過(guò)邏輯分析也可獲得證明;另一方面為語(yǔ)言作為哲學(xué)研究對(duì)象建立了理論基礎(chǔ)，因?yàn)檫壿嫶嬖谟谡Z(yǔ)言之中，可從語(yǔ)義分析和句法研究上解決哲學(xué)問(wèn)題，并進(jìn)一步完善形式語(yǔ)義學(xué)的演算體系。

(4) 20世紀(jì)30年代，塔爾斯基認(rèn)為形式語(yǔ)義學(xué)應(yīng)精確定義出語(yǔ)句的定義，并根據(jù)“語(yǔ)言與世界同構(gòu)”的思想提出可用“真值條件(Truth Condition)”來(lái)定義句義，這取決于使得該句成真的一組條件，從而避免語(yǔ)義悖論。

(5) 內(nèi)涵語(yǔ)義學(xué)(Intentional Semantics)則是在塔爾斯基的基礎(chǔ)上發(fā)展起來(lái)的，他的理論雖屬“外延語(yǔ)義學(xué)”，但卻具有內(nèi)涵語(yǔ)義學(xué)的思想?？柤{普將外延語(yǔ)義學(xué)轉(zhuǎn)化為內(nèi)涵語(yǔ)義學(xué)，并提出了外延內(nèi)涵方法，不僅要考察語(yǔ)言表達(dá)的所指和外延，還要注意意義和內(nèi)涵，倡導(dǎo)一種形式體系描述表達(dá)的內(nèi)涵、外延和兩者之間的相互轉(zhuǎn)化。

(6) 美國(guó)邏輯學(xué)家克里普克基于卡爾納普的觀點(diǎn)提出了“可能世界語(yǔ)義學(xué)( Possible World Semantics)”，認(rèn)為我們所生活的現(xiàn)實(shí)世界僅為“可能世界”的一種，那些不存在于現(xiàn)實(shí)世界的事物，如獨(dú)角獸，龍，鬼神等，可能會(huì)出現(xiàn)在其他世界(如想象世界)之中。這一思想極大地拓寬了人們研究語(yǔ)義學(xué)的視野，并以“可能的世界”為參照點(diǎn)來(lái)確定句子的真值，從而便可解釋句義。學(xué)術(shù)界普遍認(rèn)為可能世界語(yǔ)義學(xué)是內(nèi)涵語(yǔ)義學(xué)的核心內(nèi)容。

(7) 蒙塔古接受并發(fā)展了可能世界語(yǔ)義學(xué)，主張用一個(gè)形式系統(tǒng)來(lái)同時(shí)刻畫(huà)表達(dá)式的內(nèi)涵與外延，及兩者的相互轉(zhuǎn)化。他將人工語(yǔ)言與自然語(yǔ)言結(jié)合起來(lái)研究，建立了凌駕于人工語(yǔ)言和自然語(yǔ)言之上的普遍模式，既能描寫自然語(yǔ)言，又能描寫形式語(yǔ)言。蒙塔古基于內(nèi)涵語(yǔ)義學(xué)、類型論建立了“內(nèi)涵邏輯(Intensional Logic)”(Montague 1968)[3]，將其用于研究自然語(yǔ)言。他把語(yǔ)言表達(dá)式的內(nèi)涵視為函數(shù)，把語(yǔ)言表達(dá)式的外延視為函數(shù)的值或函數(shù)的內(nèi)涵，這樣就能在高一級(jí)層次上將兩者作統(tǒng)一處理，自然語(yǔ)言表達(dá)式的意義就可通過(guò)不斷提高分析層次的方法得到嚴(yán)格表達(dá)，從而進(jìn)一步發(fā)展內(nèi)涵語(yǔ)義學(xué)。

3. 命題符號(hào)理論

隨著20世紀(jì)中葉認(rèn)知革命的興起，理論家們提出了新的符號(hào)表征方式。與20世紀(jì)初的思想相比，現(xiàn)代認(rèn)知科學(xué)家提出了認(rèn)知是非知覺(jué)的表征圖式[5]。早期的表征模式使用知覺(jué)表征，而新的表征模式，即命題符號(hào)理論，認(rèn)為認(rèn)知的構(gòu)成材料是命題，命題網(wǎng)絡(luò)是由命題組成，并隨著命題上不同運(yùn)算或操作數(shù)的增加而不斷更新。因此，命題網(wǎng)絡(luò)的容量是無(wú)限的，它的解釋力很強(qiáng)。命題符號(hào)理論的功能概念系統(tǒng)有以下重要特征：如表征類型、特征、分類推理、命題表征、抽象概念等?；诿}符號(hào)理論的文本處理模型不難發(fā)現(xiàn)讀者將文本中的語(yǔ)言信息轉(zhuǎn)化為命題，然后根據(jù)主題組合命題，并通過(guò)相關(guān)節(jié)點(diǎn)與由長(zhǎng)期記憶中的命題組成的知識(shí)網(wǎng)絡(luò)建立聯(lián)系，從而激活相關(guān)背景知識(shí)，值得注意的是，命題符號(hào)理論并不排除圖像參與情境模型的可能性[5]。

4. 命題演算概述

維特根斯坦在《邏輯哲學(xué)論》中論述了他早期的語(yǔ)言圖像論。他認(rèn)為語(yǔ)言是命題的總和，命題是事實(shí)的圖像，與事實(shí)共享一個(gè)結(jié)構(gòu)，因此，句子的結(jié)構(gòu)和事實(shí)的結(jié)構(gòu)之間一定有共同點(diǎn)[6]。世界是由事實(shí)組成的圖像，語(yǔ)言應(yīng)該像圖像[6]。他認(rèn)為世界是由“事實(shí)”而不是“物質(zhì)”組成的。事實(shí)可以反映事物的狀態(tài)、性質(zhì)和關(guān)系。事物的簡(jiǎn)單添加并不能反映世界的面貌，只有事實(shí)的結(jié)合才能反映現(xiàn)實(shí)世界的面貌[6]。

最簡(jiǎn)單的事實(shí)叫做“原子事實(shí)”，它們相互獨(dú)立，與其相對(duì)應(yīng)的命題叫做“原子命題”，可將原子命題用“邏輯連接詞(Logical Connectives)， 又叫邏輯常項(xiàng)(Logical Constants)” 連接起來(lái)形成“分子命題( Molecular Proposition)” ，它們的真假值由各原子命題的真假值通過(guò)命題演算來(lái)確定，這屬于傳統(tǒng)的二值邏輯(Two-valued Logic)[6]。

維特根斯坦和羅素的“邏輯原子論(Logical Atomism)”提出了語(yǔ)言與世界同構(gòu)(Isomorphism)的原則，原子命題(簡(jiǎn)單命題)對(duì)應(yīng)于原子事實(shí)(原子命題)，分子命題(復(fù)雜命題)對(duì)應(yīng)于分子事實(shí)(復(fù)雜事實(shí))。分子事實(shí)是由原子事實(shí)組合而成的，同理，分子命題是由原子命題組合而成的，即前者是后者的真值函數(shù)[6]。

更為重要的是他們認(rèn)為原子命題可通過(guò)感覺(jué)經(jīng)驗(yàn)獲得，其意義由“證實(shí)原則”來(lái)保障。這是“實(shí)證主義(Positivism)”思想；分子命題則是由人們基于原子命題和五個(gè)邏輯連接詞通過(guò)命題演算推算出其真值，這是運(yùn)用邏輯推理的結(jié)果。兩者的結(jié)合形成了“邏輯實(shí)證主義”，可用以解決近代哲學(xué)中“認(rèn)識(shí)論”中真知的來(lái)源問(wèn)題。邏輯實(shí)證論者為其提供了一個(gè)全新解釋，用原子命題及它們的真值函數(shù)來(lái)解釋人類是如何建構(gòu)可靠的知識(shí)系統(tǒng)的。

謂詞演算是用來(lái)處理簡(jiǎn)單命題的內(nèi)部結(jié)構(gòu)，而命題演算則是閘釋簡(jiǎn)單命題之間的關(guān)系。這些簡(jiǎn)單命題要靠“邏輯連接詞(Logical Connectives)”連接起來(lái)表示簡(jiǎn)單原子命題之間的語(yǔ)義關(guān)系，它們都具有真值性效應(yīng)，如英語(yǔ)and、or、if…then、 not、 equivalence等，能對(duì)復(fù)合命題的真值條件起到判斷和預(yù)測(cè)作用。研究邏輯連接詞的真實(shí)性效應(yīng)就叫“命題演算”，應(yīng)用邏輯式和真值表把連詞的真值性體現(xiàn)出來(lái)，就能對(duì)命題意義之間的關(guān)系做出簡(jiǎn)潔準(zhǔn)確、一目了然的描述[3]。

三、國(guó)內(nèi)相關(guān)研究

1. 研究課題多元化

與國(guó)外命題符號(hào)理論研究相比，我國(guó)的相關(guān)研究起步較晚，但目前也取得了豐碩的理論和實(shí)踐研究成果。主要表現(xiàn)在研究領(lǐng)域和范圍日益多元化：數(shù)理邏輯中命題符號(hào)化的研究[7-11]，分析文化命題符號(hào)[12-13]，討論謂詞邏輯符號(hào)化[11,14-15]，研究命題符號(hào)模型檢測(cè)[16]，命題符號(hào)理論與知覺(jué)符號(hào)關(guān)系研究[17-20]，命題符號(hào)表征與知覺(jué)符號(hào)表征[21-24]，詞語(yǔ)的隱現(xiàn)極性特征與它本身的任選義和函數(shù)映射關(guān)系[25]等。

2. 偏重國(guó)外研究成果推介

國(guó)內(nèi)需求分析研究主要圍繞國(guó)外理論的引薦和借鑒，郭蕓，王朝暉(2013)、胡易容(2012)等國(guó)內(nèi)學(xué)者主要介紹了國(guó)外命題符號(hào)理論研究[26-27]。在理論研究的基礎(chǔ)上，一些研究者將國(guó)外命題符號(hào)模型應(yīng)用到我國(guó)英語(yǔ)、數(shù)學(xué)等課程的教學(xué)實(shí)踐中；陳靜華和胡宋林(2011)用實(shí)例分析說(shuō)明了學(xué)生如何較好的解決學(xué)習(xí)命題邏輯時(shí)遇到困難的兩個(gè)基本問(wèn)題[28]。王成營(yíng)，陳佑清(2012)認(rèn)為符號(hào)學(xué)習(xí)是學(xué)生的主要學(xué)習(xí)方式，符號(hào)學(xué)習(xí)的關(guān)鍵是獲得符號(hào)的意義，獲得符號(hào)意義的過(guò)程包括符號(hào)形式的分析和符號(hào)意義的建構(gòu)兩個(gè)方面，前者要求分析符號(hào)中的句段關(guān)系和聯(lián)想關(guān)系，后者則要求把握符號(hào)、符號(hào)所指稱的實(shí)際事物、人之間的關(guān)系[29]。符號(hào)意義獲得能力的培養(yǎng)應(yīng)依據(jù)建構(gòu)性、方法性原則，并結(jié)合具體教學(xué)內(nèi)容進(jìn)行。陳保亞， 陳樾(2015)指出許多學(xué)者理解維特根斯坦的觀點(diǎn)，即意義是詞語(yǔ)在語(yǔ)言游戲中的用法，事實(shí)上，更重要的是兒童在語(yǔ)言游戲中獲得詞義的過(guò)程和條件，也就是說(shuō)，獲得意義不是解釋而是訓(xùn)練[30]。王寅(2019)研究指出羅素是指稱論之集大成者，信守畢因論承諾，反思亞里士多德的“S-P 模板”，認(rèn)為在命題主詞位置上出現(xiàn)的名詞必須在我們的世界中有實(shí)際的指稱對(duì)象，不必再說(shuō)其存在，并嘗試運(yùn)用羅素的摹狀論來(lái)解釋這一語(yǔ)法現(xiàn)象[31]。

3. 微觀層面的實(shí)證研究居多

國(guó)內(nèi)命題符號(hào)研究也不乏微觀層面的實(shí)證研究，王瑞明，莫雷等(2005)采用移動(dòng)窗口技術(shù)探討言語(yǔ)理解中信息表征的方式，總體實(shí)驗(yàn)結(jié)果表明，言語(yǔ)理解中既有知覺(jué)符號(hào)表征，也有命題符號(hào)表征，知覺(jué)符號(hào)表征是信息表征的早期狀態(tài)，人類思維中信息表征的最終形式主要是命題符號(hào)表征[32]。張常青，王瑞明等(2013)使用啟動(dòng)范式通過(guò)兩個(gè)實(shí)驗(yàn)檢驗(yàn)顏色概念的表征是知覺(jué)符號(hào)表征還是命題符號(hào)表征，實(shí)驗(yàn)結(jié)果表明，顯性顏色概念的表征是知覺(jué)符號(hào)表征，隱性顏色概念的表征是命題符號(hào)表征[21]。杜語(yǔ)，王瑞明(2011)采用長(zhǎng)時(shí)重復(fù)啟動(dòng)范式進(jìn)一步探討言語(yǔ)理解中信息表征的方式，綜合3個(gè)實(shí)驗(yàn)的結(jié)果，可以初步得出結(jié)論，排除策略影響后，言語(yǔ)理解中沒(méi)有產(chǎn)生知覺(jué)符號(hào)表征，先前句圖匹配范式下的知覺(jué)符號(hào)表征很可能是一種策略性的表征[22]。王瑞明，張清平等(2010)通過(guò)2個(gè)實(shí)驗(yàn)探討知識(shí)背景對(duì)言語(yǔ)理解中的信息表征形式的影響[23]。王瑞明，莫雷等(2006)探討空間信息對(duì)語(yǔ)義相關(guān)判斷的影響，研究結(jié)果進(jìn)一步支持了知覺(jué)符號(hào)理論[33]。

四、啟示

作為一個(gè)傳統(tǒng)的研究領(lǐng)域，命題符號(hào)的研究仍然占據(jù)著重要地位， 內(nèi)涵邏輯更加關(guān)注動(dòng)態(tài)過(guò)程的模型理論解釋，涉及話語(yǔ)中信息的不斷修正、語(yǔ)言的動(dòng)態(tài)性、形式工具的擴(kuò)展和發(fā)展，更多地參與形式語(yǔ)義學(xué)的研究，使其真正成為形式語(yǔ)義學(xué)的重要組成部分。

形式語(yǔ)義學(xué)下的命題符號(hào)的研究發(fā)展越來(lái)越復(fù)雜，從簡(jiǎn)單的真值條件語(yǔ)義學(xué)和模型理論語(yǔ)義學(xué)發(fā)展到能夠解釋語(yǔ)境依賴的可能世界語(yǔ)義學(xué)。然而，它仍然不能滿足分析自然語(yǔ)言的需要。形式語(yǔ)義學(xué)是語(yǔ)言與邏輯相交叉跨學(xué)科的產(chǎn)物，它的發(fā)展背景是當(dāng)代邏輯向哲學(xué)邏輯、計(jì)算機(jī)科學(xué)人工智能邏輯、語(yǔ)言邏輯(自然語(yǔ)法)擴(kuò)展，用邏輯方式研究語(yǔ)義。邏輯的表達(dá)分析功能是用抽象的接近與數(shù)學(xué)公式的符合形式表述語(yǔ)言。形式語(yǔ)義學(xué)的發(fā)展主線即范疇類型序列始于與邏輯類型論相關(guān)的范疇語(yǔ)法，說(shuō)到底就是一種符合編碼，由初始范疇到擴(kuò)展范疇；后發(fā)展至強(qiáng)調(diào)自然語(yǔ)言語(yǔ)義的蒙太古語(yǔ)法；接著進(jìn)入從模態(tài)邏輯的視角看范疇語(yǔ)法的多模態(tài)范疇邏輯；后又進(jìn)入范疇語(yǔ)法和λ-演算并行推演出的類型邏輯語(yǔ)義學(xué)。

形式語(yǔ)義學(xué)采用的方法是歸納法，自然語(yǔ)言中也有歸納現(xiàn)象，如循環(huán)鑲嵌句。形式語(yǔ)義學(xué)是根據(jù)句法語(yǔ)義的對(duì)應(yīng)和意義的組合原則展開(kāi)研究，研究發(fā)展傾向于貼近自然語(yǔ)言，服務(wù)于自然語(yǔ)言的信息處理，引入模態(tài)視角，和邏輯發(fā)展的互動(dòng)，采用動(dòng)態(tài)——并行——交織的觀點(diǎn)解讀語(yǔ)義，對(duì)命題符合、模態(tài)符合的動(dòng)態(tài)、并行、交織的跨學(xué)科研究將成為形式語(yǔ)義學(xué)未來(lái)研究熱點(diǎn)。