和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。从古文明开始（如印度、中国和希腊）都有对逻辑进行研究。在西方，亚里斯多德将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置。
语言学.传统的语言学称为语文学，以研究古代文献和书面语为主。在中国，传统上一直将音韵学、训诂学、文字学作为经学的一部分。现代语言学则以当代语言和口语为主。广义的语言学包括语文学。这些学科也影响了对语言学的研究。例如，符号学是一个相关的领域，它涉及对一般标记与符号在语言中和语言外两