第 1 章 阿蘭·圖靈與麥卡洛克：心智機械化的理論創世紀#
1.3 哲學家與邏輯學家的交鋒：機器能擁有靈魂嗎？早期 AI 思想對「符號與感覺」的探索#
1.3.1 達特茅斯之前的思想溫床#
1950 年代初，三股思潮為 AI 鋪路：
- 邏輯主義：紐厄爾與西蒙在蘭德公司研究組織決策，相信「推理即符號操作」；
- 控制論：維納（Wiener）的回饋、香農（Shannon）的資訊論、麥卡洛克小組的機器心智；
- 行為主義心理學的衰變與認知革命的興起（1956 年米勒「神奇數字 7」等認知心理學論文同年出現）。
1.3.2 符號 vs 感覺：兩種心智觀的分裂#
早期辯論的核心是「智能的原子是什麼」：
| 立場 | 智能的基本單位 | 代表 |
|---|---|---|
| 符號主義 | 邏輯命題與規則 | 紐厄爾、西蒙、麥卡錫 |
| 連接主義 | 神經元與權重 | 麥卡洛克、皮茨、羅森布拉特 |
西蒙 1957 年的豪言「十年內計算機將成為國際象棋冠軍、發現重要數學定理」屬於符號陣營；而神經元模型者相信智能自底向上湧現。這條斷層線將貫穿四十年（4.2）。
1.3.3 語言與思想的工程試驗#
- 1954 年喬治城—IBM 的俄英機器翻譯公開演示（以 250 字彙、6 條語法規則），令美國輿論振奮，促成軍方資助機翻（此事亦埋下 4.3 ALPAC 報告的伏筆）；
- 1955–56 年 Newell 與 Simon 的 Logic Theorist 在 RAND 誕生（2.2 詳述）；
- 1951 年香農與麥卡錫合編《Automata Studies》，把自動機理論與神經網絡收進同一本書——「自動機研究」此時還未叫 AI。
1.3.4 前因後果#
- 前因：邏輯實證主義與控制論的戰後匯流＋早期計算機可用。
- 事件：1954 機翻演示、1955 Logic Theorist 雛形、1956 達特茅斯前夜。
- 後果：思想市場成熟，只缺一個名字與一場會議——第 2 章達特茅斯。