12 ideas
| 8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
| 7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
| 8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
| 14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
| 14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
| 14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
| 14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
| 14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
| 14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
| 22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
| 16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |