Combining Texts

All the ideas for 'Logical Consequence', 'Many Politics' and 'Reference and Modality'

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

20 ideas

1. Philosophy / B. History of Ideas / 1. History of Ideas
21852 Nomads are the basis of history, and yet almost unknowable [Deleuze]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
10688 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10928 Maybe we can quantify modally if the objects are intensional, but it seems unlikely [Quine]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10690 Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10691 Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10695 Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
10689 A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
10925 Failure of substitutivity shows that a personal name is not purely referential [Quine]
5. Theory of Logic / G. Quantification / 1. Quantification
10926 Quantifying into referentially opaque contexts often produces nonsense [Quine]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
10696 A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10693 Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10692 Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
9. Objects / D. Essence of Objects / 15. Against Essentialism
10930 Quantification into modal contexts requires objects to have an essence [Quine]
10. Modality / A. Necessity / 4. De re / De dicto modality
14645 To be necessarily greater than 7 is not a trait of 7, but depends on how 7 is referred to [Quine]
10. Modality / A. Necessity / 11. Denial of Necessity
9201 Whether 9 is necessarily greater than 7 depends on how '9' is described [Quine, by Fine,K]
10927 Necessity only applies to objects if they are distinctively specified [Quine]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
9203 We can't quantify in modal contexts, because the modality depends on descriptions, not objects [Quine, by Fine,K]
24. Political Theory / D. Ideologies / 11. Capitalism
21853 We are currently extending capitalism to the whole of society [Deleuze]
25. Social Practice / E. Policies / 1. War / a. Just wars
21851 The State requires self-preservation, but the war-machine desires destruction [Deleuze]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
10931 We can't say 'necessarily if x is in water then x dissolves' if we can't quantify modally [Quine]