So the argument is that what constraints don't care about can be treated modally as accidental rather than universal properties. If a difference doesn't make a difference, then what it "actually is" becomes logically a matter of indifference.
If you are applying this to individuation - the prime target of predicate logic - then it says we know Algol well enough not to mistake her for any other dog even if we were to encounter her in some entirely different world. There is something essential about her that defines her.
Or at least - reductionism being desperate to cash out nominalism - there is so little different about her (our "mental" idea of her, heh, heh) that we are content to take this counterpart Algol as a token of a type. I mean, a sign of a thing. — apokrisis
It always makes a difference. Algol of another possible world is in fact
an entirely different dog. In discussion of modal logic, many people fail to understand individuation. They errounosuly take semiotic similarity to mean two entirely different states are the same. It's particularly common in the context of counterfactuals and time-travel. People are imagined as a universal, a semiotic rule which individuates in same in all circumstances, supposedly making Willow in
any possible world the same person. It's a failure to understand time and possible world make a difference to individuation. The Willow who not make this post is
not me, no matter how similar or different we might be.
Indeed, there is something "essential" that defines each state, but it's a worldly feature. The Algol of one possible world is, by definition, not the Algol of another possible world. Each is a particular state of a world with its own semiotic expression. Semiotics doesn't create any state. Such expression is embedded in within it from the moment of its emergence. The Algol of each possible world is never anything other than the Algol of that world.
"Contraints" cannot do anything because there is never any state on which they might act. Since any state of the world has its semiotic expression for the moment it emerge, there is no "formless foam" to be "constrained." Semotic expression is given with
every state and means that it is individuated: there are only discrete states with express various "universals." Signs are not what makes the world, but rather what any existing state expresses.
Any "universal" is not a constraint on the world, but an expression of freedom. The law of gravity, for example, is only expressed in particular possible world where existing states of interest behave in a particular way. Outside that possible world (i.e. one where states don't or cease working to the law of gravity), there is no such law.
So the informal picture is that worlds are constructed by going from the particular to the general - recognising the increasingly generic constraints that can still bind a set of parts as a whole. — apokrisis
So this picture is a contradiction. It argues a a whole is formed out of the particular, but it actually claims that the whole (generic) constraint forms the
particular (the parts expressing the whole), such that particulars are defined by the generic constraint rather than themselves (e.g. "Algol" supposedly the sign which defines the existence of the particular dog Algol in any world).