Combining Texts

All the ideas for 'In Defence of Three-Dimensionalism', 'Model Theory' and 'The Mozi'

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

17 ideas

2. Reason / D. Definition / 7. Contextual Definition
10476 The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
10478 Since first-order languages are complete, |= and |- have the same meaning [Hodges,W]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10477 |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
10474 |= should be read as 'is a model for' or 'satisfies' [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10473 Model theory studies formal or natural language-interpretation using set-theory [Hodges,W]
10475 A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W]
10481 Models in model theory are structures, not sets of descriptions [Hodges,W]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
10480 First-order logic can't discriminate between one infinite cardinal and another [Hodges,W]
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
12295 3-D says things are stretched in space but not in time, and entire at a time but not at a location [Fine,K]
12298 Genuine motion, rather than variation of position, requires the 'entire presence' of the object [Fine,K]
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
12296 4-D says things are stretched in space and in time, and not entire at a time or at a location [Fine,K]
18882 You can ask when the wedding was, but not (usually) when the bride was [Fine,K, by Simons]
9. Objects / E. Objects over Time / 5. Temporal Parts
12297 Three-dimensionalist can accept temporal parts, as things enduring only for an instant [Fine,K]
22. Metaethics / C. The Good / 1. Goodness / g. Consequentialism
23395 Mohists desire wealth, population and social order as the best consequences [Mozi, by Norden]
23. Ethics / B. Contract Ethics / 2. Golden Rule
23394 If people regarded other states as they did their own, they would never attack them [Mozi]
23. Ethics / D. Deontological Ethics / 3. Universalisability
23396 Mozi condemns partiality, which is the cause of all the great harms in the world [Mozi]
23397 Those who are against impartiality still prefer impartial protectors [Mozi]