A Correct Formulation of Sense-Datum Theory in First-Order Logic
Sellars presents a formulation of sense-datum theory as follows:
X looks red to S = There is a class of red sense-data which belong to X, and are sensed by S.
This formulation is found in Sellars' Empiricism and the Philosophy of Mind. How should we correctly formulate the formulation above in first-order logic? Or, how should we correctly symbolize that in first-order logic?
X looks red to S = There is a class of red sense-data which belong to X, and are sensed by S.
This formulation is found in Sellars' Empiricism and the Philosophy of Mind. How should we correctly formulate the formulation above in first-order logic? Or, how should we correctly symbolize that in first-order logic?
Comments (27)
No idea how or why, but is the above correct? Shouldn't it be something like:
X looks red to S = There is a class of red sense data that belongs to S
or better
X looks red to S = There is sense-data that belongs to S. S has a theory that the sense-data belongs to the class of red sense data. S attaches the label "red" to X.
See section 9 in Empiricism and the Philosophy of Mind. Sellars says '(X looks red to S) = There is a class of red sense-data which belong to X, and are sensed by S'.
Although my understanding is just based on a brief skim of the paper.
My argument is not with you. I'm sure you are quoting correctly. It just seems obviously wrong.
What colour is the dress?
I'm not really sure the relevance of the question, though. I'm simply providing the reasoning. So if you have an issue, then it must be with one of the premises. Either redness isn't sense-data or looking red in the veridical case and being red are different things (in which case there's likely conflation on the term "red").
I'm only loosely familiar with first-order logic so I could be mistaken here, but my first guess would be:
If we approach this from the perspective that:
- There are "sense data" belonging to X, which we will call set A.
- There are "sense data" that S is capable of perceiving, which we call set B.
Then we could say:
?x ? A ? B
Which translates roughly to, "There exists some property x which belongs to A (i.e. is a sense-datum of X) and belongs to B (i.e. can be sensed by S)."
It may be appropriate to replace B with a formula, but this may just be a matter of preference.
Again, I would urge you to check this with someone else before basing any life decisions on it.
As for the dress: The colour information stored in the image file is that of white and gold. Some people claim that their brains choose to reinterpret this as blue and black - and the originator claims that the dress was in fact blue and black.
Except we say that the dress really is blue and black even though I see it as white and gold. So is the blueness and the blackness that the dress really has sense-data? Or would you say that it doesn't make sense to talk about the "real" colour of the dress; only the colour we see it to be (in which case it doesn't make sense to distinguish between veridical and non-veridical colour experiences?)
That's interesting. The dress is actually blue and black, the colour in the image is actually gold and white (well, a bluish silver really), and some people see it as blue and black. The wrong colours in the image allow some people to recognise the real colours of the dress.
No it's not. The image file is black and blue.
Center of the neck
Center of the left lapel
So the black and blue sense-data is in the image file? Or is the black and blue in the image file not sense-data?
OK, so the file is actually more brown and blue, which weirdly I am beginning to see. The image file contains binary data, so no, there is no sense data stored there, just numbers.
And what about in the dress (which is said to "really" be blue and black)?
This thread is about correct formulation of sense-datum statements... Don't forget about it.
What I thought Tom was getting at is that it doesn't have anything to do with sense/sensing/etc. until it gets to you.
Then I guess the "red" in "the dress is red" is different to the "red" in "the dress looks red", as the "red" in "the dress looks red" is sense-data but the "red" in "the dress is red" isn't? In which case the premise that looking red (even in the veridical case) and being red are the same thing is false?
Right. I don't believe there's anyone who says that the red of a dress, say, is literally, identically in anyone's head. Thinking that anyone would be saying that seems like a weird, Aspie-ish misunderstanding of language.
Set theory is a good treatment.
This wasn't a homework assignment. I have tried something as follows:
'The king of France looks red to Russell'
= (?x)(Fx & (?y)(Fy ? x = y) & (?z)(Gzx & Hza))
In set theory, I have tried:
(?x)(x ? A & x ? B)
That's it.