01:830:305 Lecture Notes - Lecture 2: George Boole, Propositional Calculus, Transitive Relation
Document Summary
Patterns, regularities = standard procedures of reason bc of form (not content) Ie standardized system of thinking and mental processes can be understood by scientific term. Syllogism = routine thought process (like transitive property) First time someone pointed out mechanical process of reasoning (reason = scientific model of thought) Truth of conclusion is logically certain based on the form of the argument, regardless of context. George boole (1854), an investigation of the laws of thought. An algebra - to be able to make statements about quantities regardless of what the quantities are. Calculating with ideas = boolean algebra or propositional calculus. Logical connections (prop a + prop b) Conjunction: a ^ b = a is true and b is true. Disjunction: a v b = a is true or b is true (or both, inclusive or) Negation: ~a = a is not true.