卡爾納普傳記——邏輯實證主義的建築師# 第1章-德國求學(1891–1926) 1.1-羅恩斯多夫與一戰 1.2-弗雷格與胡塞爾的課堂 1.3-博士論文與邏輯構造 第2章-維也納學派(1926–1935) 2.1-石里克小組的靈魂 2.2-語言的邏輯句法 2.3-納粹崛起與移民 第3章-美國歲月(1935–1952) 3.1-芝加哥大學 3.2-可算度性與圖靈機的引進 3.3-語義學與模態邏輯 第4章-UCLA 與科學哲學(1952–1970) 4.1-轉往加州大學洛杉磯分校 4.2-歸納邏輯與機率 4.3-晚年與去世 第5章-形式語言的樞紐(1934–2026) 5.1-對喬姆斯基生成語法的影響 5.2-普林斯頓邏輯圈與丘奇學派 5.3-邏輯AI與知識表示的路線源頭