Combining Texts

All the ideas for 'works', 'Mind and Its Place in Nature' and 'Philosophy of Mathematics'

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

20 ideas

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
23445 Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
23447 In classical semantics singular terms refer, and quantifiers range over domains [Linnebo]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
23443 The axioms of group theory are not assertions, but a definition of a structure [Linnebo]
23444 To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
23446 You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
23448 Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
23441 Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
23442 Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo]
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]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
7628 Broad rejects the inferential component of the representative theory [Broad, by Maund]
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]