Topoi 9 (1):15-28 (1990)
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. MAJR- Humanities, Social Sciences and Law
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A Note on the Completeness of Kozen's Axiomatisation of the Propositional Μ-Calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Quantum Logical Calculi and Lattice Structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Added to index2009-01-28
Total downloads89 ( #58,626 of 2,172,903 )
Recent downloads (6 months)4 ( #75,737 of 2,172,903 )
How can I increase my downloads?