The Meaning of "If and Only If"
Chapter Five
Philosophy 404
Summer 1999
In technical discussions, you will often find people saying something like, "A
proper name stands for an item in the world if and only if it refers to it." What
exactly does "if and only if" (sometimes shortened to "iff") mean?
Consider "P if and only if Q". This can be
decomposed into "P if Q" and "P only
if Q". Consider each of these in turn:
So P if and only if Q resolves into P > Q and Q
> P, which is to say that
P iff Q is logically equivalent to (P
> Q) & (Q > P) .
Produce the truth tables for the two conditional statements and use those to convince
yourself that this logical equivalence holds.
Another way to explain the meaning of this connective is in terms of necessary and
sufficient conditions. The sentence P > Q tells us that the truth
of P is sufficient for the truth of Q; that is, if we
know that P is true, then we know all we need to assert that Q
is true also. So P is a sufficient condition for Q.
The sentence also tells us that Q must be true in order for P
to be true; that is, if Q is false, P must also be false
in order for the sentence as a whole to remain true. But this is to say that P
can only be true when Q is, or in other words, that Q is
a necessary condition for P. So in a conditional statement, the
antecedent is a sufficient condition for the consequent and the consequent is a necessary
condition for the antecedent.
In an iff statement (also known as a "biconditional", since it is a
conditional in two directions) such as P iff Q , we know that P
is both a necessary and sufficient condition for Q, and likewise Q
for P. That is, if P is true, then that is sufficient
for the truth of Q (i.e., P is a sufficient condition
for Q); on the other hand, we know that Q cannot be true
unless P is, which is to say that P is also a necessary
condition for Q.