2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...) Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)

Most recent discussions of John Stuart Mill’s System of Logic (1843) neglect the fifth book concerned with logical fallacies. Mill not only follows the revival of interest in the traditional Aristotelian doctrine of fallacies in Richard Whately and Augustus De Morgan, but he also develops new categories and an original analysis which enhance the study of fallacies within the context of what he calls ‘the philosophy of error’. After an exploration of this approach, the essay relates the philosophy of error (...) to the discussion of truth and error in chapter two of On Liberty (1859) concerned with freedom of thought and discussion. Drawing on Socratic and Baconian perspectives, Mill defends both the traditional study of logic against Jevons, Boole, De Morgan, and others, as well as the study of fallacies as the key to maintaining truth and its dissemination in numerous fields, such as science, morality, politics, and religion. In Mill’s view the study of fallacies also liberates ordinary people to explore the truth and falsity of ideas and, as such, to participate in society and politics and develop themselves as progressive beings. (shrink)

This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic and Metaphysics, but Logic (...) and Mathematics." As the great English logician Augustus De Morgan later put it, in praise of Boole, his genius consisted in showing that "the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic." The Laws of Thought lays out this new system in detail and also explores a "calculus of probability." The story of Boole's life is as impressive as his work. Besides rudimentary lessons from his father and a few years at local schools, Boole was largely self-taught. Revealing his aptitude for many subjects at an early age, he began his career already at age 16 as a teacher at a village school. In his leisure time he tackled the daunting works of Newton, Laplace, and Lagrange on physics and mathematics. By the age of twenty-four he was submitting original papers to the Cambridge Mathematical Journal and at age twenty-nine he won a medal from the Royal Society for his contributions to mathematical analysis. He continued to so impress his contemporaries that five years later he was appointed professor of mathematics at Queens College, Cork in Ireland, even though he had no university degree. At his untimely death of forty-nine, Boole could never have guessed that his new symbolic logic would become essential in the next century for telephone switching and the design of computers. For this practical reason, as well as the sheer intellectual importance of his accomplishment, The Laws of Thought merits our attention today. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

Appropriate for upper-level undergraduates and graduate students, this volume includes a variety of Boole's writings on logical subjects, along with papers on related questions of probability. His earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes Boole made on his own interleaved copy. In addition, the appendices contain relevant papers by contemporaries with whom the author engaged in discussion, making it possible to trace interesting developments in Boolean reasoning-particularly in regard to his (...) extended treatment of the relation between formal logic and the theory of probabilities. 1952 ed. (shrink)

In the mid-nineteenth century George Boole formulated his ‘conditions of possible experience’. These are equations and ineqaulities that the relative frequencies of events must satisfy. Some of Boole's conditions have been rediscovered in more recent years by physicists, including Bell inequalities, Clauser Horne inequalities, and many others. In this paper, the nature of Boole's conditions and their relation to propositional logic is explained, and the puzzle associated with their violation by quantum frequencies is investigated in relation to a (...) variety of approaches to the interpretation of quantum mechanics. * While preparing this paper for publication I have learnt of the untimely death of Professor J. S. Bell, and I wish to dedicate the paper to his memory. This research was undertaken while I spent a sabbatical leave at Wolfson College, and the History and Philosophy of Science Department at the University of Cambridge. I would like to thank Michael Redhead and Jeremy Butterfield for their hospitality and for helpful discussions. A first draft of this paper has been distributed among the participants of the conference 'Einstein in Context' which was held in Israel, in April 1990.1 have benefited from the comments of many colleagues. I would like to thank in particular Arthur Fine who enlightened me on the prism models, David Albert. Maya Bar-Hillel. Yemima Ben-Menachem, Mara Beller. Simon Saunders, and Mark Steiner. This research is partially supported by the Edelstein Center for the History and Philosophy of Science at the Hebrew University. (shrink)

Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as a (...) system one can use to understand the human mind. In the first 12 chapters, he sets down the rules necessary to represent logic in this unique way. Then he analyses a variety of arguments and propositions of various writers from Aristotle to Spinoza. One of history's most insightful mathematicians, Boole is compelling reading for today's student of intellectual history and the science of the mind. (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)

We show how one can give a clear formal account of Boole’s notorious “indefinite" (or “auxiliary”) symbols by treating them as variables that range over functions from classes to classes rather than just over classes while, at the same time, following Hailperin’s proposal of binding them existentially.

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)

This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic and Metaphysics, but Logic (...) and Mathematics." As the great English logician Augustus De Morgan later put it, in praise of Boole, his genius consisted in showing that "the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic." The Laws of Thought lays out this new system in detail and also explores a "calculus of probability." The story of Boole's life is as impressive as his work. Besides rudimentary lessons from his father and a few years at local schools, Boole was largely self-taught. Revealing his aptitude for many subjects at an early age, he began his career already at age 16 as a teacher at a village school. In his leisure time he tackled the daunting works of Newton, Laplace, and Lagrange on physics and mathematics. By the age of twenty-four he was submitting original papers to the Cambridge Mathematical Journal and at age twenty-nine he won a medal from the Royal Society for his contributions to mathematical analysis. He continued to so impress his contemporaries that five years later he was appointed professor of mathematics at Queens College, Cork in Ireland, even though he had no university degree. At his untimely death of forty-nine, Boole could never have guessed that his new symbolic logic would become essential in the next century for telephone switching and the design of computers. For this practical reason, as well as the sheer intellectual importance of his accomplishment, The Laws of Thought merits our attention today. (shrink)

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

This paper deals with the influence exerted by Boole's own work on differential equations on his creation of algebraic logic. The main traits of Boole's methodology of logic, and the particular algorithms which he used in his 1847 The mathematical analysis of logic, are first pointed out. An examination of the mathematical papers which Boole wrote before the publication of the mentioned logical treatise shows that both the methodology leading to the production of his logic and the algorithms (...) used in its development were repeatedly used by him in his earlier work in analysis. (shrink)

In the Laws of Thought, Boole establishes a theory of secondary propositions based upon the notion of time. This temporal interpretation of secondary propositions has historically been met with wide disapproval and is usually dismissed in the modern literature as a philosophical non-starter. What was Boole thinking? This paper attempts to give an answer to this question. Specifically, it provides an account according to which Boole’s temporal interpretation follows from his psychologistic conception of logic, in addition to certain background assumptions (...) regarding the psychological necessity of the concept of time. Once Boole’s psychological premises are laid bare, it becomes clearer how he might have viewed the temporal interpretation to be an essential feature of his theory of secondary propositions. (shrink)

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 discusses George Boole’s two distinct approaches to the explanatory relationship between logical and psychological theory. It is argued that, whereas in his first book he attributes a substantive role to psychology in the foundation of logical theory, in his second work he abandons that position in favour of a linguistically conceived foundation. The early Boole espoused a type of psychologism and later came to adopt a type of anti-psychologism. To appreciate this invites a far-reaching reassessment of his philosophy (...) of logic. (shrink)

The approach used by Boole in Mathematical analysis of logic to develop propositional logic was based on the idea of ?cases? or ?conjunctures of circumstances?. But this was dropped in Laws of thought in favor of one which Boole considered to be more satisfactory, that of using the notion of ?time for which a proposition is true?. We show that, when suitable clarifications and corrections are made, the earlier approach? which accords with modern logic in eschewing the extraneous notion of (...) time?is indeed a viable one. (shrink)

How Galileo created the problem of consciousness -- Is there a ghost in the machine? -- Can physical science explain consciousness? -- How to solve the problem of consciousness -- Consciousness and the meaning of life.

Plato claimed that the regular solids are the building blocks of all matter. His views, commonly referred to as the geometric atomistic model, had enormous impact on human thought despite the fact that four of the five Platonic solids can not fill space without gaps. In this paper we quantify these gaps, showing that the errors in Plato’s estimates were quite small. We also develop a mean field approximation to convex honeycombs using a generalized version of Plato’s idea. This (...) approximation not only admits to view convex mosaics in$$d=3$$d=3dimensions as a continuum but we also find that it is quite accurate, showing that Plato’s geometric intuition may have been remarkable. (shrink)

This paper augments Hailperin's substantial efforts to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.

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

The question of the relationship between mind and body as posed by Descartes, Spinoza, and others remains a fundamental debate for philosophers. In _Damasio’s Error and Descartes’ Truth_, Andrew Gluck constructs a pluralistic response to the work of neurologist Antonio Damasio. Gluck critiques the neutral monistic assertions found in _Descartes’ Error _and _Looking for Spinoza_ from a philosophical perspective, advocating an adaptive theory—physical monism in the natural sciences, dualism in the social sciences, and neutral monism in aesthetics. Gluck’s work is (...) a significant and refreshing take on a historical debate. (shrink)

One of the problems in phenomenological approaches to art, is to understand the link between the ontologies of art media and questions of value. Unfortunately, recent discussions of art’s broader cultural context have not helped in this task. There has been a widespread assumption that the historical circumstances of art’s cultural production, its constituencies of reception, and contexts of transmission and the like, render artistic value relative to the time and place of its production. My purpose in this critical discussion, (...) is to move beyond the restrictions and contradictions of such relativism. I shall argue that art engages with factors that are of universal rather than relative import, and that questions of value are connected to this. In doing so, I will hope, in other words, to subvert the relativist orthodoxy by clarifying art’s reality as art. I shall do so as perversely as possible by, in Part One, criticizing and developing one of the great inspirations for relativism, namely Derrida’s notion of différance. In Part Two, I shall use components of that concept, namely difference and iterability to indicate the basis of art’s reality qua art, the justification of canonic work, and, in the course of this, art’s legitimate claim to high-cultural status. (shrink)

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)

In his new book, Galileo’s Error: Foundations for a New Science of Consciousness, Philip Goff defends panpsychism, the view that ‘consciousness is a fundamental and ubiquitous feature of the physical world’ (2019, p. 23), arguing that the view is superior to the dualist and materialist alternatives. Since Goff regards the study of consciousness as an interdisciplinary project, his panpsychist account is concerned with re-shaping the science of consciousness, and conceived as dependent upon the deliverances of such a reformed science. Goff (...) also undertakes to elucidate aspects of the broader human significance of the panpsychist outlook. (shrink)

Claude Romano and Andrea Staiti have recently discussed Husserl’s account of perception in relation to debates in current analytic philosophy between so-called “conjunctivists” and “disjunctivists”. Romano and Staiti offer strikingly different accounts of the nature of illusion and hallucination, and opposing readings of Husserl. Romano thinks hallucinations and illusions are fleeting, fragile phenomena, while Staiti claims they are inherently retrospective phenomena. Romano reads Husserl as being committed to a form of conjunctivism that Romano rejects in favour of a version of (...) disjunctivism. Staiti, by contrast, claims that, from a Husserlian viewpoint, conjunctivism and disjunctivism are equally untenable. I suggest that both Romano and Staiti offer implausible accounts of illusions and hallucinations, and deliver premature verdicts on Husserl in relation to the analytic debates on perception. (shrink)

I start by arguing that Mackie’s claim that there are no objective values is a nonsensical one. I do this by ‘assembling reminders’ of the correct use of the term ‘values’ and by examining the grammar of moral propositions à la Wittgenstein. I also examine Hare’s thought experiment which is used to demonstrate “that no real issue can be built around the objectivity or otherwise of moral values” before briefly looking at Mackie’s ‘argument from queerness’. In the final section I (...) propose that Robert Arrington’s ‘conceptual relativism’, inspired by Wittgenstein, helps to make our use of moral language more perspicuous and avoids the problems faced by Mackie. (shrink)