Getting into it deeper, I found wiki's article quite interesting and informative
https://en.wikipedia.org/wiki/Formal_fallacy , which I backed into by reading https://en.wikipedia.org/wiki/Syllogism
From the former:
A valid argument has a correct formal structure. A valid argument is one where if the premises are true, the conclusion must be true.
A sound argument is a formally correct argument that also contains true premises.
Two questions seem pertinent
1. How do Dr. Bo's Criteria comport with the quoted points?
2. Are either sets/types of criteria closely related to "necessary and sufficient", phraseology of mathematical proof?
"Consensus" is in recognition that this is not an autogenous [
sui generis] site that just popped up [old meaning: "made itself"], but was created with a purpose by a person who maintains it (Dr. Bo). Just wondering what the milieu is/will be.