邏輯
邏輯作為對辯證正確性的關注而產生，並於歷史上成為一個基本課題，是邏輯傳統的創始人柏拉圖和亞裏士多德設想邏輯的方式。現代邏輯學家往往希望確保邏輯研究侷限於由適度一般化推論產生的論證。
形式邏輯
形式邏輯的核心是形式，但「形式邏輯」中的「形式」一詞經常不太明確，導致對它的描述難以理解。符號邏輯僅是形式邏輯的一種，它不同於形式邏輯的另一種類型——三段論，後者僅處理定言命題。
廣義的邏輯
廣義來説，形式邏輯有悠久的歷史，可以追溯到兩千多年前，而符號邏輯相對較新，只有約一個世紀的歷史。絕對不存在一個同時滿足完備性、相容性和健全性的系統。其中，庫爾特·哥德爾證明瞭沒有任何有用的算術系統可以同時滿足相容性和完備性。
結論
邏輯作為對辯證的研究，在歷史上一直是一個基本課題，也是邏輯傳統的創始人設想邏輯的方式。現代邏輯學家往往希望確保邏輯研究侷限於由適度一般化推論產生的論證，而廣義的邏輯則有悠久的歷史。
理則學：邏輯、證明與推理的科學
理則學是一門研究推理、證明和邏輯的學科，是哲學的核心分支之一。理則學旨在制定標準，幫助我們區分有效的推理與無效的推理、有力的論證與無力的論證。
理則學的歷史
理則學的發展可以追溯到古希臘時期，其中亞裏斯多德被公認為理則學之父。亞裏斯多德在他的著作《前分析篇》和《後分析篇》中，建立了三段論的規則，並考察了推理的有效性。
理則學在中古時代和近代早期進一步發展。中世紀的學者，如彼得·阿貝拉爾和託馬斯·阿奎那，將理則學與神學和法律相結合。16和17世紀，培根和笛卡兒等現代哲學家強調理則學的重要性，並將其應用於自然科學。
理則學的主要概念
理則學的核心概念包括：
| 概念 | 説明 |
|---|---|
| 證 | 一個可以通過邏輯證明為真的陳述 |
| 推理 | 一個從前提推導出結論的過程 |
| 謬誤 | 一個無效的推理或論證 |
| 命題 | 一個可以為真或假的陳述 |
| 三段論 | 一種由兩個前提和一個結論組成的推理形式 |
理則學的應用
理則學在哲學、數學、科學和日常生活中都有廣泛的應用：
- 哲學：理則學提供了一個框架，用於評估論點的有效性和建立清晰的思維。
- 數學：理則學是數學推理的基礎，用於證明定理和推導結論。
- 科學：理則學幫助科學家設計實驗、評估證據和得出合理的結論。
- 日常生活：理則學技能，如識別謬誤和評估論證，對於批判性思維和明智決策至關重要。
理則學的挑戰
當代理則學面臨著許多挑戰，包括：
- 非古典邏輯的發展，例如直覺主義和模糊邏輯
- 計算機科學中的自動化推理技術
- 認知行為研究中關於人類推理的發現
這些挑戰促使理則學不斷發展，以應對現代思想和技術的變化。
結論
理則學是一門古老而重要的學科，它提供了理解推理、證明和邏輯的工具。通過研究理則學，我們可以培養批判性思維、改善溝通並做出明智的決策。
延伸閲讀…
理則 – 維基大典
理則學- 教育百科