Combining Texts

All the ideas for '', 'Elements of Set Theory' and 'Essential Attribution'

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

21 ideas

4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
13201 ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton]
13204 The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton]
13206 A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
13200 Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton]
13199 The empty set may look pointless, but many sets can be constructed from it [Enderton]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
13203 The singleton is defined using the pairing axiom (as {x,x}) [Enderton]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13202 Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13205 We can only define functions if Choice tells us which items are involved [Enderton]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
11211 If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11210 Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]
11212 The sense of a connective comes from primitively obvious rules of inference [Rumfitt]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
11184 Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)]
11181 Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
11180 Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)]
11186 'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)]
11185 'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)]
9. Objects / D. Essence of Objects / 14. Knowledge of Essences
11182 If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
11183 The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
11187 In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)]
19. Language / F. Communication / 3. Denial
11214 We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
11189 Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)]