“Circular reasoning” is effectively the equivelant without any real loss of meaning, and it’s a lot more intuitively clear as to what you mean.
I think I agree with your point. All of these are very useful deductive steps, even if they seem obvious when used by themselves. We learned names for 1-3 in mathematical logic in university:
#1: ‘and’ introduction.
#2: ‘and’ elimination.
#3: ‘or’ introduction.
#4 could be the principle of addition, and #5 is based on the mathematical property of ‘evenness’.
What are you saying “Nope” to? I didn’t say there weren’t formal definitions of “sound” (though I could get into some debate over the relativity of that definition if you liked as well, but it has nothing to do with this); I said there weren’t very sharp formal definitions for “begging the question”. At least, not ones which always distinguished between those valid arguments we would consider significant and those valid arguments we would consider vacuous, as such determination of an argument’s usefulness could depend on a variety of factors external to the argument itself, that being some of what I tried to illustrate with that post.
Rephrased:
If you are crazy you belong in an insane asylum
You are in an insane asylum
Therefore you must be crazy
That’s the real construct, and yes it is a fallacy.
Elaborated:
If you are crazy you belong in an insane asylum
Crazy people are incapable of making the determination of whether or not they are crazy
You are in an insane asylum
Therefore you must be crazy
You do not believe you are crazy
Therefore by exhibiting the inability to properly make the determination that you are crazy, we know for sure that you are crazy
The study of formal logic is a real eye-opener. You look and listen to the media with a new awareness and begin noting all the invalid arguments out there. And they are legion!
Bolding is mine. That’s not the case. You can’t use the word sound in the definition of sound and valid.
The validity of an argument is derived exclusively by form.
The soundness of an argument deals with the truth of premises.
A valid argument can be false, but that’s immaterial because at that level of analysis, we restrict ourselves to form. Does the conclusion flow from the stated premises.
A sound argument, on the other hand, can never be false because it a.) must already be valid (form), and factually true. Otherwise, the argument isn’t sound.
OP’s argument (while suffering from a grammar error) is valid. The conclusion flows from the stated premises. It has the form of a proper syllogism.
It is, however, factually not true because there exists such a condition necessarily rejected by the first premise, which is that inside the facility will be found staff. It’s highly improbable that all staff will be insane; there might even be a janitor there who is sane. So, the first premise is quite false, but the structure of the argument (other than the grammar) is fundamentally valid.