Combining Texts

All the ideas for 'Bayesianism', 'The Laws of Thought' and 'Works of Love'

expand these ideas     |    start again     |     specify just one area for these texts

---

7 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic

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]

5. Theory of Logic / A. Overview of Logic / 2. History of Logic

8686	Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend]

5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof

22277

Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter]

14. Science / C. Induction / 6. Bayes's Theorem

2798	Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich]

2799	Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich]

22. Metaethics / B. Value / 2. Values / g. Love

15998

Perfect love is not in spite of imperfections; the imperfections must be loved as well [Kierkegaard]