@guigus,
guigus wrote:
kennethamy wrote:But I did not say it makes no sense "in modal logic". That is what you just said. What I said is that it makes no sense. And that means it makes no sense in English.
Ok, then we have a progress here, since it is the first time you don't refer to modal logic. So let's talk in English. I said there is no "truth to be expressed," truth itself is expression. Let me explain my English, then. For me, truth is the expression of a state of affairs. In a sense, it is like in the correspondence theory of truth, which also demands two "terms" for truth to happen, between which the "correspondence" happens. This is what I mean by "truth is expression." Is this clear enough English for you?
But truth is not an
expression of any state of affairs, because truth is the state of affairs that is expressed. And, the expression of something cannot be identical with the something that is expressed. (English is not something to be explained since we do the explaining in English). It makes no difference what truth is for you, or for anyone, since that is only what someone
thinks is true. Rather, the question is, what is truth, not what truth is for you, or for me, or for the person next door. Now, it is true, of course, that it is sentence, or beliefs that are true (or false). Sentences (or beliefs) are what are true (or false) but they are not, themselves, truths or falsities, since they are the truth-bearers, and they are what are made true or false by truths, and truths are the truth makers. It is truths that make true sentences true. Read my quote from Aristotle again. That is what Aristotle says.
If you are going to talk about the ideas of possibility or necessity, then I advise you to learn some modal logic, because modal logic is the logic of talk about possibility and necessity. And, I am assuming that if anyone talks about possibility or necessity, he would want to talk about them logically. Wouldn't you?