Is the following example a valid argument:
Either Your hair is short or long. It is long. Therefore it is not short.
This is the form of the argument: Either P or Q. P. So not Q.
I disagree with the answers above.
Either / or corresponds unequivocally, in English, to an exclusive or (XOR). The XOR function returns true only if P and Q have opposite values (T/F, F/T).
Hence the statement "You hair is not short" returns true.
The problem was merely in the translation into formula, becaused it used "OR"; but it is obvious from the question that it should have been formulated as XOR.
The original example: Either Your hair is short or long. It is long. Therefore it is not short.
Assumptions. (1) Short is defined as 'not long' (S= ~L) and vice versa. One term is the negation of the other. (2) 'Either/or' means either one or the other, but not both.
On those assumptions the example is valid reasoning.
It is difficult to apply exclusive 'or' to quantities due to the sorites paradox (en.wikipedia.org/wiki/Sorites_paradox) -- 'Either a collection of grains is a heap, or it is not' is simply not true. Likewise 'Either a hair is long or short' is also simply not true.
Further, there is a problem with collective application of properties -- not all of the individual hairs are necessarily of comparable length, so it might be meaningless to declare 'your hair' long or short. If you have 'bangs', you still have long hair, but some of your hair is short.
There is nothing wrong with the logic, but the premise oversimplifies the semantics of measurement and collective reference.
So this could be considered valid but not sound, or it could be considered invalid because some of the statements involved have ambiguous truth values, and valid arguments only work on binary truth, depending upon how much semantics you consider part of the form.
I'm going to take a slightly different take on this than the other answers: the first premise is ambiguous, so there's not enough information to determine if it's valid or not.
As others have indicated, the main issue here is "translating" this sentence into its equivalent logic statements.
A \/ B A Therefore, ~B
is very clearly invalid because "or" ( / ) is inclusive (i.e. "at least one of these statements is true) in formal logic.
In spoken language, however, people will often use the word "or" to denote "exclusive or" (i.e. exactly one of these statements is true). In fact, it would probably seem rather odd (and possibly misleading) if someone used it in some other sense. If we translate this sentence in that way, this would become
A xor B A Therefore, ~B
which is perfectly valid.
Thus, whether this is "valid" or not really depends on the context of the original argument. If it's from some kind of "ordinary" spoken language, they probably meant "xor," in which case it's valid. However, if it's from some kind of more rigorous text or context it probably means "inclusive or," in which case it's clearly not valid.
Logically, in the usual, contemporary sense of the word where we do not take into account semantics and judgement - but merely it's form - it's a valid argument - as pointed out by Mark Andrews answer
However, taking one step away, we can judge that it has produced no new information, so though valid it's not useful.
Judgement, is a part of philosophical logic, if not formal logic; and is key to reflection as pointed out by Arendt when discussing Kants political philosophy.