从逻辑演算的角度看莱布尼茨的数理逻辑思想

莱布尼茨对数理逻辑的创建工作作出了开创性的贡献。他不仅提出了较为完整的关于建立新的逻辑的思想,而且还进行了整体性的富有创造的具体探索,即第一个创建了真正的抽象演算。他关于建立数理逻辑的设想,诸如建立人工表意符号,用演算表示推理等都是和后来的数理逻辑的发展相符的。