## Studies in Logic and ProbabilityFrom one of the founders of symbolic logic comes this collection of writings on logical subjects and related questions of probability. George Boole invented Boolean logic, the basis of modern digital computer logic, for which he is regarded as a founder of the field of computer science. This authoritative compilation of his papers features his most mature thinking on Boolean logic and includes previously unpublished material. Appropriate for upper-level undergraduates and graduate students, the contents range from The Mathematical Analysis of Logic to Boole's final works, including The Laws of Thought, the most systematic statement of his ideas on logic and probability. Boole had intended to create a follow-up volume but did not survive to fulfill his ambition; this volume features his further studies on the subject. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

admit afﬁrm algebra analysis appear application arbitrary arithmetical mean assumed ball bility Boole calculus of Logic categorical propositions class functions coefﬁcients combination compound events conception conclusion conditions of possible connexion consists constituents deduced deﬁnite depend determined double star elective symbols elements elimination equal existence expression ﬁnal ﬁnd ﬁnite ﬁrst member formal laws fractions George Boole given Gracchi happen Hence hypothesis indeﬁnite independent inference involved language Laws of Thought limits mathematical Mathematical Analysis method nature necessary proposition not-Xs not-Ys number of individuals observations operations paper particular positive possible experience premises primitive equations principle proba probability sought problem Professor Boole’s proper fractions quantities question rain reasoning reference relation remark represent result satisﬁed scientiﬁc simple events solution substitution suppose syllogism theorems theory of probabilities tion true truth whence Xs are Ys Ys are Xs