DISSERTATIO DE ARTE OF COMBINATORIA
简介
数理逻辑方法的开创性论著。哥·威·莱布尼兹(见“单子论”)著。1666年在德国来比锡出版单行本，1690年在法兰克福重印。尔后收入克·艾·格哈特所编《莱布尼兹哲学著作集》。再后收入普鲁士科学院监督编辑的《莱布尼兹全集和书信集》哲学著作2卷，1923年在达姆施塔特和来比锡出版。本书表明作者为开创一门发现的逻辑，而阐发组合理论与方法。这成为作者终生思考和著述的主题。本书提出了思维字母表的概念，人们将思维字母表作为初始概念，加以适当组合，就可以把一切思考对象构造出来，推理可以化归为将初始概念加以排列组合的数学运算。并提出要保证组合方法的有效性，需具备两个条件：1.所列字母表必须是终极的和完全的;2.要有实现一切组合的程序。还提出初始概念可以用一定数码表示，其组合可以通过这些数码的运算表示出来。继承了霍布斯推理即计算的合理思想，但不赞成霍布斯的约定论。认为初始概念及其组合方法不能是任意约定的。它们是由概念指称的事物及其结构决定的。认为直言命题的主项指称事物的实体，谓项指称事物的性质。性质属于实体，从而谓项属于主项。实体是性质的组合。依据其概念指称理论，运用其组合方法，证明直言三段论的有效式恰好有24个。并指出了如何用数码运算将复杂的几何学概念的组合过程表示出来。其中给出了几何学27个初始词项的一览表及代表词项的数码。如1代表点;2代表空间;1/2代表量等。
本书提出的逻辑理论与方法预示了现代逻辑的发展方向。其借鉴数学方法，采用符号语言，构造逻辑演算系统对于逻辑演算的发展具有促进作用;其存在涵义理论对于现代语义学的产生和发展有一定影响;其谓项属于主项的观点，在现代内涵逻辑产生和发展过程中得到反响;其数码表示法对于哥德尔码、计算机编码具有启示作用。尚有将关系命题归结为性质命题等历史的局限性。