真實與虛擬

序言  走出后真相時代 V
導論  真實性哲學的拱頂石 001
第一編 | 數(shù)學和符號真實
第一章  數(shù)學真實的基礎是邏輯嗎 063
經(jīng)驗的真實性和邏輯的真實性 063
從弗雷格到羅素 068
皮亞諾公理和科學真實的結(jié)構(gòu) 075
客觀實在和普遍可重復的受控觀察 081
受控實驗及其結(jié)構(gòu) 086
戴德金公理：受控實驗的組織、迭代和擴張 090
為什么只有一種科學真實 094
第二章  什么是數(shù)學 100
集合論：自洽地給出符號系統(tǒng) 100
選擇公理的意義 107
數(shù)學：受控實驗基本結(jié)構(gòu)的純符號表達 111
數(shù)學的整體性：從費馬大定理到朗蘭茲綱領(lǐng) 119
布爾巴基學派重構(gòu)數(shù)學的發(fā)現(xiàn) 125
第三章  可能性的“真實”研究 131
大數(shù)定理：概率之謎 131
隨機事件的符號表達及其真實性 138
概率論的公理基礎 141
統(tǒng)計數(shù)學的結(jié)構(gòu) 147
可能性和純符號系統(tǒng)的真實性 153
第二編 | 科學真實的擴張：經(jīng)驗世界和數(shù)學世界的互動
第一章  橫跨兩個真實世界的拱橋 161
在數(shù)“數(shù)”的背后：自然數(shù)的雙重結(jié)構(gòu) 161
測量可以等同于數(shù)“數(shù)”嗎 167
第一塊拱頂石：古希臘幾何學 171
架橋的展開：從歐幾里得幾何學到牛頓力學 178
計算和受控實驗擴張的自洽性 184
為什么數(shù)學可以預見新的科學真實 189
數(shù)學真實的拓展：從自然數(shù)、實數(shù)到點集理論 196
第二章  現(xiàn)代科學的語言結(jié)構(gòu) 204
20 世紀的哲學革命：發(fā)現(xiàn)邏輯語言 204
邏輯陳述和經(jīng)驗陳述 208
摹狀詞、變元和謂詞演算 214
陳述：傳遞對象的信息 219
量詞的意義：從受控觀察到受控實驗 223
現(xiàn)代科學理論的三個層次 230
第三章  拱橋的整體形態(tài)：“拱圈”及其“上蓋” 238
量化在科學中的位置 238
兩類拱頂石的關(guān)系 243
還原論的背后：拱橋的縱剖面 251
發(fā)現(xiàn)時空：基本測量及其意義 256
建立拱橋為什么需要復數(shù) 264
第三編 | 空間、時間和虛擬世界
第一章  為什么存在物理學的基本定律 273
什么是空間 273
什么是時間 278
基本測量之一：光速不變 284
基本測量之二：等效原理 290
基本測量之三：測不準原理 295
測量法則的數(shù)學表達：量子力學公理 304
基本測量的整合：科學基礎的自洽性 310
第二章  科學真實的虛擬形態(tài) 317
真實性哲學對科學的意義 317
為什么我們生活在時空之中 324
物理世界和虛擬世界 330
“元宇宙”的性質(zhì)和結(jié)構(gòu) 337
虛擬世界是如何呈現(xiàn)的 345
第三章  虛擬物理學 352
進入虛擬物理學的途徑 352
21 世紀的星空：嵌入物理世界的數(shù)學符號 359
沒有時間的世界 368
普朗克尺度 372
從規(guī)范場到“上帝粒子” 376
宇宙終極定律的幻象 382
第四編 | 哲學的解放
第一章  從科學到哲學：真實性的對象、領(lǐng)域和形態(tài) 393
自由的主體：符號、經(jīng)驗、信息和控制 393
可靠性與可重復性 399
經(jīng)驗和符號：真實性涉及兩種對象 404
真實性的三個領(lǐng)域 409
符號系統(tǒng)表達真實經(jīng)驗的前提 414
探索拱橋：真實性向主體呈現(xiàn)的形態(tài) 419
第二章  科學知識和人工智能的類型 424
真實性哲學的知識論 424
科學的經(jīng)驗：有默會知識嗎 430
數(shù)學知識：哥德爾不完備性定理的意義 440
科學理論知識：符合論的背后 448
什么是暗知識 458
人工智能的三種形態(tài) 465
“缸中之腦”和“清醒的夢”：何為主體 476
第三章  科學研究不能揭示主體的背后 484
圖靈測試證明了什么 484
社會真實和個體真實 491
擬受控實驗：“參與”和“理解” 499
自然語言、藝術(shù)和另外兩座拱橋 508
主體的起源和真實的心靈 516
后記　繼承啟蒙，又超越啟蒙 525
附錄一　惠勒延遲選擇實驗的真實性哲學解釋 529
附錄二　機器證明和數(shù)學知識中的暗知識 541