Combining Texts

All the ideas for 'Intensional Logic', 'works' and 'Senses of Essence'

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

21 ideas

2. Reason / D. Definition / 6. Definition by Essence
11178 The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K]
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 / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11175 Logical concepts rest on certain inferences, not on facts about implications [Fine,K]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11176 The property of Property Abstraction says any suitable condition must imply a property [Fine,K]
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
11174 A logical truth is true in virtue of the nature of the logical concepts [Fine,K]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
13445 Descartes showed a one-one order-preserving match between points on a line and the real numbers [Descartes, by Hart,WD]
9. Objects / B. Unity of Objects / 2. Substance / e. Substance critique
16774 Descartes thinks distinguishing substances from aggregates is pointless [Descartes, by Pasnau]
9. Objects / D. Essence of Objects / 1. Essences of Objects
11177 Can the essence of an object circularly involve itself, or involve another object? [Fine,K]
9. Objects / D. Essence of Objects / 3. Individual Essences
11173 Being a man is a consequence of his essence, not constitutive of it [Fine,K]
9. Objects / D. Essence of Objects / 4. Essence as Definition
11179 If there are alternative definitions, then we have three possibilities for essence [Fine,K]
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 / B. Perception / 3. Representation
7400 Descartes said images can refer to objects without resembling them (as words do) [Descartes, by Tuck]
16. Persons / F. Free Will / 4. For Free Will
4310 We have inner awareness of our freedom [Descartes]
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
6553 Descartes discussed the interaction problem, and compared it with gravity [Descartes, by Lycan]
26. Natural Theory / A. Speculations on Nature / 1. Nature
19676 Nature is devoid of thought [Descartes, by Meillassoux]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / c. Matter as extension
6518 Matter can't just be Descartes's geometry, because a filler of the spaces is needed [Robinson,H on Descartes]