[FOM] Logical Correctness

[Timothy Y. Chow]

Lotfi A. Zadeh wrote:

>        If it is impossible that p, then it is possible that p,
>
> where p is a factual proposition. The sentence is counterintuitive.
> Could it be logically correct, considering various interpretations of
> impossible, implication, possibility and p?

This is probably too trivial an observation to be interesting, but if we 
interpret the "If ..., then ..." as a material conditional, then your 
statement will come out true as long as it is possible that p.

Tim