Combining Texts

All the ideas for 'Intensional Logic', 'Introduction to 'Personal Identity'' and 'A Priori Knowledge Revisited'

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

15 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 / 6. Classical Logic
12430 Classical logic is our preconditions for assessing empirical evidence [Kitcher]
12431 I believe classical logic because I was taught it and use it, but it could be undermined [Kitcher]
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]
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
12428 Many necessities are inexpressible, and unknowable a priori [Kitcher]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
12429 Knowing our own existence is a priori, but not necessary [Kitcher]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
16. Persons / D. Continuity of the Self / 2. Mental Continuity / b. Self as mental continuity
5504 Maybe we should see persons in four dimensions, with stages or time-slices at an instant [Martin/Barresi]
5503 Maybe personal identity is not vital in survival, and other continuations would suffice [Martin/Barresi]
16. Persons / E. Rejecting the Self / 2. Self as Social Construct
5502 Locke's intrinsic view of personal identity has been replaced by an externalist view [Martin/Barresi]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
5505 For Aristotle the psyche perishes with the body (except possibly 'nous') [Martin/Barresi]