性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。从古文明开始（如古印度、古中国和古希腊）都有对逻辑进行研究。在西方，亚里斯多德将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置。
概论.逻辑（）的字根源起于希腊语逻各斯（），最初的意思有词语、思想、概念、推理、论点之意。后译为（），最后发展为英文中的逻辑（）。 1902年严复译《穆勒名学》时，将其意译为「名学」，但这不合名家或者名教之名学中「名」的本意。和制汉语採用汉字「论理」，意译为「论理学」。