Джордж Бульдің «Ой заңдарын зерттеуі» кітабы

Book by George Boole
Boole's book on logic

An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic. Boole was a professor of mathematics at what was then Queen's College, Cork (now University College Cork), in Ireland.

In Boole's account of his algebra, terms are reasoned about equationally, without a systematic interpretation being assigned to them. In places, Boole talks of terms being interpreted by sets, but he also recognises terms that cannot always be so interpreted, such as the term 2AB, which arises in equational manipulations. Such terms he classes uninterpretable terms; although elsewhere he has some instances of such terms being interpreted by integers. The coherences of the whole enterprise is justified by Boole in what Stanley Burris has later called the "rule of 0s and 1s", which justifies the claim that uninterpretable terms cannot be the ultimate result of equational manipulations from meaningful starting formulae (Burris 2000). Boole provided no proof of this rule, but the coherence of his system was proved by Theodore Hailperin, who provided an interpretation based on a fairly simple construction of rings from the integers to provide an interpretation of Boole's theory (Hailperin 1976).

Boole (1854). An Investigation of the Laws of Thought. Walton & Maberly. Boole, George (1958[1854]). An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities. Macmillan. Reprinted with corrections, Dover Publications, New York, NY (reissued by Cambridge University Press, 2009, ).