**歸納**（粵讀：gwai1 naap6；英文 **Induction**），舊亦叫**內籀**（籀讀就），理論學名。由特殊事例，推見普遍原理嘅方法。例如，由某幾隻金屬導熱，推論到所有金屬都係導熱，咁就叫歸納。因爲係方法，亦叫**歸納法**。

歸納有好多種，如數學歸納。

定義
--

睇埋：演繹推理
歸納係指緊由啲個別嘅事例嗰度去推斷出一啲普遍嘅原理，係科學嘅基礎。

歸納問題
----

呢個世界上查實有黑天鵝。
内文：歸納問題
睇埋：貝葉斯推論
歸納相對於數學家成日用、可以得出肯定結論嘅思考方式唔同－歸納唔會保證到個結論係一定真確，但會靠住有大量嘅事例嚟去提升自己個論證嘅強度。好似係以下嘅論證噉樣：

**前提 1**：所有人類嘅壽命都係有限嘅；
**前提 2**：蘇格拉底係個人；
**結論**：蘇格拉底嘅壽命係有限嘅。
呢個係一個典型嘅演繹推理論證：雖然話係有得詏佢嗰兩句前提到底係咪真，但事實係如果佢嗰兩句前提係成立嘅，噉佢個結論邏輯上都一定會成立－喺一個有效（valid）嘅演繹推理論證入面，前提嘅真確性會保證到個結論嘅真確性。呢種思考方式喺數學上成日都會用嚟證明（prove）一啲定理。同呢種諗嘢方式唔同，响一個歸納性質嘅論證入面，前提嘅真確性冇辦法保證到結論嘅真確性，淨係可以靠大量嘅事例嚟提升個論證嘅強度，好似係以下呢個論證噉：

**前提**：我之前見過嘅天鵝都係白色嘅：
**結論**：呢個世界上所有天鵝都係白色嘅。
呢個係個典型嘅歸納論證：就算個前提係真，都保證唔到個結論係真－前提入面嗰個「我」並冇見過嗮世界上所有嘅天鵝，而事實係世界上有黑天鵝，個觀察者會噉諗只不過係因為佢咁啱未見過黑天鵝；如果個觀察者想佢個論證強啲嘅話，佢就一啲要去見多啲天鵝：如果佢睇勻嗮全歐洲嘅天鵝，呢個論證嘅說服力會比較強；相反，如果佢淨係見過英國嘅天鵝，噉呢個論證嘅說服力會渣好多。

科學應用
----

睇埋：科學方法同科學
「科學方法用嘅係歸納」呢點對科學家嘅思考方式有重大影響：喺驗證「萬有引力係真嘅」呢句說話嗰陣，牛頓觀察到一個蘋果由樹上面跌落嚟（一個個別事例），佢亦都觀察到好多嘢都係跟呢條規則（好多個個別事例），但佢始終都冇辦法去真係「證明」呢個宇宙入面真係所有嘢都有萬有引力（普遍原理）－因為可能喺宇宙嘅某啲黑暗角落度會有啲冇引力嘅嘢，只係人類仲未搵到。科學家靠嘅係實驗同觀察，佢哋冇辦法好似數學家噉真係吓吓都證明佢哋講嘅嘢，只可以靠住重複做實驗同觀察嚟加強自己嘅論證，但始終係冇方法排除一個可能性：呢個宇宙入面可能真係有啲嘢係唔跟佢哋諗出嚟嗰啲定律嘅，只係佢哋未搵到呢啲嘢。

因為噉，喺正式嘅科學文獻入面，科學家正路嚟講係唔會話自己「用手上嘅實驗或者觀察嚟證明咗乜嘢乜嘢理論」，頂櫳淨係會話「觀察同實驗結果撐嗰個理論」，而且佢哋仲會好積極噉去搵新數據，睇吓呢啲佢哋之前未見過嘅數據會唔會推翻舊嘅理論。如果會嘅話，佢哋就會開始諗新理論，或者睇吓點樣將舊嗰個理論改吓等佢可以同新數據夾得埋，令個理論成為一個更加貼近現實嘅模型。

想像 {\displaystyle u} 表示宇宙入面一切嘅現象，{\displaystyle A} 表示人類觀察得到嘅現象，而 {\displaystyle A^{c}} 表示宇宙當中人類觀察唔到嘅現象。原則上，{\displaystyle A} 永遠會細過 {\displaystyle u} 一大截，所以難保 {\displaystyle A^{c}} 裏面唔會有啲「唔跟從人類嘅科學定律，但人類唔知佢哋存在」嘅事物。

睇埋
--

* 後驗
* 齊一論
* 黑天鵝效應
* 樣本代表性

引述
--

1. ↑  Deductive and Inductive Arguments.
2. 1 2 3  Heit, E. (2000). Properties of inductive reasoning. *Psychonomic Bulletin & Review*, 7(4), 569-592.
3. ↑  Sextus Empiricus, *Outlines of Pyrrhonism*. Trans. R.G. Bury, Harvard University Press, Cambridge, Massachusetts, 1933, p. 283.
4. ↑  Arthur, W. B. (1994). Inductive reasoning and bounded rationality. *The American economic review*, 84(2), 406-411.

| * 睇
* 傾
* 改
邏輯 |
| --- |
| **子領域**
* 邏輯哲學
* 邏輯代數
* 數學邏輯
* 運算邏輯
* 邏輯語義學同句法學
* 形式語義分析
 |
| **理論框架**
* 古典邏輯同非古典邏輯
* 非形式邏輯（批判思考 · 理性）
* 哲學邏輯
* 辨證理論
* 元邏輯
* 集合論
 |
| **重要概念**
* 定義
* 名
* 命題同陳述式
* 真（邏輯真理）
* 前件同結論
* 邏輯連接詞
* 推理（溯因、演繹同歸納）
* 互斥

* 證明
* 定言三段論
* 效度
* 矛盾（悖論同二律背反）
* 充分必要條件
* if and only if
* 一致性
* 謬論（形式謬論）

* 參考
* 概率
* 遞移關係同唔遞移關係
* 因果關係
* 分析-綜合區別
* 邏輯符號一覽
 |
| **拉雜相關**
* 知識論
* 科學
* 數學（數學證明）
* 理論電腦科學
* 演算法
 |

| * 睇
* 傾
* 改
科學哲學 |
| --- |
| 探討「科學呢家嘢應該點樣搞？」嘅哲學 |
| 

|  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 重要概念 | 

|  |  |
| --- | --- |
| 界定科學 | 
* 定義
* 科學（科學分界問題）
* 經驗主義同實證
* 可否證度同可測試度
* 假科學
* 客觀
* 發現定係發明

 |
| 科學理論 | 
* 變數同量化
* 建構
* 解釋、解釋力同還原論
* 定律
* 因果
* 假說
* 證據
* 奧坎剃刀
* 範式（轉移）

* 可通約
* 理論滲透
* 理論選擇
* 理想化
* 理論間歸約（英文：Intertheoretic reduction）

 |
| 科學方法 | 
* 量度
* 實驗同觀察
* 歸納、歸納問題同黑天鵝
* 再現
* 不充分決定論
* 證據一致
* 企喺巨人嘅膊頭上面

 |
| 其他概念 | 
* 事實同意見
* 哲學分析
* 本質
* 自然
* 分析-綜合區別
* 齊一論
* 我哋而家唔知，將來都唔會知

 |

 |
| 相關思想 | 
* 理性同經驗主義
* 實證主義同決定論
* 實用主義
* 自然主義
* 真理融貫論
* 基礎主義
* 整體確定主義
* 建構經驗主義

 |
| 領域哲學 | 
* 物理學
* 化學
* 生物學
* 社會科學
* AI
* 電腦科學
* 心靈哲學同心理學哲學

 |
| 拉雜相關 | 
* 知識論
* 科學革命
* 硬同軟科學
* 科學論
* 科學史（進化論史）
* 邏輯（哲學邏輯）
* 形而上學
* 煉金術
* 複雜系統

 |
| 科學哲學類 |

 |

| * 睇
* 傾
* 改
哲學邏輯 |
| --- |
| 可以睇埋批判思考同懷疑論 |
| **哲學分析**
* 定義
* 歧義同含糊
* 公信力
* 啦更
* 係-應該問題
* 理性
 |
| **邏輯**
* 邏輯推理（演繹推理 · 歸納 · 溯因推理 · 矛盾同悖論）
* 論證（前件 · 結論 · 證據 · 謬論）

* 因果關係、統計相關同相關唔蘊含因果
 |
| **知識論**
* 知識
* 信念、真確同理據
* 概念
* 常識
* 事實同意見
* 解釋（解釋力 · 奧坎剃刀 · 可否證度）
 |
| **拉雜相關**
哲學（西方哲學） · 辯論 · 修辭學 · 實用主義 · 認知（思維） |

| * 睇
* 傾
* 改
知識論 |
| --- |
| 研究知識本質嘅哲學領域 |
| **概念**
* 知識（定義）
* Episteme
* 信念（確定）、真確同理據（證據 · 真理融貫論）
* JTB 理論同葛提雅問題
* 證明同歸納（歸納問題）

* 後退論證、不證自明、公理同基礎主義
* 概念
* 事實同意見
* 規律
* 建構
* 客觀
* 不確定
* 笛卡兒邪靈
* 哲學分析
* 簡單同奧坎剃刀
 |
| **知識分類**
* 陳述知識同過程知識
* 親身知識同聽講知識
* 先驗同後驗
* 分析-綜合區別
* 先天知識
* 常識
 |
| **主要學派**
* 經驗主義（實證）同理性主義
* 懷疑論
* 還原論
* 實用主義
* 相對主義
* 唯心論

* 固有知識說
* 感覺主義
* 實證主義
* 自然化知識論
* 文脈主義
* 天真現實論同現象主義
 |
| **重要學者**
* 柏拉圖（美盧篇）
* 阿里士多德
* 笛卡兒
* 大衛休謨
* 伊曼努爾·康德
* 艾德蒙德·葛提雅
 |
| **拉雜相關**
* Cogito ergo sum
* Intellect
* 智能
* 桶中腦
* 形而上學
* 心靈哲學
* 啟蒙時期
* 認知心理學（認知同感知）
* 知識表示
* 概率論
 |