Combining Texts

All the ideas for 'Material Constitution', 'Logical Consequence' and 'On Eternal and Immutable Morality'

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

21 ideas

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]
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 / 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 / C. Structure of Objects / 6. Constitution of an Object
16065 Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman]
16067 Constitution is not identity, because it is an asymmetric dependence relation [Wasserman]
16069 There are three main objections to seeing constitution as different from identity [Wasserman]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
16068 The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman]
9. Objects / F. Identity among Objects / 3. Relative Identity
16074 Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / c. Tabula rasa
6230 If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
6228 Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / a. Physicalism critique
6229 Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth]
22. Metaethics / B. Value / 1. Nature of Value / c. Objective value
6227 Keeping promises and contracts is an obligation of natural justice [Cudworth]
25. Social Practice / D. Justice / 2. The Law / c. Natural law
6225 Obligation to obey all positive laws is older than all laws [Cudworth]
28. God / A. Divine Nature / 4. Divine Contradictions
6224 An omnipotent will cannot make two things equal or alike if they aren't [Cudworth]
28. God / A. Divine Nature / 6. Divine Morality / d. God decrees morality
6223 If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth]
6226 The requirement that God must be obeyed must precede any authority of God's commands [Cudworth]