Officially, for Kant, judgments are analytic iff the predicate is "contained in" the subject. I defend the containment definition against the common charge of obscurity, and argue that arithmetic cannot be analytic, in the resulting sense. My account deploys two traditional logical notions: logical division and concept hierarchies. Division separates a genus concept into exclusive, exhaustive species. Repeated divisions generate a hierarchy, in which lower species are derived from their genus, by adding differentia(e). Hierarchies afford a straightforward sense of containment: (...) genera are contained in the species formed from them. Kant's thesis then amounts to the claim that no concept hierarchy conforming to division rules can express truths like '7+5=12.' Kant is correct. Operation concepts ( ) bear two relations to number concepts: and are inputs, is output. To capture both relations, hierarchies must posit overlaps between concepts that violate the exclusion rule. Thus, such truths are synthetic. (shrink)

After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic—logic as language and logic as calculus—and presented them as opposing views, but did not explain (...) Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal. -/- In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme. (shrink)

TheGenerales Inquisitiones de Analysi Notionum et Veritatumis Leibniz’s most substantive work in the area of logic. Leibniz’s central aim in this treatise is to develop a symbolic calculus of terms that is capable of underwriting all valid modes of syllogistic and propositional reasoning. The present paper provides a systematic reconstruction of the calculus developed by Leibniz in theGenerales Inquisitiones. We investigate the most significant logical features of this calculus and prove that it is both sound and complete with respect to (...) a simple class of enriched Boolean algebras which we call auto-Boolean algebras. Moreover, we show that Leibniz’s calculus can reproduce all the laws of classical propositional logic, thus allowing Leibniz to achieve his goal of reducing propositional reasoning to algebraic reasoning about terms. (shrink)

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 contents of the proof, I seek to show what concept of substance Leibniz used on behalf of the proof. Besides, Leibnizian conception of the whole and part as well as Leibniz’s definitional (...) method have been reconstructed here. (shrink)

The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific classifications are identified together with the (...) conditions for the lattice of closed subsets describing information to allow its existence. The structures can be used for logical analysis outside of language at the more general level of information, which in turn can be applied to the description of semantic relations in the context of information. (shrink)

This book is a collection of essays published by the author in the long run of about 20 years and is centered on the reconstruction of Leibniz’s logical calculi. All the essays have been revised for the present edition and some of them constituted the background for Lenzen’s first monograph on Leibniz’s logic. A feature common to all these essays is the vindication of the relevance and originality of Leibniz’s logical achievements. Lenzen manifests strong dissatisfaction with the evaluations of Leibniz’s (...) logic previously offered by interpreters like Louis Couturat, Clarence I. Lewis, Karl Dürr, William and Martha Kneale, and states that till now Leibniz’s results in the field of logic have been widely underestimated. The book contains a careful and detailed examination of almost all Leibniz’s papers on the logical calculus and it is based on the knowledge of a wide range of texts unknown to previous interpreters. Lenzen’s acquaintance with the entire corpus of Leibniz’s logical texts is impressive. Some chapters of the book in particular contain very solid and useful logical analyses. Chapter 7, for instance, includes the most profound account of Leibniz’s theory of negation I ever read. Chapter 8 presents in a very clear way Leibniz’s attempt to reduce traditional syllogistic to a calculus based on logical inclusion between terms. Chapter 14 is devoted to Leibniz’s a priori proof of the existence of God and presents the first edition of an important manuscript on the proof. On chapters 3 and 5 a series of convincing reasons are given to argue that Leibniz’s concept of ens does not have to be considered a constant in the logical calculus. In brief: this work discusses a wide range of topics in such a clear and learned way that it will surely become a reference book for scholars interested in the study of Leibniz’s logical papers in the forthcoming years. (shrink)