站內搜索
站內搜索
2015年4月25日——26日由黃華新教授擔任首席專家的2011年國家社科基金重大項目——《基於邏輯視域的認知研究》於浙江大學紫金港校區舉行，這次會議重點是探討 “自然語言邏輯、認知與計算”。來自中國社會科學院、北京大學、廈門大學等單位的學者和我校相關專業的老師同學共40余人參加會議。
課題負責人、中國邏輯學會副會長、我校哲學系/語言與認知研究中心教授黃華新在會上發言。學者們圍繞自然語言信息處理的邏輯語義學研究、日常概念與日常推理的邏輯、非標准認知邏輯以及邏輯與認知的相關問題作了比較深入具體的探討。中國邏輯學會長、中國社會科學院哲學所研究員鄒崇理，中國邏輯學副會長、北京大學哲學系教授周北海，原國家語委語用司研究員馮志偉，廈門大學計算機學院教授周昌樂等20余位老師同學在會上作了報告或點評。
合肥師范學院的李可勝教授作了《邏輯、語言與計算——自然語言的形式表征系統》的報告。他指出自然語言邏輯語義學屬於語言學和現代邏輯學以及計算機科學的交叉學科，三門學科在自然語言研究中之所以能夠交匯，其基礎在於自然語言的核心體系是一個具有可遞歸的、可演繹的形式系統。通過這種演繹系統，可以從由規則和初始符號構成的前提集中，推演出特定某種自然語言的表達式和（或）其語義結構。據此自然語言的結構運算（包括句法毗連運算及其對應的語義組合運算）可以納入邏輯刻畫的框架內，從而使得自然語言具有了可計算性。為此目標，既需要從邏輯學方面進行努力，構造出表現力更強的邏輯系統，也需要語言學方面的努力，從邏輯語義的角度解讀自然語言的句法語義結構運算。
湖南科技學院的姚從軍博士作了《面向信息處理的漢語形容詞謂語句的組合范疇語法分析》的報告。他認為組合范疇語法實現了句法和語義的並行推演，它是目前計算機對自然語言進行信息處理的最理想工具。漢語形容詞謂語句是漢語的十大典型句型之一，對漢語形容詞謂語句的處理是中文信息處理的重要任務之一。漢語形容詞謂語句有光杆形容詞謂語句和復雜形容詞謂語句之分，復雜形容詞謂語句更為常見，處理起來也更為困難。使用組合范疇語法CCG 可以處理大多數漢語形容詞謂語句，部分漢語形容詞謂語句還需借助於CCG 的擴展系統CCG方可處理。
中國社會科學院的賈青博士作了《范疇類型邏輯研究》的報告。范疇類型邏輯是范疇語法中的一個重要分支，其使用邏輯，甚至數學
中的方法處理語言學中的問題或者給出語言學問題形式化解釋。范疇類型邏輯發展至今，已經在蘭貝克演算的基礎上形成了多模態范疇類型邏輯、對稱范疇語法和不連續蘭貝克演算等多個分支，以及証明網絡、Gentzen 演算等多種形式表示方法，因此在介紹這些新近研究成果的基礎上，我將就范疇類型邏輯在漢語語言學問題處理中的一些應用，特別是范疇類型邏輯在漢語反身代詞回指照應問題上的應用進行簡要的說明。
青島大學的婁強博士作了《情境與計算》的報告。他指出建立在唯實主義基礎上的情境語義學反對自然語言的邏輯處理，針對語言效率等自然語言現象情境語義學將語境因素引入語義解釋，使用情境理論的技術手段為自然語言提出一個區別於以蒙太格語義學為代表的傳統形式語義學的模型論語義框架。情境語義學的數學本體理論及技術使得在情境理論基礎上提出一個計算框架成為可能。巴維斯從理論創立始就開始思考情境語義學計算方面的問題，指出蒙太格語法基於整體論在計算上難以控制而基於部分論的情境模型論更適合計算上可解執行。納卡什麻、布萊克、提恩和阿克曼等情境學者先后提出三個不同情境計算框架：PROSIT，ASTL 和BABY-SIT，其中PROSIT 和ASTL 是基於情境理論的程序語言，執行不同處理任務，而BABY-SIT 是一個基於情境理論結構的一個計算中介或計算環境，在技術上最接近情境理論。
浙江大學的胡龍彪副教授作了《中世紀兩種語義學及其現代重建》的報告。他認為以西班牙的彼得為代表的實在論語義學和以布裡丹為代表的唯名論語義學代表了中世紀邏輯兩種最主要的完整語義學。然而，它們在語義學上的不同主要不在於其本體論基礎，而在於建構語義學的不同范式。實在論主張不同的范疇意謂不同的本體論對象，兩者之間是一一對應關系。單稱詞項意謂的是單個事物，而普遍詞項意謂的是普遍事物，並且每個本體論對象都是真實存在的實體。而唯名論認為，心靈之外的任何東西在現實中都是單個的存在，現實中除了單個的東西，沒有其他事物存在。附屬於代表單獨概念與普遍概念（概念只是心靈行為，沒有實際的存在）的單獨詞項與普遍詞項意謂的對象是相同的，所不同的是意謂的方式不一樣。單獨詞項是單個地意謂
單個事物，而普遍詞項則是以普遍的方式意謂單個的事物。后者正是所謂的對普遍概念的副詞化處理方式。唯名論語義學的副詞化處理策略還包括對內涵詞意謂的處理。基於詞項意謂的不同，兩種語義學的命題意謂或者真值賦值理論也不同。實在論斷定或承諾命題有作為一個整體而復合意謂的某種東西，特別是其中復合詞項以及內涵詞所意謂的某種東西,並把這種東西的實在性作為命題真假的判斷標准。而唯名論否定命題有作為整體復合意謂的東西，命題的意謂就是其中單個詞項的意謂，但這無法決定命題的真值。唯名論基於副詞化的處理策略，引入量詞，並在詞項量化范圍內，根據命題中詞項所指代的單個實體之間是否有聯合指代而判斷一個命題的真假。在這種語義學中，無論主詞還是謂詞，都既沒有普遍詞項意謂的普遍實體，也沒有命題所意謂的復合實體。唯名論通過這種副詞化的語義處理策略，消除了實在論中“過多且不必要”的本體論承諾。這使得我們可以忽略唯名論與實在論兩者在本體論上的區別，而強調兩者在邏輯語義學領域的部分融合。一般地，唯名論語義學可以通過實在論語義學副詞化而得到。對兩種語義學合理的現代重建，既可以表明其區別與關聯，又可以表明唯名論語義學是如何可以自然邏輯的方式，恰當地表達現代邏輯標准量詞理論。NLS(naturallanguage system)就是一種以形式化的方式而合理建立起來的完整唯名論語義學。NLS 最典型地刻畫了唯名論的詞項意謂規則、命題的聯合指代規則，且非常貼近於人們以自然語言為媒介的日常思維﹔對於建構自然邏輯語義學，具有極強的可操作性，它能夠以自然語言的方式，表達現代一階謂詞邏輯最核心的多量詞理論﹔同時，NLS 無須像現代邏輯那樣,在對集合做出本體論承諾的基礎上去實現謂詞的語義功能。NLS 的建立順應學界倡導用自然的方法去解決自然邏輯問題的熱潮，這也是本文的重要意義以及與主要創新點之一。
課題組其他成員金立、徐慈華、楊小龍、趙夢媛、應騰等青年學者也在會上做了交流發言。
（課題組供稿）
