Yazata
Valued Senior Member
A few logical statements which are either true or false:
1. If something is logically true, it has always been true.
It's important to recognize that the phrase 'logical truth' has several technical meanings in logic.
The most common one refers to symbolic expressions and is roughly synonymous with 'tautology'.
Example: If some A's are B's, then some B's are A's
What makes this a 'logical truth' is the fact that it is true simply because of its logical form, no matter how the the variables 'A' and 'B' are interpreted.
2. Humans are logical.
That isn't a logical truth. If we replace 'human' and 'logical' with variables, the expression won't always remain true, regardless of the meanings that we give the variables. In this case we are ascribing a property (being logical) to individual members of a class of objects (humans). Obviously the ascription of properties to objects doesn't always result in truths.
3. It has always been true that humans would be logical.
Assuming that humans are logical now (highly debatable), I suppose we can say that it was always true in the past that humans would be logical now, and it will always be true in the future that humans were logical now.
But that's stretching logic. Conventional propositional and predicate logics are timeless and pay no attention to grammatical (past and future) tense. To rectify that, logicians have proposed tense-logics and temporal logics more generally. (There are many different alternative logics floating around out there.)
http://plato.stanford.edu/entries/logic-temporal/
Interestingly, Aristotle noted some of the difficulties that arise way back in the fourth century BCE. His classic example was 'The Sea-fight Tomorrow'. Suppose a naval battle takes place between the Greeks and the Persians. Suppose that we know after the fact that the Greeks win. Was it already true the day before the battle that the Greeks would win the next day? If we say 'yes', does that commit us to fatalism, to the view that it was always logically predetermined that the Greeks win and that the battle could have come out no other way?
http://plato.stanford.edu/entries/future-contingents/
Last edited: