The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

Amirouche Moktefi and Stephen Read, Hugh MacColl after One Hundred Years. Special issue: Philosophia Scientiae, Studies in History of Sciences and Philosophy, Editions Kimé, Paris, vol. 15,...

During 1881, the British logicians John Venn and Hugh MacColl engaged in a brief dispute in Nature about ‘symbolical logic’. The letters to the editor shed interesting light on the early reception of MacColl’s contributions to logic and his position in the logical community of the Victorian era. Drawing on the correspondence between Venn and William Stanley Jevons, this paper analyzes the background and context of these letters, adding to the recent interest in the social dimensions of the development of (...) British algebraic logic in the confusing intermediary period between the 1870s and 1890s. (shrink)

It is well known that Charles L. Dodgson (alias Lewis Carroll, 1832–1898) worked on a logic treatise that would popularise the subject of symbolic logic. The first part appeared in 1896 but the next parts never appeared. It has been claimed that Carroll worked in isolation and did not read the main works of his time. The object of this paper is to inquire what Carroll’s private library teaches us on his readings. The content of this library is known thanks (...) to the sale catalogues that were issued when the library was auctioned at Carroll’s death. This paper provides an overview of the logic books owned by Carroll. Then, it investigates the extent to which Carroll was acquainted with the main logic works of his time. Finally, the paper considers some methodological issues related to the use of ‘library arguments’ in intellectual history. (shrink)

Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th (...) century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titledSpecimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule ofreductio ad absurdumin a purely categorical calculus in which every proposition is of the formA is B. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule ofreductio ad absurdum, but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic known as RMI$_{{}_ \to ^\neg }$. (shrink)

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

In 1952, Quine showed that the problem of reducing a propositional formula to a simplest normal equivalent can be solved in two steps, viz., (i) express the given formula, Φ, equivalently as the disjunction of all its prime implicants, and (ii) find all non-redundant disjunctions of the latter that are equivalent to Φ (Quine 1952). However, it seems not generally known that an ingenious form of the same two-step process was published by Hugh McColl in 1878.

L’article examine les raisons philosophiques, plutôt que mathématiques ou logiques, pour lesquelles MacColl a pu vouloir développer une logique propositionnelle. Nous trouvons des éléments de réponse dans le refus discret d’endosser une logique des choses, dans l’anti-psychologisme nuancé de MacColl, et dans une subtile épistémologie de la certitude liée à un usage méthodique de la grammaire.