@Mad Mike,
Mad Mike wrote: kennethamy wrote:
What you say about tautologies is quite true, only what you say does not appl9 to the statement, "every truth must be true" because that statement is not a tautology. If is, in fact, false, as I (among others) have explained. It looks like a tautology to you because you mix it up with a different statement that is a tautology. That statement you mix it up with is the statement, "It must be that every truth is a truth". That statement is a tautology. I really don't know how to put your mistake any clearer. It should be easy to see how the two different statements are different simply by inspection.
What I'm arguing is that a true statement must be true, but the thing the statement describes may not be necessarily true. In your Quito example, if the statement "Quito is the capital of Ecuador" is to be true, then Quito
necessarily must be the capital of Ecuador. But that doesn't mean that the statement "Quito is necessarily the capital of Ecuador" is true in any other context.
The "necessarily must" in red is highly ambiguous. Obviously, Quito is not necessarily the Capital of Ecuador. So what you say is false, namely that Quito "necessarily must" be the capital of Ecuador for "Quito is the capital of Ecuador" to be true. You only mean that: Necessarily, "Quito is the capital of Ecuador" is true if and only if Quito is, in fact, the capital of Ecuador.
The classic modal fallacy, here, is your confusion of a linguistic thesis, namely,
Necessarily, "P" is true if and only if P--which is true, with the falsehood, namely,
(a)"P" is true if and only if necessarily that P. Or,
(b) If "P" is true, then it
must be the case that P.
--both of which are false.
Your modal operators are sometimes incorrectly placed with respect to what you are trying to say.
Mad Mike wrote: Slow down, dude. We're talking about two things, and I don't think we're really disagreeing, we just have to separate the two issues. The truth of the statement "Quito is the capital of Ecuador" is not dependent on the truth of the statement "Quito is necessarily the capital of Ecuador."
True.
Mad Mike wrote:For the first statement to be true, Quito must in fact be the capital of Ecuador, so in that sense, it's necessary that Quito be the capital of Ecuador for the statement to be true.
This is actually false. Ken is right. It is necessarily the case that if Quito is, in fact, the capital of Ecuador, then it is true that Quito is the capital of Ecuador. This is just another tautologous way of saying "'P' is true if and only if P." But it is false that Quito "must" be the capital of Ecuador for the propostion <Quito is the capital of Ecuador> to be true, simply because Quito is not necessarily the capital of Ecuador.