58,549
次編輯
變更
逻辑
,無編輯摘要
在计算机科学里，是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。
从古文明开始（如古印度、中国和[[古希腊]]）都有对逻辑进行研究。在西方，[[亚里士多德]]将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置 <ref>[http://www.docin.com/p-1411405475.html 第二十二章 亚里士多德的逻辑[整理版<nowiki>]</nowiki>]，豆丁，2016-01-01</ref> 。
==本质==
[[符号逻辑]]捕获了逻辑推论的形式特征，并将其抽象化为符号的研究。符号逻辑通常分为两个分支：命题逻辑和谓词逻辑。
[[数理逻辑]]是符号逻辑在其他领域中的延伸，特别是对模型论、证明论、集合论和递归论的研究 <ref>[https://www.douban.com/note/711117253/ 形式逻辑、辩证逻辑和数理逻辑]，豆瓣，2019-3-21</ref> 。
“形式逻辑”通常作为符号逻辑的同义词，而非形式逻辑则是被理解为不包含符号抽象化的任何一种逻辑推论；这是由“形式语言”和“形式理论”中类推而来的用法。但广义地来说，形式逻辑是古老的，可追溯至两千年以前，而符号逻辑则相对较新，只有一个世纪左右的[[历史]]而已。
==参考文献==
[[Category:150 邏輯總論]]