數(shù)理邏輯之美

內(nèi)容概要

《數(shù)理邏輯之美:方立教授紀(jì)念文集》內(nèi)容除序外由兩部分組成：（一）紀(jì)念文章；（二）學(xué)術(shù)論文。其中“紀(jì)念文章”部分主要由北京語(yǔ)言文學(xué)校長(zhǎng)崔希亮教授、北京語(yǔ)言大學(xué)外國(guó)語(yǔ)學(xué)院院長(zhǎng)寧一中教授和分黨委書(shū)記姚秀英博士、著名語(yǔ)言學(xué)家陸儉明教授（北京大學(xué)中文系）、胡壯麟教授（惡京大學(xué)外國(guó)語(yǔ)學(xué)院）和李行德教授（香港中文大學(xué)）以及方立先生的關(guān)門弟子戴悉心博士和方立先生的生前好友閻純德教授賜稿?！皩W(xué)術(shù)論文”部分又由“上”、“下”兩部分組成，“上”主要收錄方立先生遺作（包括方立先生與其弟子合寫的作品）；“下”收錄了著名語(yǔ)言學(xué)家馮勝利教授，吳道平教授、國(guó)際學(xué)者John R.te Velde博士的學(xué)術(shù)論文以及方立教授弟子的文章（按入室先后排序）。

作者簡(jiǎn)介

方立（1942～2010）：北京語(yǔ)言大學(xué)已故教授、博士生導(dǎo)師、著名語(yǔ)言學(xué)家。方立教授生前曾長(zhǎng)期擔(dān)任北京語(yǔ)言大學(xué)外國(guó)語(yǔ)學(xué)院領(lǐng)導(dǎo)職務(wù)，歷任外語(yǔ)系系主任、外國(guó)語(yǔ)學(xué)院院長(zhǎng)等職。曾獲國(guó)家人事部授予的“國(guó)家有突出貢獻(xiàn)的中青年專家”稱號(hào)。1992年獲得國(guó)務(wù)院頒發(fā)的政府特殊津貼，1995年，獲香港柏寧頓（中國(guó)）教育基金會(huì)酋屆“孺子牛金球獎(jiǎng)”。

書(shū)籍目錄

序
第一部分　紀(jì)念文章
　懷念方立教授
　哲人其萎，風(fēng)范長(zhǎng)存
　懷念虛懷若谷的方立教授
　鞠躬盡瘁，一代英才
　悼念方立教授
　冬夜孤坐憶念恩師
　方立的微笑
第二部分　學(xué)術(shù)論文（上）
　可判斷性和計(jì)算復(fù)雜性
　“這本書(shū)的出版”的結(jié)構(gòu)分析及相關(guān)的理論問(wèn)題
　Further Remarks on Scope Ambiguities in English
　The Acquisition of Sentence—Final Particles in Beijing
Mandarin
?。ㄏ拢?br />　Empty Operator Movement in Chinese Passive Syntax
　從自然語(yǔ)言的形式復(fù)雜性看強(qiáng)人工智能的可能性
　Using Phase Theory for Deriving Coordinate Symmetries
　自然語(yǔ)言的非線性特征
　論元結(jié)構(gòu)與句法語(yǔ)義接口
　A Tentative Model for ST and EST
　從三種句式的變換再探漢語(yǔ)語(yǔ)法關(guān)系
　漢語(yǔ)方位關(guān)系歧義的Prolog語(yǔ)言實(shí)現(xiàn)
　《語(yǔ)言的動(dòng)態(tài)性》介紹
　由接納在先設(shè)投射中的作用看語(yǔ)義—語(yǔ)用接口
　合并次序和附加語(yǔ)結(jié)構(gòu)的類型差異
　“Every+名詞”和“每+名詞”的句法語(yǔ)義研究
　雙賓句中的題元角色

章節(jié)摘錄

版權(quán)頁(yè)：   插圖：   說(shuō)到這里，讀者或許會(huì)問(wèn)：遞歸集怎么又跟圖靈機(jī)扯到一起的呢？確實(shí)，上下文有關(guān)語(yǔ)法生成的語(yǔ)言屬于遞歸集，圖靈機(jī)以及無(wú)限制語(yǔ)法生成遞歸列舉集。但有兩點(diǎn)需提請(qǐng)注意：圖靈機(jī)和無(wú)限制語(yǔ)法的生成能力是最強(qiáng)大的，因此任何種類的語(yǔ)言都是可以生成的；既然遞歸集是遞歸列舉集的真子集，那么遞歸集本身也是遞歸列舉集的一部分，有關(guān)這一點(diǎn)我們?cè)谖恼碌拈_(kāi)頭部分已作過(guò)交代，但另一點(diǎn)更為重要，即并不是遞歸列舉集中的所有子集都是遞歸集。 2.4 人類自然語(yǔ)言的定位 關(guān)于人類自然語(yǔ)言應(yīng)當(dāng)定位在哪一類形式語(yǔ)言？雖然絕大多數(shù)語(yǔ)言學(xué)家假設(shè)，人類自然語(yǔ)言應(yīng)定位在上下文無(wú)關(guān)語(yǔ)言集和上下文有關(guān)語(yǔ)言集之間，并且應(yīng)靠近上下文無(wú)關(guān)語(yǔ)言集一側(cè)（參見(jiàn)Partee et al.，1990：535），但是，長(zhǎng)期以來(lái)是有爭(zhēng)論的。普倫和蓋茨達(dá)曾駁斥了自然語(yǔ)言不是上下文無(wú)關(guān)語(yǔ)言的觀點(diǎn)，但承認(rèn)回答是還是不是還為時(shí)過(guò)早（參見(jiàn)Pullum & Gazdar，1982）。后來(lái)，雪伯（Shieber，1985）發(fā)現(xiàn)瑞士德語(yǔ)為例外，這是喬姆斯基層級(jí)建立以來(lái)差不多三十年的時(shí)間里找到的唯一的一種上下文有關(guān)語(yǔ)言。但不管怎么樣，這一有意義的發(fā)現(xiàn)足以證明人類自然語(yǔ)言不是上下文無(wú)關(guān)語(yǔ)言。 3.自然語(yǔ)言理論中的可判斷性問(wèn)題和計(jì)算復(fù)雜性問(wèn)題 本文主要討論轉(zhuǎn)換—生成語(yǔ)法的標(biāo)準(zhǔn)理論和管轄—約束理論、廣義短語(yǔ)結(jié)構(gòu)語(yǔ)法和詞匯—功能語(yǔ)法的可判斷性問(wèn)題。 3.1 轉(zhuǎn)換語(yǔ)法的標(biāo)準(zhǔn)理論和管轄—約束理論 所謂轉(zhuǎn)換語(yǔ)法的標(biāo)準(zhǔn)理論，就是指《句法理論若干方面》（Chomsky，1965）中提出的理論。 根據(jù)轉(zhuǎn)換—生成語(yǔ)法的標(biāo)準(zhǔn)理論，句法由基礎(chǔ)部分和轉(zhuǎn)換部分組成。基礎(chǔ)部分可以是某種上下文無(wú)關(guān)語(yǔ)法，也可以是上下文有關(guān)語(yǔ)法。轉(zhuǎn)換部分由一組有序的轉(zhuǎn)換規(guī)則組成?；A(chǔ)部分生成基本的樹(shù)圖。轉(zhuǎn)換規(guī)則把一種樹(shù)圖變換為另一種樹(shù)圖；轉(zhuǎn)換規(guī)則的應(yīng)用從內(nèi)嵌最深的子句開(kāi)始，逐步向外擴(kuò)展，最后到達(dá)最外層的句子，于是規(guī)則的應(yīng)用也就形成了一個(gè)又一個(gè)的循環(huán)圈。轉(zhuǎn)換規(guī)則具有消去、替換和添加的作用。消去規(guī)則在應(yīng)用時(shí)必須遵守可復(fù)原條件。 彼得斯和里奇在“轉(zhuǎn)換語(yǔ)法的生成能力”（Peters & Ritchie，1973：49—83）一文中考察了轉(zhuǎn)換語(yǔ)法的弱生成能力，結(jié)論是，不管是以上下文無(wú)關(guān)語(yǔ)法為基礎(chǔ)部分的轉(zhuǎn)換語(yǔ)法，還是以上下文有關(guān)語(yǔ)法為基礎(chǔ)部分的轉(zhuǎn)換語(yǔ)法，它們生成的都是遞歸列舉語(yǔ)言，亦即遞歸列舉集。有關(guān)人類自然語(yǔ)言、遞歸集和遞歸列舉集之間的關(guān)系，我們?cè)谇懊嬉炎鬟^(guò)討論。這一結(jié)論說(shuō)明喬姆斯基提出的標(biāo)準(zhǔn)理論沒(méi)有受到應(yīng)有的制約，因?yàn)樗试S語(yǔ)法生成非人類自然語(yǔ)言。語(yǔ)言理論的一個(gè)重要目標(biāo)，就是要對(duì)什么樣的語(yǔ)法是人類自然語(yǔ)言的語(yǔ)法作出確切的規(guī)定。顯然轉(zhuǎn)換—生成語(yǔ)法的標(biāo)準(zhǔn)理論并沒(méi)有取得這一目標(biāo)。

編輯推薦

《數(shù)理邏輯之美:方立教授紀(jì)念文集》由北京語(yǔ)言大學(xué)出版社出版。

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

    數(shù)理邏輯之美 PDF格式下載

---