Combining Texts

All the ideas for 'Logical Consequence', 'works' and 'Structuralism'

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]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
8921 Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
8922 Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
22121 The concept of being has only one meaning, whether talking of universals or of God [Duns Scotus, by Dumont]
22122 Being (not sensation or God) is the primary object of the intellect [Duns Scotus, by Dumont]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
22125 Duns Scotus was a realist about universals [Duns Scotus, by Dumont]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
22127 Scotus said a substantial principle of individuation [haecceitas] was needed for an essence [Duns Scotus, by Dumont]
9. Objects / D. Essence of Objects / 2. Types of Essence
22126 Avicenna and Duns Scotus say essences have independent and prior existence [Duns Scotus, by Dumont]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
22129 Certainty comes from the self-evident, from induction, and from self-awareness [Duns Scotus, by Dumont]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
22130 Scotus defended direct 'intuitive cognition', against the abstractive view [Duns Scotus, by Dumont]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
22128 Augustine's 'illumination' theory of knowledge leads to nothing but scepticism [Duns Scotus, by Dumont]
16. Persons / F. Free Will / 2. Sources of Free Will
22131 The will retains its power for opposites, even when it is acting [Duns Scotus, by Dumont]
28. God / A. Divine Nature / 2. Divine Nature
22123 The concept of God is the unique first efficient cause, final cause, and most eminent being [Duns Scotus, by Dumont]
28. God / B. Proving God / 3. Proofs of Evidence / a. Cosmological Proof
22124 We can't infer the infinity of God from creation ex nihilo [Duns Scotus, by Dumont]