Thanks for your reply. Much appreciated.
I want to run something by you if you don't mind.
F = everything is selfish
Put statement F in the context of a particular action/inaction e.g. G = John gives money to the poor, ~G = John doesn't give money to the poor, and S = John is selfish. [All actions/inactions can be reduced to such a formulation.]
What logical statements using G, ~G, and S are implied by F?
1. Whether John gives money to the poor
or not, John is selfish = (G v ~G) > S.
If this is the case then, actions/inactions, the
differences therein, fail to aid us in distinguishing moral/immoral actions/inactions in general and selfish/selfless acts in particular. The statement F precludes the success of any such attempt.
In the analogy you gave of the room with everything painted red, I have two observations to make:
1. The property of redness can't be used to pick out items in the room. So, for instance, if the red room had two chairs (both red) and I told you to bring me a chair and you asked, "which one?" the reply, "the
red one." wouldn't help you.
2. The property of redness becomes
redundant in the sense, it no longer is worth mentioning as a property of the items in the red room. If the room had a red table, saying, "bring me the table" is the same as saying, "bring me the
red table".
This is what you meant by, and I quote,
"And so it is with "selfish" If everything is selfish, the 'selfish' doesn't pick anything out, and it means exactly 'everything'."
Coming to the matter of the claim, "everything is selfish", both points 1 and 2 apply. If it were true, firstly, we wouldn't be able to tell things apart and secondly, it would be redundant to mention selfishness at all.
One of the things that threw me off is the existence of universal statements in categorical logical, statements that begin with the word, "all", an example is, "
All dogs are mammals." Here too, mammal[/i]ness[/i] is both useless (can't be used to tell one type of dog from another) and redundant (there's no point in saying something like, "look there's a
mammal dog"). This raises the question of the necessity of universal statements like these. Why have them at all?
Well, the first thing to notice in universal statements (all statements) in categorical logic are that they're about sub-categories of
everything and that means that what you call the
"...background of non-red things..." exists, the set-complements of the sub-categories we're dealing with. Too, the usual thing that happens is that the subject term of universal statements is not coextensive with the predicate term i.e. for instance, though all dogs are mammals, not all mammals are dogs. The problem with saying, "everything is <insert predicate>" which you were so kind to point out is that in this case
everything is coextensive with the category/set of the predicate whatever that might be and if that were true, the predicate is both useless and redundant in the sense alluded to in the preceding paragraphs.
On the same trajectory (logic), what is your opinion on the existence of (x)(Ax) as a valid logical expression? (x)(Ax) is read as "for all x, Ax" where Ax is a predicate "x is <insert predicate>". For instance, if Ax = x is an illusion (a favorite predicate of philosophers and sages alike), (x)(Ax) =
everything is an illusion [for all x, x is an illusion]. In this case, what's meant is that the category/set of
everything is coextensive (is identical) with the category/set of illusion. The statment "everything is an illusion" would, according to our analysis, be both useless and redundant. We wouldn't be able to tell the difference between one object and another and secondly, there's no point in mentioning that anything is an illusion.
The only way for such universal statements, statements that can be reduced to (x)(Ax), to "make sense" (to be not useless and not redundant) is if the "...background..." exists (as per our reasoning) but that seems to be impossible; after all, we're talking about
everything here.
At this point I'd like to revisit our old friend, F = everything is selfish. Truth be told, my guess is that a hypothetical is involved here - the person, call faer U, who claims F imagines in faer mind what selflesness is and going by faer belief in F, this imagined selflessness precludes any and all benefit to the selfless person. In other words, there's a "...background...", the imagined selflessness U has in faer mind. However, the imagined selflesness can't be actualized in reality for reasons that are obvious (all actions/inactions are, at some level, beneficial to the self). Since there are no real instances of U's imagined selflessness, U has no choice but to say F but the key point here is that "everything" in F refers to the real world and the moment U includes faer imaginary world, U can't/shouldn't use "everything" and F would be false. All this goes to show that you're right about how the word "everything" in a formulation that looks like "
everything is <insert predicate>" makes the predicate useless and redundant.
We can say precisely the same thing about the statement "
everything is an illusion" because there's a hypothetical world which isn't an illusion that's the "...background..." and the word "everything" here applies exclusively to the real world.
In short, the word "everything" is being misused/abused or it needs to be qualified by mentioning that the hypothetical, or quite possibly, some other, world, the one that contains the "...background...", has been excluded.
Coming back now to (x)(Ax), as per how I've approached the issue of universals, (x)(Ax) is restricted to the real world and this assertion seems to gibe with how we talk about nonexistence in logic. The statement, "demons don't exist" becomes (x)(~Dx) where Dx = x is a demon. (x)(~Dx) = everything is not a demon. If (x)(Ax) were not confined to the real world and if the imaginary world were part of its scope, it shouldn't be possible to say (x)(~Dx) =
everything is not a demon. Ergo, (x)(Ax) is acceptable as a valid logical statement for the "...background..." for it can be, is rather, the hypothetical world.
On a related note, your take on this issue seems to lead to a yin-yang (Daoist) outlook - foreground and "...background..." the two needing each other as whatever constitutes them can switch their roles. On another thread, we were discussing the Daoist notion of
The Nameless and your comment
"...it means exactly 'everything'." fits like a glove with my own beliefs on the issue.
Allow me to explain:
In total agreement with you, for red things to be discerned, we need "...non-red things" If there's no difference between "two" objects (identity of indiscernibles) then they are, for all intents and purposes, the same thing. Right? Ergo, differences are foundational to identity of items in our universe whether as individuals or as classes.
Now, take
everything that there is and by
eveything I mean, quite literally,
eveything. It's obvious, by virtue of the existence of mutually exclusive classes and individuals, that no property or group of properties will unify
everything into a, one,
whole. In other words, the whole, the entire universe,
everything, can't be made sense of in terms of properties [for mutually exclusive properties thwart all our attempts at finding that single property/set of properties that run(s) through
everything]. The whole,
everything, the universe, ergo, is beyond all definition and thus must remain
The Nameless.
Everything is....???
:chin: