Sorry it's taken to long to get back to this, besides my birthday Saturday my Sunday got really unexpectedly busy.
This can be explained easily in terms of second-order desires. I might have a certain desire, but desire not to have that desire. In such a case, the "desire I wish I had" is not affecting my actions, but the "desire I do have" is. Being a slave to my vices might be my first-order and second-order desires conflicting. If X being good is a belief, I can sincerely hold that X is good and yet not intend to X. While I want-to-want-to-X, I unfortunately don't want-to-X. — Tarrasque
Intentions, as I mean them,
are "second-order desires", in the same way that beliefs are "second-order perceptions", though neither in quite so straightforward a way, hence the quotes here. "Thoughts" in general (beliefs and intentions) are, on my account, what happens when we turn our awareness and control inward, look at our "feelings" (desires and perceptions) and then judge whether they are correct or not. To think something is good and to intend it are thus synonymous: the thing that you think is good, that you intend, is the thing that you judge it would be correct for you to desire.
You still might nevertheless not desire it, just like disbelieving an illusion doesn't make you not perceive it, but just as believing is thinking something is true, intending is thinking something is good, which is different from just desiring it (feeling like it's good), just as belief is different from perception (feeling like it's true).
This seems to imply that, in deliberating different options, only the maximal one is "good." This precludes the idea of deliberating between multiple good options. It doesn't follow that just because going to the gym is not the most good, it is not good at all.
"Going to the gym is good, but I don't intend to go to the gym." could reflect that I am not going to the gym because of a conflicting greater good, I agree. But, I can still cogently evaluate going to the gym as good, while not intending to do it. — Tarrasque
The distinction here is between a general evaluation of the goodness of going to the gym, and the goodness of you in particular going to the gym right now in particular. You can intend to regularly go to the gym, think it's good for you to do so, but because your kid just broke a leg and needs to be taken to the hospital, intend not to go to the gym right now, because you think it would be bad if you went to the gym right now instead of taking your kid to the hospital.
Just like how saying "it's true that horses have four legs" means it's
generally true that
usually horses have four legs, but that doesn't mean some particular horse cannot only have three legs. Sometimes it's false that some horse has four legs.
So, if I understand you correctly, experiencing a first-person appetite is an irreducible ought. I'm still not confident that this is the case. The fact of my appetitive experience is a physical fact, even from the first-person perspective. If I were in pain, I could, say, go through an MRI and verify that I am in fact in pain. Of course, I don't need to do this to have the experience of being in pain. Similarly, I don't have to go through an MRI to verify that I am having a perceptive experience of looking at a painting. If where I have pain, I have an ought, there seems to be a relationship between "me factually being in pain" and "what ought to be the case.". — Tarrasque
An MRI is a third person description of you, not your own first-person experience. Completely regardless of what a third-person description of the mechanics underlying someone's experience of pain, their first-person experience of that pain is what moral judgements are to be measured against. (And NB that "X will hurt" isn't the
meaning of "X is bad" on my account; the meaning is something more like "avoid X". Whether it hurts anyone is just part of the criteria to use for judging whether or not to agree to avoid X, to agree that X is bad, just like empirical sensations are the criteria to use for judging whether or not to agree that something is descriptively true).
In the same vein as above, do you think that "I am hungry, yet I ought not to be fed." is some kind of paradox? If "I am hungry" entails "I ought to be fed," it must be
[...]
Bloodlust could easily be defined in terms of an appetite, though. What makes hunger an appetite? It is an experience of a certain sort that can only be satisfied by an actualization through my sensations, in the case of hunger, me being fed. — Tarrasque
This isn't really acknowledging the distinction between experiences and feelings, which is crucial to my account. Experiences aren't propositional; you don't experience
that something is true or
that something is good. "I am hungry" doesn't directly entail "I ought to be fed"; rather, feeding me is merely one thing that can result in satisfying my hunger. Anything else that could satisfy my hunger would equally suffice; say, some caffeine, which suppresses hunger. In contrast, bloodlust is specifically a desire for someone to hurt, it has propositional content, a particular state of affairs in mind. That state of affairs doesn't have to be realized, on my account, but the experiences in response to which someone desires that state of affairs does, somehow, without disregarding others', to bring about a universally good state of affairs.
(Of course, we'll always fall short of universally good, just like we'll always fall short of universally true belief, but the procedures for how to deal with those shortcomings are topics about epistemology and a part of what's usually considered normative ethics, which I'm planning later threads about; they're not necessary just to talk about what things
mean).
It's the blind men and the elephant again. The tail-guy's perception of a rope doesn't have to be satisfied for a universally true description of what they're feeling, but the
sensations he has that
inspire him to perceive a rope
do need to be satisfied: to be true, the answer "it's an elephant" needs to account for why tail-guy perceives something rope-like, and thankfully it does.
Likewise the sadist's bloodlust, his desire to kill, doesn't have to be satisfied for a universally good prescription, but his
appetites, the
experiences that
inspire him to desire to kill, do need to be satisfied, somehow, or else there is still some bad going unresolved, some suffering that he is undergoing without respite. That satisfaction could involve some other outlet, some kind of medication, some other therapy, something, but it doesn't have to (and of course shouldn't) involve him actually killing people.
But there is still an elephant. They may not be making methodological mistakes, but their perceptions of various objects where there is in fact an elephant represents a deviation from what is actual. — Tarrasque
Is there
actually an elephant, when there is no possibility in principle of anybody ever telling that there is one instead of e.g. a rope? Bearing in mind that if there is no way in principle of them communicating with each other or anything they have mutual access to, then on what grounds could you say they even exist together in the same world? When we imagine this, we're imagining that you and I have some kind of privileged access where we're aware of all three of them and of the elephant, but they're all absolutely blocked off from awareness of each other or of any part of the elephant besides their tiny little bit. But if we can interact with them (to observe them), and with the whole of the elephant (to observe it), then in principle there is a communication channel, through us, by which they could observe each other and the whole of the elephant. You can't really seal parts of the universe off from each other completely like that, without effectively removing them from each other's universes, separating them into separate bubble worlds, in which case why couldn't different things be true in different worlds?
I definitely don't think that we necessarily interpret it as an utterance. "Expression" and "impression" seem to be, as you have so far used them, properties related to what a speaker is intending with their words. What you're now saying implies that if I take someone to be impressing a belief on me, they are in fact doing so.
In the case of the dead bugs, applying "expression" or "impression" in the intentionary sense is a clear error. What am I applying them to? The dead bugs? The piece of paper? If a piece of paper that was written on by nobody can cogently be claimed to impress/express beliefs, the terms become a lot less meaningful. I can similarly say that a mountain impresses on me the belief that it is large when I look at it. — Tarrasque
All linguistic meaning is inferred by the audience about the speaker. If you read the bugs as words and not just as bugs, you're already reading them as though they are an utterance by some speaker. What kind of utterance you interpret them as determines how and whether you will evaluate the truth (in the broad sense, i.e. correctness) of them. Actual speakers use words that have agreed-upon meaning in the linguistic community to try to convey various meanings to their audience, but it's always up to the audience what meaning they will take away from it. If there is no actual speaker (or writer, etc) at all, then there is no actual meaning being conveyed in the first place. If an audience nevertheless reads in meaning to something that's actually meaningless (like a random pattern of dead bugs), it's up to the audience to read in what their imaginary speaker meant to convey by their message.
E.g. if the dead bugs say "I don't like your hat", but there isn't actually anybody who doesn't like anyone's hat who wrote that, the dead bugs just look like that sentence, what meaning should a reader take away from it? Who should they feel insulted by? Nobody, because nobody actually wrote that.
With these clarifications, you will have to retreat to the weaker claim that they only resolve Moore's paradox from the perspective of someone who assigns impression/expression to the sentence in the same way that you have. If their evaluation of impression/expression differs from yours, they are still correct in taking Moore's paradox to self-contradict. You might be fine with this conclusion. — Tarrasque
Sure, if they take Moore's sentence to mean "I believe X but I don't believe X" or "X is true but X is false" or something like that, then they can take it to be contradictory. My account of impression/expression is an account of why it seems like it shouldn't seem contradictory, but nevertheless it does seem contradictory, i.e. why this is a "paradox" and not just an obvious either contradiction or non-contradiction. Someone who took Moore's sentence to mean one of the things above wouldn't see anything paradoxical about it, but people generally do, so some explanation of the differences and relations in meaning between "I believe X" and "X is true" is needed to account for why they do.
This restructuring alone does not resolve the Frege-Geach problem. A statement of the formal form be(P being Q) is a prescription. Its utterance prescribes a state of affairs. This is clear in the case of the atomic sentence P1: be(X being F), or "it ought not to be the case that there is stealing," if you'd rather. Prescription is the semantic content of that proposition. In the context of the antecedent in P2(IF be(X being F), then...), the semantic content of "be(X being F)" does not prescribe. We see, then, that be(X being F) in P1 and be(X being F) in P2 have different semantic content. In classical logic, we would now have to use different variables to represent them, and our modus ponens would no longer be valid. — Tarrasque
Remember that "be(x being F)" is a shorter form of something like "it-ought-to-be-the-case-that-there-is(x being F)". Likewise "is(x being F)" is a shorter form of something like "it-is-the-case-that-there-is(x being F)". These are meant to be equivalent to "x ought to be F" and "x is F"; we're just pulling the "is"-ness and "ought"-ness out into functions that we apply to the same object, the same state of affairs, "x being F".
So if "if x ought to be F, then..." is no problem, then "if be(x being F), then ..." should be no problem either, because the latter is just an encoding of the former in a formal language meant to elucidate the relations between "is" and "ought" statements about the same state of affairs.
I only use the imperative form of the copula, "be", to name that function, because I take "oughts" to be a kind of generalization of imperatives: "you ought to F" and "you, F!" are equivalent on my account, but you can say things of the form "x ought to be G" that can't be put into normal imperative form. "Oughts" are more like exhortations than imperatives: "Saints be praised!" isn't an order to the saints to go get praised, but it is basically the same as a general imperative to everyone (but nobody in particular) to "praise the saints!" and also basically the same as "the saints ought to be praised", which likewise implies that everybody (but nobody in particular) ought to "praise the saints!"
The importance of using "truth," for me, is the consistency with the vernacular in logic. Formal logical relationships, most crucially entailments, are based in the truth or falsity of their propositions. Claiming that something is "not truth-apt" should imply that it is not evaluable in formal logic, not usable to form valid arguments, etc. Since you use "correctness" in the same way "truth" is used in logic, I think it is important to call it truth. — Tarrasque
Perhaps we could more neutrally distinguish them as "cognitive truth" and "descriptive truth", since the most important feature of my moral semantics is rejecting descriptivism without rejecting cognitivism. On my account moral claims are "truth-apt" in the sense that matters for cognitivism, but not "not truth-apt" in the sense that matters for descriptivism. They're not telling you something about the way the world is, but they are nevertheless fit to be assigned yes/no, correct/incorrect, 1/0, "truth" values.
The particular words used to distinguish these two concepts don't really matter to me at all, just that they are distinguished, and not conflated together: that not only descriptions are taken to be apt to bear the kind of boolean values needed to do logic to them.
I have your principle of descriptive truth down, I think: "X is a descriptive truth if and only if X is, in principle, empirically verifiable as true."
What I'm after is a similar principle for your establishment of moral correctness. "X is a correct prescription if and only if..." what? You have explained your idea of prescriptive correctness, but I've found these explanations a little vague. I'm looking for a definition of what "prescriptive correctness" really is, in the form of a principle, like the above for descriptive truth. I'd have trouble trying to just throw "appetitive experiences of seeming good or bad in the first-person" into a principle like that without horribly misinterpreting and butchering what you're saying. — Tarrasque
I would state the parallel principles instead as:
"X is descriptively true if and only if X satisfies all sensations / observations"
and
"X is prescriptively good if and only if X satisfies all appetites".
Claims that something is descriptively true or that something prescriptively good can both be "cognitively true" / correct in the same way, they can both carry boolean values that can be processed through logical functions.
But this is getting away from mere philosophy of language; I almost went into a huge multi-paragraph thing about epistemology and the ethical equivalent thereof here.
The
meanings, on my account, of ordinary non-moral claims, and moral claims, respectively, are to impress upon the audience either a "belief", an opinion that something is (descriptively) true, that it
is, that reality is some way; or an "intention", an opinion that something is (prescriptively) good, that it
ought to be, that morality is some way.
It's technically a different question as to what kinds of states of affairs
can be real or
can be moral, and then a further question still as to how we sort out
which of such states of affairs actually is real or moral to the best of our limited abilities. Those are topics I intend to have later threads about: ontology and epistemology, and two halves of what's usually reckoned as normative ethics which I term "teleology" and "deontology".
The relationship between "murder is wrong" and "you ought not to murder" is that "you ought not to do what is wrong." The non-naturalist has no problem assuming this premise, and neither do you. In fact, you seem to espouse(in agreement with many realist positions) that what is wrong is implicitly that which you ought not to do. If this counts as crossing the is-ought gap, then you cross it yourself when you hold "murder is wrong" as interchangeable with "it ought not to be the case that there is murder." Also — Tarrasque
The difference is that I'm not claiming "X is wrong" describes some kind of abstract moral property of wrongness of object X, and that on account of that property, we ought not to do X. I claim that "X is wrong"
just means "X ought not happen", which in turn is a more general, universal form of sentences like "(everybody) don't do X" or "let X not happen!"
Somewhat, but also somewhat not. Take the example of information on the edge of the observable universe. It is, even in principle, impossible for us to verify that information. This is because part of what it means to be us is that we are here, and if we cannot verify some information from here or somewhere we can get to from here, it is not verifiable at all to us. You could stipulate that if someone was on the edge of our observable universe, that information would be verifiable to someone. So, in one sense it is verifiable "in principle," but it is not verifiable "to us" in principle. — Tarrasque
This seems related to the black hole information paradox. The edge of the universe is the cosmic event horizon. It was a problem that information could seem to be lost when falling across a black hole event horizon. If it had been actually lost, then so far as I know, just like particles actually having no definite position, the universe would actually be indeterminate about that state of affairs. If the universe has any information about some state of affairs, if that state of affairs actually exists, then it will have some impact on something about the universe; and even if we're not technologically capable of reconstructing the information from that impact, that information has nevertheless reached us in the form of that impact.
That black hole information paradox got solved in a way that the information wasn't actually lost, because the infalling particles have effects on the stuff happening right at the event horizon, which does eventually bring the information back to us in the form of Hawking radiation. It seems like lightspeed particles moving away from us at the edge of the universe could have some impact on the other stuff there at the edge of the universe that is still capable of communicating with us, and so information about that escaping stuff could still make its way back to us in principle.
If you are going to assert that mathematical truths are merely truths of relations between ideas, belonging in the middle of your fork, you need to support that. This would require an account of analyticity. Distinguishing between "things that are true by definition" and "things that are true in virtue of a contingent fact" is much harder than you might initially think. — Tarrasque
I have a whole thing about the contingent facts about definitions (and, hence, analytic a posteriori facts) that I'm going to do a later thread about.
"What conditions would a person have to satisfy for them to have knowledge of X?"
The latter is my question to you. If what can be true is constrained by what we can know, then before we ask what is true, we ought to ask what we can know. Before we know what we can know, we must know what it is to know at all. So, what conditions does a person have to satisfy to have knowledge of X? — Tarrasque
I plan to do a later thread on this topic, so I'll defer answering until then.