1 ;;Quote: Boole investigated the fundamental laws of thought with a symbolic language, applied it to probabilities, and discussed the consequences

6 ;;Quote: logic is a system of processes that follow laws concerning symbols with a fixed interpretation

27 ;;Quote: all of reasoning may be conducted by symbols, operations, and identity; closely related to algebra

28 ;;Quote: Boole uses and, or, not, and complement; communtative law and idempotent law

37 ;;Quote: only 0 and 1 satisfy x^2=x; algebra of 0 and 1 is the same as the algebra of logic with a new interpretation

47 ;;Quote: Nothing and Universe are the limits of class extension; interpret 0 as Nothing and 1 as Universe

49 ;;Quote: get the law of contradiction from x^2=x

49+;;Quote: the law of contradiction is the most certain of all principles and the basis of logic

61 ;;Quote: Boole used the symbol 'v' instead of the universal qualifier; e.g., y=vx for \forall y x

63 ;;Quote: example of translating an assertion into Boolean algebra

68 ;;Quote: to reason correctly with symbols, translate using a fixed interpretation, formally manipulate the symbols, and translate back the result

115 ;;Quote: can reduce any system of logical equations to a single, equivalent equation

172 ;;Quote: use x=1 for proposition X is true; x=0 for falsehood; xy=1 for proposition X and Y are true together; etc.

186 ;;Quote: reducing an argument to symbolic form determines its real premises, detects ambiguities

186+;;Quote: with symbolic logic, the process of inference is precise, almost mechanical

226 ;;Quote: Boole reduced Aristotle's syllogisms and conversions to symbolic logic; scholastic logic is a collection of truths, not a foundation

423 ;;Quote: though formal reasoning may obey mathematical laws, the mind is much more; e.g., sentiment, action, and the duties of life