点认为语言是的，比如诺姆·乔姆斯基的普遍文法理论，或者美国哲学家杰瑞·福多的极端先天理论。这些定义经常被使用于语言在认知科学以及神经语言学领域的研究中。
符号形式系统.另一项定义将语言视作由组合语法规则制约、旨在传达语义的记号形式系统。这项定义强调了人类语言可被描述为封闭的结构系统，该系统还包括了特定记号与特定意义的关联规则。这种语言的结构主义观点最初由费尔迪南·德·索绪尔提出，他的结构主义为诸多语言学方法奠定了基础。一些索绪尔语言学观点的支持者主张采用形式方法来研究语言结构，