Talk:Validity vs. soundness

I rewrote this to correct an error and expand the topic a bit. The original content included the following:

1. I either own a bicycle or a car.
2. I don't own a bicycle.
3. Therefore, I own a car.

The premises can both be true, that is, it's possible for me to own a car but not a bicycle. However, it's not necessarily true that, just because I don't own a bicycle I must own a car. Thus, this argument is valid but not sound.

Wrong! It's valid because the conclusion is proven by the premises. Soundness has only to do with the truth of the premises. For example:

Sadam Hussein either has weapons of mass destruction or he has a cheese cake factory.

Sadam Hussein has no weapons of mass destruction.

Ergo: Sadam has a cheese cake factory.

This conclusion or "ergo" is a direct result of the premises. If Sadam as a result doesn't have a Cheese Cake factory then the argument is invalid. However, it is true that the truth value of the premises are independent of validity. It could be true that Sadam Hussein had neither,making it false and unsound, but if the argument is presented in the above format it will still be valid.

This argument is actually valid and sound as the first premise declares a direct dichotomy and the second premise eliminates one prong.

In any case, the current article has a link or two that will need to be expanded. I'll try to add the syllogism page and include the named forms and an explanation of why those forms are valid, as opposed to others. -- Sans Deity 20:34, 30 August 2006 (MST)