• <menu id="ykygk"><strong id="ykygk"></strong></menu>
  • 社科網首頁|客戶端|官方微博|報刊投稿|郵箱 中國社會科學網
    當前位置:首頁>>分支學科>>邏輯學

    【余俊偉】不同層次的邏輯多元論

     

    1 導論

    邏輯多元論, 顧名思義, 認為存在不止一種邏輯。而一元論則認為只有一種邏輯。這樣的解釋雖然沒有錯, 但是由于“邏輯”一詞本身多義, 含義模糊, 使得這種解釋對澄清邏輯多元論實際并無多大幫助。冠名以“某某邏輯”者眾多, :數理邏輯、非經典邏輯、弗協調邏輯、條件句邏輯等等。它們背后劃分的標準并不相同。邏輯多元論絕不是這種意義上的不止一種邏輯。同時, 對多元論或一元論的表述略有爭議:其中的“不止一種邏輯”是否為“不止一種正確的邏輯”?考慮到“邏輯”一詞在表述規律的意義上本身具有正確的、是規律的含義, “正確的”就顯多余。加上正確的, 暗含著有邏輯是不正確的, “邏輯”一詞在此用法下是立場或觀點或方法。這種爭議也暗示著要認清邏輯多元論的思想, 關鍵在于界定邏輯這個概念。“邏輯”一詞在此要明晰。

    BeallRestall (以下簡稱為BR) 基于后承關系界定邏輯。 ([1]) 他們提出了基于后承關系考慮的邏輯多元論。這種觀點引起了學界較為廣泛的注意。BR認為:“邏輯是關于后承的。邏輯后承是邏輯核心。”他們提出了如下被稱之為邏輯多元論的觀點:“存在不止一種演繹后承關系。這種多元之產生不僅是因為有多種語言, 而且在由一種語言所表達的斷定種類當中也會產生多元。” ([1], 3) 對于后承關系, 他們提出了一個廣義的塔爾斯基論題 (以下簡稱為GTT) :“一個論證是x-有效的, 當且僅當, 在每一種x-情形中, 當前提為真時結論為真。” ([1], 29) 隨著參數x變化, 得到不同的后承關系。一種后承關系就被視為一種邏輯。而且“出現這種多元性并不只是因為有不同的語言, 甚至在同一種語言所表達的斷定中也會出現。” ([1], 3) 他們隨后討論了三種不同的情形, 得到了三種不同的邏輯。當情形解釋為世界時, 則是經典邏輯。 ([1], 37) 所謂世界就是信息完全且一致的。當情形只是情境時, 則是相干邏輯。 ([1], 53) 在情境中信息通常不完全, 可能出現不一致。如果將情形解釋為階段, “將階段看作是一種特殊的擔保, 一種構造性的擔保”, 則是構造性邏輯 (直覺主義邏輯) ([1], 67) 作者認為這些不同的有效性、不同的邏輯都是同樣地好的。

    ReadPriestBurgess等人對BR的觀點提出了批評。Priest認為 ([1], 93) , 假設有K1-有效、K2-有效、K3-有效三種有效性, 公式集Σ與公式A之間的推出, K1-是有效的, 但不是K2-有效的, 甚至, K3-有效性, Σ推出?A是有效的。如何評判Σ推出A的有效性?Priest認為他們的觀點是不一致的。

    Read也認為, BR的觀點是不自洽的, 其問題的根源在于使用經典元語言分析非經典邏輯。 ([8]) 對于Σ?A當且僅當?w ( (?B∈Σ) w|=B?w|=A) , 我們可以認為w是世界、構造或情境。但是, Read認為, 除非是真的辯證論者——辯證論者認為世界有真矛盾——否則不可能的世界就不能在w的取值范圍中。而對于“?, Read認為也有不同的解釋。經典邏輯只取實質蘊涵的解釋, 但是相干邏輯區分了實質蘊涵與相干蘊涵。Read認為, 即便不考慮Priest所指出的不一致問題, BR也忽視了這樣一個事實:非經典邏輯起源于不滿意經典邏輯對推理的解釋, 因而, 本來是作為經典邏輯的一種競爭對手而不是作為經典邏輯的補充而出現的。它們與經典邏輯是不相容的。在他們看來, 只有一種邏輯, 這就是相干邏輯。在他看來, 只要邏輯研究推理, 旨在將好的推理與其他推理區分開來, 那么, 只有相干邏輯才符合人們所追求的目的。

    Burgess也認為, BR的多元論有陷于“相對論”的危險:多元是而且僅是相對形式語義中參數x而言。對這種多元論, 幾乎不會有人反對。但是這樣的多元論不會被眾多的非經典邏輯所接受, 如上面Read所指出的, 他們不是互補而是競爭關系。 ([2])

    BR的論述以及其他邏輯學家對他們的評論可以看到, 他們所謂的一元或多元是就哪種或哪幾種邏輯正確地反映、刻畫了實踐中正確的推理而言的。今天普遍采用弗雷格、羅素與塔爾斯基發展出的形式化的方法來刻畫與反映, 最終所得到的是各種具體的邏輯形態。但是BR及其評論者們都忽視了這里其實有兩個層次。首先, 實踐中, 推理正確與否如何界定的問題, 界定要遵循什么原理?這是第一層次的問題。其次, 采用形式化的方式去刻畫與反映正確推理, 就是從具體的推理抽象掉某些成分, 得到一類模式。抽象掉哪些成分?標準是什么?也就是如何抽象是正確的?我稱此為第二層次問題。無疑, BR的多元論顯然是就后一個問題而言的, 而且更具體地, 是就最終所得到的邏輯形態而言的。這只是后一個問題中的一部分, 是已經采取了形式化的手段, 得到了后承模式, 在模式中留下參數, 從而得到多元。這種多元論通常被人所接受。在第二層次, 更關鍵的地方在于:如何形式化?也就是, 對推理中涉及的各種成分如何取舍?怎樣的抽象才是正確的。這不是容易回答的問題。如此明晰層次后, 問題就不難回答。本文的觀點是, 在第一層次, 多元論與一元論的爭論, 屬于形而上學之爭, 例子是經典邏輯與直覺邏輯, 其背景是經典數學與直覺主義數學。第二層次的問題, 即如何刻畫與抽象的問題, 是怎么 (用現代方法) 描繪呈現邏輯的問題。其中的“邏輯”屬形式化之前, 即第一層次范圍。因此, 多元論與一元論之爭, 存在不同的層次, 有不同的視角。除BR之外, 也有人從其他角度引出、探討邏輯多元論。如G.Russel認為 ([9]) , 人們對什么是真值承擔者的理解有分歧, 而分歧各方難分勝負, 由此也會導致邏輯多元論。這種角度應屬于本文所界定的第二個層次的問題。

    論文下一節先討論第一層次所引發的爭論, 然后討論第二層次的問題, 即有關怎樣呈現正確的邏輯的問題, 在此基礎上我們再辨析多元論與一元論之爭。

    2 多元論的不同層次

    2.1 第一層次的多元論

    在進入邏輯多元論的分層討論之前, 我們先讀一段阿蒙烏斯的話:

    如果你采用帶著具體詞項的三段論, 如柏拉圖用三段論證明靈魂不死時所作的那樣, 那么你就是把邏輯作為哲學的一部分來對待;但是如果你把三段論作為用字母陳述的純規則來看待, 如“A表述所有的B, B表述所有的C, 因此, A表述所有的C, 如逍遙派遵循亞里士多德的教導所作的那樣, 那么你就是把邏輯作為哲學的工具來對待了。 ([15], 23)

    所謂作為哲學的一部分的邏輯, 就是邏輯于哲學的運用。而作為哲學工具的邏輯, 就是邏輯作為工具本身的研究, 是關于形式的。但是, 即使將邏輯的運用與邏輯本身分離開, 作為工具本身的邏輯發展到一定階段依然會進入到哲學領域。哲學領域不止包含世界本原研究, 也包含對人類認識本身的研究, 后者將最終觸及最底層的原理與基本概念的認識。這時不是邏輯運用于哲學, 而是邏輯學本身的發展進入到形而上學階段, 是邏輯學成熟的標志。這時邏輯的分歧就是哲學觀念的差異。而在此前階段, 對邏輯工具本身的研究, 只是將工具展現出來, 如果有差異, 這種差異只是展現形態與方式的差異, 是基于原理之上的展現, 而沒有觸及形而上學的原理本身。本小節以下是分析由于形而上學觀的不同導致的邏輯差異, 著眼點在于“真”概念。而后一個小節的討論不觸及“真”概念, 不涉及哲學觀念。

    一個學科中那些基本概念最不容易厘清。它們是在學科發展到較為成熟之后, 才被拷問。邏輯學中的“真”概念即是如此。19世紀之前, 人們并未對“真”概念本身作深入分析。一直到19世紀, 邏輯學家才對人們一直普遍使用的“真”概念展開集中充分的討論, 并一直延續至今。人們認識到其含義非常復雜, 難以澄清。伴隨著討論的深入, 各種真理論隨之紛紛涌現。 (參考[4]) 有關真的這些討論關涉兩個方面。一方面是與真概念的實際使用相關的, 即實踐中推理評判普遍原理問題;另一方面是“真”概念本身。針對前者有分歧是指人們使用概念對事物即推理分類意見不一, 對分類的邊界劃在哪兒有分歧。后者是由于真概念本身的特殊性, 導致如何表征被分類的事物的問題, 例如, 事物本身是語句還是命題?命題是什么?形式化的方法如何實現?前者是何為正確的推理這個問題, 后者是如何正確地刻畫所獲得的正確推理這個問題。而事實上人們在這兩個層次都有爭議。

    BR的做法為例, 他們借助后承關系界定多元論, 而后承關系的定義GTT又依賴于“真”這個邏輯學中最為基本概念。如果“真”這個概念是給定明確了的, 那么BR這種處理方式是可以的。但對GTT所依賴的“真”這個概念, 人們的觀點并非一致。使用一個自身含義不明確的概念定義后承關系, 所獲得的多種后承關系可能就不清晰、不完全, 或者, 完全但并不能歸之于所包含的那個明顯的參數x-情形。后承關系是句子集與句子間的關系, 后承關系定義中使用了“真”這一概念, 說明這個定義依賴人們理解了一個句子是真這類語句的涵義。也就是, 人們先理解了“真”, 然后借助真去說明后承關系。因此, “真”概念先于后承關系, 界定某種邏輯后承關系, 無法避開“真”這個概念。如果是“真”概念決定了邏輯, 進而決定了后承關系, 那么由GTT來界定多元就至多只是角度之一。事實正是如此。正如這兩位作者提到的, 弗雷格、羅素等現代邏輯創始人都是將邏輯看成是關于真的理論, 關于真之規律的科學。現在人們一般都認為邏輯是研究后承關系的, 邏輯真只是后承關系的一種特例。 ([1], 1213) 用所得的后承關系去定義邏輯真, 將邏輯真看作是一種空集的后承, 作為研究的一種方式當然可以。但是, 從學科發展史來看, 這種視角是欠妥當的, 有本末倒置之嫌。這種視角割裂了邏輯與形而上學。

    筆者認為從“真”概念的角度理解邏輯, 是一種更為根本的邏輯觀, 能體現邏輯本來所具有的特性。以下通過“真”概念理論來闡明其如何影響人們對邏輯的理解。

    上個世紀數學哲學領域中的邏輯主義與直覺主義的爭論是關于 (數學) 真的性質的分歧。邏輯主義持實在論。它認為真是客觀的, 人們探索真是發現業已存在的真的規律。但它并不是符合論。思想屬于第三域。 (參考[12]中《思想》一文) 如果把“是真的”看作謂詞, 真是對第三域的描述。在認識論上, 主體通常借助語言把握真, 但是, 是否能夠把握、把握得如何, 既不取決于語言, 也不對真產生任何影響。“如果它們是真的, 則它們總是真的”“它們的真是沒有時間性的”。 ([12], 227) “同一個思想不能時而真, 時而假, 相反, 人們在這樣說時所考慮的情況總是涉及不同的思想”。 ([12], 234) 直覺主義則認為, 真是心靈創造的結果, 它依賴人們心靈對其的構造。人們探索真是發明真的過程, 在此之前真原本不存在。這是一種反實在論立場。關于真觀念的這種差異進一步導致對命題的理解有差別。在陳述句有真假的前提下, 陳述句是非真即假的。弗雷格認為, 陳述句表達了涵義, 指稱了真值即真假。而對于直覺主義數學家, 一個數學命題并非外在于人們的認識而有真假, 它是人們心靈關于數的認識展現, 對其的斷定依賴人們心靈關于該命題所陳述的數的認識。數學命題的特征使得斷定一個數學命題即為給出了它的證明。不過, 直覺主義要求這種證明是構造性的。對照經典邏輯, 理解構造性的一種方式是, 不能預設一個命題非真即假。因為有可能一個陳述的內容沒有被人們心靈所認識, 沒有被證明, 而與之矛盾的命題同樣沒有被人們心靈所證明。因此, 構造性的證明不允許使用反證法。基于此, 陳述句的所指不是真假, 而更像是證明。變元p的解釋不是或真或假, 而是p是否被證明了。雖然在原子命題上要么真要么假, 與要么被證明, 要么沒有被證明, 二者都是非此即彼的不相容關系, 沒有差別, 但進入到復合命題, 差別會顯示出來。斷言?p不是指沒有證明p, 而是證明了p不成立, 或者說, 證明了p不會有證明。如此考慮, 廣義后承關系定義使用的“真”這個概念無法統攝經典邏輯與直覺主義邏輯。經典邏輯與直覺主義邏輯之間的差別不是后承關系的區別, 而是對“真”概念的理解有區別, 是對哪些事物為真有分歧, 是用“真”概念去劃分事物界限在何處有分歧。在這種框架下可獲得經典邏輯與直覺主義邏輯。而其他邏輯類型所關涉的主要是第二層次的爭議, 是關于如何形式化的問題。澄清這一問題需要考察弗雷格的邏輯思想。

    2.2 第二層次的多元論

    弗雷格邏輯思想發展歷程經歷了由符號表達概念內容到符號表達涵義、指稱 (意謂) 所指的轉變。伴隨此轉變的是, 弗雷格從強調概念內容對于其概念文字的重要性到強調所指是其概念文字所關注的重點的轉變。他批評其所處時代內涵邏輯學家過于重視內涵。“人們也許發覺思想之間缺少一種內在聯系;人們不太明白, 對于思想只應該考慮它是真的還是假的, 而實際上根本不應該考慮思想內容本身。這與我關于涵義和意謂所斷定的東西有關。” ([12], 235) 弗雷格這些話就是針對人們由于對實質蘊涵不理解而認為要考慮前后件之間內容上的關聯。這就是后來人們追求的嚴格蘊涵。弗雷格認為, 這些人所給出的認為思想本身更起作用的解釋, 將表明“要么還需要由思想補充的東西歸根結底是完全多余的, 由此只是把問題復雜化, 不會有任何收益, 要么句子 (條件句和結果句) 是準句子, 它們均不表達思想, 因此實際上并不是像人們希望的那樣使思想聯系起來, 而是使概念或關系聯系起來。” ([12], 235) 這可以看作是對當前相干邏輯狀況的預見。相干邏輯的語義解釋比起經典邏輯確實復雜得多。經典邏輯與相干邏輯的區別不是上述關于真的形而上學觀念不同造成的, 而是對符號表達的涵義 (思想) 在推理中所扮演角色的理解不同造成的。相干蘊涵除了實質蘊涵外還含有內容上的考慮。經典邏輯與模態邏輯間的區別同樣是由此造成的。模態邏輯的嚴格蘊涵相當于必然與實質蘊涵的復合, 比實質蘊涵承載更多的內涵。實質蘊涵比這兩種蘊涵更抽象、單純, 語義解釋更簡單, 但是更為基礎。同樣, 條件句邏輯研究對象包括虛擬條件句, 條件句之真值依賴虛擬語境下前件之為真的情形, 而非僅僅根據事實遵循真值表計算。所謂的經典邏輯中的規則失效, 例如傳遞規則失效, 也是由于除了真值外, 還將前后件的內容考慮進來, 使得原來在僅對真值關系成立的關聯不再成立。任何更復雜的蘊涵, 只要是對“如果……那么……”的刻畫, 都包含了實質蘊涵在其中。 (有關它們之間關系的詳細闡述請參考[17]) 由于這幾種非實質蘊涵的語義解釋都可以用關系結構解釋, 所以, 使用GTT的情形參數可以統攝它們。

    GTT解釋思路是從不同類型邏輯的形式語義出發的, 通過后承關系來界定, 所獲得的多元與前述的從哲學的角度獲得的多元相比, 層次是不同的。此外, GTT這種刻畫方法有相當大的局限性。把涵義考慮進去, 將內容相關性抽象成語義成分中的情形類型, 從方法上是可疑的。 (詳細展開請參考[16]) 在此筆者再強調一點, 實質蘊涵的單純性在于排除前真后假這種情況, 至于怎么排除, 為什么能排除, 實質蘊涵不加考慮, GTT能統攝的相干等其他類型的蘊涵, 恰恰是要對此補充說明。問題是, 情形參數能反映這些蘊涵所追求的除真值以外的內容上的關聯嗎?答案是可疑的。弗雷格設想的是, 以其邏輯為基礎, 增加反映這些內容的概念詞, 而獲得特殊領域內的一種理論, 例如, 集合理論, ZFC理論是典型代表。它刻畫了元素與集合間的屬于關系這一概念。其他的如歐氏幾何形式化, 經典物理的形式化等等。

    當前非經典邏輯普遍做法是使用弗雷格、羅素、塔爾斯基等人構造的現代邏輯研究的方法運用于刻畫某個具體領域語境下的推理問題。它與某個學科理論有區別。理論是人們對某個領域內的知識的整理, 表現形式就是知識對象明確化, 知識體系概念化、系統化。而條件句邏輯、相干邏輯是人們針對各種語境下“如果, 那么”類型句子的真值判定方法與真值表所給不吻合而構造出來的。不吻合是表面的, 因為所謂例外都是不成立的, 它們都沒有違反實質蘊涵, 即它們都排除前真而后假情況的出現。只是在實質蘊涵的要求之外還增加了其他方面的考慮。為將這些其他方面考慮進去, 它們采用的辦法或者是增加聯結詞或改變聯結詞的意義, 而非增加謂詞。這一特征立即將它們與弗雷格的設想——邏輯是研究真之規律的——區分開來:它們的對象都不明確。人們可能會說其研究對象是某些類型的推理。但是實質蘊涵概括了所有推理的最為根本的特征:排除前提真結論假。反事實條件句等類型, 同樣是遵守的。只是由于反事實性, 使得遵守于其而言成為平凡的情況, 而相干蘊涵還要考慮內容相關性, 等等。從形式語義或理論模型的角度看, 當然可以將這些類型的邏輯理論為研究某種抽象的結構, 但是這類結構與邏輯所追求的更逼近日常語言中的“如果……那么……”距離相當遠。在這種意義上, 其研究對象較為模糊。

    從起源看, 邏輯與哲學是一體的。哲學要擺脫神話的想像特征, 力求合乎理性。當理性要求由自發變為自覺, 邏輯逐漸獲得獨立地位。形而上學視角將獲得對邏輯最深層次的區分。而其他視角獲得的各種類型的邏輯, 都是人們對各種具體語境中推理要素的抽象, 有時甚至考慮到論據為真的要求, 按照當代邏輯研究的范式——代表就是經典邏輯——構建的形式系統。它們幾乎都是不同領域推理或論證的模擬與抽象。其共同的最低要求是, 不能出現真前提假結論的情況。僅滿足此條件即為經典邏輯。相干邏輯等眾多其他非經典邏輯, 是要求更多而得到的結果, 是在經典邏輯基礎上進一步篩選模式 (或公式) 的結果。因此, 這種多元性, 與第一層次的多元性出發點是不同的。按這種層次劃分理論, 子結構邏輯是對這里的第二層次上的各種邏輯的一種梳理與統合, 也許可稱之為結構推理研究。 (參考[11], 14)

    借鑒經典邏輯成熟的研究范式, 人們構建嚴格的語義、語法, 獲得了為人們認可的一種邏輯。各類型邏輯的研究方式相同。這屬于邏輯中的研究。不過, 人們都不太關注邏輯后的研究, 不怎么反思:如此構造的邏輯達到了當初目的嗎?弗雷格構造概念文字是為邏輯主義做推理工具, 其目的達到了。公理集合論ZFC是基于一階邏輯, ZFC通常被視為數學的基礎。后來其他類型的邏輯, 沒有如此宏偉的具體的目的, 就很難評判其是否成功。但是如上梳理對比, 可以看出后者的哲學基礎是薄弱的。

    本節最后簡單討論達科斯塔創立的亞相容 (弗協調、次協調) 邏輯在GTT視角下的位置。弗協調邏輯的核心思想是摒棄p?pq (矛盾式實質蘊涵任何命題這一所謂的司各脫律) , 在此前提下保留盡可能多的經典邏輯部分。它的宗旨是作為不平凡的理論的邏輯基礎。它認為, 能推出一切命題的理論是平凡的, 不可取;否則, 可以被其接納。所以, 盡管相干邏輯也不承認司各脫律, 但各自的出發點不一樣。相干邏輯是從內容相關角度考慮, 后者是出于理論不能是平凡的考慮, 與經典邏輯的不同僅在于否定詞, 其蘊涵詞與經典邏輯的是相同的, 是實質蘊涵。它的形式語義難以使用關系結構解釋 (參考[5,10]) , 難以歸入GTT的一種示例。其突出的特點是, 它沒有等值置換規則。或許, 這暗示了亞相容邏輯不只是考慮語法形式的特點。然而, 由于其否定詞的意義不明確, 我們難以準確地把握它在邏輯族譜中的位置。但是可以肯定的是, 其否定詞意義絕不是經典邏輯意義上的否定, 它只是表面上排除了p?pq, 這種邏輯實質上也使用現代邏輯研究手段, 在一定程度上遵循了直觀的想法, 獲得了一種為現代邏輯研究范式所認可的邏輯類型, 成為按語義角度劃分獲得的多元論所認可的一個成員。

    3 多元論與一元論之爭

    的確, 通常我們都要求說話寫文章符合邏輯, 但不會深究細說是哪種邏輯, 默認就只有一種邏輯。這種邏輯是什么呢?它最重要最基本的一條要求就是所說所寫自洽, 即滿足不矛盾律。其他的內容包括, 觀點清楚鮮明, 不含糊, 即排中律;概念明確, 論題確定, 這就是同一律;內容前后相關, 理由能支撐結論, 這就是充足理由律。以上所述是任何一種論證、任何一個具體的論證都必須遵守的。一元論所指的邏輯就是傳統邏輯講的基本規律所要刻畫的。它在亞里士多德時期就基本被總結出來。這種邏輯是理性思維的一個根本特征, 是任何推理論證都要遵循的準則。在這個層次上, 如果有不同的邏輯, 就是形而上學的差別, 此時邏輯與哲學應當是同義的。如前面指出的, 對排中律持贊同或反對而造成不同的邏輯, 這種多元屬于第一層次的多元。盡管對不矛盾律也有類似的不同態度, 但如果在這個層次上區分由此造成觀念差別, 筆者認為其應當歸屬辯證邏輯與形式邏輯這對范疇所言說的。這一層次的不同態度, 是對所思與所是同一與否這個問題的不同回答造成的。贊同所思與所是同一, 則是正統的, 通常被稱為經典邏輯。否則, 則是異類。異類又依如何不同一可進一步細分, 或者認為思反映是有遺漏, 或者, 有錯亂。直覺主義屬于前者, 辯證邏輯屬于后者。

    由于邏輯研究手段的更新進步, 今天人們潛意識里要求邏輯應該是以形式系統的方式呈現出來的, 但是, 前面對各種規律的陳述, 按今天對邏輯的理解, 只是一種前邏輯理論形態。它以自然語言表述規律的方式闡述了人類理性思維的特征, 同時也相應地給出了思維規則。它沒有今天更為常見邏輯理論特征:形式語言的語法規范, 語義解釋, 及其語法與語義的相互關系等等。今天邏輯學界研究理性思維, 刻畫其特征, 通常都遵循自弗雷格開創以來的路線, 借助形式語言展開。然而, 人們不可能將上述的對理性思維本質刻畫的前理論形態的邏輯以今天的這種形式化的方式照相式地呈現, 而必須有所取舍, 只能素描式地呈現。前理論形態說出了理性本身之道, 后者給出的只是一個個載道之具, 展現了理性之道, 但本身并等同于道。這其中的關系不容易把握。筆者在此引用金岳霖先生在談論邏輯與邏輯系統關系的一段話:

    現在要提邏輯與邏輯系統的分別。邏輯是邏輯系統所要表示的實質, 邏輯系統是表示邏輯的工具。對于邏輯系統, 邏輯可以說是“type”或者暫名之為“義”;對于邏輯, 邏輯系統可以說是“token, 或者暫名之曰“詞”。

    從“義”方面著想, ……邏輯就是“必然”。……它不是研究類的學問, 或研究關系的學問, 或研究命題的學問。但是沒有以上所說的“詞”或“token, 我們不能或不容易表示邏輯。那就是說, 不容易或不能表示“必然”。表示“必然”就要“詞”。

    邏輯系統……雖然以命題, 類或關系為它的原子, 而它不是研究命題, 類或關系的學問。這些東西是系統的工具, 不是系統的對象;是系統的“詞”, 不是系統的“義”。 ([13], 516517)

    雖然金岳霖先生討論的是邏輯與邏輯系統, 但他的義與詞的說法可以推廣到我們現在的邏輯多元論與一元論之爭。多元論之多元, 是以具體的詞表達一元, 即邏輯, 而表達的只是義之某一側面, 但它們自身不能等同其努力傳達的東西, 即不能等同于邏輯。具體的各種邏輯形態, 通過截取邏輯之一個側面, 對推理做某種理解, 進行抽象, 以現代邏輯形式手段展現這種理解。各種展現形式本身之間的關系只是詞之間的關系, 但無論哪一種, 在展現形式上都是平行的, 哪一種都不能被說成道本身, 不能等同于其背后要刻畫的邏輯。當然, 這并不排除各種形式之間可以比較, 有繁間差異, 有包含等價等關系。這些結果反映的更多的只是各種邏輯類型在截取義時的考量有差別, 是邏輯形態特征。

    關于如何“素描”, 弗雷格與劉易斯等人有不同的理解, 但他們對所要描摹的對象沒有分歧。現在多元與一元爭論不休, 筆者認為重要的原因在于沒有區分描摹對象與描摹方法不同層次的問題。也就是文章開關所說的第一層次與第二層次的問題。Priest等人堅持有真正的矛盾 ([6,7]) , 所以他堅持亞相容 (弗協調或次協調) 邏輯是唯一正確的邏輯。這就有將兩個層次混淆的嫌疑。按前者, 其堅持的是“是”本身有矛盾, 其觀點更恰當地應被稱為辯證邏輯。這種觀點下的“是”是否能按弗雷格的方法呈現本身是大有疑問的。筆者的觀點傾向于否定, 但限于篇幅不在此展開。而Priest本人所呈現給大家的亞相容邏輯, (以形式化的方式) 說了當思本身不相容時怎樣正確地推理。

    面對同樣的“是”, 如何描繪此“是”?劉易斯堅持不同于弗雷格的理論, 但采用了弗雷格的方法。相干邏輯學家等也是如此。雖然他們所得到的邏輯有人認為要歸于“補充經典邏輯”的名目下, 與經典邏輯不是競爭而是補充的關系, 有人則認為應屬“反經典邏輯”類別, 與經典邏輯是對抗的。但這些名稱差異不重要, 甚至名稱背后所顯示的目的的確不同, 這也不重要, 重要的是, 從技術角度看, 其做法都屬于自治 (autonomy) , 增加算子或是賦予蘊涵以不同的解釋。但是, 經典邏輯經過適當地擴張, 增加非邏輯符號甚至擴張成多類型語言, 在如此編制 (regimented) 的語言中, 同樣可以達到與自治同樣的效果。 ([3], 1320)

    劉壯虎教授使用鄰域語義學刻畫了不同的蘊涵, 得到如下結果:

    一個可能世界上為真的條件可以是不同的, 但它們的有效性的條件都是相同的。因為推出關系是由蘊涵的有效性刻畫的, 所以推出關系只有一個。從邏輯是研究推出關系的意義上說, 邏輯只有一個, 不同的邏輯系統的區別僅在于它們研究的是不同的命題算子。 ([14], 5864)

    邏輯通常被理解為研究推理的, 邏輯間的差異根本體現在蘊涵詞的含義上。針對本文語境, 上面引文所言即為第二層次不同邏輯類型下蘊涵詞的含義豐富程度問題, 其結論與論文此前的分析結果是一致的。在第二層次上出現的多種邏輯形態, 都試圖呈現第一層次的 (某種) 邏輯, 而后者 (這種邏輯) 本身不可能成為第二層次的多元論中的任何一種;而前者 (這些邏輯) 的區別只是方法與重點差別而已。具體而言, 重點差別是指, 不同領域中的推理由于關注的對象不同造成各種不同因素對推理保真產生影響, 于是要將不同因素加以刻畫, 故此刻畫的重點自然不同。方法上的差異體現在編制與自治二者之區別, 也即是在經典邏輯的基礎上擴張成一階理論與增加算子或給予蘊涵詞不同解釋之間的區別。弗雷格當年的設想是前者 (參考[12], 4) , 歷史上最成功的做法首推一階算術理論。增加算子或對蘊涵詞做不同解釋, 往往是新建一種與經典邏輯相競爭的某某邏輯, 造成前述的第二層次上的多元論, 如模態邏輯、相干邏輯以及今天所能看到的弗協調或亞相容邏輯。但是很可能這是不當地將理論與邏輯相提并論了。這就好像, 弗雷格建造了邏輯舞臺, 剩下的只是根據不同劇本 (推理場景) 選取不同的道具 (非邏輯符號) , 而并非另建造一個舞臺。如果接受編制的做法, 那就在第二層次上消解了多元論。如果承認自治的做法, 就朝第二層次上的多元論方向邁進了。

    今天許多爭論都是源于沒有清晰地區分這兩個層次所致。站在第二層次的一組具體的邏輯形態角度, 一元論如果指在這一組邏輯背后所持有的第一層次邏輯是同一個邏輯, 則完成可以成立。同時在第二層次上, 多元也是不爭的事實, 如此一元論與多元論都成立。但這是跨越層次所致。爭論中“邏輯”一詞含義前后是不同的。如此意義上的多元論本身意義不大, 至少就BR所建議的那種多元論。這也是為什么許多人批評BR所持的觀點陷于相對化的多元論因而平凡的原因。有意義的、關鍵的在于, 我們認清這是對同一種是的不同思, 即對于何為正確的推理觀點一致, 但如何刻畫推理觀點不一。區分兩個層次可以讓我們看清爭議的焦點是什么;而看不到這種區分導致了今天許多無謂的爭議。最后筆者承認, 在第一層次上問題極為復雜, 爭議不易消解, 甚至無法消解。不過第一層次上的邏輯實際是一種哲學觀。在此多元論與一元論的爭論是不同哲學觀念之間的分歧。

    【參考文獻】

    [1] JC Beall and G.Restall, 2006, Logical Pluralism, Oxford:Oxford University Press.

    [2]J.A.Burgess, 2010, “Review of JC Beall and Greg Restall, ‘Logical Pluralism’”, Philosophy and Phenomenological Research, 81 (2) :519-522.

    [3] J.P.Burgess, 2009, Philosophical Logic, Princeton, New Jersey:Princeton University Press.

    [4] P.Engel, 2002, Truth, Bucks:Acumen Publishing.

    [5]C.Mortensen, 1980, “Every quotient algebra for C1 is trivial”, Notre Dame Journal of Formal Logic, 21 (4) :694-700.

    [6]G.Priest, 1979, “The logic of paradox”, Journal of Philosophical logic, 8 (1) :219-241.

    [7]G.Priest, 1997, “Sylvan’s box:A short story and ten morals”, Notre Dame Journal of Formal Logic, 38 (4) :573-582.

    [8] S.Read, 2006, “Review of JC Beall and Greg Restall, ‘Logical Pluralism’”, Notre Dame Philosophical Reviews, https://ndpr.nd.edu/news/logical-pluralism/.

    [9]G.Russell, 2008, “One true loigc?”, Journal of Philosophical Logic, 37 (6) :593-611.

    [10]I.Urbas, 1989, “Paraconsistency and the C-systems of da Costa”, Notre Dame Journal of Formal Logic, 30 (4) :583-597.

    [11] 馮棉, 結構推理, 2015, 桂林:廣西師范大學出版社。

    [12]弗雷格 () ;王路 () , 弗雷格哲學論著選輯, 2006, 北京:商務印書館。

    [13]金岳霖, “不相容的邏輯系統 (1934) , 金岳霖學術論文選, 1990, 北京:中國社會科學出版社, 514-530頁。

    [14]劉壯虎, “邏輯系統中的蘊涵”, 邏輯今探, 1999, 上海:社會科學文獻出版社, 58-64頁。

    [15] 盧卡西維茨 () ;李真、李先焜 () , 亞里士多德的三段論, 1995, 北京:商務印書館。

    [16]余俊偉, “關于模態形而上學的幾點思考”, 邏輯學研究, 2017年第3, 58-74頁。

    [17]張建軍, “‘實質蘊涵怪論’迷霧之廓清”, 學術月刊, 2016年第12, 31-44頁。

    (原載《邏輯學研究》201902)

     

    金福彩票 55855.com | 3242v.com | www.35155w.com | www.8aobo.com | www.453552.com | www.070977.com | 00669193.com | www.66332l.com | www.7669b.net | 8790m.com | www.t1432.com | 11gg8331.com | www.339281.com | www.hg415.com | 3522qq.cc | www.914904.com | www.tk355.com | p32365.com | www.w77929.com | www.333222c.com | 3202.com | www.88266f.com | www.yh5579.com | 1594003.com | www.js2016.com | 3169m.com | www.068653.com | www.cn365j.com | 11yy8332.com | 39990033.com | www.68365q.com | www.86611m.com | www.338996.com | www.563736.com | 53358h.com | www.792088.com | www.751.cc | 9309208.com | www.571833.com | www.35252t.com | xpj6620.com | www.234892.com | www.biying950vip.com | 18438a.com | 5001e.com | www.48330x.com | www.4xinhao.com | 5281999.c0m | www.83033f.com | www.xb0020.com | 5020.com | www.699915.com | www.98698o.com | hg0698.com | jinguan4455.com | www.4833042.com | www.bet3650814.com | 131uu.net | www.50024l.com | www.789324.com | 67890s.com | www.399190.com | www.r80288.com | www.wugou135.com | qqq3405.com | www.hr4888.com | www.58665k.com | 3189vv.com | 668cp55.com | www.954321z.com | www.y18kk.com | hjcp3.com | deerdz.com | www.p98478.com | www.sky788.com | jxf963.com | www.755903.com | www.4078g.com | 5010.com | 4255ee.com | www.904820.com | www.lhg888.com | www.6491t.com | ca5033.com | www.900248.com | www.p063801.com | www.4xinhao.com | 9993657.com | www.555446.com | www.490804.com | www.836666e.com | 50067x.com | 4488622.com | www.54400l.com | www.5504v.com | 1728862.com | 4255b.com | www.621312.com | www.3678.com | www.161514.com | 365399.bet | 305710.com | www.589044.com | www.362bbb.com | www.ubo3388.com | hh7742.com | 3258o.com | www.cb7588.com | www.3421b.com | www.16297799.com | 2443e.com | 11555156.com | www.52072x.com | www.71233x.com | www.4972z.com | www.pj0709.com | 7811o.com | dzc333.com | www.828516.com | www.4561.am | www.haomen2002.com | www.6033k.com | 4036444.com | 7945jj.com | www.c9332.com | www.3w111.com | www.81789.com | www.yh66606.com | 4590oo.com | rf034.com | www.606647.com | www.2118037.com | www.00773t.com | www.28624.com | 7088000.com | 86811pp.com | mgm01.net | www.911373.com | www.725603.com | www.4694k.com | www.3459dd.com | 866666v.com | vvv67890.com | 1596bb.com | www.60123a.com | www.2408c.com | www.07679u.com | www.jbs095.com | www.zr305.com | LXYL364.com | ddd1915.com | 9737qq.me | www.26299v.com | www.fen08.com | www.4975.am | www.33678hh.com | www.44499999.com | www.9949q.com | www.28758w.com | 7720r.net | bdg1144.com | 80031122.com | 11889193.com | www.130881.com | www.912483.com | www.32123x.com | www.7920l.com | www.06617a.com | www.36896.com | www.t8119.com | aobo11111.com | gg5144.com | 3435b.com | 85698n.com | 444000ooo.com | 2844z.com | www.306727.com | www.tj92.com | www.75850.cc | www.169097.com | www.56011j.com | www.7415hh.com | www.androidappforxgsaimahui.com | www.330099h.com | www.0853g.com | 272k.net | 668cp66.com | 9649m.com | 3868yhzz.com | 5003bb.com | 3656ii.com | 5906gg.com | 1669a.com | 99009193.com | 1213611.com | 50099d.com | ll2205.com | ky7755.com | www.136031.com | www.315019.com | www.974091.com | www.783090.com | www.cb5388.com | www.ya313.com | www.3479e.com | www.71399g.com | www.08182.com | www.18690a.com | www.ya2019a.com | www.2418001.com | www.68993273.com | www.950058.com | www.9646q.com | www.139975.com | www.m77929.com | www.4923f.com | www.86267g.com | www.99788f.com | www.50051n.com | www.39500q.com | www.26299j.com | www.9928ff.com | www.76gcw.com | www.w593.com | www.870933.com | www.807839.com | www.590791.com | www.209713.com | www.083019.com | 30006k.com | 1483yy.com | 36402222.com | 5443a.com | u8159.cc | 6220j.com | 35252m.com | www.m.8235n.com | www.7337942.com | www.333133y.com | www.143vns.com | www.hg4799.com | www.77731h.com | www.71071a.com | www.88325l.com | www.9187b.com | www.16065g.com | www.23636g.com | www.tlcp7.com | www.558429.com | www.78700e.com | bet3659091.com | 93888js.com | 4255xxx.com | 8901u.com | www.zr985.com | www.133vns.com | www.msc555.com | www.8313g.com | www.hr499.com | www.77803n.com | www.898304.com | www.50064u.com | 3mgmmmm.com | 66066p.com | 36989b.com | 07599a.com | www.2846u.com | www.ns6677.com | www.222367.com | www.jsbet008.com | www.ck7686.com | www.33598v.com | 6946622.com | pp01234.com | 9030r.com | www.10051122.com | www.3agcpw.com | www.44118w.com | www.84141.com | www.389244.com | 9365.la | xpj518.com | 1654hh.com | www.x111888.com | www.71071i.com | www.bd2019a.com | www.hj2111.com | 44992007.com | mmm5682.com | 83086k.com | www.88gg940.com | www.kk55826.com | www.9511888.com | www.756586.com | 8898555.com | 67888u.cc | www.jsjsjs59567.com | www.531msc.com | www.06820c.com | www.52303j.com | www.207882.com | gg1331.com | 66300.net | www.7025b.com | www.50999q.com | www.95777w.com | www.206991.com | 5856tt.com | 33115ll.com | www.69096q.com | www.99552rr.com | www.055b.cc | zhcppp.com | sbd9.vip | www.438msc.com | www.55060f.com | www.7793d.com | 2381j.com | 4488.cc | www.boma0150.com | www.7366007.com | www.yi876.com | 0747oo.com | ww4119.com | www.9679700.com | www.l1432.com | www.mody8.com | yyh910.com | 4138004.com | www.778333.com | www.s98478.com | www.rcw8866.com | 6002x.com | www.7720q.com | www.58118d.com | www.3890b.com | 496hh.com | 67877f.com | www.hg995.com | www.28891e.com | www.81233o.com | 2214zz.com | www.uu0096.com | www.2566y5.com | www.451956.com | 16340001.com | www.333133n.com | www.7036e.com | www.544010.com | 07322222.com | www.sun235.com | www.7920u.com | www.033253.com | 4107x.com | www.0139.com | www.99788m.com | 33886556.com | feicai0734.com | www.4963gg.com | www.818807.com | 99698q.com | www.58777v.com | www.48330q.com | man152.com | 6766gg.com | www.hjcp9.com | www.5ecp.com | 2214uu.com | www.42424688.com | www.68993263.com | 3556js.com | hg85877.com | www.009319.com | www.483552.com | 54140088.com | www.55526u.com | www.ck8199.com | 98955x.com | www.71366x.com | www.97655m.com | 56787ii.com | www.617707.com | www.9187e.com | s4048eee.com | 6218w.com | www.32031t.com | www.50026u.com | 2613e.com | www.10999l.com | www.209880.com | 103niu.com | www.4694f.com | www.374977.com | 55545e.com | www.8473m.com | www.109716.com | 22296jj.com | www.005469.com | 87965ee.com | 1665pp.com | www.vinisi08.com | 0708060.com | www.xpj3358.com | www.7714w.com | 7240w.com | www.6606979.com | www.6611f.cc | 3640s.com | www.h976.com | www.475711.com | 518cp9.com | www.3337795.com | 3121t.com | www.xhtd2233.com | www.66376x.com | 30173388.com | www.5966www.com | www.353990.com | 55818o.com | www.184533.com | 2805z.com | www.930756.com | www.cf9900.com | 092656.com | www.6880ll.com | 2543.am | www.383050.com | www.18593.com | swtyppp.com | www.00773u.com | 188.cc | www.0860n.com | www.22ckb.com | 9649i.com | www.820025.com | kk38648.cc | www.ambjlb.com | www.609712.com | 4255mm.com | www.36581111.com | 3950m.com | www.bwinyz45.com | 58588n.com | www.777753.com | www.351587.com | www.g4383.com | www.50066c.com | 3559gg.com | www.6687i.com | 11422q.com | www.19991m.com | 37111u.com | www.2846o.com | www.809699.com | 11223885.com | www.36788.com | pjfujian.com | www.644103.com | 8159t.cc | www.496408.com | 2019kk.cc | www.79500n.com | 2190a.com | www.336631.com | www.60108i.com | www.777444j.com | www.708330.com | www.bh11234.com | www.2934p.com | kk56988.com | www.21202o.com | 4182f.com | www.9422b.com | 82365e.com | www.86339u.com | 447.com | www.cc00668.com | hg0088.sh | www.k063801.com | 2505.com | www.99552rr.com | pu2018.com | www.y8921.com | 83138o.com | www.506930.com | 8890aa.com | www.681183.com | 3726x.com | www.52062t.com | 4022ee.com | www.0343k.com | mohan2013.com | www.12136.com | wlb555.com | www.78700n.com | 996622vv.com | www.fl62.com | www.6491m.com | www.562601.com | www.88837o.com | 38648xl.com | www.649700.com | 58222f.com | www.98698i.com | 83377g.com | www.12136v.com | 6175u.com | www.81678t.com | ff555p.com | www.960121.com | www.hg97hg97.com | www.106036.com | www.666549.com | 3435x.com | www.4078x.com | 477106.net | www.99080044.com | 228888w.com | www.768639.com | www.as0002.com | 0747x.com | www.8967i.com | yz01.cc | www.777723.com | 28758v.com | www.858399.com | www.z0151.com | 500000953.com | www.80969a.com | 078mmm.com | www.91junzi.com | 32355oo.com | www.341011.com | www.70545d.com | 1665j.com | www.9187x.com | 668cp77.com | www.689632.com | www.8422.com | 3559s.com | www.598282c.com | 3245b.com | www.389344.com | www.3122oo.com | 3078j.com | www.sx1800.com | www.982suncity.com | www.033826.com | www.mhcpgw.com | ii4119.com | www.8039y.com | www.55268ss.com | 3614r.com | www.78680i.com | b2894.com | www.202880.com | www.b948b.com | 4196v.com | www.022cq.cc | www.3170001.com | 6645365.com | www.xhg338.Com | www.xpj8878.com | bet999000.com | www.38775uu.com | 888990033.com | www.hy6935.com | www.xpj8337.com | 99999193.com | www.15355f.com | www.15011i.com | 3726l.com | www.9646r.com | www.ra222.com | hg837.com | www.hb858.net | www.365699.com | 889345.com | www.0343k.com | www.63877a.com | 1389qq.com | www.cp5800.com | www.pj6698.com | 55rr8332.com | www.yd7017.com | www.77537l.com | 6033g.com | www.60123y.com | www.10050730.com | 463.cc | www.ck3578.com | www.cq0066.com | pj7702.com | www.378015.com | www.bwinyz23.com | 168cp-o.com | 66876f.com | www.8998833.com | www.365815x.com | 20833d.com | www.26163y.com | www.hg7684.com | 223blr.com | www.710930.com | www.6776bb.com | 3844ww.com | 3726a.com | www.88065d.com | www.259681.com | 3656xx.com | www.394177.com | www.357076.com | www.789pj.com | hc8001.com | www.6769r.com | www.786555.com | t666c.com | 660499.com | www.6613611.com | www.11114100.com | mg887788.com | www.34788i.com | www.4809q.com | www.2077w.com | www40033.com | www.178387.com | www.9187x.com | www.wns10.com | gg40033.com | www.216299.com | www.4350.vip | www.hg3385.com | 555445.com | www.39957e.com | www.81608f.com | www.ytvip98.com | mg4377.com | 55772007.com | www.77210f.com | www.818515.com | oo2205.com | 23800x.com | www.hy5455.com | www.06617.com | www.6635oo.com | 463j8.com | www.095335.com | www.js02347.com | www.66h6.com | 64111w.com | 0270098.com | www.900140.com | www.5719a.com | www.yh22778.com | hjdc2018.com | 7894n.com | www.979651.com | www.vip9586.com | www.330099g.com | 33382ii.com | ms38648ff.cc | www.915231.com | www.0012.com | www.xpj66989.com | 5804g.com | 7742ii.com | www.156506.com | www.ky1004.com | www.bo123cpz.com | www.234374.com | yabo8000.com | 2222k11.com | www.840979.com | www.8855287.com | www.hg8059.com | 118888o.com | 3679jj.com | 3844ff.com | www.c5127.com | www.yz7706.com | www.79111bb.com | www.8509850.com | 36404400.com | 767365.com | www.531982.com | www.whh4488.com | www.55545f.com | www.2078o.com | 2458.com | 0332h.com | pj111177.com | www.769526.com | www.37266m.com | www.98698r.com | www.z47.cc | 2455y.com | 4461d.com | 1458n.com | www.310787.com | www.82575.com | www.58908a.com | www.46621.com | www.bet3650514.com | i2490.com | 08778l.com | 854817.com | www.495770.com | www.29277q.com | www.2566y9.com | www.56655v.com | www.4tgpd.com | 1483a.com | yt8801.com | i86811.com | pt8338.com | www.401275.com | www.5086e.com | www.08xpj58.com | www.450098.com | www.f8867.com | www.ag2020a.com | 78118877.com | 4488r.com | 15f8.net | 7508x.com | www.225779.com | www.c5637.com | www.703097.com | www.jsdc9666.com | www.99113j.com | www.552772.com | www.7830s.com | 5144v.com | 33dd8331.com | 36403377.com | 85850.com | w2649.com | 2844w.com | www.112779.com | www.858899.com | www.8816l.com | www.8998833.com | www.634505.net | www.8313c.com | www.10444.com | www.23373333.com | www.3643c.com | www.hg7748.com | 2677zzz.com | 6766ii.com | 5856rr.com | pj677.com | 2072.com | 6868oo.cc | 1110099.com | 73999n.com | sg909.com | www.203552.com | www.622207.com | www.cp3.mobi | www.ya939.com | www.91954.com | www.96386n.com | www.8977500.com | www.kj111888.com | www.877636.com | www.j83377.com | www.b35zz.com | www.365022.bet | www.770202.com | www.80365.bet | www.js436.com | www.729666.com | www.22293737.com | www.msc77.net | www.f5566.com | www.5511sb.com | www.55268ss.com | www.21365hh.com | www.2090944.com | www.bet36578.com | www.benz4411s.com | www.7720s.com | www.yh8217.com | www.5777933.com | www.881215.com | www.63877c.com | www.h6635.net | www.xpjvip07.com | www.8694f.com | www.xpj88003.com | www.nnn9702.com | www.k1577.com | www.blr795.com | www.hg5867.com | www.786666.com | www.63328.cc | www.20199ff.com | www.83568q.com | www.9737rr.me | www.xpj16688.com | www.jsc899.com | www.1941.cc | www.89777t.com | www.86267x.com | www.21202n.com | www.24czj.com | www.868422.com | www.510830.com | www.178719.com | 23800f.com | 84511.com | 9737ii.me | hay9256.com | 80567v.com | 4242hd.com | 2649ww.com | www.pj25555.com | www.4625s.com | www.1138js.com | www.37a060.com | www.50999k.com | www.369403.com | www.hg1125.com | www.53900q.com | www.c6465.com | www.369062.com | sxcxt.net | 1366y.com | 00773k.com | 4036vv.com | pj6333.com | www.343xpj.com | www.37vnsvns.com | www.hyzsvip.com | www.55060i.com | www.jsc044.com | www.21202x.com | www.729019.com | www.33997v.com | 3568cc.com | w69441122.com | 00774vv.com | www.410zr.com | www.2833555.com | www.lb22222.com | www.91779b.com | www.4923a.com | www.flff4.com | www.196029.com | fhyl.com | zz4119.com | 2844x.com | www.7830r.com | www.www-50007000.com | www.4058zz.com | www.304005.com | www.978797.com | j1759.com | 2851v.com | 5309789.com | www.8181sun.com | www.3002229.com | www.4136y.com | www.2418o.com | www.918361.com | bowang55.com | 7249d.com | 7893w27.com | www.87680w.com | www.55526e.com | www.1764g.com | www.11gpc.com | 129880.net | 3614k.com | e2554.com | www.692tyc.com | www.1168i.com | www.6678686.com | www.876061.com | t32689.net | xpj66112.com | www.hg9953.com | www.hk6655.com | www.837292.com | www.ascp1.com | 111122uu.com | k14666.com | www.0686333.com | www.4058s.com | www.w63568.com | www.902771.com | sbc883.com | 9068yy.com | www.vns993.cc | www.27363k.com | www.97365.com | www.514077.com | 4270hh.com | dh2147.com | www.279765.com | www.7366009.com | www.070wy.com | 88559193.com | 52599u.com | www.i27229.com | www.9737tt.me | www.82676.com | 983888i.com | 07589.com | www.32329193.com | www.4694g.com | www.66201.cc | 8722hhhh.com | 5350d.com | www.56520e.com | www.q69096.com | www.9cpb.com | 2140099.com | gggg19927.com | www.8837138.com | www.55676b.com | www.599141.com | 8381o.com | www.8181sun.com | www.518175.com | www.9155h.cc | 80850ff.com | df8z.com | www.34656.com | www.hg5013.com | www.52072v.com | 974022.com | www.29886z.com | www.2997771.com | www.576126.com | hg1088.com | www.h6635.net | www.80188u.com | www.890994.com | 3863.com | www.5555wns.com | www.4996cz.com | www.837887.com | 00048r.com | www.v6689.com | www.b33668.com | www.730625.com | 6396x.com | www.7893w41.com | www.960620.com | www.330732.com | 1552666.com | www.1138js.com | www.4988c.cc | 4520088.com | 228888g.com | www.68199.com | www.zfcp5.com | hg128.xyz | www.85770d.com | www.99552mm.com | www.346511.com | ee5002.com | www.355422.com | www.26299g.com | js89e.vip | www.7435o.com | www.33678mm.com | www.202337.com | 91019c.com | www.82142.com | www.686vv.com | 3650744.com | www.21365gg.com | www.7886261.com | 515165.com | 66003885.com | www.hgdc400.com | www.309939.com | 39558811.com | www.938k.cc | www.774255.com | 4231b.com | www.mgdc42.com | www.999hy.cc | 11472222.com | www.js7896.com | www.33588z.com | 5003rr.com | www.js88058.com | www.96386l.com | balidao666.com | www.00829y.com | www.4923c.com | jss1150.cn | www.4107g.com | www.pujing85.com | 5504s.com | www.21365pp.com | www.bet73.com | j15cc.com | www.w9603.com | www.36788w.com | 2jsppp.com | www.j359.com | www.686c.com | 66665.biz | www.bai3355.com | www.684344.com | 711066.com | www.7415g.com | www.040426.com | yhw3.cc | www.1119yl.com | 20174466.com | www.00829x.com | www.54400r.com | 12274444.com | www.8058n.com | www.611874.com | s2490.com | www.06820p.com | 3121f.com | www.668778.com | www.80065q.com | 3143.cc | www.634599.com | www.506931.com | 66876e.com | www.ba502.com | n5429.com | www.yh8352.com | www.66ffg.com | 3405ff.com | www.848777b.com | 80892b.com | www.h067.com | www.8667u.com | 3568oo.com | www.55070s.com | bh889944.com | www.7380pp.com | www.39459.cc | xinvip6.com | www.9981331.com | t32689.net | www.3868218.com | www.ck5589.com | fll8.com | www.7920y.com | 2019.cc | www.6778msc.com | www.99677u.com | www.6802pj.com | www.43818d.com | 3559nn.com | www.14k0048.com | 61789w.com | www.4788msc.com | www.446769.com | www.xin2.net | www.52072p.com | 365102.com | www.33678uu.com | 0038633.com | www.ks1385.com | www.33997o.com | www.benz4411s.com | www.hx1114.com | 5443z.com | www.hg513.com | ddd67890.com | www.469702.com | yd12308.com | www.lxyl360.com | 3413366.com | www.226833.com | www.303861.com | www.353599.com |