Relational Space
Leibniz has an argument against absolute space that employs the Principle of Sufficient Reason. Of course, PSR is false. So, the argument is no good. However, some philosophers have come to accept a new principle, the Principle of Necessary Reason. This principle may be formulated as follows (though it is not so formulated by its defenders):
For every contingently true proposition, P, there is true proposition N which is neither identical to P nor a part of P such that if N were not to obtain, then P would not obtain.
I believe that we can make a new argument against absolute space based on this principle. Let u be the universe and let O be a property that something has when it has all the geometric features that the universe in fact has. Finally, let R be the property that the universe in fact has in virtue of being oriented in space the way that it in fact is and let L be a the property that the universe would have if it were oriented in a mirror reverse way. Now consider the following proposition:
(Ou and Ru) or ~(Ou and Lu)
If space is absolute, then this is a contingently true proposition. But if that is a contingently true proposition, then by PNR, there must be a proposition, N such that if N were not to obtain, then it would not be the case that (Ou and Ru) or ~(Ou and Lu). That is, if N were not to obtain, then it would be the case that ~(Ou and Ru) and (Ou and Lu). But there is no such proposition. So, space is not absolute.
I take it that the weakest part of this argument is the principle PNR.
For every contingently true proposition, P, there is true proposition N which is neither identical to P nor a part of P such that if N were not to obtain, then P would not obtain.
I believe that we can make a new argument against absolute space based on this principle. Let u be the universe and let O be a property that something has when it has all the geometric features that the universe in fact has. Finally, let R be the property that the universe in fact has in virtue of being oriented in space the way that it in fact is and let L be a the property that the universe would have if it were oriented in a mirror reverse way. Now consider the following proposition:
(Ou and Ru) or ~(Ou and Lu)
If space is absolute, then this is a contingently true proposition. But if that is a contingently true proposition, then by PNR, there must be a proposition, N such that if N were not to obtain, then it would not be the case that (Ou and Ru) or ~(Ou and Lu). That is, if N were not to obtain, then it would be the case that ~(Ou and Ru) and (Ou and Lu). But there is no such proposition. So, space is not absolute.
I take it that the weakest part of this argument is the principle PNR.