[FOM] Logical Correctness
Timothy Y. Chow
tchow at alum.mit.edu
Wed Nov 21 20:30:39 EST 2012
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.
More information about the FOM