Combining Texts

All the ideas for 'Intensional Logic', 'There is No A Priori (and reply)' and 'Philosophy without Intuitions'

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

11 ideas

2. Reason / E. Argument / 7. Thought Experiments
20183 So-called 'though experiments' are just philosophers observing features of the world [Cappelen]
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]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
19565 How could the mind have a link to the necessary character of reality? [Devitt]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
19564 Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt]
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
20182 The word 'intuitive' often plays not role at all in arguments, and can be removed [Cappelen]