This paper studies the possible influences on Boole's logic of the writings related to the controversy over the quantification of the predicate between the philosopher William Hamilton and the mathematician Augustus De Morgan. As Boole himself testified in the introduction to his book The mathematical analysis of logic , this controversy was the external agent that stimulated him into writing up his earlier thoughts about a new conception of logic. But in addition to the external role that was played by (...) the controversy, it seems that other kinds of influences on Boole of Hamilton's and De Morgan's ideas about logic, which were made explicit in writings related to the controversy, can also be traced. (shrink)

This paper is concerned with De Morgan’s explanation of the validity of arguments that involve relational notions. It discusses De Morgan’s expansion of traditional logic aimed at accommodating those inferences, and makes the point that his endeavour is not successful in that the rules that made up his new logic are not sound. Nevertheless, the most important scholarly work on De Morgan’s logic, and contrary to that De Morgan’s mistake is not beyond repair. The rules that determine his new logic (...) are in fact monotonie replacement rules. And provided they are restricted in the correct way, these rules are demonstrably sound. (shrink)

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools (...) to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

This paper is concerned with De Morgan’s explanation of the validity of arguments that involve relational notions. It discusses De Morgan’s expansion of traditional logic aimed at accommodating those inferences, and makes the point that his endeavour is not successful in that the rules that made up his new logic are not sound. Nevertheless, the most important scholarly work on De Morgan’s logic, and contrary to that De Morgan’s mistake is not beyond repair. The rules that determine his new logic (...) are in fact monotonie replacement rules. And provided they are restricted in the correct way, these rules are demonstrably sound. (shrink)