more on this theme | more from this thinker
Full Idea
Armstrong says what is actual (namely a certain roster of universals) might have been impossible. Hence his modal logic is S4, without the 'Brouwersche Axiom'.
Gist of Idea
If what is actual might have been impossible, we need S4 modal logic
Source
report of David M. Armstrong (A Theory of Universals [1978]) by David Lewis - Armstrong on combinatorial possibility 'The demand'
Book Ref
Lewis,David: 'Papers in Metaphysics and Epistemology' [CUP 1999], p.202
A Reaction
So p would imply possibly-not-possibly-p.
15544 | If what is actual might have been impossible, we need S4 modal logic [Armstrong, by Lewis] |
7024 | Properties are universals, which are always instantiated [Armstrong, by Heil] |
9478 | Even if all properties are categorical, they may be denoted by dispositional predicates [Armstrong, by Bird] |
10729 | Universals explain resemblance and causal power [Armstrong, by Oliver] |
10728 | A thing's self-identity can't be a universal, since we can know it a priori [Armstrong, by Oliver] |
4031 | It doesn't follow that because there is a predicate there must therefore exist a property [Armstrong] |
10024 | The type-token distinction is the universal-particular distinction [Armstrong, by Hodes] |