《形式語義學導論(英文版)》沒有預設語義學和邏輯學的專門知識，循序漸進地介紹了經典蒙太格語義學，便於初學者閱讀。讀者通過《形式語義學導論(英文版)》可對蒙太格語義學的體系有較全面深入的認識。
基本介紹
- 書名：形式語義學導論
- 作者：卡恩(RonnieCann)
- ISBN：9787510018763
- 定價：2010年4月1日
- 出版社：世界圖書出版公司，劍橋大學出版社
- 出版時間：2010年4月1日
圖書信息,內容簡介,作者簡介,圖書目錄,
圖書信息
書 名: 形式語義學導 論
作 者：卡恩(RonnieCann)
出版社： 世界圖書出版公司，劍橋大學出版社
出版時間： 2010年4月1日
ISBN: 9787510018763
開本： 16開
定價: 45.00元
內容簡介
《形式語義學導論(英文版)》適合語言學、人工智慧、認知科學等相關專業的研究者閱讀。
作者簡介
卡恩（Ronnie Cann），長期執教於愛丁堡大學語言學系，曾任該系系主任。他的研究領域有形式句法、語義學、語用學等，已出版和發表頗多重要論著。
圖書目錄
《西方語言學視野》總序
《形式語義學導論》導讀
原書目錄
1 緒論
1.1 語義學與語義理論
1.1.1 意義的疊置組合
1.1.2 語義關係
1.1.3 歧義
1.1.4 指謂
1.2 解釋與表征
1.2.1 真值條件
1.2.2 形式化、模型與集合
1.3 超出真值條件的意義
1.3.1 知識、行為與語用
1.3.2 語境
1.4 方法略論
1.5 延伸閱讀
2 謂詞與論元
2.1 將英語譯成邏輯語言
2.1.1 Lp語言的語法
2.1.2 英語的部分語法系統
2.1.3 轉譯的程式
2.2 對Lp語言的解釋
2.2.1 個體和等同運算元
2.2.2 集合論淺介
2.2.3 對謂詞的解釋
2.2.4 結語
2.3 延伸閱讀
3 否定與並列
3.1 複合句
3.2 複雜邏輯式
3.3 解釋
3.3.1 否定
3.3.2 合取
3.3.3 析取
3.3.4 蘊涵
3.3.5 等同
3.4 形式化解釋
3.4.1 形式化模型
3.4.2 模型論
3.5 延伸閱讀
4 類型論
4.1 動詞組和其他成分
4.2 類型化邏輯語言
4.2.1 語義類型
4.2.2 動詞組的轉譯
4.3 對集合淪的補充
4.3.1 關係和函項
4.3.2 再淪集合
4.4 對Ltype語言的解釋
4.4.1 指謂
4.4.2 理論的修訂
4.5 副詞
4.6 延伸閱讀
5 蘭姆達運算元
5.1 被動式
5.2 蘭姆達運算元的引人
5.2.1 Ltype語言的擴展
5.2.2 蘭姆達表達式的解釋
5.2.3 再論被動式
5.3 蘭姆達表達式的泛化
5.4 並列式重考
5.4.1 句際並列
5.4.2 其他範疇的並列
5.5 延伸閱讀
6 量化
6.1 名詞組的多種形式
6.2 邏輯量詞介紹
6.2.1 量詞
6.2.2 對L。語言的解釋
6.2.3 量化與否定
6.3 疊置組合操作
6.3.1 量詞指代詞的轉譯
6.3.2 複雜名詞組
6.3.3 名詞修飾語
6.4 專名和有定摹狀表達式
6.5 兩個問題
6.5.1 類升級
6.5.2 轄域上的歧義
6.6 廣義量詞
6.7 延伸閱讀
7 推理
7.1 推理的操作
7.2 邏輯演繹
7.2.1 連詞推演法
7.2.2 量詞推演法
7.3 詞義關係
7.4 連詞的非真值條件語義
7.4.1 And的語義
7.4.2 Or的語義
7.4.3 If的語義
7.5 延伸閱讀
8 時間、時制與時態
8.1 時間上的偶然性
8.2 時間
8.2.1 時段
8.2.2 歷時模型
8.3 時制
8.3.1 過去、現在與將來
8.3.2 複式時制
8.4 簡單時態
8.4.1 完成態和未完成態
8.4.2 狀態與行為
8.5 轄域上的歧義
8.6 延伸閱讀
9 可能世界
9.1 衍推語義的不足
9.2 內涵與外延
9.3 其他世界的引入
9.3.1 簡單情態
9.3.2 可及世界
9.4 延伸閱讀
10 內涵語義學
10.1 內涵的模型論表達
10.2 內涵語言LIL
10.2.1 內涵表達式
10.2.2 及其解釋
10.3 隱性語境的解釋
10.3.1 間接及物動詞
10.3.2 控制型動詞
10.3.3 命題態度
10.4 兩個問題
10.4.1 內涵的等值
10.4.2 跨世界的指稱
10.5 結語
10.6 延伸閱讀
