Content Analysis of the Demonstration of the Existence of God Proposed by Leibniz in 1666

Leibniz’s juvenile work De arte combinatoria of 1666 included the “Proof for the Existence of God.” This proof bears a mathematical character and is constructed in line with Euclid’s pattern. I attempted to logically formalize it in 1982. In this text, on the basis of then analysis and the con­tents of the proof, I seek to show what concept of substance Leibniz used on behalf of the proof. Be­sides, Leibnizian conception of the whole and part as well as Leibniz’s definitional method have been reconstructed here.

Młodzieńcze dzieło Leibniza De arte combinatoria z 1666 r. opatrzone zostało na koń­cu „Dowodem na istnienie Boga”. Dowód ma charakter „matematyczny” i jest zbu­do­wa­ny zgodnie z wzorcem Euklidesowym. Dowód ten w 1982 r. został poddany przeze mnie próbie formalizacji logicznej. W niniejszym tekście, wykorzystując wyniki tamtej ana­lizy, staram się na podstawie treści zawartych w wierszach dowodu pokazać, jakim po­­ję­ciem substancji posługiwał się Leibniz na użytek dowodu. Zostaje ponadto zre­kon­struo­­wana Leibnizjańska koncepcja całości i części oraz jego metoda definicyjna Leibniza.

http://dx.doi.org/10.18290/rf.2017.65.2-3