@kennethamy,
kennethamy wrote:Utter confusion, so far as I can make it out. For he is certainly contradicting himself when he asserts that all truths are necessary, and yet is he not saying that no truths are contingent. The only way I can explain it is that he does not know what necessary and contingent truths are.
Let me try something different. It is obvious that your way of reading my words is by translating them into a symbolic formalism, so for you "every truth must be true" becomes "if p then necessarily p." So let me assume your point of view. Take the expression "if p then necessarily p," which you correctly repute as false. Since, in that expression, "p" means "whatever is either true or false," we would read it as, "if whatever is either true or false is true, then it is necessarily true." Of course that assertion is false, but why? Because the contingency of being true cannot itself make anything necessarily true. You keep repeating that from the very beginning of this discussion, in which you are correct. As you also keep assuming from that very beginning that I do not understand you, in which you are incorrect. Now that I took your point of view, please retribute the favor and take mine: what if "p" could mean a truth in itself, its "truthness," rather than whatever is true? Then we would have a slightly different statement, one by which "the truth of whatever is either true or false is necessarily true." Now it is no longer "whatever is either true or false" that, once true, is necessarily true, but rather its quality of being true. Instead of the object of truth, it is truth itself that is necessarily true. Such is the meaning of "every truth must be true." It goes from us (every truth) to the world (must be true). It is like saying that for the statement "water is liquid" to be true water must be liquid, and unlike simply saying that "water must be liquid" (unfortunately, there is no way of expressing this by means of symbolic logic, which, by definition, makes no distinction between a truth and whatever is true).