Theaetetus;105076 wrote:But doesn't a truth presuppose that it is true? Whether it is contingent or not is irrelevant because it must be true to be a truth.
I think you hit on something that is interesting to say the least--especially considering my response to ACB. There are many different ways to classify thinks as true. There are those things that are true to the individual and whether they are actually true or not is irrelevant. Then there are those things that are true according to a group of people. But then there are those things that are true independent of people. For example, the earth exists is independent of any human or group of humans. The universe exists is another. What this means is that as far as we know, nearly all truths are contingent truths that require individuals or groups of individuals to declare them true through their acceptance.
Looking at the Meno, and the other related dialogues, it is obvious that Plato was trying to transcend this and find a way to make contingent truths something that was grounded beyond the yea-sayers. Thus, the forms.
Of course, if a proposition is true, then it is true. That is just a tautology, and a necessary truth. But that does not imply that a true proposition cannot be false. It is true that Quito is the capital of Ecuador, but that does not mean that it is impossible that a different city in Ecuador is the capital (say Guyaquil). We have to distinguish between two different statements:
1. Necessarily, if p is true, then p is true. And,
2. If p is true, then p is necessarily true.
1. is, of course, as I wrote, a necessary truth and a tautology. But 2. is just false since it implies there are no contingent truths, and that is false. You have to watch where you place that term, "necessarily". since it never follows that because p is believed to be true that it is true.
The sentence "p is true
to" (the individual, or the group) means no more then that the individual or the group
believes that p is true. It leaves it open whether p is true or not. It doesn't matter to the truth of any proposition that anyone believes it is true. And, similarly, it does not matter to whether p is true or not whether p is accepted as true or not. "Accepted as true" is just a synonym for "believed true".