George Boole

73
George Boole bigraphy, stories - Philosophers

George Boole : biography

2 November 1815 – 8 December 1864

George Boole ( 2 November 1815 – 8 December 1864) was an English mathematician, philosopher and logician. He worked in the fields of differential equations and algebraic logic, and is now best known as the author of The Laws of Thought. As the inventor of the prototype of what is now called Boolean logic, which became the basis of the modern digital computer, Boole is regarded in hindsight as a founder of the field of computer science. Boole said, … no general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognise … those universal laws of thought which are the basis of all reasoning …

Notes

Views

Boole’s views were given in four published addresses: The Genius of Sir Isaac Newton; The Right Use of Leisure; The Claims of Science; and The Social Aspect of Intellectual Culture.1902 Britannica article by Jevons; The first of these was from 1835, when Charles Anderson-Pelham, 2nd Baron Yarborough gave a bust of Newton to the Mechanics’ Institute in Lincoln.James Gasser, A Boole Anthology: recent and classical studies in the logic of George Boole (2000), p. 5; . The second justified and celebrated in 1847 the outcome of the successful campaign for early closing in Lincoln, headed by Alexander Leslie-Melville, of Branston Hall.Gasser, p. 10; . The Claims of Science was given in 1851 at Queen’s College, Cork. The Social Aspect of Intellectual Culture was also given in Cork, in 1855 to the Cuvierian Society.

Boole read a wide variety of Christian theology. Combining his interests in mathematics and theology, he compared the Christian trinity of Father, Son, and Holy Ghost with the three dimensions of space, and was attracted to the Hebrew conception of God as an absolute unity. Boole considered converting to Judaism but in the end was said to have chosen Unitarianism. However, his biographer, Des MacHale, describes him as an "agnostic deist". Two influences on Boole were later claimed by his wife, Mary Everest Boole: a universal mysticism tempered by Jewish thought, and Indian logic.Jonardon Ganeri (2001), Indian Logic: a reader, Routledge, p. 7, ISBN 0-7007-1306-9; . Mary Boole stated that an adolescent mystical experience provided for his life’s work: My husband told me that when he was a lad of seventeen a thought struck him suddenly, which became the foundation of all his future discoveries. It was a flash of psychological insight into the conditions under which a mind most readily accumulates knowledge […] For a few years he supposed himself to be convinced of the truth of "the Bible" as a whole, and even intended to take orders as a clergyman of the English Church. But by the help of a learned Jew in Lincoln he found out the true nature of the discovery which had dawned on him. This was that man’s mind works by means of some mechanism which "functions normally towards Monism."Boole, Mary Everest Indian Thought and Western Science in the Nineteenth Century, Boole, Mary Everest Collected Works eds. E. M. Cobham and E. S. Dummer, London, Daniel 1931 pp.947–967

In Ch. 13 of Laws of Thought Boole used examples of propositions from Benedict Spinoza and Samuel Clarke. The work contains some remarks on the relationship of logic to religion, but they are slight and cryptic.Grattan-Guinness and Bornet, p. 16; . Boole was apparently disconcerted at the book’s reception just as a mathematical toolset: George afterwards learned, to his great joy, that the same conception of the basis of Logic was held by Leibnitz, the contemporary of Newton. De Morgan, of course, understood the formula in its true sense; he was Boole’s collaborator all along. Herbert Spencer, Jowett, and Leslie Ellis understood, I feel sure; and a few others, but nearly all the logicians and mathematicians ignored [953] the statement that the book was meant to throw light on the nature of the human mind; and treated the formula entirely as a wonderful new method of reducing to logical order masses of evidence about external fact.