範疇類型邏輯：從語言到邏輯

內容簡介

本書是“哲學宗教研究系列”之一，該書分範疇類型邏輯的發展階段、範疇類型邏輯的特性及範疇類型邏輯研究3個章節，對範疇類型邏輯作了系統全面的介紹，具體包括Lambek句法演算、蒙太格語法、範疇類型邏輯的自然語言語句系統、基於範疇類型邏輯的語法自動分析、有關漢語靈活語序的多模態範疇邏輯等。該書可供從事相關工作的人員作為參考用書使用。

圖書目錄

緒論

第一章　範疇類型邏輯的發展階段

第1節　古典範疇語法

　　1.1　範疇和運算

　　1.2　形式化表述

　　1.3　古典範疇語法的變異

　第2節　Lambek句法演算

　　2.1　運算即推演

　　2.2　形式系統

　第3節　蒙太格語法

　　3.1　範疇語法的獨特形態

　　3.2　通用語法模式

　　3.3　直接和間接的語義解釋

　第4節　類型-邏輯語義學

　　4.1　句法和語義的綜合表述

　　4.2　後承演繹圖式和自然演繹系統

　　4.3　關於量化表達式的處理

　第5節　語法邏輯

　　5.1　公理系統

　　5.2　框架語義學

　　5.3　GentZen後承表述

　　5.4　合併或交織的多模態系統

第二章　範疇類型邏輯的特性——邏輯的新功能

　第1節　範疇類型邏輯的自然語言語句系統

　　1.1　蒙太格語法的語句系統

　　1.2　類型-邏輯語義學的語句系統

　第2節　範疇類型邏輯和自然語言的計算機處理

　　2.1　基於範疇類型邏輯的邏輯程式語言

　　2.2　基於範疇類型邏輯的語法自動分析

　第3節　範疇類型邏輯的邏輯系統

　　3.1　Lambek演算對判定問題的解決

　　3.2　對應λ-詞項的完全性證明

　　3.3　展示自然語言句法生成的語法邏輯

　　3.4　表現自然語言語義的高階內涵邏輯

　第4節　邏輯的新功能——關於自然語言的邏輯系統

　　4.1　源於語言照應關係的動態邏輯

　　4.2　用於語法分析的特徵結構邏輯

　　4.3　基於情境關聯的信息流邏輯

第三章　範疇類型邏輯研究

　第1節　非連續量詞的類型-邏輯語義處理

　第2節　有關漢語靈活語序的多模態範疇邏輯

　第3節　融合特徵結構的範疇類型推演

　第4節　處理照應關係的範疇類型推演

參考文獻

後記

範疇類型邏輯：從語言到邏輯

基本介紹

內容簡介

圖書目錄

作者簡介

相關詞條

熱門詞條