序與數-數概念的形成與演變 馮琦 9787302632023 【台灣高等教育出版社】

編輯推薦
本書是數學哲學方面的一本論著，涉及有關自然數的本體論和認識論的基本問題。十九世紀後半葉，多位數學思考者、哲學思考者圍繞自然數這一概念展開過一系列探索。其結果各有所長、各有千秋，但都不盡如人意。原因在於人們只注意到自然數的有限基數特點而疏忽了自然的實在的剛性的序特點。我國古代智慧的先人們則早已駕輕就熟地應用這種序結構來表達思想。
本書試圖從自然界的序現象出發，結合我國古代先人應用序的智慧，闡明這種幾乎無處不在的「序結構」如同到處可見的「幾何結構」一樣，是人類一種來自生活經驗的認識之源，有關自然數及其運算律的認識也和有關幾何知識的認識一樣來源於對客觀世界的感知。本書試圖以嚴格的數學方式來論證自然數這一概念從其依賴的本源到抽象獨立出來，成為柏拉圖所說的「永恆之物」的自然和典型的思維路徑，以及從自然數到實數的根本發展途徑的典型性，從而對有關數這一概念的一些認識論問題提出具有說服力的見解。

內容簡介
本書涉及有關自然數的本體論和認識論的基本問題。十九世紀後半葉，多位數學思考者、哲學思考者圍繞自然數這一概念展開過一系列探索。其結果各有所長、各有千秋，但都不盡如人意。原因在於人們只注意到自然數的有限基數特點而疏忽了自然的實在的剛性的序特點。我國古代充滿智慧的先人們則早已駕輕就熟地應用這種序結構來表達思想。
本書試圖從自然界的序現象出發，結合我國古代先人應用序的智慧，闡明這種幾乎無處不在的「序結構」如同到處可見的「幾何結構」一樣，是人類一種來自生活經驗的認識之源，有關自然數及其運算律的認識也和有關幾何知識的認識一樣源於對客觀世界的感知。本書試圖以嚴格的數學方式來論證自然數這一概念從其依賴的本源到抽象獨立出來，成為柏拉圖所說的「永恆之物」的自然和典型的思維路徑，以及從自然數到實數的根本發展途徑的典型性，從而對有關數概念的一些認識論問題提出具有說服力的見解。

作者簡介
馮琦，湖北松滋人，1955年4月出生。哈爾濱工業大學計算機軟體專業本科畢業；美國賓州州立大學數學專業博士畢業。曾任新加坡國立大學數學系講師、高級講師、教授；曾任清華大學數學系教授；曾任中國科學院數學所研究員、數學所副所長，以及中國科學院數學與系統科學研究院研究員；現為清華大學人文學院哲學系訪問學者。專業研究方向為數理邏輯、集合論。著有《數理邏輯導引》(2017)、《線性代數導引》(2018)、《集合論導引》(3卷，2019)、《基本邏輯學》(2020)、以及《邏輯與發現》(預計2022)，均有科學出版社出版。

目錄
第 1 章 緒論 1
1 1 十九世紀末葉思想者對自然數觀念的典型解釋 3
1 1 1 弗雷格在《算術基礎》解釋自然數 3
1 1 2 赫爾姆霍茲否定算術知識的先驗性 12
1 1 3 克羅內克定義自然數 18
1 1 4 戴德金論自然數的本質與含義 20
1 1 5 皮亞諾算術公理 27
1 1 6 對前述典型認知的幾點評註 29
1 2 面臨的基本問題及基本假設 32
1 2 1 思維過程涉及三種世界 33
1 2 2 關於抽象與抽象能力 42
1 2 3 關於數的哲學思考 44
第 2 章 比較與排序 49
2 1 生活中的比較問題 49
2 2 等同 58
2 2 1 相同關係 58
2 2 2 等價類與商集 62
2 3 關聯準線性序與自然離散線性序 66
2 3 1 關聯準線性序關係 66
2 3 2 線性序 68
2 3 3 關聯準線性序之群體效應 69
2 3 4 關聯準線性序之提升 70
2 3 5 一階邏輯之量詞 78
2 3 6 量詞所轄變元之變化範圍問題 79
2 3 7 關於抽象：從具體到一般 80
2 3 8 序結構比較問題 81
2 3 9 特殊字元串表及其字典序 85
2 3 10 居民擴展名之等價類中名字的字典序 86
2 3 11 商集 M/ 中的元素與商集 H0/中元素之比較 88
2 3 12 竹簡書卷長短比較 89
2 4 「正」字字元串 92
2 4 1 從實物標識到「正」字字元串表示 92
2 4 2 「正」字字元串之有界部分團 95
第 3 章 序型算術與自然數 98
3 1 序同構與序型比較 98
3 1 1 等勢 98
3 1 2 保序對應 101
3 1 3 序同構法則 102
3 1 4 自然離散線性序之剛性 102
3 1 5 序型表示問題 106
3 1 6 有限性與自然數 107
3 1 7 「自然數」之內涵 108
3 2 算術問題 108
3 2 1 合併操作與整合操作 108
3 2 2 無重合序合併與序型加法 109
3 2 3 序型加法 111
3 2 4 序型加法保持序型比較關係 112
3 2 5 整合操作與干支乘積 123
3 2 6 整合操作的基本性質 125
3 3 序型算術的實現 126
3 3 1 加法運算與乘法運算 126
3 3 2 運算保序規律 131
3 3 3 自然數數值內涵 134
第 4 章 正分數 139
4 1 平面直線線段長短比較問題 139
4 1 1 平面直線線段長短比較 139
4 1 2 平面長度度量假設 144
4 2 平面整齊矩形面積量 146
4 2 1 整齊矩形面積度量 146
4 2 2 長度量之乘法以及面積量 148
4 2 3 等分直線段與正分數 149
4 3 正分數算術律 151
4 3 1 發現正分數算術律 151
4 3 2 長度量均分假設 155
4 3 3 發現正真分數大小比較律 155
第 5 章 幾何量 158
5 1 發現非分數幾何量 158
5 1 1 單位正方形主對角線長度問題 158
5 1 2 發現雙倍面積定理 159
5 1 3 發現勾股弦面積定理 162
5 2 幾何原理 168
5 2 1 默認假設追問 168
5 2 2 歐幾里得幾何 169
5 2 3 劉徽計算中的幾何直觀假設 171
5 2 4 發現圓周率 172
5 2 5 「數之法出於圓方」 173
5 2 6 非有理幾何量 174
5 2 7 無理數 175
5 2 8 幾何量與正實數 175
5 2 9 平面夾角及其大小比較 176
5 2 10 平面上夾角的度量 178
5 2 11 發現正弦變化律 179
5 2 12 正弦值與三角形面積 183
5 2 13 正無理長度 185
5 2 14 正實數直線 185
5 2 15 非負實數軸與平面直線線段長度 190
5 2 16 鏡面反射與負數 192
5 2 17 整數直線、分數直線、實數直線 192
5 2 18 實數軸 195
第 6 章 向量 198
6 1 實數平面與實數立體幾何空間 198
6 1 1 笛卡爾直角坐標系 198
6 1 2 歐幾里得平面參照系 201
6 1 3 笛卡爾距離空間 203
6 1 4 立體歐幾里得空間參照系 206
6 1 5 向量空間 208
6 1 6 內積空間 214
6 1 7 高維向量空間中的內積 216
6 2 向量內積空間上的變換 217
6 2 1 平移 217
6 2 2 旋轉 220
6 2 3 旋轉矩陣 221
6 2 4 矩陣之代數運算 223
6 2 5 旋轉複合 230

前言/序言
序 言
Humanity always arithmetizes
人類總是算術化。
——戴德金，《何為數，何當為數？》
幾乎每一個人自幼開始就學著數數、認數。可以說從小開始，自然數就是大家日常打交道的對象之一。到上小學的時候，我們不僅更為熟練地數數、認數，更是花不少時間學習如何計算各種各樣的數值等式和大小比較的不等式，學習算術加法和乘法的交換律、結合律、分配律，等等。可是，何為數？何當為數？這裏的問題不僅涉及有關數的本體論和認識論的問題，涉及關於數的語義解釋以及真假判定問題，還涉及數學的基礎問題。這不僅是戴德金問過的問題，事實上也是一個自古希臘開始無數思想者都問過的問題。他們不僅發問，而且也都各抒己見，從不同的角度對這樣的問題給出自己的解答。很明顯，這樣的問題也和其他哲學問題一樣是開放型問題，是那種很難有完全令人信服的終極答案的問題。縱觀迄今為止的所有具有代表性的解答，許多涉及根本的解答的確各有不盡如人意之處。尤其是，自然數這一概念究竟來自何處？到底是先驗的，還是后驗的？算術律的真性到底是由什麼確定的？依據是什麼？這些問題似乎依舊還有值得進一步深究的地方。
在這裏，本書試圖以自然界中自然產生的「序」現象為本，從我國古代先人們智慧地應用「序」的事例出發，將「自然數」解釋為「自然離散線性序序結構」在「序同構」分類下的「序型」，將「自然數」之間的「大小比較」還原成「自然離散線性序」之間的「嵌入」比較關係，將「自然數加法」還原成具體的「自然離散線性序序結構」之間的「線性序聚合」，將「自然數乘法」還原成具體的「自然離散線性序序結構」之間的「雙線性序整合」。而這種序的「聚合」與「整合」早已被我國古代先賢們駕輕就熟地使用。當本書將這些事實系統性地、嚴格地展現出來的時候，前面提到的一些問題的一種典型答案似乎應當明顯地躍然紙上。
在這個基礎上，本書沿著數概念延展的歷史軌跡，試圖說明在數學中像數這樣的基本概念是如何因為解決現實世界實際問題的需要，而沿著一條（無論是從邏輯的角度看還是從現實發展的角度看）典型的路徑被不斷延拓，以及這種數概念的典型延拓又怎樣內在地激勵著數學自身向前發展。在這裏的解釋中隱含著的是一些數學中典型的思維方法。對此，我們不想過多言說，因為真正的美更多的是盡在不言。
雖然本書討論的是數學哲學的問題，但我可能不習慣對關於這些問題的其他說法發表自己的看法。理由是在數學中，在自然科學中，思想者普遍奉行的是「立字當頭，破在其中」；有道理，把道理講清楚了，其他的就留給願意對比或評判的讀者。我大約也希望就算涉及的是哲學問題，我也只是努力把我能夠說清楚的講明白就好，對於任何其他說法，我都尊重，不必多言。唯一例外的是關於現代結構論者的一段宣言我會謹慎地提出自己的不同見解（詳見第1章結尾段落）。
本書將在緒論中扼要地呈現弗雷格（1884年）、赫爾姆霍茲（1887年）、克羅內克（1887年）、戴德金（1888年）以及皮亞諾（1889年）關於自然數的論述，以展開本書的話題；在這一章的後半部分，本書將試圖明確必要的假設，並希望以此來明確本書的立足點和基本想法以及本書試圖說明的主要觀點。
第2章引進一系列來自生活中的實例，並藉助它們引進本書所需要的基本數學概念：等價關係、關聯準線性序、商線性序以及自然離散線性序；進而試圖對自然離散線性序給出一種來自生活的「規範性」的表示。
第3章引進序同構與序嵌入，從而定義自然離散線性序的序型並揭示它們的剛性；結合我國先人們的智慧，本書會討論如何將算術運算還原到序型的聚合與整合問題中，從而討論序型算術律及其真性問題，等等。
第4章討論正分數的典型性來歷，試圖將正分數數值等式以及正分數算術律的真性與實際應用中的解釋有效性關聯起來。
第5章沿著從幾何量到正無理數以及實數軸發展的歷史軌跡，重現數概念演變延拓的典型路徑。
第6章解釋為了滿足什麼樣的需要，實數概念又怎樣被延展到向量概念以及矩陣概念；同時，本章還將展示如何將物理上的實際操作用數學上的運算（函數）恰當地表示出來。本章試圖說明的是：之所以數學會在自然科學中有如此功能性的廣泛應用，就在於數學中的典型對象（函數）原本就來自對實際操作的恰到好處的抽象。
第7章解釋康托的集合論與超限序數，以及在集合論中如何規範地解釋自然數以及實數這些概念。本書也希望明確康托的超限序數與有限序數之間的自然關聯，從而提示數學中新概念產生的一條典型思路。這一章中，本書也大致地展示了現代數學的一種基礎理論------集合論------的主要內容。我們需要這樣做，因為這是對「數」概念規範的終極解釋。除了集合論公理化內容之外，本章的重點是康托在1883年引進超限序數的論文的主要內容以及他對於實數的定義。
最後，第8章引進了實數算術理論以及自然數算術理論的非標準模型。這樣做的目的是試圖解釋「數」這樣的概念實際上具有很大的「可伸縮性」，並非如早先的那些先驗論者所想象的那樣「一層不變」。這些嚴格定義出來的「非標準模型」會展示牛頓--萊布尼茨早年想象的「無窮大量」與「無窮小量」可以是數學意義上的真實存在對象，它們也是「數」。
實話實說，我原本不會