蒙太古語法是用形式化方法研究自然語言指號學的理論，是現代邏輯發展到新階段的重大成果。蒙太古首先用範疇語法，藉助17條語形規則設定一個自然語言英語片語FE；同時採用類型層次的，高階量化的，帶有λ抽象、時態、模態、內涵運算元的方法建立人工的形式語言內涵邏輯系統IL，再藉助從FE到IL的翻譯映射，建立FE的間接的語義解釋。本書在概括蒙太古語法的涵義、架構的基礎上，論述了蒙太古語法在哲學、語言學、邏輯學和信息科學方面的套用研究，對於相關研究領域具有一定的參考價值。
基本介紹
- 書名：夢太古語法及其套用研究
- 類型：人文社科
- 出版日期：2014年8月1日
- 語種：簡體中文
- ISBN：9787552006278
- 作者：朱水林
- 出版社：上海社會科學院出版社
- 頁數：191頁
- 開本：16
- 品牌：上海社會科學院出版社
基本介紹,內容簡介,作者簡介,圖書目錄,
基本介紹
內容簡介
《夢太古語法及其套用研究》由上海社會科學院出版社出版。
作者簡介
朱水林，1937年生於上海，研究員，教授，曾任上海社會科學院信息研究與發展中心主任、邏輯研究室主任、上海市邏輯學會副會長。美國普林斯頓大學、哈佛大學高級訪問學者，北京大學、南京大學、香港浸會大學等講座教授。在人民出版社、商務印書館等出版著譯作《邏輯語義學研究》、《哥德爾不完全性定理》、《數學哲學》、《形式哲學》等11部。在《科學》、《數學評論》上發表《論現代邏輯》、《現代歸納邏輯述評》等學術論文100餘篇。曾獲國家哲學社會科學優秀成果獎一等獎，全國優秀教育圖書一等獎等多項。
圖書目錄
第一章引論
第一節蒙太古語法的涵義
第二節蒙太古語法的構架
第三節套用
第二章兩種簡單語言的語形和語義
第一節自然語言和形式語言
第二節兩種語言LO和LOE
第三節說明
第三章一階邏輯形式語言
第一節引言
第二節兩種語言L1和L1E
第三節說明
第四章高階類型論語言
第一節引言
第二節高階類型論語言Ltype
第五章時態和模態運算元
第一節時態運算元和它們的解釋
第二節模態邏輯的其他變型：運算元□和◇
第三節同時含時態和模態運算元的語言、坐標語義學
第六章蒙太古內涵邏輯
第一節可構成性和內涵—外延的區分
第二節PTQ內涵邏輯
第三節說明
第七章PTQ語法
第一節引言
第二節FE的語形規則和翻譯規則
第三節說明
第八章邏輯學方面的套用
第一節引言
第二節現代邏輯是邏輯學高度形式化發展的結果
第三節蒙太古理論實現了現代邏輯的轉向
第九章哲學方面的套用
第一節數學在現代邏輯中一直處於中心地位
第二節一個重要的新趨勢
第三節弗雷格、塔斯基、卡爾納普、克里普克的成果
第十章語言學方面的套用
第一節語言學的定義和地位
第二節語言學的沿革
第三節套用實例分析
第十一章信息科學中的套用
第一節機器翻譯概述
第二節蒙太古語法在機器翻譯中的套用實例
第三節分析
附錄：蒙太古語法的英—日機器翻譯套用實例
參考文獻
第一節蒙太古語法的涵義
第二節蒙太古語法的構架
第三節套用
第二章兩種簡單語言的語形和語義
第一節自然語言和形式語言
第二節兩種語言LO和LOE
第三節說明
第三章一階邏輯形式語言
第一節引言
第二節兩種語言L1和L1E
第三節說明
第四章高階類型論語言
第一節引言
第二節高階類型論語言Ltype
第五章時態和模態運算元
第一節時態運算元和它們的解釋
第二節模態邏輯的其他變型：運算元□和◇
第三節同時含時態和模態運算元的語言、坐標語義學
第六章蒙太古內涵邏輯
第一節可構成性和內涵—外延的區分
第二節PTQ內涵邏輯
第三節說明
第七章PTQ語法
第一節引言
第二節FE的語形規則和翻譯規則
第三節說明
第八章邏輯學方面的套用
第一節引言
第二節現代邏輯是邏輯學高度形式化發展的結果
第三節蒙太古理論實現了現代邏輯的轉向
第九章哲學方面的套用
第一節數學在現代邏輯中一直處於中心地位
第二節一個重要的新趨勢
第三節弗雷格、塔斯基、卡爾納普、克里普克的成果
第十章語言學方面的套用
第一節語言學的定義和地位
第二節語言學的沿革
第三節套用實例分析
第十一章信息科學中的套用
第一節機器翻譯概述
第二節蒙太古語法在機器翻譯中的套用實例
第三節分析
附錄：蒙太古語法的英—日機器翻譯套用實例
參考文獻
