《計算主義:一種新的世界觀》由李建會等編著，由中國社會科學出版社出版。是關於科學哲學的研究文集。是當代新哲學的叢書，《計算主義:一種新的世界觀》將追蹤計算主義的興起、發展和完善的過程，並對可能的挑戰進行回應。
基本介紹
- 書名：計算主義:一種新的世界觀
- 出版社：中國社會科學出版社
- 頁數：285頁
- 開本：16
- 定價：45.00
- 作者：李建會 符征
- 出版日期：2012年12月1日
- 語種：簡體中文
- ISBN：9787516119747
- 品牌：中國社會科學出版社
基本介紹,內容簡介,作者簡介,圖書目錄,文摘,
基本介紹
內容簡介
《計算主義:一種新的世界觀》中的主題計算主義，特別是認知計算主義提出之後，曾遇到很多挑戰，比如“空泛性”挑戰，“計算的主觀性”挑戰，哥德爾不完備定理的挑戰，塞爾的“中文屋思想實驗”的挑戰，“無心人”的挑戰，等等面對這些挑戰，計算主義的支持者通過不同的方式化解著這些挑戰。
作者簡介
李建會，男，1964年10月生，北京大學哲學博士，北京師範大學哲學與社會學學院教授，主要從事生物學哲學、認知科學哲學、生命倫理學的研究。曾在美國威斯康星大學、哈佛大學、加州大學伯克利分校以及英國的牛津大學、劍橋大學訪問學習。
符征，男，1979年6月生，北京師範大學哲學博士，河南大學馬克思主義學院講師，主要從事認知科學哲學、科技倫理學的研究。
張江，男，1978年2月生，北方交通大學博士，中國科學院博士後，北京師範大學管理學院系統科學系講師，主要從事複雜性科學研究。曾先後訪問過美國密西根大學、佛蒙特大學、聖塔菲研究所等地。2003年創建論壇網站集智俱樂部，在中國較早宣傳複雜性科學。曾獲北京師範大學青年教師教學基本功比賽理科一等獎，中科院系統所博士後獎勵基金。
符征，男，1979年6月生，北京師範大學哲學博士，河南大學馬克思主義學院講師，主要從事認知科學哲學、科技倫理學的研究。
張江，男，1978年2月生，北方交通大學博士，中國科學院博士後，北京師範大學管理學院系統科學系講師，主要從事複雜性科學研究。曾先後訪問過美國密西根大學、佛蒙特大學、聖塔菲研究所等地。2003年創建論壇網站集智俱樂部，在中國較早宣傳複雜性科學。曾獲北京師範大學青年教師教學基本功比賽理科一等獎，中科院系統所博士後獎勵基金。
圖書目錄
前言
第一章 計算主義的興起
一 對世界的抽象化理解
二 心靈的物質屬性問題
1.笛卡爾：機械的身體和自由的心靈
2.拉·梅特里：人是機器
三 心靈的可計算性
1.霍布斯：推理即計算
2.萊布尼茲：普遍語言
3.早期心靈觀點的主要問題
四 邏輯主義的興起
1.心靈可計算思想的邊緣化
2.邏輯主義的誕生
3.維根斯坦：用邏輯改造哲學
4.硬體主題的進展
第二章 計算及其結構
一 圖靈之前人們對算法的認識
1.計算與算法
2.遞歸函式與入可定義函式
二 圖靈機可計算函式的概念
1.機械過程的六條規則
2.圖靈機的基本思想
3.通用圖靈機
4.幾點說明
三 丘奇—圖靈論題
第三章 認知的計算理論
一 經典人工智慧研究及其遇到的問題
二 基於行為的自主機器人研究
1.行為主義學派的興起
2.行為主義學派的理論
3.行為主義學派的實踐
三 基於神經網路的聯結主義研究
1.聯結主義研究的興起
2.聯結主義研究的突破
3.聯結主義的新發展
第四章 心靈的計算理論
一 計算功能主義：普特南的早期論證及其後來的反駁
1.普特南對計算功能主義的論證
2.普特南對計算功能主義的反駁
3.關於認知科學
二 思想語言假說：福多的心靈計算理論
1.表徵實在論
2.心靈的計算理論
3.“思想語言假說”的形式描述
4.“思想語言假說”與神秘之物
第五章 生命的計算理論
一 生命的計算理論的提出
1.機械過程的本質
2.自我繁殖的邏輯
3.細胞自動機模型
4.生命遊戲與“生命”計算機
5.信息動力學與混沌邊緣的生命
二 計算機中的生命
1.磁芯大戰
2.計算機病毒和蠕蟲
3.Tierra：人扮演“上帝”
4.“阿米巴世界”
三 計算人工生命的實在性
1.虛擬的真實性
2.人工生命實在性的理論論證
3.哥德爾定理與強人工生命
第六章 世界與計算
一 方格宇宙
二 NKS：一種新科學
1.圖靈機
2.替代系統（Substitution systems）
3.自然數
三 聆聽計算的聲音
1.細胞自動機的分類
2.複雜性的極限
四 CA模擬股市
五 關於“黑客帝國”的物理學
1.離散的格子
2.因果網路
六 計算宇宙之間的紐帶
七 從複雜性走向通用性
1.通用計算
2.最小的通用計算系統
3.計算等價性原理
八 計算宇宙中的黑洞
1.虛擬層級
2.自指黑洞
九 走向現實
第七章 一種新的世界觀
一 宇宙是巨大的細胞自動機
二 數字物理學
三 萬物源於比特
四 可計算的宇宙和萬物的算法理論
五 作為量子計算的宇宙
第八章 批評與回應
一 物理學的反駁與回應
1.物理理論需要連續性
2.量子世界是非決定論的，而計算主義是決定論的
二 哲學的反駁與回應
1.只有人才計算嗎？
2.沒有語義就沒有計算嗎？
3.計算是純粹的句法操作嗎？
三 計算主義的價值
1.哲學價值
2.科學意義
四 計算：不可思議的有效性和不可或缺性
參考文獻
後記
第一章 計算主義的興起
一 對世界的抽象化理解
二 心靈的物質屬性問題
1.笛卡爾：機械的身體和自由的心靈
2.拉·梅特里：人是機器
三 心靈的可計算性
1.霍布斯：推理即計算
2.萊布尼茲：普遍語言
3.早期心靈觀點的主要問題
四 邏輯主義的興起
1.心靈可計算思想的邊緣化
2.邏輯主義的誕生
3.維根斯坦：用邏輯改造哲學
4.硬體主題的進展
第二章 計算及其結構
一 圖靈之前人們對算法的認識
1.計算與算法
2.遞歸函式與入可定義函式
二 圖靈機可計算函式的概念
1.機械過程的六條規則
2.圖靈機的基本思想
3.通用圖靈機
4.幾點說明
三 丘奇—圖靈論題
第三章 認知的計算理論
一 經典人工智慧研究及其遇到的問題
二 基於行為的自主機器人研究
1.行為主義學派的興起
2.行為主義學派的理論
3.行為主義學派的實踐
三 基於神經網路的聯結主義研究
1.聯結主義研究的興起
2.聯結主義研究的突破
3.聯結主義的新發展
第四章 心靈的計算理論
一 計算功能主義：普特南的早期論證及其後來的反駁
1.普特南對計算功能主義的論證
2.普特南對計算功能主義的反駁
3.關於認知科學
二 思想語言假說：福多的心靈計算理論
1.表徵實在論
2.心靈的計算理論
3.“思想語言假說”的形式描述
4.“思想語言假說”與神秘之物
第五章 生命的計算理論
一 生命的計算理論的提出
1.機械過程的本質
2.自我繁殖的邏輯
3.細胞自動機模型
4.生命遊戲與“生命”計算機
5.信息動力學與混沌邊緣的生命
二 計算機中的生命
1.磁芯大戰
2.計算機病毒和蠕蟲
3.Tierra：人扮演“上帝”
4.“阿米巴世界”
三 計算人工生命的實在性
1.虛擬的真實性
2.人工生命實在性的理論論證
3.哥德爾定理與強人工生命
第六章 世界與計算
一 方格宇宙
二 NKS：一種新科學
1.圖靈機
2.替代系統（Substitution systems）
3.自然數
三 聆聽計算的聲音
1.細胞自動機的分類
2.複雜性的極限
四 CA模擬股市
五 關於“黑客帝國”的物理學
1.離散的格子
2.因果網路
六 計算宇宙之間的紐帶
七 從複雜性走向通用性
1.通用計算
2.最小的通用計算系統
3.計算等價性原理
八 計算宇宙中的黑洞
1.虛擬層級
2.自指黑洞
九 走向現實
第七章 一種新的世界觀
一 宇宙是巨大的細胞自動機
二 數字物理學
三 萬物源於比特
四 可計算的宇宙和萬物的算法理論
五 作為量子計算的宇宙
第八章 批評與回應
一 物理學的反駁與回應
1.物理理論需要連續性
2.量子世界是非決定論的，而計算主義是決定論的
二 哲學的反駁與回應
1.只有人才計算嗎？
2.沒有語義就沒有計算嗎？
3.計算是純粹的句法操作嗎？
三 計算主義的價值
1.哲學價值
2.科學意義
四 計算：不可思議的有效性和不可或缺性
參考文獻
後記
文摘
著作權頁：
插圖：
上面討論了在計算主義的源頭中，有兩種關於心靈的觀點至關重要：“心靈”是某種形式的機器，比如運算器；“思維”包含對表征的操作。然而霍布斯之前，思想家們並沒有說明心靈應當被看作是哪種機器，以及思維應當包含哪種操作。霍布斯對思維操作的說明顯然是太簡單了，所以萊布尼茲提供了一個比較具體的想法，即“機器推理者（mechanical teasoner）”——一種無須人助的執行邏輯推理的機械系統。這個機械系統的關鍵之處在於具有一種全新的邏輯基礎，它是一種能徹底反映推理過程的普遍語言。
萊布尼茲在《普遍語言》（Characterstica Universalis）一書中，構想這種具有真正普遍意義語言是用某種符號和語言構成的，它們完全代表了人的觀念之間的關係，它所包含的思想和原理構成了所有科學的共同基礎。構建普遍語言需要三個過程，簡單說來，首先，在合適的符號被選擇出來之前，有必要創造一套涵蓋全部人類知識範圍的綱要或百科全書；其次，對其背後的觀念進行選擇，並為其中的每一個提供合適的符號就是可能的；最後演繹規則可以歸結為對這些符號的操作，即萊布尼茲所說的“推理演算（calculus ratiocinator）”，也就是今天的符號邏輯。
插圖：
上面討論了在計算主義的源頭中，有兩種關於心靈的觀點至關重要：“心靈”是某種形式的機器，比如運算器；“思維”包含對表征的操作。然而霍布斯之前，思想家們並沒有說明心靈應當被看作是哪種機器，以及思維應當包含哪種操作。霍布斯對思維操作的說明顯然是太簡單了，所以萊布尼茲提供了一個比較具體的想法，即“機器推理者（mechanical teasoner）”——一種無須人助的執行邏輯推理的機械系統。這個機械系統的關鍵之處在於具有一種全新的邏輯基礎，它是一種能徹底反映推理過程的普遍語言。
萊布尼茲在《普遍語言》（Characterstica Universalis）一書中，構想這種具有真正普遍意義語言是用某種符號和語言構成的，它們完全代表了人的觀念之間的關係，它所包含的思想和原理構成了所有科學的共同基礎。構建普遍語言需要三個過程，簡單說來，首先，在合適的符號被選擇出來之前，有必要創造一套涵蓋全部人類知識範圍的綱要或百科全書；其次，對其背後的觀念進行選擇，並為其中的每一個提供合適的符號就是可能的；最後演繹規則可以歸結為對這些符號的操作，即萊布尼茲所說的“推理演算（calculus ratiocinator）”，也就是今天的符號邏輯。
