面向認(rèn)知的邏輯學(xué)研究

1、面向認(rèn)知的邏輯學(xué)研究第三屆（國(guó)際）邏輯與認(rèn)知學(xué)術(shù)研討會(huì)綜述熊明輝（中山大學(xué)邏輯與認(rèn)知研究所 廣東 廣州 510275）摘要摘要：由教育部百所人文社會(huì)科學(xué)重點(diǎn)研究基地中山大學(xué)邏輯與認(rèn)知研究所主辦的“第三屆（國(guó)際）邏輯與認(rèn)知學(xué)術(shù)研討會(huì)”于2004年5月19日至20日在廣州召開(kāi)。參加大會(huì)的有來(lái)自美國(guó)、臺(tái)灣、香港以及中國(guó)大陸等著名高校的70多位專家學(xué)者。本次大會(huì)的主題是認(rèn)知的邏輯結(jié)構(gòu)。Edward N. Zalta(斯坦福大學(xué)哲學(xué)系教授)、Anil Gupta（匹茲堡大學(xué)哲學(xué)系教授）等20多位專家學(xué)者作了主題發(fā)言。關(guān)關(guān)鍵詞鍵詞：邏輯；認(rèn)知；學(xué)術(shù)會(huì)議中中圖圖分分類類號(hào)號(hào)：B81 文獻(xiàn)標(biāo)識(shí)號(hào)： A在某種程

2、度上，邏輯學(xué)和認(rèn)知科學(xué)都是源于對(duì)理性思維的研究。作為一種研究推理的科學(xué)理論，主流邏輯學(xué)是企圖解釋人們?nèi)绾巫龀觥巴昝馈钡难堇[推理。Aristotle或許是第一個(gè)使用這種方法根據(jù)“直言三段論”這種簡(jiǎn)單推論規(guī)則來(lái)分析理性思維的人。幾個(gè)世紀(jì)以來(lái)，邏輯學(xué)家們擴(kuò)充了這種早期亞氏三段論，開(kāi)始用數(shù)學(xué)方法來(lái)更加形式化和符號(hào)化地表達(dá)邏輯。Leibniz第一個(gè)提出了這種形式化設(shè)想。1847年，Boole出版了邏輯的數(shù)學(xué)分析一書首次定義了現(xiàn)代符號(hào)邏輯，并把邏輯看成數(shù)學(xué)的一部分。布爾的邏輯代數(shù)對(duì)認(rèn)知科學(xué)的計(jì)算理論發(fā)展有著重要的影響，并成了計(jì)算機(jī)數(shù)字電路設(shè)計(jì)的基礎(chǔ)。Frege提出的量化邏輯特別是謂詞邏輯已成為經(jīng)典認(rèn)知科學(xué)

3、與計(jì)算機(jī)科學(xué)許多高層次形式化的基礎(chǔ)。邏輯實(shí)證主義、正在形成的經(jīng)典認(rèn)知科學(xué)和人工智能支撐著這樣一種觀念，20世紀(jì)邏輯學(xué)的發(fā)展為各種推理的精確解釋提供一個(gè)簡(jiǎn)單的框架。基于上述背景，由中山大學(xué)邏輯與認(rèn)知研究所主辦“第三屆（國(guó)際）邏輯與認(rèn)知學(xué)術(shù)研討會(huì)”于 2004 年 5 月 20 日至 21 日在廣州召開(kāi)，參加這次大會(huì)的有除了來(lái)自美國(guó)Stanford 大學(xué)哲學(xué)系 Edward N. Zalta 教授和美國(guó) Pittsburgh 大學(xué)哲學(xué)系 Anil Gupta 教授以外，還有來(lái)自美國(guó) Temple 大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)系、臺(tái)灣中正大學(xué)哲學(xué)系、香港中文大學(xué)心理學(xué)系以及國(guó)內(nèi)的北京大學(xué)、清華大學(xué)、中國(guó)人民

4、大學(xué)、南開(kāi)大學(xué)、北京師范大學(xué)、南京大學(xué)、浙江大學(xué)、華東師范大學(xué)、四川大學(xué)、西南師范大學(xué)等國(guó)內(nèi)著名大學(xué)的 70 多位專家學(xué)者。 “認(rèn)知的邏輯結(jié)構(gòu)”是本次大會(huì)的主題。與會(huì)代表圍繞推理和決策的認(rèn)知模型、認(rèn)知的哲學(xué)基礎(chǔ)、人工智能邏輯、哲學(xué)邏輯等問(wèn)題展開(kāi)了討論和進(jìn)行交流。中山大學(xué)邏輯與認(rèn)知研究所教育部人文社會(huì)科學(xué)重點(diǎn)研究地六個(gè)重大招標(biāo)項(xiàng)目負(fù)責(zé)人：鞠實(shí)兒、梁慶寅、蘇開(kāi)樂(lè)、周北海、蔡曙山和任曉明分別向大會(huì)作了重大項(xiàng)目進(jìn)展情況報(bào)告。美國(guó) Stanford 大學(xué)哲學(xué)系教授、信息與計(jì)算研究中心資深研究員、Stanford 哲學(xué)百科全書主編 Edward N. Zalta 教授作了題為弗雷格、布爾與邏輯個(gè)體學(xué)術(shù)報(bào)告

5、。他認(rèn)為，F(xiàn)rege 提出了經(jīng)典邏輯中抽象個(gè)體存在的抽象原則。最著名是就是 Hume 原則：F 的數(shù)量與 G 的數(shù)量相同，當(dāng)且僅當(dāng)它們二者具有一一對(duì)應(yīng)關(guān)系，即：。Frege 還提出了與 Hume 原則相似的方向原則和形狀原則。加上經(jīng)典GFGF#二階邏輯，F(xiàn)rege 就把這些數(shù)字的存在稱為邏輯個(gè)體。Boole 把 Hume 原則擴(kuò)充到了真值領(lǐng)域真值原則：p 的真值與 q 的真值相同，當(dāng)且僅當(dāng)，p 等值于 q，即：。根據(jù)這些原則，我們可以把所有邏輯個(gè)體系統(tǒng)表述為基本規(guī)律)()(qpqpV：概念的外延與概念的外延是相同的，當(dāng)且僅當(dāng)，概念的所有個(gè)體都被劃歸到概念之中。Frege 的系統(tǒng)都基本規(guī)律 V

6、和二階邏輯的不一致性所決定。Boole改造了 Frege 系統(tǒng)，使得基本規(guī)律 V 與二階邏輯一致。Zalta 比較了他們二者的邏輯個(gè)體理論，提出了屬于邏輯個(gè)體的對(duì)象理論的一系列新的結(jié)果。美國(guó) Pittsburgh 大學(xué)哲學(xué)系教授 Anil Gupta 作了題為論循環(huán)概念的報(bào)告。他提出了一個(gè)簡(jiǎn)單的循環(huán)定義語(yǔ)義學(xué)和邏輯的框架。其任務(wù)有二：一是闡明發(fā)現(xiàn)定義循環(huán)的方法；二是把這種方法用來(lái)檢驗(yàn)兩個(gè)日常概念“理性選擇”和“信念”的邏輯特征。中山大學(xué)邏輯與認(rèn)知研究所鞠實(shí)兒教授在開(kāi)放類邏輯的哲學(xué)基礎(chǔ)一種非規(guī)范三值內(nèi)涵語(yǔ)義理論報(bào)告中提出了一個(gè)與論證描述開(kāi)放類的邏輯必須遵循的語(yǔ)義原則。首先，他根據(jù) Hume 問(wèn)題

7、不可解原理和局部歸納理論提出了開(kāi)放世界預(yù)設(shè)和弱封閉世界預(yù)，并闡明了開(kāi)放類邏輯的兩大特征：(1)開(kāi)放類擴(kuò)展后得到的新成員可能不具有它原有成員借以相互區(qū)別的任何性質(zhì)；(2)開(kāi)放類的成員必須具有的性質(zhì)是開(kāi)放類唯一的不變量。他提出了一種純粹的內(nèi)涵語(yǔ)義學(xué)方法，并利用這種方法建立了一個(gè)內(nèi)涵語(yǔ)義理論，從“性質(zhì)”概念出發(fā)給出了開(kāi)放類及其運(yùn)算的定義、開(kāi)放語(yǔ)句的解釋和語(yǔ)句的真值條件，并用嚴(yán)格的方式表明Hume 問(wèn)題何以可能挑戰(zhàn)演繹合理性。美國(guó) Temple 大學(xué)計(jì)算機(jī)與信息科學(xué)系王培教授在認(rèn)知邏輯與數(shù)理邏輯報(bào)告中提出，當(dāng)我們用一階謂詞邏輯來(lái)解釋和再現(xiàn)認(rèn)知與智能時(shí)會(huì)遇到很多問(wèn)題。這些問(wèn)題的共同本質(zhì)就是它們都存在于數(shù)

8、學(xué)或數(shù)理邏輯之外。認(rèn)知邏輯與數(shù)理邏輯基本上是不相同的，前者不能通過(guò)部分修正或擴(kuò)充后才而獲得。他提出了一個(gè)基于認(rèn)知邏輯的推理系統(tǒng)，給許多問(wèn)題提供了解答。美國(guó) Pittsburgh 大學(xué)哲學(xué)系助教授劉虎博士做了題為信念、覺(jué)知與二維邏輯的學(xué)術(shù)報(bào)告。信念邏輯是人工智能研究的一個(gè)重要方向。他認(rèn)為，把覺(jué)知作為信念的預(yù)設(shè)，使用二維邏輯來(lái)建立覺(jué)知信念模型，使用這種方法給出三種不同的覺(jué)知信念模型：二維廣義覺(jué)知邏輯模型、二維嚴(yán)格覺(jué)知邏輯模型和二維復(fù)合語(yǔ)義邏輯模型，在上述三個(gè)模型的基礎(chǔ)上，分別給出三個(gè)形式公理系統(tǒng)；并且證明了相應(yīng)的元定理，其中包括有效性定理和完全性定理。中山大學(xué)邏輯與認(rèn)知研究所趙希順教授在非單調(diào)推理

9、的復(fù)雜性和可編纂性報(bào)告中認(rèn)為：可編纂性（compilability）是研究各種邏輯系統(tǒng)的表達(dá)能力、推理復(fù)雜性的重要概念。直觀地講，說(shuō)一個(gè)知識(shí)庫(kù) KB 是可編纂的，如果存在另一個(gè)數(shù)據(jù)庫(kù) DB 滿足：(1)DB 何KB 所長(zhǎng)的空間資源大體相當(dāng)；(2)DB 和 KB 有相當(dāng)?shù)耐评砟芰Γ?3)利用 DB 進(jìn)行推理比利用KB 進(jìn)行推理效率高。如果 KB 時(shí)刻編纂的，則可離線把他編纂成 DB,這樣就可大大地提高在線推理的效率。如果一類知識(shí)庫(kù)不是可編纂的，則說(shuō)明他們有很強(qiáng)（超過(guò)人們預(yù)期）的表達(dá)能力，這是需要進(jìn)行限制來(lái)獲得可編纂的知識(shí)庫(kù)。他首先介紹了可編纂性極其重要意義，在回顧了關(guān)于科編纂性已有成果，以及他本

10、人在這方面取得的最新成果：一般缺省邏輯，一般限定理論等的可編纂性與計(jì)算復(fù)雜類之間的聯(lián)系。最后，報(bào)告人還展望了該課題的未來(lái)發(fā)展。中山大學(xué)邏輯與認(rèn)知研究所李小五教授作了題為認(rèn)知邏輯的關(guān)系概率語(yǔ)義學(xué)術(shù)報(bào)告。他對(duì) C. G. Morgan 在Probabilitic semantics for propositional modal logic（1983 年）中提出的關(guān)系概率語(yǔ)義進(jìn)行了修正, 引入模態(tài)框架的概念，用主體的信念集的更新來(lái)表示知道算子的認(rèn)識(shí)論意義, 從而證明幾個(gè)著名的認(rèn)知系統(tǒng)的框架可靠性定理和框架完全性定理。另一方面，我們討論了上述結(jié)果的哲學(xué)意義，指出相信、確信和知道這樣一些重要的認(rèn)知概念

11、之間的聯(lián)系和區(qū)別，指出 Morgan 原來(lái)的語(yǔ)義由于沒(méi)有框架概念所帶來(lái)的不足。最后我們討論了幾條重要的認(rèn)知公理的正當(dāng)性，指出系統(tǒng) KD45 是刻畫知道算子的正當(dāng)系統(tǒng)。臺(tái)灣中正大學(xué)哲學(xué)系彭孟堯教授在推想機(jī)制的模組性學(xué)術(shù)報(bào)告中探討了并澄清了佛德與演化心理學(xué)之間關(guān)于“中央系統(tǒng)的心理機(jī)制是否是模組的”爭(zhēng)議。他認(rèn)為，佛德所主張的“模組”概念跟演化心理學(xué)所主張的“模組”概念有非常大的差異，并指出他們二者的爭(zhēng)議并不是字面的或口頭之爭(zhēng)。最后，他提出，即使我們能化解佛德與演化心理學(xué)之間的爭(zhēng)議，中央系統(tǒng)的心理機(jī)制究竟是否具備資訊膠封性，是一個(gè)認(rèn)知科學(xué)必須解決的真實(shí)而重要的問(wèn)題。南京大學(xué)哲學(xué)系潘天群教授作了題為建立

12、在“笛卡爾公理”上的一個(gè)懷疑邏輯系統(tǒng)學(xué)術(shù)報(bào)告。他認(rèn)為，懷疑邏輯是關(guān)于人們合理懷疑的邏輯。如果說(shuō)知道邏輯、信念邏輯等是“正”的邏輯話，懷疑邏輯則是“負(fù)”的邏輯。將懷疑算子 D 加于命題之上就構(gòu)成懷疑命題。笛卡爾的“我思，故我在”可以作為懷疑邏輯的特征公理：某人懷疑 p，蘊(yùn)涵著他對(duì)懷疑 p 是不可懷疑的我們可以將之命名為“笛卡爾公理” 。從該公理可以推論得到定理：某人不懷疑 p，蘊(yùn)涵著他對(duì)不懷疑 p 是不可懷疑的。該定理與笛卡爾公理一起作為當(dāng)下思維存在的自明性公理。我們可以建立一個(gè)以“笛卡爾公理”作為一個(gè)特征公理的懷疑邏輯系統(tǒng) PD。笛卡爾公理與知道邏輯中的智慧公理（蘇格拉底公理）在邏輯上是同構(gòu)的

13、,它們均對(duì)應(yīng)于模態(tài)邏輯中的 E 公理。懷疑邏輯作為一種認(rèn)知邏輯，有著廣泛的運(yùn)用,它可以運(yùn)用到政策反駁、科學(xué)批判、法律推理等領(lǐng)域。中國(guó)科學(xué)院研究生院人文學(xué)院朱菁在大會(huì)報(bào)告中認(rèn)為：功能主義（functionalism）是上個(gè)世紀(jì)六十年代以來(lái)在心智哲學(xué)中占據(jù)主流地位的一種關(guān)于心身問(wèn)題的學(xué)說(shuō)，為認(rèn)知科學(xué)提供了一種廣為接受的哲學(xué)基礎(chǔ)。Hanoch Ben-Yami 最近針對(duì)以 David Armstrong和 David Lewis 為代表的一種類型的功能主義，亦稱“因果功能論” ，提出了挑戰(zhàn)，認(rèn)為這種形式的功能主義具有其內(nèi)在的難以克服的困難。本文論證 Ben-Yami 對(duì)因果功能論的攻擊是不成立的，其

14、出發(fā)點(diǎn)是他對(duì)因果功能論的基本觀點(diǎn)的曲解，并且不恰當(dāng)?shù)睾鲆暳艘蚬δ苷搶?duì)于回答他提出的所謂理論難題所具有的充足的資源。河北大學(xué)政法學(xué)院張燕京教授在論達(dá)米特對(duì)弗雷格意義理論的繼承與發(fā)展報(bào)告中認(rèn)為：弗雷格從知識(shí)概念出發(fā)論證了語(yǔ)言表達(dá)式含義與指稱的區(qū)別，但這個(gè)論證背后的理論根基是實(shí)在論的真概念，它導(dǎo)致了弗雷格意義理論與語(yǔ)言實(shí)踐的脫節(jié)。達(dá)米特在繼承弗雷格從知識(shí)說(shuō)明意義這個(gè)基本研究理路的前提下，從反實(shí)在論的立場(chǎng)重新闡發(fā)了真概念，并以此為基礎(chǔ)提出了意義理論形態(tài)的新構(gòu)想。弗雷格意義理論到達(dá)米特意義理論的發(fā)展具體例證了當(dāng)代意義理論研究的認(rèn)知轉(zhuǎn)向。華中科技大學(xué)哲學(xué)系陳剛博士針對(duì)笛卡兒的實(shí)體二元論、萊布尼茲的心物平

15、行論和戴維森的屬性二元論所面臨的問(wèn)題，在研究金在權(quán)、塞爾、普特南、查爾默斯等人工作的基礎(chǔ)上，提出了一種知覺(jué)二元論。他認(rèn)為，實(shí)體二元論的致命缺陷是無(wú)法說(shuō)明精神和物體作為不在同一空間的兩種不同實(shí)體是如何因果互動(dòng)的；萊布尼茲用“上帝預(yù)先安排的和諧”來(lái)說(shuō)明心物平行現(xiàn)象，在現(xiàn)代也是無(wú)法令人滿意的。戴維森體系的主要缺陷是論述含糊。他用附生性（supervenience）來(lái)描述物理世界的層次結(jié)構(gòu)，既整體和部分之間的非還原關(guān)系，用同時(shí)性（simultanience）來(lái)描述心物非等同關(guān)系。在此基礎(chǔ)上，對(duì)心物因果互動(dòng)現(xiàn)象提出了一個(gè)說(shuō)明或理解，在假設(shè)大腦的物理運(yùn)轉(zhuǎn)是決定論的前提下，試圖化解自然必然性與自由意志之間的

16、沖突。THE COGNITION-ORIENTED LOGIC: TO SUMMARIZE THE 3rd INTERNATIONAL CONFERENCE ON LOGIC AND COGNITIONXiong MinghuiInstitute of Logic and Cognition of Sun Yat-sen University, Guangzhou, 510275AbstractAbstract: The 3rd international conference on logic and cognition sponsored by key research institute

17、 of humanities and social science in universities, Institute of Logic and Cognition of Sun Yat-sen University, was held in Guangzhou from May 18 to May 20, 2004. More than seventy scholars, who are interested in the study of logical structure on cognition from USA，Taiwan, Hong Kong, and Mainland China, attended at this conference. Edwa