Map Index Random Help

## QuoteRef: boolG_1854

topics > all references > ThesaHelp: references a-b

ThesaHelp:
references a-b
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 a-b (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)

Collected barberCB 3/94