維基少年:哲學/邏輯

邏輯

邏輯是哲學中處理論證的分支。

邏輯分支

邏輯分為兩個主要分支：歸納邏輯和演繹邏輯。

回顧

術語

• 公理系統 - 一種演繹推理系統，它從相對少量的基本原則（公理）開始。
• 謂詞邏輯 - 符號邏輯的一個分支，它將謂詞作為分析的基本單位。
• 命題邏輯 - 符號邏輯的一個分支，它將句子作為分析的基本單位。
• 真值儲存 - 一種推理方法或模式無法從真值推匯出假值。

參考文獻

1. Bergmann, Merrie, James Moor, and Jack Nelson. The Logic Book.
2. Shapiro, Stewart, "Classical Logic", The Stanford Encyclopedia of Philosophy (Winter 2009 Edition), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/win2009/entries/logic-classical/>.