注冊(cè) | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書教育/教材/教輔外語(yǔ)英語(yǔ)詞匯/語(yǔ)法/閱讀形式語(yǔ)義學(xué)引論

形式語(yǔ)義學(xué)引論

形式語(yǔ)義學(xué)引論

定 價(jià):¥35.00

作 者: 蔣嚴(yán),潘海華著
出版社: 中國(guó)社會(huì)科學(xué)出版社
叢編項(xiàng): 當(dāng)代語(yǔ)言學(xué)理論叢書
標(biāo) 簽: 自動(dòng)機(jī)

購(gòu)買這本書可以去


ISBN: 9787500420767 出版時(shí)間: 1998-01-01 包裝: 平裝
開本: 21cm 頁(yè)數(shù): 536 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  本書詳細(xì)介紹形式語(yǔ)義學(xué)的基本內(nèi)容、主要技巧和方法,可供大學(xué)語(yǔ)言和語(yǔ)言學(xué)專業(yè)的高年級(jí)本科學(xué)生及碩士、博士生作研習(xí)、參考之用。對(duì)自然語(yǔ)言分析和處理感興趣的計(jì)算機(jī)、數(shù)學(xué)、哲學(xué)、邏輯和人工智能專業(yè)的學(xué)生也可從本書中獲得系統(tǒng)的語(yǔ)義學(xué)知識(shí)。在閱讀此書之前,讀者最好先學(xué)一門現(xiàn)代語(yǔ)言學(xué)導(dǎo)論課或讀一本基礎(chǔ)教科書,如Akmajian et al(1984)或Fr0瑚kin&R0d—mail(1993),也可上一門生成句法學(xué)導(dǎo)論課或讀一本句法教科書,如Radford(1988)、徐烈炯(1988)或宋國(guó)明(1997)。如能看一下徐烈炯(1990/1996)和(1993)則更有幫助。本書內(nèi)容的取舍并非簡(jiǎn)單地照搬一些外文教科書,在章節(jié)安排上也力免陳襲他人。我們?cè)跁凶⑷肓俗约旱睦斫夂陀^點(diǎn),并力求對(duì)漢語(yǔ)的語(yǔ)義結(jié)構(gòu)做嘗試性的形式化描寫。故此,本書并不是一本求穩(wěn)求全的教材,而是一本討論性、探索性的論著。當(dāng)然,作為導(dǎo)論性教科書,本書介紹的許多方面無(wú)法深入詳談,技術(shù)上也不一定代表最新最好的解決方法。我們?cè)跁刑岢隽藛栴},找到了部分答案,但是留下了更多的研究空間讓讀者去遨游馳騁。

作者簡(jiǎn)介

  蔣嚴(yán),男,浙江海寧人,1962年生于北京。1984年獲復(fù)旦大學(xué)英美語(yǔ)言文學(xué)學(xué)士學(xué)位,1987年獲復(fù)旦大學(xué)現(xiàn)代英語(yǔ)碩士學(xué)位。1986至1989年在復(fù)旦大學(xué)外國(guó)語(yǔ)言文學(xué)系英語(yǔ)教研室任教。1989至1993年在倫敦大學(xué)的大學(xué)院(University College,London)和亞非學(xué)院(the School of Offenfal and AfficaIl Studies)兩個(gè)語(yǔ)言學(xué)系學(xué)習(xí)。1995年獲倫敦大學(xué)哲學(xué)博士學(xué)位,博士論文為L(zhǎng)ogical Dependency in Quantificatwn。1993年秋至今在香港理工大學(xué)中文及雙語(yǔ)學(xué)系任教,現(xiàn)為該系副教授,兼任北京《當(dāng)代語(yǔ)言學(xué)》、廣州《現(xiàn)代外語(yǔ)》編委,湘潭《英語(yǔ)研究》特邀編審。研究興趣包括語(yǔ)義學(xué)、語(yǔ)用學(xué)、語(yǔ)言哲學(xué)、自然語(yǔ)言邏輯、語(yǔ)篇分析、英語(yǔ)語(yǔ)法、翻譯理論等。

圖書目錄

第一章語(yǔ)義.真值與邏輯.
第一節(jié)命題.句義和話語(yǔ)義
第二節(jié)句義的信息類型
第三節(jié)言語(yǔ)交際的意義層次
第四節(jié)形式語(yǔ)義學(xué)的研究范圍
第五節(jié)邏輯在語(yǔ)義研究中的地位
第六節(jié)幾個(gè)基本的語(yǔ)義概念
第七節(jié)各章內(nèi)容簡(jiǎn)介
閱讀文選
第二章邏輯演算
第一節(jié)集合論
第二節(jié)關(guān)系和函數(shù)
第三節(jié)命題邏輯和真值表
第四節(jié)謂詞邏輯
第五節(jié)邏輯證明
閱讀文選
第三章Cp系統(tǒng)和語(yǔ)義解釋
第一節(jié)部分語(yǔ)句系統(tǒng)Cp
第二節(jié)Cp的語(yǔ)義解釋
第三節(jié)模型與語(yǔ)義解釋
閱讀文選
第四章對(duì)Cp系統(tǒng)的擴(kuò)展
第一節(jié)三種特殊句式
第二節(jié)復(fù)句的生成和解釋
第三節(jié)邏輯否定句
第四節(jié)語(yǔ)法范疇和邏輯范疇:傳統(tǒng)語(yǔ)法.傳統(tǒng)邏輯和形式邏輯的同與異
第五節(jié)規(guī)則小結(jié)
第六節(jié)語(yǔ)義解釋的遞歸性
第七節(jié)實(shí)例分析
閱讀文選
第五章類型論初步
第一節(jié)再論組合性原則
第二節(jié)邏輯語(yǔ)義類型
第三節(jié)類型驅(qū)動(dòng)的語(yǔ)句分析與生成
第四節(jié)特征函項(xiàng)
第五節(jié)類型的語(yǔ)義性質(zhì)
第六節(jié)Ct系統(tǒng)
閱讀文選
第六章量詞.轄域與邏輯依存
第一節(jié)變量.約束詞與量化結(jié)構(gòu)
第二節(jié)量化結(jié)構(gòu)的語(yǔ)義解釋
第三節(jié)邏輯依存
第四節(jié)逐指與統(tǒng)指
第五節(jié)分支量詞
第六節(jié)自然語(yǔ)言量化句的歧義和表達(dá)
第七節(jié)結(jié)語(yǔ)
閱讀文選
第七章λ—轉(zhuǎn)換
第一節(jié)自然語(yǔ)句分析中的一些疑難現(xiàn)象
第二節(jié)λ—抽象和λ—還原
第三節(jié)對(duì)疑難現(xiàn)象的分析
第四節(jié)λ—表達(dá)式的語(yǔ)義解釋
第五節(jié)廣義的λ—轉(zhuǎn)換
第六節(jié)λ—抽象與條件引入規(guī)則
閱讀文選
第八章廣義量詞
第一節(jié)從量詞到廣義量詞
第二節(jié)作為廣義量詞的名詞組
第三節(jié)廣義量詞的范疇演算..
第四節(jié)凹式語(yǔ)義解釋
第五節(jié)與廣義量詞相關(guān)的語(yǔ)義現(xiàn)象
第六節(jié)類型的等級(jí)與轉(zhuǎn)換
閱讀文選
第九章時(shí)間.時(shí)制與時(shí)態(tài)
第一節(jié)時(shí)間與句子的意義
第二節(jié)時(shí)制:過去時(shí)和將來(lái)時(shí)
第三節(jié)時(shí)制算子與其他算子之關(guān)系
第四節(jié)對(duì)時(shí)間進(jìn)行直接運(yùn)算
第五節(jié)時(shí)段與時(shí)態(tài)
閱讀文選
第十章對(duì)時(shí)間的量化與限制.量化類型及其三分結(jié)構(gòu)
第一節(jié)對(duì)時(shí)間的量化
第二節(jié)限制對(duì)時(shí)間的量化
第三節(jié)進(jìn)一步限制對(duì)時(shí)間的量化
第四節(jié)量化類型與三分結(jié)構(gòu)
閱讀文選
第十一章可能世界與模態(tài)邏輯
第一節(jié)可能世界的概念
第二節(jié)一個(gè)新的模態(tài)邏輯模型
第三節(jié)時(shí)態(tài)邏輯與模態(tài)邏輯的統(tǒng)
第四節(jié)自然語(yǔ)言中的情態(tài)
第五節(jié)含有時(shí)態(tài)和模態(tài)算子的新模型
第六節(jié)將來(lái)時(shí)的新定義
第七節(jié)時(shí)制悖論和非進(jìn)行態(tài)悖論
第八節(jié)條件句
第九節(jié)可能世界語(yǔ)義學(xué)的優(yōu)越性
閱讀文選
第十二章內(nèi)涵邏輯與命題態(tài)度
第一節(jié)組合性原則與替換定律
第二節(jié)弗雷格的所指與含義理論
第三節(jié)名詞的涉名與涉實(shí)解釋
第四節(jié)內(nèi)涵與外延
第五節(jié)內(nèi)涵邏輯的基本定義
第六節(jié)蒙太格的內(nèi)涵邏輯
第七節(jié)信念與涉實(shí)-涉名歧義
第八節(jié)直接對(duì)索引進(jìn)行運(yùn)算
第九節(jié)命題態(tài)度以及信念的非邏輯性
閱讀文選
第十三章博弈論語(yǔ)義學(xué)
第一節(jié)問題的提出
第二節(jié)對(duì)一階邏輯式的解釋
第三節(jié)對(duì)自然語(yǔ)言量化句的解釋
第四節(jié)博弈論語(yǔ)義學(xué)的主要特征
第五節(jié)博弈論與證明程序
閱讀文選
第十四章篇章表述理論
第一節(jié)傳統(tǒng)形式語(yǔ)義學(xué)的問題
第二節(jié)篇章表述理論的形式和特點(diǎn)
第三節(jié)篇章理論的語(yǔ)義解釋
第四節(jié)相關(guān)問題的討論
第五節(jié)基爾基亞的動(dòng)態(tài)約束理論
閱讀文選
第十五章研習(xí)文獻(xiàn)
附錄形式語(yǔ)義學(xué)經(jīng)典書目
參考書目
漢英譯名對(duì)照表...

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.autoforsalebyowners.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)