論証
前提が真であるような妥当な論証を健全であると呼ぶ場合がある。
論証が妥当でなくなる原因はいくつかある。よく知られた妥当でない論証のパターンを誤謬と呼ぶ。
論証が健全だったとしても、結論が真であることを一般に納得させられない場合がある。そのような論証を、健全だが効果がない(ineffective)という。論証が効果を発揮できない原因として「精査不能; not scruntinizable」であることが挙げられる。つまり、一般的な検討ができないのである。それは例えば、論証が長すぎたり、複雑すぎたりするためであったり、専門用語が多用されていて理解できなかったり、推論過程が常識的でないなどの理由で発生する。妥当性と健全性は論証の論理的属性であり、意味論的属性としても理解される。一方、論証の効果は論理的な属性ではないが、実用面ではそれが重要となる。