SciTech-Logics-Formal Logic-Reasoning(推理)的兩大種類{ 歸納 和 演繹 }

形式邏輯: Reasoning(推理)的兩大種類

The Laws of Thought(思維的法則)
Reasoning(推理)
Inference(推論)
Assert(斷定)
Statement(陳述)
Proposition(命題，常為人們使用“陳述句"所斷定的東西 )

Argument(論證、爭辯): “日常話語”有兩種含義

• Dispute(爭辯):
• Inference(推論):

結論指示詞: 指示"論證的結論"的詞 )

Therefore(所以)
So(所以)
For these reasons(基於這些原因)
Hence(因此)
thus（因而）
It follows that(可推理得到)
I conclude that(推斷)
Accordingly(由此可見)
In consequence(於是)
consequently（可得）
Which shows that(這表明)
Which means that(這意味著)
which implies that（這蘊涵）
which allows us to infer that（據此可以推出）
which points to the conclusion that（據此可得結論）
which entails that（據此可得）
proves that（據此證明）
for this reason（為此原因）
we may infer（我們可推出）
as a result（之所以）

前提指示詞(指示"論證的前提"的詞)

since（因為）
as indicated by（正如……所示）
because（由於）
the reason is that（理由是）
for（因）
for the reason is that（理由在於）
as（根據）
may be inferred from（可從……推出)
follows from（從……推出）
may be derived from（可從……引申）
as shown by（正如……所表明）
may be deduced from（可從……得出）
inasmuch as（緣於）
in view of the fact that（有鑑於）

演繹論證與歸納論證

"每一個論證"都"斷言"其"前提"為"結論"的"真"提供了"根據"。這種斷言正是論證的標誌。
然而，"前提"對"結論"的"支援方式"有完全不同的兩種。
因此有兩大種類的論證，即演繹和歸納。
明白"前提"對"結論"的"支援方式"的區分根據“是否總斷言其 **"前提" 決定性地支援"結論,
對學習邏輯學至關重要。

任一 "演繹論證" 總斷言其 "前提" 決定性地支援"結論"；
它 "斷言" 如果其"前提都是真的"，其"結論一定是真的"。
相反，歸納論證均沒有這種斷言。
在對一個語段的解釋，如果我們判定它做出了這樣的斷言，我們就將其視為演繹論證；
如果我們判定它沒有做出這樣的斷言，我們就將其視為歸納論證。

演繹推理

1. 非模態演繹推理

   • 簡單判斷的推理

     • 性質判斷的推理

       • 直接推理
         • "質" 變換
         • "位" 變換
         • "質位" 變換
         • "加性"
       • 間接推理

     • 關係判斷的推理

   • 複合判斷的推理
     • 假言
     • 選言
     • 聯言
     • 兩難

2. 模態演繹推理

歸納推理

1. 感性材料整理法:

   • 觀察 -> 實驗 -> 比較
   • 分類 -> 分析 -> 綜合

2. 初步歸納推理

   • 簡單列舉
   • 完全歸納
   • 類比

3. 較嚴密的歸納推理

   • 求因果關係的五種方法:
     1. 契合
     2. 差異
     3. 契合差異
     4. 共變
     5. 剩餘

4. 機率與統計推理

5. 假說推理