That's not the case. Your sentences are not my intended readings.
My original is perfectly expressible in (intensional) predicate logic:
(Rain(w,t) ∧ ¬Rain(w',t))
(where w,w' are worlds, t is a time)
The conflation of psychology and logic makes no sense to me.
Essentially:
w -> ¬w'
Is this attempting to strip objectivity from philosophy?
That doesn't work, because I can say something like "John dreamt he found a unicorn" which involves two different worlds (say, w & w'). Or, to make it more parallel, "John dreamt he wasn't dreaming". Which are both perfectly reasonable sentences and have perfectly reasonable predicate logic translations.
1. I assert that it is not raining. 2. It is not raining.
This chap saying that 1 and 2 exist in the same world, and are therefore contradictory. Equivalence of statement and assertion.
In both instances, precision prevents you from conflating two classes of belief.
From your own perspective, it is quite impossible to state "I believe it is raining. It is not raining." This all seems to hinge on the issue of perspective. Very interesting stuff. Grateful to the "Herodotus38" for explaining it; I couldn't grok it from the article.
I wonder if someone could extend this to put mathematical proofs in applied maths on a better footing.