Combining Texts

All the ideas for 'Analyzing Modality', 'Academica' and 'Intensional Logic'

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

28 ideas

2. Reason / C. Styles of Reason / 1. Dialectic
2661 Dialectic is speech cast in the form of logical argument [Cicero]
3. Truth / A. Truth Problems / 1. Truth
2673 There cannot be more than one truth [Cicero]
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 / D. Assumptions for Logic / 2. Excluded Middle
2669 Dialectic assumes that all statements are either true or false, but self-referential paradoxes are a big problem [Cicero]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
11115 'All horses' either picks out the horses, or the things which are horses [Jubien]
9. Objects / A. Existence of Objects / 1. Physical Objects
11116 Being a physical object is our most fundamental category [Jubien]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
11117 Haecceities implausibly have no qualities [Jubien]
10. Modality / A. Necessity / 11. Denial of Necessity
11119 De re necessity is just de dicto necessity about object-essences [Jubien]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
11118 Modal propositions transcend the concrete, but not the actual [Jubien]
11108 Your properties, not some other world, decide your possibilities [Jubien]
11111 Modal truths are facts about parts of this world, not about remote maximal entities [Jubien]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
11105 We have no idea how many 'possible worlds' there might be [Jubien]
11107 If there are no other possible worlds, do we then exist necessarily? [Jubien]
11106 If all possible worlds just happened to include stars, their existence would be necessary [Jubien]
11112 Possible worlds just give parallel contingencies, with no explanation at all of necessity [Jubien]
11109 If other worlds exist, then they are scattered parts of the actual world [Jubien]
11113 Worlds don't explain necessity; we use necessity to decide on possible worlds [Jubien]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
11110 We mustn't confuse a similar person with the same person [Jubien]
12. Knowledge Sources / B. Perception / 1. Perception
2664 If we have complete healthy senses, what more could the gods give us? [Cicero]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
2665 How can there be a memory of what is false? [Cicero]
13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism
20800 Every true presentation can have a false one of the same quality [Cicero]
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / c. Motivation for virtue
2672 Virtues must be very detached, to avoid being motivated by pleasure [Cicero]