滿額折
蒙太古語法及其應用研究（簡體書）
商品資訊
系列名：小學家庭教育全解
ISBN13：9787552006278
出版社：上海社會科學院出版社
作者：朱水林
出版日：2014/08/01
裝訂／頁數：平裝／191頁
規格：23.5cm*16.8cm (高/寬)
商品簡介
作者簡介
目次
相關商品
商品簡介
蒙太古語法是用形式化方法研究自然語言指號學的理論，是現代邏輯發展到新階段的重大成果。蒙太古首先用范疇語法，借助17條語形規則設定一個自然語言英語片語FE；同時采用類型層次的，高階量化的，帶有λ抽象、時態、模態、內涵算子的方法建立人工的形式語言內涵邏輯系統IL，再借助從FE到IL的翻譯映射，建立FE的間接的語義解釋。本書在概括蒙太古語法的涵義、架構的基礎上，論述了蒙太古語法在哲學、語言學、邏輯學和信息科學方面的應用研究，對于相關研究領域具有一定的參考價值。
作者簡介
朱水林，1937年生于上海，研究員，教授，曾任上海社會科學院信息研究與發展中心主任、邏輯研究室主任、上海市邏輯學會副會長。美國普林斯頓大學、哈佛大學高級訪問學者，北京大學、南京大學、香港浸會大學等講座教授。在人民出版社、商務印書館等出版著譯作《邏輯語義學研究》、《哥德爾不完全性定理》、《數學哲學》、《形式哲學》等11部。在《科學》、《數學評論》上發表《論現代邏輯》、《現代歸納邏輯述評》等學術論文100余篇。曾獲國家哲學社會科學優秀成果獎一等獎，全國優秀教育圖書一等獎等多項。
目次
第一章 引論
第一節 蒙太古語法的涵義
第二節 蒙太古語法的構架
第三節 應用
第二章 兩種簡單語言的語形和語義
第一節 自然語言和形式語言
第二節 兩種語言Lo和LOE
第三節 說明
第三章 一階邏輯形式語言
第一節 引言
第二節 兩種語言L1和L1E
第三節 說明
第四章 高階類型論語言
第一節 引言
第二節 高階類型論語言Ltype 第一章 引論
第一節 蒙太古語法的涵義
第二節 蒙太古語法的構架
第三節 應用
第二章 兩種簡單語言的語形和語義
第一節 自然語言和形式語言
第二節 兩種語言Lo和LOE
第三節 說明
第三章 一階邏輯形式語言
第一節 引言
第二節 兩種語言L1和L1E
第三節 說明
第四章 高階類型論語言
第一節 引言
第二節 高階類型論語言Ltype
第五章 時態和模態算子
第一節 時態算子和它們的解釋
第二節 模態邏輯的其他變型：算子口和◇
第三節 同時含時態和模態算子的語言、坐標語義學
第六章 蒙太古內涵邏輯
第一節 可構成性和內涵一外延的區分
第二節 PTQ內涵邏輯
第三節 說明
第七章 PTQ語法
第一節 引言
第二節 FE的語形規則和翻譯規則
第三節 說明
第八章 邏輯學方面的應用
第一節 引言
第二節 現代邏輯是邏輯學高度形式化發展的結果
第三節 蒙太古理論實現了現代邏輯的轉向
第九章 哲學方面的應用
第一節 數學在現代邏輯中一直處于中心地位
第二節 一個重要的新趨勢
第三節 弗雷格、塔斯基、卡爾納普、克里普克的成果
第十章 語言學方面的應用
第一節 語言學的定義和地位
第二節 語言學的沿革
第三節 應用實例分析
第十一章 信息科學中的應用
第一節 機器翻譯概述
第二節 蒙太古語法在機器翻譯中的應用實例
第三節 分析
附錄：蒙太古語法的英一日機器翻譯應用實例
參考文獻
第一節 蒙太古語法的涵義
第二節 蒙太古語法的構架
第三節 應用
第二章 兩種簡單語言的語形和語義
第一節 自然語言和形式語言
第二節 兩種語言Lo和LOE
第三節 說明
第三章 一階邏輯形式語言
第一節 引言
第二節 兩種語言L1和L1E
第三節 說明
第四章 高階類型論語言
第一節 引言
第二節 高階類型論語言Ltype 第一章 引論
第一節 蒙太古語法的涵義
第二節 蒙太古語法的構架
第三節 應用
第二章 兩種簡單語言的語形和語義
第一節 自然語言和形式語言
第二節 兩種語言Lo和LOE
第三節 說明
第三章 一階邏輯形式語言
第一節 引言
第二節 兩種語言L1和L1E
第三節 說明
第四章 高階類型論語言
第一節 引言
第二節 高階類型論語言Ltype
第五章 時態和模態算子
第一節 時態算子和它們的解釋
第二節 模態邏輯的其他變型：算子口和◇
第三節 同時含時態和模態算子的語言、坐標語義學
第六章 蒙太古內涵邏輯
第一節 可構成性和內涵一外延的區分
第二節 PTQ內涵邏輯
第三節 說明
第七章 PTQ語法
第一節 引言
第二節 FE的語形規則和翻譯規則
第三節 說明
第八章 邏輯學方面的應用
第一節 引言
第二節 現代邏輯是邏輯學高度形式化發展的結果
第三節 蒙太古理論實現了現代邏輯的轉向
第九章 哲學方面的應用
第一節 數學在現代邏輯中一直處于中心地位
第二節 一個重要的新趨勢
第三節 弗雷格、塔斯基、卡爾納普、克里普克的成果
第十章 語言學方面的應用
第一節 語言學的定義和地位
第二節 語言學的沿革
第三節 應用實例分析
第十一章 信息科學中的應用
第一節 機器翻譯概述
第二節 蒙太古語法在機器翻譯中的應用實例
第三節 分析
附錄：蒙太古語法的英一日機器翻譯應用實例
參考文獻
今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。