17th/18th Century Logic

Salomon Maimon, a Lithuanian born philosophical autodidact who emigrated to Germany in the late eighteenth century, plays an increasingly important role in the research of classical German philosop...

This volume offers the first-ever complete English translation of Leibniz’s Dissertatio De Arte Combinatoria together with a critical edition of the original Latin text on fa...

The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Antiquity and the Middle Ages The early modern period High modern period Early 20th century Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments (...) in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions. By clearly presenting and explaining the changes to logic across the history of philosophy, The History of Philosophical and Formal Logic constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic. (shrink)

This paper formulates a bilateral account of harmony, which is an alternative to the one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading some of the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. Thus the consequences of asserting a formula give grounds for denying it, namely if the opposite speech act is applied to (...) the consequences. Similarly, the consequences of denying a formula give grounds for asserting the formula. I formulate a process of inversion, which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process of conversion, which allows the determination of rejective introduction rules from certain assertive elimination rules and conversely, and the determination for assertive introduction rules from certain rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. (shrink)

The article analyzes the method of oral disputation in Keckermann’s Gymnasium logicum, in his Systematis logici plenioris pars altera (this is a variant of the first treatise, f. p. 16...

This paper explores Locke’s thinking specifically about syllogisms and more generally about logic and proper logical method. Locke’s texts display a mixed attitude toward syllogisms. On the one hand, he was highly critical of syllogisms and their central role in Scholastic disputation. On the other hand, he sometimes allowed that syllogisms could effectively capture valid forms of inference and could be useful in certain contexts. This paper seeks to explain Locke’s mixed attitude by showing that he believed syllogisms were useful (...) in the context of explanation but not in the context of discovery. Syllogisms could help to formalize and evaluate arguments already constructed using informal psychologistic methods, but they would not help to generate new arguments or to make new discoveries. The second part of the paper examines substantial changes to the fourth edition of the Essay in which Locke expands his critical remarks on syllogisms and related topics. Evidence is presented that strongly suggests Locke made these changes to the Essay in response to works published by John Sergeant. This discovery is important because it indicates Locke’s willingness to consider the views of his adversaries and reformulate his own views accordingly. (shrink)

The seventeenth century can be viewed as an era of innovation in the formal and natural sciences and of paradigmatic diversity in philosophy. Within this environment, the present study focuses on scholastic logic and, in particular, syllogistic. In seventeenth-century scholastic logic two different approaches to logic can be identified, one represented by the Dominicans Báñez, Poinsot, and Comas del Brugar, the other represented by the Jesuits Hurtado, Arriaga, Oviedo, and Compton. These two groups of authors can be contrasted in three (...) prominent features. First, in the role of the theory of validity, which is either a common basis for all particular theories, or a set of observations regarding a particular theory. Second, in the view of syllogistic, which is either an implication of a general theory of validity and a semantics of terms, or an algebra of structured objects. Third, in the role of the scholastic analysis of language in terms of suppositio, which either is a semantic underpinning of syllogistic, or it is replaced by a semantics of propositions. (shrink)

A short reconstruction of the analytic-synthetic method, a key idea in Medieval and Early Modern Logic.

Based on an analysis of the category of “infinite judgments” in Kant, we will introduce the logical hexagon of predicate negation. This hexagon allows us to visualize in a single diagram the general structure of both Kant’s solution of the antinomies of pure reason and his argument in favor of Transcendental Idealism.