维基少年:哲学/逻辑
< 维基少年：哲学
逻辑
逻辑是哲学中处理论证的分支。
逻辑分支
[编辑 | 编辑源代码]逻辑分为两个主要分支：归纳逻辑和演绎逻辑。
回顾
[编辑 | 编辑源代码]术语
- 公理系统 - 一种演绎推理系统，它从相对少量的基本原则（公理）开始。
- 谓词逻辑 - 符号逻辑的一个分支，它将谓词作为分析的基本单位。
- 命题逻辑 - 符号逻辑的一个分支，它将句子作为分析的基本单位。
- 真值保存 - 一种推理方法或模式无法从真值推导出假值。
参考文献
[编辑 | 编辑源代码]- Bergmann, Merrie, James Moor, and Jack Nelson. The Logic Book.
- 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/>.