邏輯、語言和認知-卷Ⅱ

邏輯、語言和認知-卷Ⅱ

《邏輯、語言和認知-卷Ⅱ》是2009年科學出版社出版的圖書,作者是(荷)範本特姆。

基本介紹

  • 書名:邏輯、語言和認知-卷Ⅱ
  • 作者:(荷)範本特姆
  • ISBN:9787030254306
  • 頁數:428
  • 定價:78 元
  • 出版社科學出版社
  • 出版時間:2009-10-1
  • 開本:16開
內容簡介,目錄,作者簡介,

內容簡介

其涵蓋的主題有:關於信息、進程和智慧型互動的模態邏輯:自然語言中範疇語法和量詞語義的邏輯:邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。  邏輯研究抽象的推理模式,而日常生活中我們使用自然語言推理。從亞里士多德開始,邏輯就與語言和語言哲學緊密聯繫在一起。《邏輯、語言和認知》表明,這一聯繫在今天依然非常活躍。自然語言的使用包含著計算,用以維持語言使用者共同的對話狀態,本書探討了語言與計算機邏輯相關的一些重要主題,研究了邏輯與認知科學的聯繫,表明“反心理學”的教條已經不復存在,邏輯理論與經驗實踐之間正在不斷交換思想。  本書適合從事邏輯學、語言學、計算機科學和認知科學的相關研究人員、教師和學生閱讀,也適合其他邏輯相關學科的教師和學生參閱。

目錄

叢書序譯者序引論
第1部分 自然語言和形式語言中的量詞
1 量詞問題
2 語義自動機
3 多元量詞
4 類型世界中的量詞
第2部分 範疇語法與證明論
5 範疇語法和λ-演算
6 蘭貝克演算
7 語義類型變換和語法識別
8 範疇語法和類型論
9 處於十字路口的範疇語法
10 自然語言的範疇微細結構
第3部分 計算與認知
11 走向一種計算語義學
12 意義:解釋與推理
13 自然邏輯簡史
14 自然語言和計算中的語義平行問題
15 作為會話的計算
16 “彰顯價值的博弈”:邏輯、語言與多主體互動
17 相互作用下的認知
附錄
附錄一 英-漢專業術語對照表
附錄二 英-漢人名對照表

作者簡介

約翰·範本特姆,當代世界著名邏輯學家。阿姆斯特丹大學的大學教授、史丹福大學哲學教授,兼任中山大學客座教授。荷蘭皇家藝術與科學院、歐洲科學院和國際哲學院院士,多個雜誌編輯。撰寫了約300篇論文和6部專著。主編了4部具有權威性的邏輯手冊。由於他的卓越成就,荷蘭政府於1996年授予他斯賓諾莎獎。

相關詞條

熱門詞條

聯絡我們