Consider following two sentences.
- $x^2 = 1.$
- Today is Thursday.
The first statement can't be a proposition. because the truth of (1) depends on the value of $x$. For some values of $x$ it is true (for $-1$ and $1$) and false for others.
We can apply the same reasoning for (2) (can we?) and conclude that it is not a valid proposition either as the truth of (2) depends on what day is $\text{Today}$.
A student pointed out that (2) could be a valid proposition if the intention was to state it for just one day i.e. today. I argued that if it were the case, then the proposition should have been more precise (by including the date may be ?)
My question is that , in the form (2) is currently written can it be considered a valid proposition ?
And if it is not valid, can it be written in a form without removing the word "Today" so that it becomes a valid proposition?
$\endgroup$ 22 Answers
$\begingroup$Actually, they all can be proposition. The issue lie in what you count any of these as variable.
Look at this:Interpretation
If you let "today" and "x" be constant, then yes both of them are indeed proposition. The fact that they can varies is because of interpretation.
If you don't let them be constant, then they are not proposition.
In other word, whether they are or not depends on what are constant and what are not, which is up to you.
$\endgroup$ 7 $\begingroup$Short answer without reference to "first order logic" or "modal logic": Even $P$ and $Q$ are valid propositions in the appropriate context, hence there is no reason why your two sentences shouldn't be valid propositions. Note that I interpret "valid proposition" in the sense of "admissible proposition". You wonder about the value of $x$ here. The typical context in "first order logic" is that $x$ has a fixed value, but this often confuses people (because such a proposition is rarely useful in isolation). In other contexts like equational reasoning, it's also possible that $x$ is implicitly universally qualified (i.e. the proposition makes a statement about all possible $x$).
In the appropriate context, both of your sentences can be valid propositions. Let's start with $x^2 = 1$, because it's already stated in a "sugared" formal language. Let's assume its "desugared" formula to be $x\cdot x = 1$. Then it will be a valid proposition for a first-order language containing a constant "$1$" and a binary operator "$\cdot$". Here I interpret "valid proposition" as being member of the corresponding "formal language", i.e. in the sense of "admissible proposition". So the proposition could be false for some interpretation, but it would still be valid.
You wonder about the value of $x$ here. In the context of first-order logic, the value of $x$ is fixed as part of the interpretation. In the context of equational reasoning or universal algebra on the other hand, the equation (we don't usually talk about propositions in this context, only about equations and clauses) is only true (sadly, the correct word in this context would be "valid") if it is true for all possible values of $x$. Anyway, the point is that the formal semantics often allows free variables, and takes care to assign them an appropriate meaning in the interpretation.
Your second sentence "Today is Thursday" would only be used as an example for a proposition in the context of modal logic. In modal logic, we have both an interpretation and a collection of worlds, and we evaluate the truth of a proposition for a specific world. So the interpretation would give meaning to the words "Today", "Thursday", as well as to the connective "X is Y". The possible dates would also be fixed by the interpretation as the possible worlds (and how these possible worlds are related to each other by the modal operators), but the actual date/world where you evaluate this proposition is a part of the evaluation context, and not part of the interpretation. And the propositions are true or false with respect to a specific evaluation context, which includes and an interpretation and a specific world.
One might imagine designating a specific world as the actual world as part of the interpretation, but I don't know whether this is commonly done. From the texts on model logic I read so far, I have seen it once or twice, but it seems more common not to do this.
$\endgroup$ 3
