莱布尼茨是数理逻辑的创始人。他明确提出了数理逻辑的指导思想：
①希望建立一种“普遍的符号语言”，这种语言的符号应该是表意的而不是拼音的，每一符号表达一个概念，如同数学的符号一样；
②一个完善的符号语言同时应该是一个“思维的演算”。他认为，演算就是用符号作运算，在数量方面、在思维方面都起作用。
1.成功地将命题形式表达为符号公式。
2.构成了一种关于两个概念相结合的演算。
3.提出了等词的定义，即一物能为另一物所替代而保持原来命题的真实性，那么它们就是同一的。这个原理叫做不可分辨的东西的同一原理。
4.第一次确定了三值逻辑的表，其中用0表示不可能，用1/2表示偶然，用1表示必然。
