Combining Texts

All the ideas for 'The Logic of Boundaryless Concepts', 'The Laws of Thought' and 'Semantic Necessity'

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


12 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin]
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
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
Logic guides thinking, but it isn't a substitute for it [Rumfitt]
5. Theory of Logic / E. Structures of Logic / 8. Theories in Logic
Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K]
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A]
19. Language / C. Assigning Meanings / 2. Semantics
Semantics is either an assignment of semantic values, or a theory of truth [Fine,K]
Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K]
19. Language / C. Assigning Meanings / 7. Extensional Semantics
Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K]
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K]