蒙太古語法及其應用研究

點閱:1

其他題名:蒙太古语法及其应用研究

作者:朱水林著

出版年:2014[民103]

出版社:上海社會科學院出版社有限公司

出版地:上海市

格式:JPG

ISBN:978-7-5520-0627-8 ; 7-5520-0627-7

附註:簡體字版


蒙太古語法是用形式化方法研究自然語言指號學的理論,是現代邏輯發展到新階段的重大成果。蒙太古首先用範疇語法,借助17條語形規則設定一個自然語言英語片語FE;同時采用類型層次的,高階量化的,帶有λ抽象、時態、模態、內涵算子的方法建立人工的形式語言內涵邏輯系統IL,再借助從FE到IL的翻譯映射,建立FE的間接的語義解釋。本書在概括蒙太古語法的涵義、架構的基礎上,論述了蒙太古語法在哲學、語言學、邏輯學和信息科學方面的應用研究,對於相關研究領域具有一定的參考價值。

朱水林,1937年生於上海,研究員,教授,曾任上海社會科學院信息研究與發展中心主任、邏輯研究室主任、上海市邏輯學會副會長。美國普林斯頓大學、哈佛大學高級訪問學者,北京大學、南京大學、香港浸會大學等講座教授。在人民出版社、商務印書館等出版著譯作《邏輯語義學研究》、《哥德爾不完全性定理》、《數學哲學》、《形式哲學》等11部。在《科學》、《數學評論》上發表《論現代邏輯》、《現代歸納邏輯述評》等學術論文100余篇。曾獲國家哲學社會科學優秀成果獎一等獎,全國優秀教育圖書一等獎等多項。

  • 附录:蒙太古语法的英-日机器翻译应用实例(p.186)
  • 參考文献(p.188)