将符号依照一定的规则，来表达语言的一种型式。 为精确的表达概念与涵义、逻辑、数学与电脑等领域所使用的人工语言(artificial language)，是经过特别设计的语言系统，有独特的符号、语意与语法，主要的目的在表现特定的结构关系，而不是特定的实质内容，是为形式语言。
另一方面的日常生活语言（或称自然语言，natural language），由于很多的字言都各有不同的涵义与用法，同时由于人类的语言行为常与语言本身互相影响，因此很容易发生语意不明的现象，才有各种形式语言的产生。
数学运算与符号逻辑等形式语言，虽然都是相当独立的语言系统，也不具有特定的实质内容，却都反映了日常语言的部分逻辑，更可以用来协助解决很多的日常生活问题。
--作者:詹昭能