| Abstract: | Conclusion I have shown (to my satisfaction) that Leibniz's final attempt at a generalized syllogistico-propositional calculus in the Generales Inquisitiones was pretty successful. The calculus includes the truth-table semantics for the propositional calculus. It contains an unorthodox view of conjunction. It offers a plethora of very important logical principles. These deserve to be called a set of fundamentals of logical form. Aside from some imprecisions and redundancies the system is a good systematization of propositional logic, its semantics, and a correct account of general syllogistics. For 1686 it was quite an accomplishment. It is a pity that Leibniz himself did not fully appreciate what he had achieved. It does seem to me that this was due in part, as the Kneales urge (Note 4), to his having kept the focus of his attention on traditional syllogistics. It is a great pity that he did not polish GI 195–200 for publication. The publication of GI 195, 198, and 200 would have most likely promoted further research.This paper was conceived in a Seminar on the Generales Inquisitiones offered by Professor Klaus Jacobi at the University of Freiburg during the 1987 winter semester. I am grateful to him for having allowed me to participate in that exciting seminar. I am grateful to all the seminar participants, especially to Professor Jacobi, Professor Klaus Erich Kaehler, Doctor Helmut Pape, and Herr Hans-Peter Engelhart for sustained and illuminating discussions of some passages of the GI. Jacobi was extremely kind in reading the second version of this paper with a highly refined comb. I am most grateful to him for having pointed out typos, stylistic infelicities, and conceptual obscurities. He also provided advice on the translation, and, most generously and cooperatively, offered suggestions for improving the exposition and the arguments. |
