@guigus,
guigus wrote:
kennethamy wrote:But what does it mean for truth to be true, let alone necessarily true?
For truth to be true means whatever you believe to be true having a counterpart outside your head. And for truth to be
necessarily true means that if whatever you believe to be true does not have a counterpart outside your head, then it is untrue. You confuse this necessity with the necessity that whatever is outside your head would have of being there - independently of what you believe - hence with the necessity of whatever you believe as true to be true - as if it were the same as whatever is there outside your head. However, the necessity I mean is the one by which, for whatever you believe as true to be true, the corresponding state of affairs must be there in the world outside your head.
If a true statement is true, then there is some fact, or state of affairs, in virtue of which that statement is true. (As Aristotle puts it, "To say that something is true is to say that what is, is; and to say that what is not, is not). But for a true statement to be necessarily true, is for it to be
impossible that it is false. What is not a necessary truth is a contingent truth. That is how the terms, "true" and "necessarily true" have always been used in philosophy. Let me give you examples of both:
First, an example of a necessary truth: All bachelors are unmarried males. For it would be logically impossible for someone to be a bachelor, but not an unmarried male. It is not only that all bachelors are unmarried males, it is that it must be that all bachelors are unmarried males. If you just think about this for a moment, you will see that I am right.
Next. An example of a contingent truth. All mammals have livers. That is anatomically and biologically true. But note, although it is true that all mammals do have livers, and there may be some biological reason for this, it is
not necessarily true that all mammals have livers. Which is to say that it is not logically impossible for mammals not to have livers. Again, although it is true that all mammals do have liver, it is not necessarily true that all mammals have livers. It is only contingently true that all mammals have livers. So, it would not be impossible for there to be a mammal without a liver, but (nevertheless) there are no mammals without livers.
And, if you think about this for a moment, you will see that I am right about this too.
Since, as you see, it is true that all mammals have livers, but that it is not necessarily true that all mammals have livers (since it is not logically impossible for there to be a mammal that does not have a liver) it follows that some true statements are not necessarily true. For example, the statement that all mammals have livers.
I hope this helps you.