@kennethamy,
kennethamy;152088 wrote:I don't think they have. I think you think they have. What I think they have been arguing is that it is true or false that it rains etc., but that whether it is true or false depends on what happen on August 14.
well then there has been a failure to communicate.
OK here is the formal explanation for what I have been saying.
Let (1/2) = unknown, indeterminate, null, or blank, meaningless to talk about, non existent.... whatever term you prefer.
Since ~(1/2) = 1
(justification for this is given in the file but I'll post it if necessary)(though it may seem obvious based on what 1/2 represents....~unknown = know, ~non existent = existent, etc.)
it follows:
Let P = I will wear a blue shirt tomorrow
Let the truth value of P = 1/2(for obvious reasons)
It then follows (P v ~P) is a true statement(since 1 OR'd with anything is still 1) while also maintaining that P is indeterminate before the fact.
v = OR
Thus the statement has neither true nor false value in and of itself until said time...
---------- Post added 04-14-2010 at 08:23 PM ----------
Emil;152089 wrote:It is necessarily true or false today, as are all propositions, but it is not either necessarily true or necessarily false. There is a difference there. In symbols: 1. (∀P)□(TP∨FP) (For all propositions (P), it is either true, or it is false. 2. (∀P)(□TP∨□FP) (For all propositions (P), it is either necessarily true or necessarily false). (1) is true and (2) is false but people sometimes confuse them, as they confuse other propositions/sentences involving modal terms. I find that people are very ill equipped from nature to reason about modalities, and that people benefit greatly from learning to reason with modalities, that is, by studying modal logic.
the bold statement is what I've been arguing against....and seemingly the others have been arguing for.