邏輯、語言和認(rèn)知

內(nèi)容概要

“邏輯之門”是當(dāng)代世界著名的邏輯學(xué)家約翰·范本特姆經(jīng)典著作的中文翻譯。叢書收集了他的經(jīng)典論文和主要專著，其涵蓋的主題有：關(guān)于信息、進(jìn)程和智能互動的模態(tài)邏輯：自然語言中范疇語法和量詞語義的邏輯：邏輯與認(rèn)識論、科學(xué)方法論和博弈論之間的相互影響，等等。叢書展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語言學(xué)、計(jì)算機(jī)科學(xué)、認(rèn)知科學(xué)等學(xué)科之間媒介和催化劑的新視角。    邏輯研究抽象的推理模式，而日常生活中我們使用自然語言推理。從亞里士多德開始，邏輯就與語言和語言哲學(xué)緊密聯(lián)系在一起?！哆壿?、語言和認(rèn)知》表明，這一聯(lián)系在今天依然非?；钴S。自然語言的使用包含著計(jì)算，用以維持語言使用者共同的對話狀態(tài)，本書探討了語言與計(jì)算機(jī)邏輯相關(guān)的一些重要主題，研究了邏輯與認(rèn)知科學(xué)的聯(lián)系，表明“反心理學(xué)”的教條已經(jīng)不復(fù)存在，邏輯理論與經(jīng)驗(yàn)實(shí)踐之間正在不斷交換思想。    本書適合從事邏輯學(xué)、語言學(xué)、計(jì)算機(jī)科學(xué)和認(rèn)知科學(xué)的相關(guān)研究人員、教師和學(xué)生閱讀，也適合其他邏輯相關(guān)學(xué)科的教師和學(xué)生參閱。

作者簡介

約翰·范本特姆，當(dāng)代世界著名邏輯學(xué)家。阿姆斯特丹大學(xué)的大學(xué)教授、斯坦福大學(xué)哲學(xué)教授，兼任中山大學(xué)客座教授。荷蘭皇家藝術(shù)與科學(xué)院、歐洲科學(xué)院和國際哲學(xué)院院士，多個雜志編輯。撰寫了約300篇論文和6部專著。主編了4部具有權(quán)威性的邏輯手冊。由于他的卓越成就，荷蘭政府于1996年授予他斯賓諾莎獎。

書籍目錄

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    邏輯、語言和認(rèn)知 PDF格式下載

---