This post continues the conversation from this other post.
Let’s use our framework to formalize the idea that for any worlds that differ in physical laws, they also differ in perceptual character, that is, the character that they present to the senses. We can think of this as there being a correspondence between propositions about physical laws and propositions about perceptual character, such that, if a proposition about physical laws makes two worlds equivalent (both worlds give the same value to all individuals), then the corresponding propositions about perceptual character must also make those worlds equivalent.
Below is one way to capture, in our matrix-based semantics, the idea that whenever worlds differ in physical laws, they also differ in perceptual character. Informally, we will say there is a correspondence between propositions about physical laws and propositions about perceptual character such that any two worlds that are indistinguishable (i.e., assign the same truth-values to all individuals) with respect to the physical-laws proposition must also be indistinguishable with respect to the corresponding perceptual-character proposition.
1. Background and Setup
Recall our framework:
is a set of worlds. is a set of individuals.- A (unary) proposition
is represented by a matrix where means is true of individual in world , and otherwise.
Equivalence of worlds relative to a proposition
Given a proposition
Intuitively,
2. Propositions About Physical Laws vs. Perceptual Character
Let us divide our unary propositions into two families:
-
Physical-Laws Propositions: Denote these by
.- Each
is intended to capture some aspect of the “laws of nature” holding (or not) for each individual in each world. - Matrix representation:
.
- Each
-
Perceptual-Character Propositions: Denote these by
.- Each
is intended to capture a particular aspect of “perceptual character” (how things seem perceptually to each individual in each world). - Matrix representation:
.
- Each
We assume there is some mapping (or “correspondence”)
In many philosophical discussions, physical laws (broadly construed) determine or constrain the phenomenal experiences or perceptual characters that individuals can have. Our aim is to say: if two worlds truly differ with respect to a law
, then they must also differ in the corresponding perceptual property . Equivalently, if two worlds appear indistinguishable regarding (they give the same truth values for all individuals under ), they must also be indistinguishable for .
3. Formal Statement of the Dependence
3.1 Basic Statement
For each physical-laws proposition
This condition says: whenever
3.2 Contraposition
By contraposition, we can read it as:
In words: if two worlds differ in the perceptual-character proposition
4. Intuitive Meaning
Putting it more colloquially:
-
Physical difference
Perceptual difference. If you pick a particular way in which physical laws might differ across worlds (encoded by ), and you find that there are indeed two worlds and that produce different truth values under for some individual, then you should also find a corresponding difference in their perceptual character ( ) for at least one individual. -
No difference in perceptual character
no difference in physical laws. If you cannot find any difference in the perceptual character assigned by to two worlds and , then you cannot find any difference in the physical laws assigned by either.
This formalizes (at least in a simplified, first-order modal setting) the philosophical view that how things appear cannot diverge unless the underlying physical facts (laws) also diverge, and conversely, that any difference in the laws must manifest itself in some difference of appearance.
5. Beyond Unary Propositions
If one wanted to incorporate more complex statements—e.g., relational claims (binaries or
- For a binary predicate
, one works with . - The definitions of world-equivalence relative to
and the requirement that -equivalence imply (or be implied by) -equivalence follow a similar pattern, only now one checks all relevant tuples .
6. Conclusion
In summary, to say that “for any worlds that differ in physical laws, they also differ in perceptual character” is to impose on our two-dimensional (worlds
This axiom captures, in the language of matrices and equivalence classes of worlds, a philosophical principle linking differences in the laws of nature to differences in phenomenal or perceptual aspects of experience.
No comments:
Post a Comment