Combining Texts

All the ideas for 'The Laws of Thought', 'Our Knowledge of Mathematical Objects' and 'Substitutional Classes and Relations'

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

11 ideas

2. Reason / D. Definition / 7. Contextual Definition
21560 Any linguistic expression may lack meaning when taken out of context [Russell]
2. Reason / F. Fallacies / 8. Category Mistake / a. Category mistakes
21561 'The number one is bald' or 'the number one is fond of cream cheese' are meaningless [Russell]
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]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
18130 Axiom of Reducibility: there is always a function of the lowest possible order in a given level [Russell, by Bostock]
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]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
9224 Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
9222 The objects and truths of mathematics are imperative procedures for their construction [Fine,K]
9223 My Proceduralism has one simple rule, and four complex rules [Fine,K]
8. Modes of Existence / A. Relations / 1. Nature of Relations
21562 There is no complexity without relations, so no propositions, and no truth [Russell]