Citations of:
Boole's criteria for validity and invalidity
Notre Dame Journal of Formal Logic 21 (4):609638 (1980)
Add citations
You must login to add citations.


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 selfsimilarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) 

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) 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 twentytwo centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) 

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 twentytwo 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 (...) 



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 midnineteenth century. The feature chosen as (...) 

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 nonlogical or content terms. Even though Boole changed from a monistic fixeduniverse framework in his earlier works of 1847 and 1848 to a pluralistic multipleuniverse framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly (...) 

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. 

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). 