Let’s take a step back here and review the big picture
1. If moral values are my values, then if I value something necessarily it is morally valuable
2. If I value something it is not necessarily morally valuable
3. Therefore moral values are not my values. — Bartricks
You have been stating that this is logically sound because the sentences map to this logic:
1. if P then Q
2. Not Q
3. Therefore not P — Bartricks
However, as many people have demonstrated, this mapping is clearly incomplete since both P & Q have embedded logic. E.g., at an absolute bare minimum we need to start by splitting out P into A = B. In fact it’s a lot more complicated than that.
On top of that, you are using the word
necessarily. Now 6 or 7 days ago,
@Happenstance explained that if you are using the word
necessarily then you need to use
modal logic to represent your sentences in some proper logical form. Here is how
@Happenstance converted your sentences into modal logic:
∀ = for all, ∃ = there exists a least one.
Predicate V = value, M = moral.
Variables x = not y nor z, y = person(implied by I or my), z = something,
Necessarily = ∆.
∀x∃y∃z[
1. (Vx&Mx→Vy)→ ( ∆(Vyz)→Vx&Mx)
2. Vyz→¬∆(Vx&Mx)
3. Vx&Mx→¬Vy
] — Happenstance
I did a quick run through of this, and while I am far from an expert in these things, it looks sound to me.
@Happenstance then demonstrated that this is invalid for various reasons. He then asked you to map your sentences into
first order predicate logic.
Your response was that you were
not sophisticated enough to do that — Bartricks
What I am attempting to do here is to do what
@Happenstance asked you to do, the only difference is that I am trying to use
second order logic. The reason I am using second order logic is because it makes more sense to me to represent your term
Moral Values as a set of individual moral values.
But this still means that we must eliminate the word
necessarily - and now we are back to this point. Here is your #1, along with some alternatives:
A. If I am superman, then if superman goes to the grocery necessarily I go, because I am he.
B. If I am superman, then if superman goes to the grocery obviously I go, because I am he.
C. If I am superman, then if superman goes to the grocery then of course I go, because I am he.
D. If I am superman, then there are no occurrences of superman to go to the grocery but not me, because I am he.
E. If I am superman, then if superman goes to the grocery I go
As far as I can tell, these sentences all have the exact same semantics and the same truth value - the word
necessarily serves no purpose except to add additional emphasis.
However, you seem be saying is that you need
necessarily, otherwise your #2 is false. I have not even gotten to formulating #2; removing the
necessarily from that is a separate task. But there’s no point in doing that if we cannot convert #1 into some formal representation.
- - - - - - - - - - - - - - - - - - - - -
SO - all that said, you now have a decision to make. Do you want to convince me (and many others) that your logic is valid & sound? If yes, then you need to demonstrate that your sentences can be converted/mapped into some recognized system of formal logic.
1. You can continue to work with me and see if we can convert your sentences into second order propositional logic. I cannot do this on my own, since some of your terms are not well defined and I need to figure out exactly what you mean.
2. If you insist that the word
necessarily is necessary, then you need to demonstrate that
@Happenstance’s reasoning is flawed - of course you would also have to demonstrate a logically sound representation in modal logic.
3. You can use some other generally recognized system of formal logic.