Graduate studies at Western
Topoi 9 (1):15-28 (1990)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Lorenzo Peña (1991). De la Logique Combinatoire Des 'Generales Inquisitiones' aux Calculs Combinatoires Contemporains. Theoria 6 (1):129-159.
Igor Walukiewicz (1996). A Note on the Completeness of Kozen's Axiomatisation of the Propositional Μ-Calculus. Bulletin of Symbolic Logic 2 (3):349-366.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Leon Horsten & Philip Welch (2007). The Undecidability of Propositional Adaptive Logic. Synthese 158 (1):41 - 60.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Floy Andrews Doull (1991). Leibniz's Logical System of 1686-1690. Theoria 6 (1):9-28.
Hector-Neri Casta Neda (1976). Leibniz's Syllogistico-Propositional Calculus. Notre Dame Journal of Formal Logic 17 (4):481-500.
Added to index2009-01-28
Total downloads28 ( #49,893 of 739,325 )
Recent downloads (6 months)2 ( #37,187 of 739,325 )
How can I increase my downloads?