Work record

An Investigation of the Laws of Thought

George Boole

1854 · Computing · Computing · English

Public domainmedium medical relevanceRead full text Five-minute digest

Summary

An Investigation of the Laws of Thought is George Boole's attempt to express logic, probability, and reasoning in mathematical form. The book begins from a bold premise: the operations of the mind in reasoning can be studied through symbols and laws analogous to those of algebra. Boole assigns symbols to classes or propositions and develops operations that correspond to combination, exclusion, and selection. The now-familiar values of zero and one become signs for nothing and universe, false and true, absence and presence. Much of the book is technical, moving from elementary symbolic laws to the treatment of hypothetical propositions, elimination, development, and probability. Its importance is not that it immediately produced computers, but that it made logical relations manipulable as a formal calculus. Boole's algebra allowed later thinkers to detach reasoning from ordinary grammar and inspect it as a system of operations. That shift made logic portable: it could migrate from philosophy into mathematics, engineering, linguistics, and eventually machine design. In the twentieth century, that system became indispensable to switching theory, circuit design, and programming languages. The book is also a philosophical project. Boole believes that mathematics can illuminate the constitution of rational thought without reducing human life to mechanism. He moves cautiously between psychology, theology, and formal method, arguing that symbolic reasoning reveals laws implanted in the mind while also acknowledging that not all mental life is exhausted by calculation. This combination of technical austerity and metaphysical confidence gives the work its unusual flavor. It is not a handbook for programmers, but a nineteenth-century argument that the deepest habits of inference can be represented, transformed, and checked. The result is a strange and powerful Victorian work: part logic textbook, part metaphysics, part prehistory of computation. It teaches that the path to modern digital systems runs through questions about judgment, class, inference, and the possibility that thought has a manipulable structure.

Plot or Argument

Symbolizing mental operations
Boole proposes that acts of selection, combination, and exclusion in reasoning can be represented by symbols obeying formal laws.
Classes, propositions, and algebra
The book develops an algebra of classes and propositions, including laws that govern multiplication, addition-like combination, negation, and elimination.
Probability enters logic
Boole extends the calculus into probability, treating uncertain inference as another domain where symbolic method can discipline judgment.
The mind behind the calculus
The closing philosophical frame relates formal reasoning to human faculties, natural theology, and the limits of symbolic analysis.

Lessons

Logic can become an instrument
Boole turns inference from an art of verbal judgment into a symbolic apparatus. The lesson is that formalization does not merely describe reasoning; it creates new tools for extending and testing it.
- What is gained when logic leaves ordinary language?
- What might be lost when reasoning becomes algebraic?
- How does Boole's method prepare the way for later machines?
Related across the library
- Critique of Pure Reason, Source
  of or decide concerning objects unless he has obtained independently of logic well-grounded information about them in order afterwards to examine according to logical laws into the use and connection in a cohering whole of that information or what is still better merely to test it by them Notwithstanding there lies so seductive a charm in the possession of a specious art like this an art which gives to all our cognitions the form of the understanding although with respect to the content thereof we may be sadly d...
- Lectures on Clinical Psychiatry, LECTURE V
  into the street after he went home This patient too has had syphilitic infection and that thirteen or fourteen years ago and has been through a mercurial cure on that account This might perhaps have induced us to repeat the treatment as was actually done in our first case by the doctor under whose care it came Unfortunately the experience of alienists in this matter is very uncertain at present As an im- provement which sometimes goes a long way often takes place in cases of paralytic disturbance without any int...
- Lord Jim, Chapter 9
  awful cripples Didn t I tell you he confessed himself before me as though I had the power to bind and to loose He burrowed deep deep in the hope of my absolution which would have been of no good to him This was one of those cases which no solemn deception can palliate where no man can help where his very Maker seems to abandon a sinner to his own devices He stood on the starboard side of the bridge as far as he could get from the struggle for the boat which went on with the agitation of madness and the stealthin...
- The Art of War, Lesson: Temperament is a strategic vulnerability
  Temperament is a strategic vulnerability. Chapter VIII lists five faults that ruin generals: recklessness, cowardice, a hasty temper, an excessive sense of honour, and over-solicitude for the men. Each is a virtue or feeling pushed too far, and each gives the enemy a lever to pull.
- Billy Budd and Other Stories, The Happy Failure A Story Of The River Hudson
  be famous Put him ashore Yorpy Nay uncle I will not give up my oar I have an oar in this matter and I mean to keep it You shall not cheat me out of my share of your glory Ah now there--that s sensible You may stay youngster Pull again now We were all silent for a time steadily plying our way At last I ventured to break water once more I am glad dear uncle you have revealed to me at last the nature and end of your great experiment It is the effectual draining of swamps an attempt dear uncle in which if you do but...
Binary simplicity can carry complex worlds
Boole's zeros and ones are austere, but they allow intricate relations to be built from absence and presence. Digital culture inherits this paradox: the simplest distinctions can support vast structures of meaning.
- Why are zero and one philosophically powerful in Boole's system?
- How does binary representation differ from ordinary experience?
- Where do simple categories distort the phenomena they organize?
Related across the library
- The Major Symptoms of Hysteria, MONOIDEIC SOMNAMBULISMS
  useful manner Nevertheless as the theories of pithiatism seem to me insufficient so and with still stronger reason I consider the theories of driving back as incapable of giving a complete explanation of the hysterical neurosis The facts that are interpreted in this way can often be understood in another manner With regard to the case of hemiplegy to which I have just referred I have shown that the horror of the subject for his left side could very well be considered as the consequence of the incipient paralysis...
- The World as Will and Representation, Source
  specific nature of its action i e the nature of its existence its being Of each particular effect of the thing a cause may be certainly indicated from which it follows that it must act just at this time and in this place but no cause can ever be found from which it follows that a thing acts in general and precisely in the way it does If it has no other qualities if it is merely a mote in a sunbeam it yet exhibits this unfathomable something at least as weight and impenetrability But this I say is to the mote wha...
- The World as Will and Representation, Source
  very unlike an organism however like one its content may be thus form and matter are here in contradiction It is self-evident that under these circumstances no other advice can be given as to how one may enter into the thought explained in this work than to read the book twice and the first time with great patience a patience which is only to be derived from the belief voluntarily accorded that the beginning presupposes the end almost as much as the end presupposes the beginning and that all the earlier parts pr...
- The Psychology of Dementia Praecox, UNIVERSITY OF TORONTO LIBRARY
  I'inhibition etc If a complex succeeds in fixing itself monotony results especially the monotony of external symptoms Who does not know the stereotyped and tiring com- plaints of hysterics the obstinacy and invincibility of their symptoms Just as a constant pain will always call forth the same monotonous plaintive sounds so will a fixed complex grad- ually stereotype the whole mode of speech of the individual so that we can finally know that day after day we will receive with mathematical accuracy the same answe...
- The Principles of Psychology, Source
  BY WILLIAM JAMES PROFESSOR OF PSYCHOLOGY IN HARVARD UNIVERSITY IN TWO VOLUMES VOL I NEW YORK HENRY HOLT AND COMPANY TO MY DEAR FRIEND FRAN OIS PILLON AS A TOKEN OF AFFECTION AND AN ACKNOWLEDGMENT OF WHAT I OWE TO THE CRITIQUE PHILOSOPHIQUE PREFACE The treatise which follows has in the main grown up in connection with the author's class-room instruction in Psychology although it is true that some of the chapters are more metaphysical and others fuller of detail than is suitable for students who are going over the...
Formal systems still rest on interpretation
Boole's symbols work because a reader assigns them to classes, propositions, or probabilities. The book reminds us that no formalism is self-explaining; it depends on conventions and disciplined translation.
- Who supplies the meanings in Boole's calculus?
- Can a formal system police its own applications?
- How does this question reappear in artificial intelligence?
Related across the library
- Letters from a Stoic, Introduction
  speak in public and especially because his aunt whom he VOL I A Vii INTRODUCTION visited in Egypt was the wife of the governor of that country Up to the year he prospered He makes mention of his children of his mother who like the mother of Goethe seems to have imbued him with idealism and a certain amount of mysticism and of many valued friends But during that year as a result of court intrigue he was banished to the island of Corsica The charge against him was a too great intimacy with Iulia Livilla unfortunat...
- An Essay Concerning Human Understanding, Summary
  Locke says in the Epistle to the Reader that the Essay began when five or six friends meeting in his rooms found themselves at a standstill over questions of morality and revealed religion, and he proposed that they first examine what objects human understanding is fitted to deal with. Nearly twenty years later the result was a long, patient survey of where ideas come from, how they combine, how words signify them and how far knowledge and probable belief can reach. Book I attacks the doctrine of innate principl...
- Principia, Dedication. To The Teachers Of The Normal School Of The State Of New-York.
  the greatest Teacher is most respectfully dedicated N W CHITTENDEN Pg v INTRODUCTION TO THE AMERICAN EDITION THAT the PRINCIPIA of Newton should have remained so generally unknown in this country to the present day is a somewhat remarkable fact because the name of the author learned with the very elements of science is revered at every hearth-stone where knowledge and virtue are of chief esteem while abroad in all the high places of the land the character which that name recalls is held up as the noblest illustr...
- Fear and Trembling, Lesson: Faith is harder than its admirers admit
  Faith is harder than its admirers admit. Johannes insists that people who praise Abraham on Sunday would be horrified by a parishioner who did the same thing on Monday. The book forces readers to face the terror of the story before claiming to understand it.
- Pensees, Lesson: Wagering under uncertainty
  Wagering under uncertainty. The wager applies the newly invented mathematics of expected value to the deepest existential question. Whatever one thinks of its theology, it introduced decision theory under uncertainty and the idea that a refusal to choose is itself a choice.

Context

Boole wrote amid Victorian confidence in mathematics, logic, and scientific method. Earlier logicians had classified syllogisms, but Boole sought a more general symbolic calculus for the operations underlying reasoning.

Composition

Published in 1854, the book developed ideas from Boole's earlier Mathematical Analysis of Logic. It combined algebra, logic, probability theory, and philosophical reflection in a form unlike standard logic manuals.

Reception

The work was difficult and specialized, but later logicians and mathematicians recognized it as foundational. Claude Shannon's switching theory gave Boolean algebra a decisive twentieth-century engineering application.

Science / Knowledge Technology Modernity Language / Storytelling Doubt Meaning Faith / Religion Education

Comparisons

mathematical-theory-of-communication
Shannon translates Boolean logic into relay and switching circuits, giving Boole's symbolic laws a physical engineering afterlife.
notes-on-menabreas-sketch-of-the-analytical-engine
Lovelace imagines symbolic operations executed by a machine; Boole supplies a formal language in which logical operations themselves can be calculated.
an-essay-concerning-human-understanding
Locke analyzes ideas and assent in philosophical prose, while Boole attempts to mathematize the operations by which judgments combine.
novum-organum
Bacon reforms inquiry by methodical induction; Boole seeks a symbolic method for the laws governing deductive and probable thought.

Quotes

For Students

A reading companion for classical Christian high school students. See the student guide.

Reading Guide

Watch for

Chapter I, Nature and Design of this Work, where Boole states his aim of investigating the laws of the mind's operations in reasoning and of expressing them in the symbolic language of a calculus.
Chapter II, Signs and their Laws, where Boole shows that a class combined with itself is unchanged, so that x times x equals x. In ordinary algebra that law holds only for the numbers 0 and 1, and the whole system grows from this observation.
Chapter III, where Boole derives from the same law the equation x(1 - x) = 0 and identifies it with the old metaphysical principle of contradiction: nothing can both belong and not belong to the same class.
Chapter XIII, where Boole takes Samuel Clarke's Demonstration of the Being and Attributes of God and part of Spinoza's Ethics, sets their premises into symbols, and tests which conclusions actually follow.
The closing Chapter XXII, Constitution of the Intellect, where Boole steps back from calculation to ask what his laws reveal about the mind and what they leave untouched.

Key terms and names

Universe of discourse: Boole's phrase for the whole range of things a given argument is about. In his algebra it is represented by the symbol 1, and every class is selected from within it.
0 and 1: In Boole's system 0 stands for Nothing, the empty class, and 1 for the Universe. When the calculus is applied to propositions, they come to stand for false and true.
The law x squared equals x: The fundamental law of Chapter II: selecting a class twice gives the same class as selecting it once. Boole notes that among numbers only 0 and 1 satisfy it, and he calls the resulting two-valued pattern a law of duality.
Principle of contradiction: The ancient axiom that a thing cannot both have and not have a quality at once. Boole derives it in Chapter III as x(1 - x) = 0, so that a law metaphysicians had treated as first becomes a consequence of his symbolic law.
Secondary propositions: Boole's name, from Chapter XI, for propositions about other propositions, such as if-then statements. He treats them with the same algebra by letting symbols stand for the times at which propositions are true.
Elimination: The method of Chapter VII for removing a term from a set of premises to see what they imply about the remaining terms. It does the work that the middle term does in an Aristotelian syllogism.

Seminar Questions

Comprehension What does Boole say in Chapter I that his book is investigating, and why does he think algebraic symbols are suited to the task?
Comprehension What do the symbols 0 and 1 stand for in Boole's system, and why does the law x squared equals x lead him to use only these two values?
Comprehension In Chapter XIII, what does Boole set out to test in Clarke's Demonstration and Spinoza's Ethics, and what does he say is the hardest part of the job?
Interpretation Boole derives the principle of contradiction from his own symbolic law instead of taking it as a first axiom. Does this make logic more secure or does it make the old axiom depend on his algebra?
Interpretation In Chapter XV Boole treats the Aristotelian syllogism as one case of his general method. What does the syllogism look like from inside his system, and what, if anything, is lost?
Interpretation Boole says in Chapter XIII that he will not judge whether Clarke's and Spinoza's first principles are true, only what follows from them. Why does he draw that line, and is it possible to keep to it?
Big Question If the laws of reasoning can be written as equations, is a mind that reasons well simply a mind that calculates correctly, or does reasoning require something calculation cannot supply?

Faith Connections

Isaiah 1:18 (Scripture)
The Lord invites Israel to come and reason together with him. Boole's whole project assumes that reasoning has fixed laws worth discovering, and this verse frames reason as something God himself invites people to exercise.
John 1:1-3 (Scripture)
John names Christ the Word, the Logos, through whom all things were made. Boole searches for the laws of thought in the human mind, and the prologue's claim that reason and order go back to the source of creation gives the search a theological horizon.
Augustine, On Free Choice of the Will, Book II (Great Conversation)
Augustine argues that the truths of number are the same for every mind and change for no one, so they stand above the mind that grasps them and point toward God. Boole's discovery that the laws of thought obey the arithmetic of 0 and 1 puts the old question in a new form: are these laws written into the mind, or does the mind find them above itself?

Logic and Rhetoric

Central argument: The operations of the mind in reasoning follow fixed laws. Those laws can be expressed in symbols that obey rules like the rules of algebra, except that a class combined with itself is unchanged, which restricts the symbols to the values 0 and 1. Every valid inference can then be carried out by manipulating these symbols, including the inferences of the syllogism and of probability. Therefore logic can be made a calculus, and a careful study of that calculus also reveals something about the constitution of the human intellect.

Rhetorical device: analogy. Boole's argument from Chapter II onward rests on the analogy between the operations of thought and the operations of algebra. He presses it until it breaks at one point, the law x squared equals x, and then turns the break into the distinctive feature of his new logic.

Debate: Resolved: Every valid argument can in principle be checked by calculation.

Writing Prompts

Essay: In Chapter XIII Boole translates the premises of Samuel Clarke's proof of God's existence into symbols in order to see exactly what they prove. Explain his method in that chapter and argue whether symbolic analysis of this kind helps or hinders the search for truth about God.

Comparison with Logical Writings on Binary Arithmetic and Universal Character: Leibniz dreamed of a universal character in which disputes could be settled by calculation, and a century and a half later Boole built an algebra of logic using only 0 and 1. Compare Leibniz's hopes for a calculus of reasoning with what Boole actually achieved in the Laws of Thought, and argue whether Boole fulfilled the dream or showed its limits.

Medical Lens

Boole is valuable for clinicians and historians because he treats reasoning as an analyzable operation without writing a medical psychology. Later cognitive science, decision theory, and computational psychiatry inherit the premise that judgment can be formalized. The work should not be read as a theory of illness, but as part of the intellectual background that made formal models of mind plausible.

Mind Body Psychology Unconscious Philosophy AS Therapy

Opening chapters on the laws of thought
Boole frames symbolic logic as an inquiry into the operations of the mind, relevant to later computational models of cognition.
Mind Body Psychology Unconscious
Chapters on probability
The treatment of uncertain inference offers a prehistory for formal approaches to judgment, risk, and decision-making.
Philosophy AS Therapy

Creative Prompts

Essay
Explain how Boole's algebra changes the cultural meaning of logic from rhetorical discipline to executable structure.
Dialogue
Imagine Boole teaching a psychiatrist why a symptom checklist is powerful but never identical with a patient's lived mind.