Gregory Kyriazis

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.

Charles Sanders Peirce wrote the article “The probability of induction” in 1878. It was the fourth article of the series “Illustrations of the Logic of Science” which comprised a total of six articles. According to Peirce, to get a clear idea of the conception of probability, one has ‘to consider what real and sensible difference there is between one degree of probability and another.’ He endorsed what John Venn had called the ‘materialistic view’ of the subject, namely that probability is the proportion of times in which an occurrence of one kind is accompanied by an occurrence of another kind. On the other hand, Peirce recognized the existence of a different interpretation of probability, which was termed by Venn the ‘conceptualistic view’, namely the degree of belief that ought to be attached to a proposition. Peirce’s intent on writing this article seems to be to inquire about the claims of the conceptualists concerning the problem of induction. After reasoning on some examples, he concluded on the impossibility of assigning probability for induction. We show here that the arguments advanced in his article are not sufficient to support such conclusion. Peirce’s thoughts on the probability of induction surely may have influenced statisticians and research scientists of the 20th century in shaping data analysis.