@Night Ripper,
Night Ripper wrote:First you need to acknowledge that the previous statements (a) and (b) have different meanings. They aren't just a rephrasing of the same meaning but they have completely different meanings. Then you need to understand why one is true and you need to understand why the other is false.
And the reason for that would be... that you are saying so? Like your teacher of logic said you so? So you are trying to reproduce that process?
Night Ripper wrote:Somethings are contingently true, like that I was born on a Thursday. I could have been born on a Wednesday but I wasn't. There's nothing necessary about the truth of my birthday.
Now tell me something new, please, because this is getting really boring.
Night Ripper wrote:Somethings are necessarily true. Like that all bachelors are unmarried men. That's necessarily true.
Not if they are lying to you, but let it be, those things do not happen in your world, anyway.
Night Ripper wrote:Some truths are necessarily true but not all are. However, necessarily, all truths are true and not false. It's quite simple but you don't seem able to comprehend it.
So if I do not agree with you, then it must be because I don't comprehend you. Have you ever considered the possibility that I
do comprehend you and still do
not agree with you?
I am really tired of knowing that "every truth must be true" and "it must be that every truth is true" have different meanings
to you, as also for all those who embrace logical formalisms. What you are failing to realize is that I am
not one of those persons. But let us go back to the principle of bivalence. Are you aware of it? It states that either something is true or else it is false. Now something they don't tell you in the school of formal logic: for that to hold - or even make sense - any truth must be inherently
not false. Otherwise, the principle of bivalence loses its foundation, so you can either believe it or not at your will. In other words, a truth does not need being false because of the principle of bivalence: on the contrary, it is the principle of bivalence that holds only because every truth must be not false. In the light of this, the circumstance that "it must be that every truth is not false" is just a
consequence of the circumstance that "every truth must be not false" (by forgetting this you turn the first sentence into an "absolute principle" that comes from Aristotle the same way the ten commandments come from Moses). But every truth must be not false for no
external reason: it must be not false because it is its
nature do be so. It is not a consequence of Aristotle having decreed it: a truth must be what it is, which happens to be
not being false. However, once the principle of bivalence holds - by which anything is either true or false - being
not false must be the same as being
true, so "every truth must be
true." This does not mean that "no truth is contingent," simply because we are talking about something that is
already true, so its necessarily being true does not
make it a truth - as if it were not a truth before that - but is rather a
consequence of its being - already - a truth. When you read the sentence "every truth must be true," once you arrive at the "must be" part you go back in time to the moment in which that truth was not yet a truth, and apply its necessary truth to that "not-yet-itself" truth, which is why for you the sentence becomes "no truth is contingent." If you just stop doing that, then that sentence will show you its true meaning.