Combining Texts

All the ideas for 'fragments/reports', 'Philosophical Logic: Intro to Advanced Topics' and 'Reference and Modality'

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

18 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
13913 The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]
13914 Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
13915 Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
13916 Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
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
13850 In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
13849 Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
13851 Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]
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 / K. Features of Logics / 5. Incompleteness
13852 Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]
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]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
467 A virtue is a combination of intelligence, strength and luck [Ion]
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]