計算機科學哲學研究（簡體書）

《計算機科學哲學研究:認知、計算與目的性的哲學思考》從認知、計算與人工生命的視角探討計算機科學哲學的主要問題和核心理念。追溯在畢達哥拉斯主義和目的論傳統中發展起來的邏輯機器哲學和人工生命哲學的理論淵源。展示20世紀80年代以來所謂“計算機革命”或“信息轉向”的理論成果。討論作為傳統哲學與現代計算機科學的哲學思考相結合的產物——邏輯機器哲學和人工生命哲學。探討計算主義綱領的合理性與局限性以及用計算機模擬人類心智的可能性以及有關的哲學問題。著眼于哲學、進化生物學、認知科學、邏輯學、計算機科學與自動機理論的結合點，試圖在深廣的哲學背景下對人機類比、計算仿真與生命模擬的理論發展的歷史、現狀和未來作較為深入的評述，并在此基礎上探討計算機科學中的核心理念和哲學問題。著重探討計算主義綱領的功過，重點探討人工生命中的哲學問題。向讀者展示計算機科學哲學領域所面臨的挑戰和困境，指出其可能的出路和大致發展趨勢。

任曉明，男，1953年生於四川瀘州。南開大學教授、博士生導師、中山大學邏輯與認知研究所兼職研究員、西南大學兼職教授。兼任中國自然辯證法研究會理事、中國邏輯學會常務理事、中國邏輯學會歸納邏輯專業委員會副主任等職。馬克思主義理論研究與建設工程重點編寫教材“邏輯學”首席專家。主要著作有：《當代歸納邏輯探賾》（1993年）、《進化認識論與進化邏輯》（1998年）、《歸納邏輯百年歷程》（2004年）；譯作有：《形而上學的邏輯基礎》（2004年）《計算與認知》（2007年）。另有論文50余篇。
桂起權，男，1940年生於浙江寧波。武漢大學教授，博士生導師。山西大學科學技術與哲學研究所兼職研究員。兼任湖北邏輯學會會長、湖北省自然辯證法學會物理學哲學專業委員會名譽主任、中國邏輯學會歸納邏輯專業委員會副主任、經濟邏輯專業委員會副主任、全國外國哲學學會理事等職。主要著作有：《當代數學哲學與邏輯哲學入門》（1991年）、（（科學思想的源流》（1994年）、《機遇與冒險的邏輯》（1995年）、《次協調邏輯與人工智能》（2002年）、（《生物科學哲學》（2003年），譯作有（（機器人與人類心智》（1993年）、《科學哲學》（1995年）。另有論文60余篇。

前言
導言 計算機科學哲學的核心理念
第一章 目的論的科學一哲學分析
第一節 目的論系統的特徵和物理模型
一、目的論系統的特徵
二、刻畫目的論系統本質的物理模型
第二節 目的論系統的判別與界定
一、功能／結構判據
二、程序／歷史判據
第三節 目的論陳述和目的論說明
一、目的論陳述與科學說明的經典模型
二、目的論說明與科學說明的經典模型
三、初步的結論

第二章 目的論的歷史分析
第一節 哲學史上的目的論
一、亞里士多德的內在目的論
二、自然神學的目的論
三、康德、黑格爾論目的性
第二節 系統科學的目的觀
一、維納控制論的目的觀及自動機思想
二、莫諾的微觀控制論與自動機概念
三、貝塔朗菲的一般系統論中的目的觀
第三節 復雜性科學對目的性概念的影響
一、耗散結構論、協同學對目的性概念的影響
二、復雜性科學其他分支對目的性概念的影響

第三章 生物目的性自動機與邏輯機器哲學
第一節 生物目的性自動機
一、從“機械機器”到“活的機器”
二、作為計算模型的自動機
三、生物目的性自動機的基本概念
四、生物目的性自動機理論的產生與發展
第二節 邏輯機器哲學
一、邏輯機器哲學的歷史脈絡
二、邏輯機器哲學的主要論題
三、簡要的評論
第三節 “人=機器人”論題
一、“人=機器人”論題的本質和主要內容
二、支持“人=機器人”論題的論據
三、簡要的評論

第四章 人工生命理論源流
第一節 人工神經網絡模型
一、神經活動與數理邏輯
二、物理假定和定理
三、M-P系統的意義和局限
第二節 自再生自動機和細胞自動機
一、圖靈與圖靈機
二、馮·諾意曼其人其說
三、馮·諾意曼的自再生自動機
四、自然自動機與人工自動機
五、自動機的模型和理論基礎
六、復雜性和自再生
七、馮·諾意曼的細胞自動機
第三節 分子自動機
一、分子自動機：從細胞向分子的發展
二、分子自動機的自描述
三、分子自動機的自再生
第四節 生物發育的L-系統
一、生物發育的細胞增殖模型
二、L-系統的定義
三、生物發育的各種系統
第五節 進化的邏輯和分類符系統
一、進化的邏輯：從靜態到動態的發展
二、基本分類符系統
三、組桶式學習算法
四、組桶式分類器
五、遺傳算法及其哲學意義

第五章 人工生命理論及其哲學問題
第一節 人工生命的興起
一、人工生命的歷史淵源
二、邏輯機器哲學與人工生命哲學
三、人工生命哲學的研究視野
第二節 從人工生命理論看生命的本質
一、關於生命本質的不同看法
二、人工生命研究者對生命本質的看法
三、生命究竟是什麼
第三節 數字生命的哲學思考
一、數字生命世界
二、創建數字生命的方法
三、簡要的評論
第四節 虛擬生物的哲學思考
一、虛擬植物與虛擬動物
二、基因網絡模型
三、虛擬生物研究的意義
第五節 人工智能與人工生命
一、人工智能的困境
二、人工生命與人工智能
三、關於人工生命的哲學爭論

第六章 計算機科學的哲學省思
第一節 計算機科學的哲學理念
一、計算機科學研究中的畢達哥拉斯主義傾向
二、目的論傳統與目的性自動機
三、目的論與進化論
第二節 邏輯派與認知派：計算機模擬的方法論
一、啟發式搜索：AI認知學派的方法論啟示
二、歸納機械化：AI邏輯學派的追求
三、辯證的分析：Prolog的非單調推理性質
第三節 計算主義綱領的貢獻和局限
一、計算主義的理論淵源
二、“認知＝計算”的論題
三、計算主義的基本假定
四、評價與分析
五、挑戰與回應
第四節 期望與夢想
一、下一步應該做什麼
二、人工生命研究的自然化
三、人工生命的進化觀
四、從復雜系統理論的視角看人工生命
五、結束語
參考文獻
人名英漢對照
內容術語英漢對照
後記