Combining Texts

All the ideas for 'Intensional Logic', 'A priori/A posteriori' and 'works'

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

19 ideas

4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
15375 If terms change their designations in different states, they are functions from states to objects [Fitting]
15376 Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
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]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
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 / A. A Priori Knowledge / 10. A Priori as Subjective
3913 Maybe imagination is the source of a priori justification [Casullo]
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]