人工语言

与自然语言相对。有两个含义。一个是指人工创造的词的语言(word-language)，即由个人或少数人制定的同自然语言有相似的词，词的变化形式，组成短语和句子的特定的规则，等等的语言。如有名的世界语(esperanto)。一个是人工创造的符号语言(symbolic language)，这就是现代逻辑使用的语言。

逻辑学家创造符号语言的目的在于避免自然语言的多义性和模糊性，以便能够达到正确地公式化并给以严格证明的目的。G．弗莱格认为：“日常语言对避免思维错误是不充分的，……而且不是单义的。”“我们需要一个由符号构成的语言”，这种语言完全是单义的。例如由B．A．W．罗素发展起来的命题逻辑的语言，先规定一组初始符号，这些符号都有明确的含义，而且只有一种含义。如原子命题符号p，q，r，……指不含任何变项的命题；而蕴涵符号“pq”则指“p是假的或q是真的”，即在p假或q真的情况下，“pq”都是真的。根据这些初始符号，以及一些初始命题(公理)和推导规则，可以推导出命题逻辑中所有定理，并且可以给每个定理以严格的证明。在数理逻辑用的语言以外，用于数学演算以及用于计算机程序设计的各种语言，也都是形式语言。