ThesaHelp: references ab
Topic: thought is computational
Topic: philosophy of mind
Group: formalism
Topic: logic
Topic: boolean values, binary numbers, and bit strings
Group: sets
Topic: reductionism
Topic: what is a computer
Topic: limitations of formalism
Topic: vitalism, the soul
 
Reference
Boole, G.,
An investigation of the laws of thought, 1854, Macmillan.
Google
Other Reference
Dover Publications 1958
Published before 1923
Quotations
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

Related Topics
ThesaHelp: references ab (396 items)
Topic: thought is computational (60 items)
Topic: philosophy of mind (78 items)
Group: formalism (9 topics, 478 quotes)
Topic: logic (84 items)
Topic: boolean values, binary numbers, and bit strings (44 items)
Group: sets (7 topics, 148 quotes)
Topic: reductionism (51 items)
Topic: what is a computer (62 items)
Topic: limitations of formalism (93 items)
Topic: vitalism, the soul (73 items)
