邏輯、認(rèn)識論和方法論

　　“邏輯之門”是當(dāng)代世界著名的邏輯學(xué)家約翰·范本特姆經(jīng)典著作的中文翻譯。叢書收集了他的經(jīng)典論文和主要專著，其涵蓋的主題有：關(guān)于信息、進程和智能互動的模態(tài)邏輯：自然語言中范疇語法和量詞語義的邏輯；邏輯與認(rèn)識論、科學(xué)方法論和博弈論之間的相互影響，等等。叢書展現(xiàn)了現(xiàn)代邏輯作為數(shù)學(xué)、哲學(xué)、語言學(xué)、計算機科學(xué)、認(rèn)知科學(xué)等學(xué)科之間媒介和催化劑的新視角。從歷史的角度看，邏輯是哲學(xué)的一部分。因此，邏輯學(xué)家們做的任何工作都是哲學(xué)。當(dāng)然，許多數(shù)理邏輯學(xué)家否認(rèn)這一說法，認(rèn)為邏輯是數(shù)學(xué)，甚至是應(yīng)用數(shù)學(xué)的一部分。本卷通過對邏輯常項、認(rèn)識論、科學(xué)方法論和邏輯哲學(xué)等主題的探討，展示范本特姆多年來對邏輯學(xué)作為交叉學(xué)科的認(rèn)識和理解。正如他在書中指出的那樣，若把邏輯學(xué)看做是關(guān)于它自身的一門學(xué)科，它不但同哲學(xué)和數(shù)學(xué)有很多聯(lián)系，而且還同語言學(xué)、計算機科學(xué)，甚至是現(xiàn)在熱門的認(rèn)知科學(xué)有很強的聯(lián)系。它可能并不是一個大的學(xué)科，但它所涉及的范圍，在原則上講遍布大學(xué)的各個學(xué)科。邏輯有它自己的歷史及其內(nèi)在和外在的規(guī)律演化，本卷為此提供了豐富的實例和深刻的理論探討?！哆壿?、認(rèn)識論和方法論》適合從事邏輯學(xué)、語言學(xué)、計算機科學(xué)和認(rèn)知科學(xué)等研究和學(xué)習(xí)的師生閱讀，也適合從事其他邏輯相關(guān)學(xué)科研究的相關(guān)人員參閱。

　　約翰·范本特姆當(dāng)代世界著名邏輯學(xué)家，阿姆斯特丹大學(xué)邏輯學(xué)大學(xué)教授、斯坦福大學(xué)Henry Waldgrave Stuart哲學(xué)教授。中國教育部海外名師、清華大學(xué)偉倫特聘教授、中山大學(xué)客座教授。迄今為止，他撰寫了8部專著和約450篇論文，主編了4部具有權(quán)威性的邏輯手冊。他是多個雜志的編輯，也是荷蘭皇家藝術(shù)與科學(xué)學(xué)院、歐洲科學(xué)院和國際哲學(xué)院的院士。由于他的卓越成就，1996年荷蘭政府授予他斯賓諾莎獎。個人主頁：http：//staff.science.uva.nl/～johan/