10 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] |
18073 | Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher] |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
19057 | Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
19055 | Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett] |
19056 | If a sentence is effectively undecidable, we can never know its truth conditions [Dummett] |
19054 | Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett] |
15313 | By 'force' I mean the sources of all actions - sometimes called 'powers' by their outcomes [Breheny] |