普遍符号语言也称“普遍语言”，是莱布尼茨的一个方案，该方案为了克服自然语言的缺陷，为了更准确有效地描述理性思想，提出了一个符号体系，或者说，一套人工语言。莱布尼茨认为它是一个通用的书写体系，一个“人类思想的字母表”。通过对该字母表中的字母的结合，通过对这些字母造出的词的分析，我们就可以发现和判断一切事情。为了在不同语言中进行交流而建立一个普遍语言并不是一个新思想，只是莱布尼茨试图将这样一个语言概念推广开来，以形成一种发现术和判断术。他相信，如果这件事真能成功，那将是最伟大的发明之一。对于这一方案的范围、性质和意义，学者中有许多争论。一种看法是，莱布尼茨打算使普遍符号语言成为理想语言的一个类型，一个由能以符号表达思想内容的“真正文字”构成的语言。根据这种看法，这个语言是现代一些分析哲学家提出的理想语言的前驱。另一种看法是，这个方案只与理性思想的形式有关，与内容无关。它是为普遍的形式科学，为表达概念和命题的逻辑关系而制定的一个规划。根据这种看法，普遍语言是现代符号逻辑的先导。还有一种看法是，莱布尼茨的思想有一个发展过程，开始他有一个宏大规则，要构造一个内容表述体系，后来这个规划缩小为只与逻辑推理的形式相关。

莱布尼茨的这一伟大思想最终以计算机的二进制语言实现,这便是与莱布尼茨普遍计算的思想紧密相连的另一观念。但当时他的二进制算术与当今的计算机没有任何关联，而是他缩小规划的一个结果。普遍符号语言有几个名称，1、Univeral symbolistic；2、Universal Character； 3、Universal Logic、universal characteristic以及但它们所指代都是当时莱布尼茨创建的拉丁文characteristica universalis。到了现代就成了mathematical logic。这才进入了实用阶段。而计算机之所以用二进制值是因为它的运算简单。只是在理念上与莱布尼茨的理性计算（calculus ratiocinator）契合。