Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

Although the existence of correspondence between George Boole (1815?1864) and William Stanley Jevons (1835?1882) has been known for a long time and part was even published in 1913, it has never been fully noted; in particular, it is not in the recent edition of Jevons's letters and papers. The texts are transcribed here, with indication of their significance. Jevons proposed certain quite radical changes to Boole's system, which Boole did not accept; nevertheless, they were to become well established.

John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system. (shrink)

In this essay, I discuss some observations by Peirce which suggest he had some idea of the substantive metalogical differences between logics which permit both quantifiers and relations, and those which do not. Peirce thus seems to have had arguments?which even De Morgan and Frege lacked?that show the superior expressiveness of relational logics.

George Boole collected ideas for the improvement of his Mathematical analysis of logic(1847) on interleaved copies of that work. Some of the notes on the interleaves are merely minor changes in explanation. Others amount to considerable extension of method in his mathematical approach to logic. In particular, he developed his technique in solving simultaneous elective equations and handling hypotheticals and elective functions. These notes and extensions provided a source for his later book Laws of thought(1854).

George Boole published the pamphlet The Mathematical Analysis of Logic in 1847. He believed that logic should belong to a universal mathematics that would cover both quantitative and nonquantitative research. With his pamphlet, Boole signalled an important change in symbolic logic: in contrast with his predecessors, his thinking was exclusively extensional. Notwithstanding the innovations introduced he accepted all traditional Aristotelean syllogisms. Nevertheless, some criticisms have been raised concerning Boole’s view of Aristotelean logic as the solution of algebraic equations. In order (...) to circumvent such criticisms, we show here how Boole’s conclusions may be deduced from the axioms and inference rules proposed in his pamphlet, from which Aristotle’s deductions in Prior Analytics (including those that are completed through an impossibility) can be stated as theorems. We clarify his method for dealing with both universal and particular premises by means of his symbol v and demystify some criticisms concerning the way he expressed particular premises. Boole’s conclusions for some of those premises for which according to Aristotle there is no deduction are also discussed. The deductive system presented here has the potential to provide a new perspective on Boole’s approach to logic in The Mathematical Analysis of Logic. (shrink)

One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...) the focal point is the categorical syllogism. (shrink)

George Boole published the pamphlet The Mathematical Analysis of Logic in 1847. He believed that logic should belong to a universal mathematics that would cover both quantitative and nonquantitative research. With his pamphlet, Boole signalled an important change in symbolic logic: in contrast with his predecessors, his thinking was exclusively extensional. Notwithstanding the innovations introduced he accepted all traditional Aristotelean syllogisms. Nevertheless, some criticisms have been raised concerning Boole’s view of Aristotelean logic as the solution of algebraic equations. In order (...) to circumvent such criticisms, we show here how Boole’s conclusions may be deduced from the axioms and inference rules proposed in his pamphlet, from which Aristotle’s deductions in Prior Analytics (including those that are completed through an impossibility) can be stated as theorems. We clarify his method for dealing with both universal and particular premises by means of his symbol v and demystify some criticisms concerning the way he expressed particular premises. Boole’s conclusions for some of those premises for which according to Aristotle there is no deduction are also discussed. The deductive system presented here has the potential to provide a new perspective on Boole’s approach to logic in The Mathematical Analysis of Logic. (shrink)

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly (...) weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself. (shrink)

The deductive system in Boole's Laws of Thought (LT) involves both an algebra, which we call proto-Boolean, and a "general method in Logic" making use of that algebra. Our object is to elucidate these two components of Boole's system, to prove his principal results, and to draw some conclusions not explicit in LT. We also discuss some examples of incoherence in LT; these mask the genius of Boole's design and account for much of the puzzled and disparaging commentary LT has (...) received. Our evaluation of Boole's logical system does not differ substantially from that advanced in Hailperin's exhaustive study, Boole's Logic and Probability. Unlike the latter work, however, we make direct use of the polynomials native to LT rather than appealing to formalisms such as multisets and rings. (shrink)

George Boole published his account on hypotheticals in his pamphlet The Mathematical Analysis of Logic in 1847. Hypothetical deductions were not as developed as categorical ones by Boole’s time. It was still common practice to reduce hypotheticals to categoricals. Boole innovated by proposing an algebraic method to derive (equations expressing) the conclusions of hypotheticals. He had developed a calculus of classes for categoricals in his first pamphlet chapters and seemingly intended extending it to hypotheticals. Nonetheless, propositions can be only true (...) or false. In contradistinction with his approach for categorical propositions, here it was not possible to consider things or classes of things but only the cases and conjunctures of circumstances in which the propositions are true. Some criticisms have been raised concerning Boole’s view of logic as the solution of algebraic equations. In order to circumvent such criticisms, we construct a deductive system based on Boole's algebraic treatment and apply it to deductions of those hypotheticals analyzed by Boole. We found that Barbara translated in our notation is useful to eliminate symbols in such deductions. The deductive system presented here has the potential to provide a new perspective on Boole’s approach to hypotheticals in The Mathematical Analysis of Logic. (shrink)