【文章內(nèi)容簡(jiǎn)介】 到目前為止，我們討論的結(jié)果如下。方法論關(guān)注的是各種認(rèn)知過(guò)程，其在更廣泛的意義上是可推導(dǎo)的。這要求關(guān)各種自然的選項(xiàng)以及它們的理論性質(zhì)的系統(tǒng)化邏輯研究。而且合適的視角或觀點(diǎn)將只在科學(xué)哲學(xué)、哲學(xué)邏輯和邏輯語(yǔ)義學(xué)之間的自由合作中產(chǎn)生。這一研究最終也應(yīng)該包括各種其它方法。一個(gè)重要例子是前面提到的條件句。關(guān)于“反事實(shí)條件句”其中一個(gè)合理的觀點(diǎn)是：為了一致地接納前件假設(shè)，它們涉及從原先被修正的（revised）前提的推理。但我們應(yīng)該用相同的一般性術(shù)語(yǔ)來(lái)分析前提或信息狀態(tài)的修正過(guò)程。（參見(jiàn) [G228。rdenfors, 1988] 中一個(gè)優(yōu)美的形式理論。）當(dāng)我們用當(dāng)前出現(xiàn)的“動(dòng)態(tài)的”觀點(diǎn)來(lái)看特定的信息類(lèi)型時(shí)，比如，概稱陳述或者其它缺省規(guī)則，這樣的修正仍起作用。這相當(dāng)于改變我們?cè)谀Ｐ偷恼撚蛏系钠谕蚱媚Ｊ降闹噶?。（有關(guān)后者的形式語(yǔ)義學(xué)理論，參見(jiàn) [Spohn, 1988。 Veltman, 1989]。）. 本體論的多樣性邏輯語(yǔ)義學(xué)和科學(xué)方法論之間的聯(lián)系并不局限于推理或更一般的認(rèn)知過(guò)程這樣的概念。它們也延伸到這些過(guò)程所能操作的認(rèn)知結(jié)構(gòu)，以及它們的底層本體論。值得指出的一種情況是在自然語(yǔ)言和計(jì)算性方面有關(guān)時(shí)間（temporal）結(jié)構(gòu)的研究。為了作出隨著時(shí)間推移的事件的陳述以及關(guān)于它們的推理，我們需要一個(gè)多樣性的本體論圖景，用來(lái)反映各種時(shí)態(tài)表達(dá)以及它們的聯(lián)系，參見(jiàn) [Kamp, 1979]。（相關(guān)文獻(xiàn)綜述，參見(jiàn) [van Benthem 1983, 1989a]）。這直接導(dǎo)致我們進(jìn)入到科學(xué)哲學(xué)中的問(wèn)題。在自然語(yǔ)言中，有關(guān)時(shí)態(tài)意義的一個(gè)恰當(dāng)描述似乎既涉及較符合科學(xué)的“基于時(shí)間點(diǎn)”概念，又涉及較符合常識(shí)的“基于時(shí)間段”這樣的約定。上述有關(guān)各種時(shí)態(tài)本體論之間的對(duì)偶觀在計(jì)算機(jī)科學(xué)中也是突出的，參見(jiàn) [Allen amp。 Hayes, 1985] 或 [Lamport, 1985]，這與實(shí)際的物理時(shí)間和我們計(jì)算模型的表征時(shí)間之間的相互影響有密切關(guān)系。這不過(guò)是更一般主題的一個(gè)例子。事實(shí)上，類(lèi)似測(cè)度論（參見(jiàn) [Krantz et al., 1985]）的學(xué)科可以被看作是準(zhǔn)確地與在自然語(yǔ)言常識(shí)世界下較定性的表征結(jié)構(gòu)和科學(xué)定量結(jié)構(gòu)之間的橋梁是密切相關(guān)的。這一廣義視角仍然與完備相差甚遠(yuǎn)，并且在本體論地圖中保留了它的未知領(lǐng)土。例如，在自然語(yǔ)言中另一吸引人的是廣闊的對(duì)偶性，其與一般推理和科學(xué)理論形式的系統(tǒng)聯(lián)系還沒(méi)有得到研究。這正是描繪世界中所謂的可數(shù)術(shù)語(yǔ)（count terms）和不可數(shù)術(shù)語(yǔ)（mass terms）之間的區(qū)別（文獻(xiàn)綜述參見(jiàn) [Pelletier amp。 Schubert, 1989]）。前者是指有關(guān)世界的具體可數(shù)表達(dá)，如“槍”、“天”、“杯”，而后者涉及連續(xù)的量，像“酒”、“時(shí)間”或“耐心”。上述兩者都有各自表示量的形式，如“許多時(shí)間”（much time）相對(duì)于“許多槍”（many guns），或“十天”（ten days）相對(duì)于“十杯酒”（ten glasses of wine）。盡管我們?nèi)耘f不理解它的準(zhǔn)確認(rèn)知目的，但這種平行系統(tǒng)的存在在常識(shí)世界里是有意義的?？紤]另一類(lèi)型的例子，我們返回之前提到的自然語(yǔ)言的量詞系統(tǒng)，以此說(shuō)明純粹語(yǔ)義學(xué)問(wèn)題是怎樣顯然地把我們帶回到科學(xué)的基礎(chǔ)中去的。請(qǐng)看一個(gè)普通非標(biāo)準(zhǔn)的限定詞表達(dá)式：“幾乎所有的A是B”，它告訴我們僅僅非常少的例外可能出現(xiàn)在文恩圖A – B的范圍里。對(duì)于足夠大的論域A，這個(gè)關(guān)系Q的直觀邏輯應(yīng)該滿足下列明顯的性質(zhì)（公理）：1. QAB蘊(yùn)涵QA (B 200。 C) 右單調(diào)性2. QAB, QAC蘊(yùn)涵QA (B 199。 C) 合取性3. QA (A – {x}) 非原子性4. 非QA198。 非平凡性此外，回想之前有關(guān)邏輯限定詞的排列不變性要求，這使得它們僅僅對(duì)文恩域里的個(gè)體數(shù)量敏感。最后三個(gè)性質(zhì)蘊(yùn)涵著左論域A必須是無(wú)限的。例如，滿足所有要求的一個(gè)候選量詞是“至多含有有限多例外的全部”。最后，一旦我們考慮復(fù)合量詞的組合，也包含二元或更高元的謂詞，會(huì)有另一種自然的情況出現(xiàn)，如“幾乎所有”與全稱量詞具有相同的“范圍自由”。這體現(xiàn)在下面一個(gè)特別的記法中：5. QAxQAyRxy當(dāng)且僅當(dāng)QAyQAxRxy上述公理化系統(tǒng)的生成事實(shí)上已經(jīng)由哈維弗里德曼（Harvey Friedman）提出，作為對(duì)概率化量詞（probabilistic quantifier）“最多0度例外集”（with at most a measure 0 set of exceptions）的主要性質(zhì)描述。（參見(jiàn) [van Lambalgen, 1990]。）具體而言，上面提到的最后一條公理其實(shí)是概率論中著名的福比尼（Fubini）定理的一種表現(xiàn)形式。而且事實(shí)上，我們還可能說(shuō)明在個(gè)體域中上述條件的全體是如何滿足特定的概率結(jié)構(gòu)的。這需要通過(guò)迫使我們離開(kāi)上述意義下純粹的數(shù)量邏輯限定詞的領(lǐng)域做到。（在 [van Benthem, 1989b] 中有相關(guān)證明）。命題：對(duì)所有集合論元（set arguments），沒(méi)有邏輯全稱量詞滿足弗里德曼公理。證明：考慮特殊情況：當(dāng)左論元是整個(gè)論域時(shí)，Q成了一元量詞，本質(zhì)上是一個(gè)集族。于是只要證明下面的主張就足夠。主張：（AC）這樣的量詞在子集形式下封閉。因?yàn)?，如果A206。Q（根據(jù)公理3，這對(duì)某些A是成立的），那么198。206。Q，這與公理4矛盾。主張的證明：通過(guò)歸納B的基數(shù)（預(yù)設(shè)選擇公理成立），我們證明下列表述形式成立：A206。Q, B 205。 A蘊(yùn)涵(A – B)206。Q。具體證明分情況考慮：情況1：B是有窮的（finite）。通過(guò)公理3和公理2，有窮部分可以被減掉。情況2：B是無(wú)窮的（infinite），并且231。B 231。= m。歸納假設(shè)如下：現(xiàn)有良序A如下：接下來(lái)通過(guò)下列結(jié)構(gòu)在A上定義一個(gè)二元關(guān)系R。其中，Raay當(dāng)且僅當(dāng)（1）a ≥ m 并且 y206。A或者（2）a m并且y = ab（滿足b 179。 a）。然后我們得到：x 206。 AQyRxy。此結(jié)果可從下述觀察可得：如果x = aa，a ≥ m，那么(R)x = A：它在Q中。如果x = aa，a m，那么(R)x = A – {a0…aa}：既然減掉的集合具有的基數(shù) m，于是(R)x 206。 Q；而根據(jù)歸納假設(shè)，A也是。于是，由于A206。Q，公理1蘊(yùn)涵Qx Qy Rxy再應(yīng)用公理5，我們一定可以得到Qy Qx Rxy。或者詳細(xì)地表述：{y 231。{x 231。Rxy} 206。 Q} 206。 Q。于是，哪個(gè)個(gè)體y滿足y(R) 206。 Q？如果y = aa且a m，那么y(R) = (A – B) 200。 {ab 231。b a}。如果y = aa且a ≥ m，那么y(R) = A：它在Q之中。于是再次考慮：{y 231。y(R) 206。 Q} 206。 Q。情況1：此集合等于A – B，我們已經(jīng)有：(A – B) 206。 Q。情況2：此集合超出A – B，并且至少存在一個(gè)y 206。 B，使得y(R) 206。 Q。通過(guò)上面的結(jié)論，可得y(R) = (A – B) 200?！盎鶖?shù) m的某個(gè)集合”。應(yīng)用歸納假設(shè)于y(R): (A – B) 206。 Q，就可以得到想要的結(jié)果。因此，對(duì)量詞一般形式的語(yǔ)義學(xué)分析很自然地引導(dǎo)我們?nèi)パ芯磕切┓椒ㄕ搯?wèn)題，比如像概率推理中的邏輯起源。加上來(lái)自狹義語(yǔ)言學(xué)范疇的一些例子，我們也能夠在整體上看待自然語(yǔ)言的范疇結(jié)構(gòu)。例如，[Mundy, 1989] 展示的是語(yǔ)言學(xué)式滲透啟發(fā)了人們把“范疇語(yǔ)言”引入到科學(xué)理論的分析中去。我們可以再次得出某些一般的結(jié)論。關(guān)于表達(dá)的狹義語(yǔ)言學(xué)范疇的語(yǔ)義學(xué)分析很自然地會(huì)與一些方法論問(wèn)題相融合一起，比如條件句、時(shí)態(tài)表達(dá)式和量詞等例子。按照更一般的說(shuō)法，我們?cè)趦蓚€(gè)研究角度之間進(jìn)行比較是有用的。特別的我們還有一個(gè)公共的系統(tǒng)化工作要做，即為了提供靈活的手段從而在各種“粒度”（精細(xì)程度）層面上表征事實(shí)內(nèi)容，我們有必要探明似真的本體和它們之間的聯(lián)系。. 計(jì)算 到目前為止，我們的重點(diǎn)都是放在認(rèn)知過(guò)程和及其涉及的結(jié)構(gòu)上。但是，在與計(jì)算實(shí)際相關(guān)的事情和合適的數(shù)據(jù)結(jié)構(gòu)等方面我們只是邁出了很小一步。因此，見(jiàn)到一些在科學(xué)方法論中得到了發(fā)展的理論也允許一個(gè)更計(jì)算性的解釋就不足為奇了。至于數(shù)據(jù)結(jié)構(gòu)，我們已經(jīng)提到了在科學(xué)理論與數(shù)據(jù)庫(kù)（或者更一般地說(shuō)，知識(shí)狀態(tài)）之間的類(lèi)比，正如在文獻(xiàn) [G228。rdenfors, 1988] 中發(fā)展的那樣。例如，有關(guān)科學(xué)理論結(jié)構(gòu)化為更“容易磋商的”和“牢固的”層次的著名描述表明，在近期有關(guān)知識(shí)庫(kù)牢固程度的理論中有與之相對(duì)應(yīng)的結(jié)構(gòu)。并且，有關(guān)科學(xué)理論詞匯中的理論術(shù)語(yǔ)和觀測(cè)術(shù)語(yǔ)的傳統(tǒng)區(qū)分，可在抽象數(shù)據(jù)類(lèi)型的理論中得到精確類(lèi)比（參見(jiàn) [van Benthem, 1989C]）。最后，另一例子是在 [Doyle, 1983] 的計(jì)算性背景中卡爾納普有關(guān)理論結(jié)構(gòu)的工作的應(yīng)用。至于更加程序化的方面，與知識(shí)結(jié)構(gòu)上的算法操作相關(guān)的計(jì)算性關(guān)注在一般方法論意義下也具有一個(gè)自然的基礎(chǔ)。一個(gè)相當(dāng)實(shí)際的例子是，在像梅森（MYCIN）那樣著名的專(zhuān)家系統(tǒng)中，采用卡爾納普有關(guān)歸納邏輯的規(guī)則。這樣我們還可以發(fā)現(xiàn)更深層次的聯(lián)系，例如， 最近在 [Shoham, 1988] 的計(jì)劃系統(tǒng)中對(duì)知識(shí)