數(shù)理邏輯之美

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書封面

評論、評分、閱讀與下載

---

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

---