Best Arguments for Physicalism I think discussing the claim that the next moment supervenes upon this moment could branch in a lot of directions. It doesn't make sense at face value, I agree. But I think you can make some sense of it. In terms of A properties supervening on B properties, there's probably a wiggle room for calling objects zeroth order properties. — fdrake
There's a wiggle room there too I think. The type of ordering between moments is like "less than or equal to", so a reflexive, transitive and asymmetric relation. So presumably any collection of property classes with a supervenience relation (which is comprehensible), if that supervenience relation is reflexive, transitive and asymmetric, is an example of a supervenience relation which is precisely the type of order between moments.
An example of that would be { biological (supervenes on) chemical (supervenes on) physical }. That's reflexive - no biological changes without biological changes. Asymmetric - every element has a unique predecessor. And transitive - the biological also supervenes upon the physical.
To be sure, it's possible there are supervenience relations which don't behave like orders, but that is one which does behave like an order.
So if you wanted to make the claim that {moment 1 (supervenes on) moment 2 (supervenes on) moment 3}, it's the same order relation as {biological (supervenes on) chemical (supervenes on) physical}. So it can't be disqualified on that basis alone.
Another rejoinder would be that "moments aren't properties", but you can modify the sequence to explicitly make them properties:
{properties at moment 1 (supervenes on) properties at moment 2 (supervenes on) properties at moment 3}
Which seems to parry that.
And as for supervenience changes necessarily being causal? The supervenience relation is reflexive. You get no changes in type A properties without changes in A type properties, but a given change of an A type property is identical with that change, not a cause of that change.
There might be an angle of criticism regarding the sense of possibility. What are the "possible worlds" for moments which the modal necessity of supervenience would be tested upon? Something I'm still pondering. — fdrake
I have had many thoughts on this, and it seems to come down to how we want to parse a logic of time.
I want to say that the ordered set of events does not rely upon supervenience in ordering those events. Further, in order for a supervenience relationship to hold then there are usually two kinds at work -- the mental supervenes upon the physical, the chemical supervenes upon the physical. What we'd have to do for moments is ensure that the supervenience relationship is between two kinds which still hold.
I thought about the difference between the A-series and the B-series of time and how, perhaps, the A-series could be claimed to supervene upon the B-series, and also that this would be a kind of support for physicalism. But how that maps -- I'm not sure.
But I think what I'd say is that the events in the moment defined from 1200 to 1201 do not map in a supervenient relationship to the events in the moment defined from 1201 to 1202. Supposing the same indexical reference then the events could be ordered as before and after, but if moment 1 is the A-properties across all of existence and moment 2 is the B-properties then it seems fairly obvious that if something changes at moment 1 that does not necessitate a change in moment 2, and also it's worth noting that because of the indexical being the same these are the same "kind" of time.
But that's about as far as I've been able to take it in a day. So I think where I'm still at is that the ordering relationship between moments in the same set of moments will not have supervenient relationships to one another, but something like "is before" on the same index.
(EDIT: Though it's worth noting that the sets which are within a moment could have supervenient relationships to one another or also to future versions of the same set. It's only the moments themselves, as an object with properties, that I think do not supervene)