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