Combining Texts

All the ideas for 'Wiener Logik', 'The Laws of Thought' and 'Model Theory for Modal Logic I'

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

8 ideas

2. Reason / D. Definition / 2. Aims of Definition
18261 A simplification which is complete constitutes a definition [Kant]
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 / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
9560 S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
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 / A. Overview of Logic / 3. Value of Logic
22275 Logic gives us the necessary rules which show us how we ought to think [Kant]
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
22277 Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
18260 If we knew what we know, we would be astonished [Kant]