Combining Texts

All the ideas for 'works', 'Intensional Logic' and 'A Powers Theory of Modality'

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

23 ideas

3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
12463 Unlike correspondence, truthmaking can be one truth to many truthmakers, or vice versa [Jacobs]
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]
8. Modes of Existence / A. Relations / 3. Structural Relations
14375 If structures result from intrinsic natures of properties, the 'relations' between them can drop out [Jacobs]
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
14378 Science aims at identifying the structure and nature of the powers that exist [Jacobs]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
12467 Powers come from concrete particulars, not from the laws of nature [Jacobs]
10. Modality / A. Necessity / 10. Impossibility
14377 Possibilities are manifestations of some power, and impossibilies rest on no powers [Jacobs]
10. Modality / B. Possibility / 1. Possibility
14376 States of affairs are only possible if some substance could initiate a causal chain to get there [Jacobs]
10. Modality / B. Possibility / 9. Counterfactuals
14379 Counterfactuals invite us to consider the powers picked out by the antecedent [Jacobs]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
14372 Possible worlds are just not suitable truthmakers for modality [Jacobs]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
12466 All modality is in the properties and relations of the actual world [Jacobs]
10. Modality / C. Sources of Modality / 6. Necessity from Essence
14371 We can base counterfactuals on powers, not possible worlds, and hence define necessity [Jacobs]
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
12465 Concrete worlds, unlike fictions, at least offer evidence of how the actual world could be [Jacobs]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
12464 If some book described a possibe life for you, that isn't what makes such a life possible [Jacobs]
12469 Possible worlds semantics gives little insight into modality [Jacobs]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
19. Language / A. Nature of Meaning / 6. Meaning as Use
20949 Study the use of words, not their origins [Herder]
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
7669 We cannot attain all the ideals of every culture, so there cannot be a perfect life [Herder, by Berlin]
24. Political Theory / D. Ideologies / 7. Communitarianism / a. Communitarianism
7668 Herder invented the idea of being rooted in (or cut off from) a home or a group [Herder, by Berlin]