Mathematical Logic for Computer Science

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.

Self-taught mathematician George Boole (1815–1864) published a pamphlet in 1847 – The Mathematical Analysis of Logic – that launched him into history as one of the nineteenth century's most original thinkers. In the introduction, Boole closely adheres to two themes: the fundamental unity of all science and the close relationship between logic and mathematics. In the first chapter, he examines first principles of formal logic, and then moves on to Aristotelian syllogism, hypotheticals, and the properties of elective functions. Boole uses this pamphlet to answer a well-known logician of the day, Sir William Hamilton, who believed that only philosophers could study 'the science of real existence', while all mathematicians could do was measure things. In essence, The Mathematical Analysis of Logic humbly chides Hamilton and asks him to rethink his bias. Boole is compelling reading for anyone interested in intellectual history and the science of the mind.