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

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.

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.